理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 系统相关记录69条 . 查询时间(1.5 秒)
中国科学院深圳先进技术研究院专利:建筑物三维模型构建方法及系统
中国科学院深圳先进技术研究院专利:三维模型分割方法和系统
对运行设备安装双贮备设备是实现系统高可靠性的有效方法.在双贮备系统冷/温/热三种贮备模型中,选择哪种贮备模型对系统性能指标和经济指标均有重要影响,因此对如何选择双贮备系统的贮备模型从而使系统性能最优或经济效益最大的问题进行研究具有现实意义。
实际工业过程中,量测数据除了在线仪表采集的快速率数据,还有离线化验等慢速率辅助量测数据.为了更好地利用离线化验数据,增加在线估计的精度,针对随机跳变系统,引入迁移学习思想,提出迁移交互多模型估计(Transfer interacting multiple model state estimator,IMM-TF)新策略.首先,将离线化验数据的边缘分布作为可以迁移的知识,迁移到贝叶斯后验分布,实现辅...
司法量刑问题,关乎刑罚公正,是刑事正义的终极体现。为实现“努力让人民群众在每一个司法案件中感受到公平正义”,国家持续推进量刑规范化改革,规范刑罚裁量权,促进量刑公正。
周向宇,研究员、博士生导师,1965年3月生于湖南省郴州市。1981-1985年在湘潭大学数学系本科并获学士学位,1985-1990年在中国科学院数学研究所获硕士、博士学位。1990年起在数学研究所工作,1992年9月起任中科院数学研究所副研究员,1998年9月起任该所研究员、博士生导师。2003年2月至2012年6月担任中科院数学研究所所长,2008年1月至2011年12月任中国数学会副理事长。
王 崧,2002.6.14 获得哲学博士学位;1996.9-2001.8 美国加州理工学院,哲学博士,基础数学专业;1991.9-1992.7 信阳陆军学院,预备役军官;1991.9-1996.7 北京大学,理学学士,数学专业。
遗传变异指不同个体之间在DNA水平上的差异,是物种形成和生物进化的基础。1990年正式启动的人类基因组计划(Human Genome Project, HGP)与曼哈顿原子弹计划和阿波罗计划并称为三大科学计划。作为一项规模宏大,跨国跨学科的科学探索工程,HGP测定了组成人类染色体中所包含的30亿个碱基对组成的核苷酸序列,绘制人类基因组图谱。于2001年发布人类参考基因组的草图,被认为是HGP成功的...
为研究海运通道与其沿海经济区域发展的相互作用关系和演化趋势,在交通经济带理论中拓展海运部分,以海运通道运输量和经济带陆向纵深为共生规模变量,建立海运交通经济带单方非独立共生演化的Logistic模型,以运输经济、烟羽模型、微积分等方法提出其变量作用系数的量化途径和形式,解决未知参数,实现交通运输和地理空间不同范畴、无法直接关联的量的量化联系,并得到作用系数的增长因素和减少因素。研究表明两规模变量的...
中国科学院数学与系统科学研究院2021年招收攻读博士学位研究生简章。
应用比较定理和Lyapunov稳定性理论,通过设计开关周期性静态对数量化控制器以及平均时间耦合强度,实现混沌系统的完全同步。给出的充分条件推广和补充已有文献的结果,同时揭示量化效应及平均时间耦合强度与系统同步的内在规律。最后,仿真实例验证了分析结果的可行性。
考虑两个独立且服从指数分布的部件组成的并联系统,研究两个并联系统Σ1和Σ2,其中Σ1和Σ2有一个部件参数相同,另一个部件参数不同,得到了Σ1和Σ2在随机序、似然比序、故障率序和反故障率序意义下的随机比较性质。同时,得到了部件服从成比例故障率模型和韦布尔分布模型的相应结论。
为推动我国金融系统性风险预警研究,在分析金融系统性风险的传导路径、借鉴国际经验的基础上,综合考虑金融系统内外部因素,重构符合我国实际的金融系统性风险预警指标体系,并合成包含资产泡沫、货币危机、外汇市场和其他共四个金融压力指数的金融综合压力指数。选取2001年~2016年历史数据,采用马尔科夫区制转移模型与主成分分析法相结合,对我国金融系统性风险预警进行实证分析。结果表明,该方法有效识别了该时期高风...
2019年8月16日-17日,“华为公司&中科院数学院 数学理论与应用论坛”在北京雁栖湖·日出东方酒店顺利召开。论坛由华为北京研究所、中科院数学与系统科学研究院联合主办。公司2012实验室及各产品线的高级专家齐聚雁栖湖畔,与中科院数学院25位相关方向的顶级学者围绕算法、优化、控制、编码、AI、大数据&安全等方向进行了为期两天的深度交流。相信通过本次论坛,华为公司与中科院数学院一定能找到更多的契合点...
多柔体系统的动力学方程通常是一组刚性微分方程, 目前普遍采用的刚性微分方程数值解法主要通过数值阻尼滤除系统响应中的高频分量, 其求解效率难以令人满意. 为了降低多柔体系统动力学方程的刚性, 从而可采用ODE45等常规微分方程求解器进行求解, 研究了在建模过程中滤除高频振荡分量的方法. 在以当前时刻为起点的短时间内对柔性体的应力进行均匀化, 用均匀化后的应力计算柔性体的变形虚功率, 由此得到的系统动...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...