项目研究内容 ： 本系统的开发内容是实现一个能够对网络安全认证 协议进行形式化自动分析的模型检测系统， 该系统能够自动完成对协议的 建模、性质归纳及协议系统模型的验证，并在发现协议漏洞时，以直观的 图形化界面显示该漏洞的攻击序列图。 技术特点 ：抽象性：该系统具有较高的抽象性。协议的建模和验证过 程对用户来说是完全透明的

实木

大型空分设备是利用氧、氮、氩组分沸点的不同在精馏塔中使气、液接触，进行质热交换，从空气中分离出氧、氮、氩和稀有气体等产品。如何降低空分生产电耗、提高空分装置运行经济性和操作人员的操作水平一直是钢铁和化工行业关注的重要问题之一。所开发大型空分设备全工况模拟及操作仿真系统具有如下特点：提出了一种考虑主导产品地位的空分产品能耗分摊比例计算方法，解决了国内外长期以来由于氧、氮、氩互为副产品而带来的单个产品能耗无法确定的问题；可进行空分全工况的数值模拟计算和分析；实现了大型空分装置的操作仿真，为空分设备的变工况运行分析与预测、操作人员培训、事故与故障的再现分析、掌握设备运行的极限操作参数提供平台。该系统已在国内众多大中型企业得到推广应用。

  在国家自然科学基金、863计划的资助下,面向生物医学工程的微操作机器人系统,在系统设计与实现、显微图像处理与深度辨识、超微量定量注射等方面取得了数项原创性研究成果,获天津市技术发明一等奖和国家技术发明二等奖。该系统中的相关技术获得多项专利成果,ZL200510016296.7:基于显微图像处理的微操作工具深度信息提取方法及装置,Z1200410018840.7:微量注射自动控制统,ZL031299245:全数字细分型高精度步进电机控制器,zL97121702.5:用于生物医学工程的微操作机器人.    在国家863计划重点项目资助下,该微操作机器人系统已经进入生命科学领域的示范性应用和产业化阶段,主要应用领域包括显微注射、显微切割、病理分析等。    基于微操作机器人的数字切片扫描系统,是针对生物医学切片数字化这一应用目标所构建的自动化微操作系统。通过扫描拼接的方式,将物理切片扫描生成数字图像,可获得原始切片在各种倍数物镜下的所有信息,通过计算机进行显示和操作,模拟真实显微镜下的观察过程。数字切片突破了显微镜视野范围限制,使用户以更全面地观察切片而不丢失细节;易于检索和快速浏览;便于存储和网络信息交流,特别适合于医学的远程诊断和会诊,以及实验教学;可整合资源、节省资金,对于一些难以取得的切片,可通过数字化实现共享,而不用担心由于切片破碎、褪色造成的问题。    该系统的主要技术特点包括:    微米级运动精度的手自一体的电控显微镜载物平台;    高度并行的数字切片扫描策略,20分钟内完成1厘米x1厘米大小的数字切片生成;    海量影像数据存储和检索策略,可实现切片的平滑浏览、无级放缩;    便捷、高效、友好的操作模式设计,系统具有很强的易用性    该系统结构及性能指标:    1.电动载物平台规格参数:      行程:86mmx86mm      重复定位精度:±2um      最小步距:10um      最大运动速度:2000um/s      最小运动速度:1.4um/s      平整度:5um      测角精度:±2arc/s   2.数字切片扫描软件性能及特点:      采用连通区域优先的融合轨迹规划算法,图像融合效果佳;      摄像参数灵活可控,白平衡、曝光、对焦,可采用软件托管的自动控制同时支持手动设置;      支持预设摄像参数,并可按物镜倍数进行分组预设,更换物镜后,可直接调用相应的预设参数;      精确控制微动平台运动定位,重复定位精度达到±2μm;   3.数字切片浏览软件性能及特点:      可对超大图像进行快速加载,并可流畅浏览数字切片。      可拖动浏览,可使图像跟随鼠标移动;      实时标记局部图像的相对位置,实现缩略图辅助定位;      图像逐级放缩,不损失画质;      可对自选的局部标定区域进行测量,测量精度±0.3μm;    物理切片的数字化,开启了针对病理信息数字化处理的大门,借助于显微图蒙处理技术,可以广泛地应用在病理分析、远程医疗诊断、科研教学等诸多以切片为研究目标的在生物医学领域。    我国,随着数字化切片在医学与生命科学领域的日益普及,显微切片自动扫描系统的需求量将逐年扩大。目前,该系统样机已经研制成功,正在进入市场营销阶段。国内外物医学领域同类产品,主要面向大型医疗机构和研究所,一般价格都在40万元人民币以上。基于微操作机器人的数字切片扫描系统,由于具有全部自主知识产权,可以大幅度降低成本,有效打开中低端市场的主导产品。    本项目可极大地降低数字化切片技术的应用门槛，使此项技术在基层医疗单位得到更好的推广应用，促进我国病理切片数字化管理和共享利用水平的提高，有效提升医疗诊断的服务水平，可生产良好的经济效益和社会效益。

南开大学机器人与信息自动化研究所从1992年开始研制用于生物工程的微操作机器人系统，完成国内第一台样机，此后的系列样机，均取得较好的应用效果。此项成果于1999年获得国内最早的微操作机器人系统整体发明专利，并于2001年12月获2000年度天津市技术发明一等奖，2003年3月获2002年国家技术发明二等奖。近年来，针对我国在生命科学研究中对自动化精密仪器与设备的迫切需求，在已有研究成果的基础上，机器人所致力于开发“面向批量细胞转基因及克隆操作的显微注射系统”，该系统具有显微镜全局视野

在国家自然科学基金、863计划的资助下，面向生物医学工程的微操作机器人系统，在系统设计与实现、显微图像处理与深度辨识、超微量定量注射等方面取得了数项原创性研究成果，获天津市技术发明一等奖和国家技术发明二等奖。该系统中的相关技术获得多项专利成果，ZL2005 1 0016296.7：基于显微图像处理的微操作工具深度信息提取方法及装置，ZL2004 1 0018840.7：微量注射自动控制系统，ZL03 1 29924.5：全数字细分型高精度步进电机控制器，ZL97121702.5：用于生物医学工程的

银河麒麟服务器操作系统是在“863计划”和国家核高基科技重大专项支持下，研制而成的高安全、高可靠、高可用国产操作系统，系统实现对飞腾、龙芯、鲲鹏、兆芯、海光等自主CPU及x86平台的支持，已经在国防、军工、政务、电力、航天、金融、电信、教育、大中型企业等行业或领域得到广泛应用。 产品特点 安全创新 国内首家通过公安部信息安全产品检测中心第四级结构化保护级安全认证，以及首家通过军B+级安全认证的操作系统，是国内高安全等级的操作系统。  高效地系统备份还原功能，支持全量、增量的备份还原，支持通过GRUB进入备份还原。  良好兼容  支持飞腾、龙芯、鲲鹏、兆芯、海光等国产CPU平台，兼容国内外主流服务器、存储系统、板卡和外部设备。  丰富生态  支持以Oracle、DB2、MariaDB、MySQL为代表的国际主流数据库，以及以达梦、金仓、神通、南大通用、上容为代表的国产数据库，支持以Weblogic、WebSphere、Tuxedo、JBOSS、Tomcat为代表的国际主流中间件，以及以东方通、中创、金蝶为代表的国产中间件。  开发环境  支持QtCreator、Eclipse等开发环境，提供配套的C/C++、Java及主流语言的编译、测试、调优工具集。提供Python、Perl、PHP、Tcl/Tk、Shell、Go等编程语言开发环境支持。  高可用性  支持软、硬RAID，支持RAID0、RAID1、RAID5、RAID10等多种模式。支持网络冗余，提供多模式网卡绑定功能，满足不同场景的网络需求。  虚拟化支持  全面支持LXC/Docker等虚拟机。 

中标麒麟桌面操作系统软件V7.0是新一代面向桌面应用的图形化操作系统，产品实现对龙芯、申威、兆芯、鲲鹏等自主CPU及x86平台的同源支持，提供统一的用户体验；系统提供全新、经典的用户界面，兼顾用户已有使用习惯；系统核心参数升级，性能有效提升并保障系统稳定性和安全性；系统提供完善的系统升级维护机制；软件中心提供丰富的桌面应用及工具，实现开机即用；系统兼容性好，支持主流国内外软硬件。 产品特点 同源开发，跨平台支持，统一用户体验 中标麒麟桌面操作系统软件V7.0通过同源开发、跨平台编译构造，实现“一次开发，分次编译，跨平台部署”，实现不同硬件平台操作系统的核心功能、基础开发环境和软件运行依赖环境一致，并保持一致的用户体验；统一适配操作系统之上的应用软件。 全新经典界面，充分兼顾用户习惯 中标麒麟桌面操作系统软件V7.0不断完善以用户为导向的桌面环境设计，提供全新、经典的系统界面，使整个操作体验更加高效、便捷和易用；同时充分考虑用户既有操作习惯，帮助用户平滑过渡，有效降低迁移培训成本。 完善的系统升级维护机制，支持在线、离线更新 中标麒麟桌面操作系统软件V7.0提供完善的系统升级维护机制，支持外网更新和局域网更新；提供在线、离线升级、定时更新和关机更新等多项实用功能。 全新软件中心，提供丰富的桌面应用 面向党政办公和行业应用，中标麒麟桌面操作系统软件V7.0适配大量图形化应用软件，内置大量桌面应用和工具软件，实现开机即用。同时推出全新中标麒麟软件中心（应用商店），支持软件查找、升级和卸载功能，提供丰富的软件供用户选择。 良好的软硬件生态，兼容支持主流国产软硬件 系统提供良好的硬件兼容性，支持主流国产整机和外设；系统提供良好的软件兼容性，支持办公应用、安全软件、数据库及中间件、即时通讯等各类应用软件。