搜索结果: 1-15 共查到“信息科学与系统科学 几何”相关记录15条 . 查询时间(0.128 秒)
中国科学院青藏高原研究所TC：基于几何近似法构建冰湖水深分布模型（图）
气候变暖 冰湖 评估
2024/1/14
在气候变暖与冰川广泛退缩的背景下，过去几十年全球冰湖经历了快速形成和扩张。不稳定的坝体条件与围岸环境对冰湖造成扰动，全球已累计报道超过3000起源自冰碛湖和冰坝湖的溃决洪水事件，对下游基础设施和人类社区造成严重影响。详细的冰湖水深调查对于评估冰湖风险和模拟潜在溃决洪水非常重要。然而高海拔山区环境异常艰苦，很难对冰湖水深进行全面和系统的实地测量。
2022年2月11日，国际学术期刊《科学》以长文形式发表了题为《序列工作记忆在猕猴前额叶表征的几何结构》的研究论文。近日，中国科学院脑科学与智能技术卓越创新中心与国内多家单位合作，发现神经元以群体编码的形式表征了序列中的每一个空间位置，并在这些表征中发现了类似的环状几何结构。该研究推翻了经典序列工作记忆模型的关键假设，为神经网络如何进行符号表征这一难题提供了新的见解。
2019“几何与物理”研讨会召开（图）
2019 几何 物理 研讨会
2019/11/12
2019年11月1日至4日，2019“几何与物理”研讨会在中科院数学与系统科学研究院晨兴数学中心召开。中科院理论物理所的蔡荣根院士，京都大学汤川理论物理研究所前任所长佐佐木节教授，中科院高能物理所黄超光研究员，中科院高能物理所常哲研究员，中山大学黎俊彬教授，中科院数学与系统科学研究院曹周健研究员，天津大学理学院吴俊宝教授，北京师范大学高思杰教授，复旦大学数学学院谢纳庆教授等30多位国内外著名专家参...
基于超越几何规划的热轧操作优化问题
超越几何规划 操作优化 热轧 全局优化
2015/5/19
针对钢铁热轧生产操作优化问题, 建立热轧操作优化模型. 该模型的难点是, 模型具有高度非线性的特征, 难以获得最优解. 考虑模型数学表达式的结构特点, 将操作优化模型等价转化为超越几何规划模型, 由于获得的模型 存在对数项, 无法直接有效求解, 利用模型的结构特点, 通过数学变换和理论分析, 转化为凸规划模型, 从而利用凸规划软件获得最优解, 为操作优化问题获得全局最优解提供一种新方法.
基于几何投影的多目标优化降维方法
降维 几何投影 冗余目标 冲突度
2014/2/28
实际优化问题中可能包含很多目标, 这些目标并不都是相互冲突的, 有些目标是相互冗余的, 因此实际的Pareto 前沿面的维数比目标空间的维数要少. 为了提高进化算法的效率, 减少计算量, 提出一种基于几何投影的方法来实现多目标优化问题的降维. 首先通过辨别Pareto 前沿在二维坐标面上的投影形状, 寻找投影区的边界曲线; 然后根据投影区的面积和边界曲线的单调性来计算目标之间的冲突度. 数值仿真表...
锥束CT圆轨迹半覆盖扫描的几何校正
锥束CT 半覆盖扫描 几何校正 图像重建
2014/3/11
研究了一种高精度的几何校正方法用于对锥束CT圆轨迹半覆盖成像进行几何校正。首先，使用Otsu算法分割体模投影中钢球所在的区域，并计算质心坐标。然后，采用最小二乘算法对质心进行椭圆拟合，并根据椭圆参数采用Cho的全覆盖几何校正算法计算探测器的旋转角度。最后，顺时针旋转质心，求得旋转的角度后，再次进行椭圆拟合，并根据得到的椭圆参数采用Noo的全覆盖几何校正算法计算除探测器倾斜角之外的所有几何参数。实验...
基于几何关系的多导弹协同跟踪算法
跟踪 几何 交互多模 协同
2013/2/27
多武器平台同时探测、处理机动目标信息, 一定程度上可以提高目标的跟踪精度, 特别是对于多导弹协同作战而言, 协同跟踪目标即可以为作战系统提供全面的协同控制情报, 也可以为每枚导弹提供精确的制导信息.论文基于交互多模与几何关系思想, 设计了多导弹协同跟踪目标算法.首先,建立了目标运动学模型, 给出了多导弹和目标之间的几何关系,并以此为基础,建立了多导弹协同跟踪目标模型; 其次, 基于交互多模思想,将...
辛几何算法在射线追踪中的应用
应用 射线追踪 辛几何算法
2009/10/23
Ray tracing is a basic aspect in tomography. To solve the caustic problem in inhomogeneous media using Maslov asymptotic theory, we need to calculate the position and slowness vector at every point. T...
几何代数在定理证明中的消元与化简算法
共形几何代数 零括号代数 几何自动推理 算法
2010/3/31
在符号计算中,最困难的一个地方是中间计算过程的表达式快速膨胀.基于不变量代数的符号几何计算为解决这个困难提供了可能.比如,利用零几何代数证明欧氏几何定理时,就可以给出很短的证明,甚至是单项式证明.中间的证明过程里有很多地方涉及到消元,展开,化简等问题.从程序实现的角度出发,在充分利用零几何代数计算特点的基础上,给出用于机器证明的消元、化简算法.
广义系统极点配置的一种代数几何方法
广义系统 反馈 极点配置
2008/12/26
利用代数几何方法给出了可任意配置极点的条件,并证明了实数域上广义系统若存在复
反馈配置极点,则一定存在实反馈配置极点.
基于信息几何的统计回馈神经网络非线性自适应预测控制
统计回馈神经网络 信息几何 线性近似
2008/12/24
研究统计回馈神经网络(SRNN)的非线性自适应预测控制.基于混合统计模型,利
用信息几何的处理方法,将SRNN的参数估计转化为一般的线性ARMA系统的最小均方误
差参数估计算法,最终获得SRNN参数估计.获得RNN预测的参数估计以后,可以十分方便
地利用线性ARMA系统的控制规律来设计SRNN的预测控制规律,解决了非线性SRNN预
测参数估计、复杂非线性系统控制规律设计等问题.在研究单隐元...
构造型几何定理及其机器证明系统
2007/8/27
Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平...
一类初等微分几何定理机器证明的算法与实现
定理机器证明 曲面上的曲线 外微分运算 向量计算
2007/8/7
空间曲面上的曲线论是初等微分几何的重要部分.作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法.该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在Maple 9下得到实现.对20个例子进行的测试表明,由该算法生成的自动证明简短可读.
几何定理机器证明的结式矩阵法
升列 吴除法 子结式
2007/8/7
本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法．由于使用了吴除法及子结式计算，我们也称这种方法为ＷＲ分解算法．
抵抗几何攻击的鲁棒视频水印方案
2007/7/28
期刊信息
篇名
抵抗几何攻击的鲁棒视频水印方案
语种
中文
撰写或编译
作者
赵耀
第一作者单位
刊物名称
中国科学
页面
出版日期
年
月
日
文章标识(ISSN)
相关项目
利用图像潜在的不变性特征的鲁棒数字水印