新一代安全可信操作系统软件产品-中标麒麟安全操作系统软件V7.0，融合可信计算技术和操作系统安全技术，通过信任链的建立及传递实现对平台软硬件的完整性度量；提供基于三权分立机制的多项安全功能（身份鉴别、访问控制、数据保护、安全标记、可信路径、安全审计等）和统一的安全控制中心；全面支持国内外可信计算规范（TCM/TPCM、TPM2.0）；产品支持国家密码管理部门发布的SM2、SM3、SM4等国密算法；兼容主流的软硬件，支持飞腾、龙芯、申威、兆芯等自主CPU及x86平台；提供可持续性的安全保障，防止软硬件被篡改和信息被窃取，系统免受攻击；为业务应用平台提供全方位的安全保护，保障关键应用安全、可信和稳定的对外提供服务。 麒麟软件还提供基于Linux操作系统的安全评估、安全优化、主机加固等安全服务和系统安全定制开发业务。 产品特点 操作系统高安全等级 严格遵照可信计算技术规范（TCM/TPCM、TPM2.0）、GB/T 20272-2006技术要求和国际CC标准等进行研制开发。产品从内核层和系统层支持国家密码管理部门发布的SM2、SM3、SM4等国密算法。通过操作系统安全的国家标准GB/T 20272-2006第四级（结构化保护级）测评认证并获得销售许可。 可信计算实现内核级 率先全面支持TCM/TPCM和TPM2.0可信计算规范的可信操作系统，支持通用和专用可信密码芯片/模块；基于中标软件可信度量模块CTMM（CS2C Trusted Measure Module）提供可信引导和可信运行控制等功能；通过信任链的创建传递过程，实现对平台软硬件的完整性度量；提供基于可信芯片的上层可信功能（认证、加密、签名等）和图形化的可信管理中心；并实现信任链从物理主机到虚拟化平台的拓展，提供对虚拟机的完整性度量。  中标麒麟安全操作系统软件支持基于TCM/TPCM和TPM2.0的可信芯片，包括国民技术SSX44可信密码模块安全芯片和SSX1401安全芯片、武汉瑞达和华大电子等可信密码模块、密码卡等（板载和PCI_E、USB等接口）。产品兼容联想、浪潮、华为、长城、曙光、大唐高鸿、山西百信和DELL、HPE等可信整机。 系统配置管理灵活 内置主流数据库、中间件和应用服务器的安全策略，基于图形化的安全控制中心实现系统安全可信创新功能模块化的集中配置和管理，界面友好，简洁易用；用户可以方便快捷完成系统的安全管理。  安全功能和机制全面 基于LSM的安全子系统框架，提供基于三权分立机制的多项安全功能，包括身份鉴别、自主访问控制、强制访问控制、数据机密性和完整性保护、安全标记、可信路径、安全审计等。 软硬件兼容性良好 支持通用、专用的可信密码模块/芯片和国产可信固件； 支持自主CPU平台及Intel x86-64（AMD64）； 兼容主流的服务器、存储和数据库、中间件、高可用集群软件等。 服务器：浪潮、曙光、华为、联想、宝德和DELL、HPE、IBM、Intel等。 数据库：达梦、金仓、神通、南大通用和Oracle、IBM、Sybase等。 中间件：东方通、中创、金蝶、普元和Oracle、IBM等。 云平台：中标麒麟虚拟化平台软件、华为FusionSphere、华三CAS等。

为了生态环境安全，满足某些区域特殊环境核辐射的监测需要，沈阳理工大学与沈阳某研究所联合开发了核辐射综合检测信息处理系统。该成果利用3G无线网络实现区域环境核辐射的实时监测，实现测量数据和信息无线网络传输与处理，对核辐射参数及相应的环境参数进行实时、综合测量。该系统可以用于涉核区域环境核辐射剂量的无线远程监测，能够将实时数据和辐射剂量的分布情况形象地显示在上位机图形界面上，具有数据无线传输与控制、数据存储、历史数据查询、节点的远程控制等多种功能。该项目已经于2012年底通过部级鉴定并申报科技进步奖。

GPS远程监控服务系统是集GPS（全球卫星定位系统）、GSM/GPRS（移动通信系统）及车辆监控报警于一身的智能化信息服务平台，具有先进的全球卫星定位、实时监控、防盗反窃、远程调度、图象监控、温度监控、超速报警等多项功能，能为企事业单位提供“车辆科学调度管理，降低企业运营成本”的最佳解决方案。 主要功能： 1、车辆管理调度（三个月任意时间段车辆工作表统计：点火时间表、行驶里程、理论油耗、行驶轨迹等）。 2、远程监控报警，防盗，通过手机、网络、电话进行实时跟踪自动监控，温度监控/图象监控/超速报警记录。 应用范围： 1、物流行业：车辆调度管理。 2、租赁行业：汽车实时监控、防盗。 3、冷藏车及危险品特种车辆：温度监控图像监控。 4、建筑行业：监控防盗和车速监控、混凝土车装卸管理等。 5、特种行业：如烟草、电力等车辆监控管理。 并可根据企业不同要求进行定向开发，订制管理服务平台。使用任何一台能上网的电脑，即可实施监控管理。本系统支持平面电子地图和三维卫星地图。

随着高新技术的发展和产品复杂程度的增加，尤其是航天、航空等复杂产品向小型化、轻量化、精密化和光、机、电一体化方向的发展，产品的填充密度和装配质量要求越来越高，装配工艺的发展成为保证产品质量和生产效率的决定性因素。虚拟装配工艺规划及其信息管理系统主要是通过构建一个基于VR平台的人机交互装配工艺规划环境，使用户能在可视化的环境下交互地对产品三维模型进行拟实的装配操作，以建立和分析零部件的装配顺序、装配路径、装配过程中的动态干涉，验证和分析装配工、夹具的空间可操作性和装夹定位关系，并以此为基础，形成规范的复合装配工艺文档。

文本语义相似度是指两个句子或文本片段之间的语义等价程度，其研究在自然语言处理的问答系统、机器翻译、信息抽取、自动摘要等相关领域中有着广泛的应用，具有重要的理论意义和应用价值。现有的文本语义相似度方法主要基于词表面特征，但由于词语间普遍存在概念上的关联，缺乏概念层面的精确计算导致这些方法的准确性提升困难，而实现全文本在概念层面的精确计算尚无有效模型。 项目团队依据单个名词的概念信息量为基础，分别提出了多种模型和方法实现文本在概念级别快速、精确地计算语义相似度：（1）提出一种基于概念信息量的文本语义相似度无监督基本模型；（2）提出一种基于概念信息增益的文本信息量计算方法；（3）提出一种融合信息权重的全文本信息量计算方法。实验结果表明，团队提出方法在SemEval 2013-2016 STS（文本语义相似度）数据集上均超过了当年最先进系统的总成绩，并且在SemEval 2017 STS国际测评中，本系统的总成绩在所有参赛团队中排名第二，其中在Track 1数据集上排名第一（共34个参赛团队提交81个系统）。相关论文被大会评选为“Best of SemEval 2017”。

文本语义相似度是指两个句子或文本片段之间的语义等价程度，其研究在自然语言处理的问答系统、机器翻译、信息抽取、自动摘要等相关领域中有着广泛的应用，具有重要的理论意义和应用价值。现有的文本语义相似度方法主要基于词表面特征，但由于词语间普遍存在概念上的关联，缺乏概念层面的精确计算导致这些方法的准确性提升困难，而实现全文本在概念层面的精确计算尚无有效模型。 我们依据单个名词的概念信息量为基础，分别提出了多种模型和方法实现文本在概念级别快速、精确地计算语义相似度：（1）提出一种基于概念信息量的文本语义相似度无监督基本模型（发表SCI论文1篇，授权专利1项）；（2）提出一种基于概念信息增益的文本信息量计算方法（发表SCI论文1篇）；（3）提出一种融合信息权重的全文本信息量计算方法（发表SCI论文1篇，最佳国际测评论文1篇）。实验结果表明，我们提出方法在SemEval 2013-2016 STS（文本语义相似度）数据集上均超过了当年最先进系统的总成绩，并且在SemEval 2017 STS国际测评中，我们系统的总成绩在所有参赛团队中排名第二，其中在Track 1数据集上排名第一（共34个参赛团队提交81个系统）。相关论文被大会议评选为“Best of SemEval 2017”。 随着人工智能相关技术的发展，智能问答系统应用在许多行业和领域中都有迫切的需求。比如在电话咨询场景中，传统人工坐席无法满足日益增加的客户咨询量；在政府业务公开场景中，智能机器人对用户的不准确答复会影响政府形象和公信力。目前业界的做法是人工设计问答系统或者对话系统，而不是使问答系统真正具有人类常识和世界知识，这种系统无法适应提问方法的改变或应用场景的转换。而概念信息方法以认知知识库为基础可以获得大量世界知识，比如概念之间的上下位关系。在特定领域的问答匹配多个测试数据集上的实验结果显示，相对于谷歌最新的深度计算模型BERT，概念信息语义相似度无监督模型已经比当今最优深度学习模型高出13%-15%。在问答系统上准确性的优势说明，概念信息语义相似度模型对智能问答系统具有明显的应用落地优势。

抛投式微小型智能探测机器人，是一种小型机器人，2公斤以内，可以随身携带，可以以手抛、炮射、空投等方式进入灾害（火灾、地震、化学爆炸等）现场，实现危险环境的无人探测与通讯。 一、项目分类 关键核心技术突破 二、技术分析 应急救援人员在执行如消防侦查等具有一定危险性的救援任务时，都需要尽可能了解任务场景，然后制定指挥方案。在任务环境未知的情况下，如果让救援人员去探测现场情况，不仅难以获得准确、全面的现场信息，更重要的是可能给探测人员带来危险。采用智能侦检机器人代替人员去探测任务场景，可以通过机器人上装备的多种传感器获得完整的现场信息，还能使得救援人员在侦检过程中远离危险，提高任务执行效率，减少人员伤亡。针对不同使用场景，采用不同机器人可以满足使用需求：对于高楼或狭小型空间，可采用抛投式微小型智能探测机器人执行侦检任务；对于地面情况复杂的情况，履带式应急智能探测与救援机器人可以更好实现侦检功能。 本项目形成的产品将主要应用与消防以及应急救援行业，针对火灾现场不明状况的环境条件，尤其是充斥烟气但尚无太高温度的现场环境，研究设计适合消防救援现场信息探测与侦检的抛投式微小型智能探测机器人，通过投掷、炮射等快速部署方式布置到现场，侦测并实时回传现场救援所需信息，实现救灾现场信息的应用集成与辅助决策系统构建，切实保证消防战士施救自身安全、提高救援效率的战术目标。 抛投式微小型智能探测机器人，是一种小型机器人，2公斤以内，可以随身携带，可以以手抛、炮射、空投等方式进入灾害（火灾、地震、化学爆炸等）现场，实现危险环境的无人探测与通讯。 它可在救援人员无法快速接近或不适宜进入的事故现场，采用抛投形式实现快速部署，主动探测火灾现场情况。一方面可以替代消防人员进入不适合人类进入的事故现场，保证了人身安全另一方面，抛投快速部署也提高了灾难响应速度。 本项目中研发的三款机器人都具备对火灾现场温度、气体浓度、可见光或红外图像、视频、声音等环境信息与参数的探测与侦检能力，严格按照消防装备安全规范进行设计，满足消防现场信息探测设施快速部署、所需信息有效侦测等功能要求，特别适用于消防救援现场危险信息的实时探测与搜救任务，可以对起火点的寻找与确认、人员定位与搜救提供重大帮助。根据现场情况的具体需要，可以选择使用不同形态的机器人代替消防战士先行进入各种灾情现场、以及可能坍塌的建筑物、被火墙封锁的室内空间等救援现场开展信息侦检和搜救工作。智能机器人现场侦检实时传回的现场信息，可以有效接入消防救灾现场信息系统，通过信息的集成应用构建救援现场指挥辅助决策系统，对于保证救援人员自身安全、减少次生灾害、提升救援水平具有显著的技术支撑作用。 本项目研发的机器人技术，主要是填补了现有消防装备在复杂环境下智能化侦查能力的不足，使智能机器人技术应用与消防救援任务相结合，社会效益和经济效益价值凸显，并将进一步促进我国消防应急处理关键技术与装备的发展。

该项目是《新一代人工智能发展规划》提出构建非完全信息下智能决策基础理论与框架要求下的形成的首批国内领先、国际一流成果之一。该项目面向非完全信息、群体、多群体的复杂博弈决策问题，对博弈决策的建模、度量、策略求解等具有开创性贡献。在顶级评测ACPC中连续5年保持世界前三、亚洲第一。项目平台实现博弈决策与超算相结合，建立KP级别算力平台的超大规模博弈决策系统。其研究获得国家级重点涉密项目、总装备部重点实验室基金等立项支持。 项目成果与平安、腾讯、前海金融等企业展开广泛的合作。协助平安科技基