搜索结果: 1-14 共查到“知识要闻 软件理论”相关记录14条 . 查询时间(1.5 秒)
中国科学院心理所研发出一键式脑网络和图论分析软件平台（图）
网络 图论分析 软件
2024/8/8
人脑是一个复杂的网络，包含不同脑区在结构和功能上的整合与协作。这些相互作用形成了复杂的模式，从而支持大脑的多种功能。研究大脑的复杂功能，需要掌握脑网络及其背后的复杂联系和沟通模式。此外，探讨大脑网络机制为研究脑损伤或精神障碍等脑功能异常的疾病提供了新视角。因此，探索大脑的复杂网络系统对于全面理解大脑功能至关重要。
中国科学院软件所在形式化方法领域多个方向取得进展（图）
量子软件 系统 理论
2024/6/28
2024年4月17日，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）蔡少伟研究员、量子软件、薛白研究员三个研究团队的论文均作为“Regular Papers”被形式化验证领域国际旗舰会议Computer Aided Verification(CAV 2024)录用，研究成果涉及可满足性模理论分布式求解、量子系统定量模型检测、控制系统高精度可达集下近似的高效计算等方面的工作...
2023年4月11日，教育部正式公布了第二批国家级一流本科课程认定结果，拟认定5751门课程为第二批国家级一流本科课程。计算机与信息工程学院有2门课程入选，分别是陈燕红老师开设的《数据库系统原理》和孟小艳老师开设的《树莓派接口及项目开发》入选线上线下混合式一流课程。
近日，江西师范大学计算机信息工程学院王昌晶教授带领的高可信与智能化软件研究团队投稿论文“Specification transformation method for functional program generation based on partition-recursion refinement rule”发表在SCI一区TOP期刊Information Sciences, 633 (2...
近日，中国科学院软件研究所智能软件研究中心团队基于“源图”开源软件供应链重大基础设施平台开展的开源许可证（Open Source License）合规性分析工作取得进展。该项研究提出了基于人工智能技术的开源软件许可证风险分析方法与工具，实现了许可证声明条款自动提取，条款倾向智能判断以及条款冲突精准识别。该成果论文“An Empirical Study of License Conflict in ...
中国科学院软件研究所在保持拓扑的三维模型中值面简化方法研究中取得进展（图）
中国科学院软件研究所 拓扑 三维模型 值面简化方法
2019/11/29
近期，中国科学院软件所计算科学国家重点实验室王文成、侯飞团队提出了新的保持拓扑的三维模型中值面简化方法。相比于已有的中值面简化方法，新方法在几何近似质量、简化效率、保持拓扑等方面均有突出优势。相关成果以Topology Preserving Simplification of Medial Axes in 3D Models为题，发表于欧洲图形学学会会刊Computer Graphics Foru...
2019年5月17日下午，在美国旧金山举行的第28届国际万维网大会（WorldWide Web，简称WWW）上，北京大学信息科学技术学院、高可信软件技术教育部重点实验室刘譞哲副教授课题组的论文“基于互联网普适语言“绘文字”的跨语言情感分析表征学习方法(Emoji-Powered Representation Learning for Cross-Lingual Sentiment Classifi...
山东大学科技期刊社四期刊获中国高校期刊奖励
山东大学科技期刊社 四期刊 中国高校 期刊奖励
2018/11/20
2018年11月5日，中国高校科技期刊研究会公布了2018年度全国高校“杰出·百佳·优秀科技期刊”评选结果。山东大学科技期刊社编辑出版的《山东大学学报（理学版）》被评为“中国高校百佳科技期刊”；《山东大学学报（医学版）》《山东大学学报（工学版）》《山东大学耳鼻喉眼学报》被评为“中国高校优秀科技期刊”。近年来，科技期刊社紧紧围绕学校“双一流”建设，以创建“名刊强社”为目标，认真谋划发展蓝图，实施“期...
2015年3月，软件所可信计算与信息保障实验室主持完成的“电子认证服务支撑平台研制与应用”项目成果获得2014年度北京市科学技术奖三等奖。
该项目立足当前网络信任需求，结合技术与产业发展趋势，本着自主创新、安全可控、兼顾我国特色需求的原则，研制了电子认证服务支撑平台（包括数字签名验证服务器、跨应用认证系统、电子签章系统等），形成了电子签名格式、认证中间件、电子签章等国家标准和行业标准，突破了基于...
中国海洋大学研究成果入选2014年度中国高等学校十大科技进展
中国海洋大学 2014年度 中国高等学校十大科技进展
2014/12/24
2014年12月23日，教育部公布了2014年度“中国高等学校十大科技进展”，由中国海洋大学组织申报的物理海洋教育部重点实验室陈显尧教授主持完成的研究成果“全球变暖减缓的特征与机制”荣登榜单，这是中国海洋大学主持完成的研究成果首次入选中国高等学校年度十大科技进展，也是近十年山东高校科技成果首次入选。该项成果是本年度我国高等学校在资源环境与地球科学领域的唯一入选项目，其他入选的9项成果分别来自北京大...
东方物探GeoEast-RE软件填补国内技术空白
东方物探GeoEast-RE软件 技术空白
2012/12/24
2012年12月21日，记者从东方地球物理公司获悉：由这个公司研发的GeoEast-RE油藏地球物理软件日前通过集团公司科技成果鉴定，填补我国油藏地球物理综合评价领域的技术空白，总体达到国际先进水平。
2012年2月14日，中国科学院党组书记、院长白春礼发来贺信，热烈祝贺软件所“网络软件基础架构平台（网驰ONCE）技术和系统”成果和一项专项科研成果分别荣获2011年度国家科学技术进步二等奖。
瑞典乌普萨拉大学国际合作总负责人来访同济大学
同济大学 瑞典乌普萨拉大学 国际合作总负责人
2010/6/12
2010年5月27日，瑞典乌普萨拉大学国际合作总负责人Kay Svensson先生到我校软件学院访问。双方就学生交换、教师交换、双学位项目等展开细致深入讨论。Kay Svensson对双方全面、多层次的合作给予肯定和高度赞扬，并对于软件学院郭明森教授即将赴乌普萨拉大学交换授课表示热烈欢迎。
