搜索结果: 1-15 共查到“知识要闻 信息科学与系统科学基础学科 系统”相关记录22条 . 查询时间(1.453 秒)
系统辨识理论与司法量刑问题交叉研究取得进展(郭雷)
系统辨识理论司法量刑问题 交叉研究
2023/2/22
中国科学院沈阳自动化研究所在信息物理融合生产系统的设计方面取得进展(图)
信息物理 生产系统 控制协同优化
2022/9/16
北京师范大学系统科学学院在Nat.Hum.Behav.发表研究成果揭示新团队在创新和交叉研究中的关键作用(图)
北京师范大学系统科学学院 新团队 创新和交叉研究 关键作用 系统科学
2021/4/19
近日,北京师范大学系统科学学院副教授曾安,联合系统科学学院樊瑛教授,狄增如教授和王有贵教授,与以色列巴伊兰大学Shlomo Havlin教授共同撰文揭示了新团队在原创性研究和多学科影响力上的关键作用。该文通过分析团队成员的历史发表数据提出了一种基于网络的团队新旧程度量化指标(见下图)。研究发现,新团队发表的文章在原创性和多学科影响力方面比旧团队更有优势,且这种效应在大规模团队中更加明显。此外,研究...
中国科学院数学与系统科学研究院高小山研究员获吴文俊人工智能杰出贡献奖
中国科学院数学与系统科学研究院 高小山 研究员 吴文俊 人工智能 杰出贡献奖 数学机械化
2019/11/12
近日,第九届“吴文俊人工智能科学技术奖”揭晓,我院高小山研究员为吴文俊人工智能杰出贡献奖获得者之一。高小山现为中国科学院数学与系统科学研究院研究员、常务副院长。他主要从事数学机械化研究,对该领域的发展做出了重要贡献,被吴文俊称为数学机械化领域目前的“领军人物”。针对智能CAD、机器人、计算机视觉、智能数控加工等机器智能中的关键需求,高小山带领团队建立了微分差分系统机器证明若干基本方法、发展了几何约...
北京师范大学狄增如教授入选国际系统与控制科学院院士(图)
北京师范大学 狄增如 教授 国际系统与控制科学院 院士
2019/5/10
近日,北师大系统科学学院狄增如教授入选国际系统与控制科学院院士(Academician of the International Academy for Systems and Cybernetic Sciences,简称IASCYS院士),以表彰其在系统和控制科学的研究和实践中的杰出贡献。狄增如教授现任北师大系统科学学院院长,兼任国务院学位委员会系统科学学科评议组召集人、教育部高等学校教学指导委...
信息工程学院关永、施智平、金声震教授课题组研发的几何代数形式化定理库日前被国际最著名的定理证明系统之一HOL Light官方收录为新增形式化理论体系。这是中国研究机构的研究成果首次被HOL Light系统收录,此次发布的定理库也是国际上第一个完备的几何代数高阶逻辑形式化表示理论。该项工作主要由关永教授的博士生李黎明完成,历时六年,包含33个数学定义和343个数学定理的高阶逻辑表示和机器证明。
中国科学院深圳先进技术研究院发出新一代高精度室内定位系统(图)
高精度室内定位系统 光信号
2015/7/29
近日,中国科学院深圳先进技术研究院实时监测与传输技术研究中心在室内定位研究方面取得新进展:研究人员开发出一种高精度室内定位系统。在普通室内环境中,该系统平均定位精度可达4厘米,大大提升了用户体验,并有希望开拓新的应用。
2014年9月17日至18日,工信部03专项办组织专家对上海微系统所牵头承担的 “物联网总体架构及关键技术研究(协同融合)”、“支持多传感网应用的中间件平台研发”课题进行了技术验收。
系统功能语言学研究对象趋于多样
系统 语言 多样
2013/7/18
中国社会科学报广东讯(记者冯爱琴)2013年7月15日,由国际系统语言学学会主办、中山大学承办的第40届国际系统功能语言学大会在广州开幕。会议主题为“拓宽道路:语言与语言学中的互补”,来自20多个国家和地区的300余名学者参会。
第四届系统科学论坛召开(图)
第四届 系统科学论坛 召开
2013/1/4
2012年12月16日,在中国科学院数学与系统科学研究院思源楼报告厅,由我院系统科学研究所主办的“第四届系统科学论坛”隆重举行。来自院内外的专家、学者和研究生150余人参加了论坛,系统科学研究所所长张纪峰研究员主持。
到2015年全国约70%高校外网网站系统支持IPv6
2015年 70%高校 外网 支持IPv6
2012/4/10
经国务院同意,国家发展改革委、工业和信息化部、教育部、科学技术部、中国科学院、中国工程院、国家自然科学基金会日前印发了《关于下一代互联网“十二五”发展建设的意见》。根据《意见》,到2015年,全国约70%的高校外网网站系统支持IPv6(国际互联网协议第6版)。
匀胶显影系统和可调谐激光器通过可行性论证
匀胶显影系统 可调谐激光器 通过 可行性论证
2010/8/31
2010年6月7日,北京大学信息科学技术学院拟购的“匀胶显影系统”购置论证会在实验室与设备管理部会议室召开,会议由实验室与设备管理部副部长刘克新教授主持。
2010年2月22日下午,我院管理、决策与信息系统重点实验室2010年战略研讨会在思源楼712会议室召开。重点实验室的三十余位科研人员参加了本次研讨会。