软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。

提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020  GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424  ZL2020100476371  ZL20201175663.9)登记软件著作权11项。 (3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。

为全面贯彻落实国务院办公厅《国务院关于在线政务服务的若干规定》、《关于简化优化办公服务流程方便基层群众办事创业的通知》、《推进“互联网+政务服务”开展信息惠民试点实施方案》若干规定，并结合《中国教育现代化2035》和《加快推进教育现代化实施方案（2018－2022年）》的要求，全面提升高校事务服务规范化、便利化水平，杜绝一纸证明“跑断腿”，优化高校服务环境，推进服务型高校建设。 时代锐思通过多年的研究和实践，借助数据共享技术、电子签名技术、大数据及物联网技术等前沿信息化手段构建出第三代“数据共享—电子签名—文档可信—文档服务门户/终端自助打印—文档验真”一体化的可信电子文档管理平台，依托一体化的可信电子文档管理平台实现高校服务线上线下深度融合，实现高校各部门、各环节数据资源的高度联通，给高校的全面数字化转型提供有力的支撑，夯实数字校园建设。 高校可信电子文档管理平台由可信电子文档库系统、可信电子文档服务门户、可信电子文档自助打印三大系统构成。高校师生可通过可信电子文档服务门户和可信电子文档自助打印两种途径，来实现24H、全方位高校文档的获取。通过高校可信电子文档管理平台的建设，加速高校打造文档服务线上线下闭环生态。 高校可信电子文档管理平台即将部署5所高校 高校可信电子文档管理平台在四川传媒学院应用

为进一步提高学校师生办理所需文件的便捷度，让信息多跑路，学生少跑腿，时代锐思推出可信电子文档服务平台。此平台依托PKI身份认证体系，以标准电子签章服务体系为核心，将数字证书与师生校内基础数据整合，为学生提供可信电子成绩单、可信电子证明文件的申请、生成、派发、验证等全在线自助服务，解决全流程线上业务办理“最后一公里”问题，三步申请、一秒送达、一次搞定。 可信电子文档优势 更加的安全 与传统的纸质文档相比，电子文档更加的安全，不会丢失和损坏，更不会被其他人所利用和伪造，而且具有和纸质文档一样的法律效应。在需要的时候随时可以通过pc端、手机移动端对电子文档并进行查验，杜绝文档篡改、造假。  更加的便利 电子文档是一个数字的文档，不需要随身携带，只需要在使用的时候，随时可登录服务平台查询、下载已加盖电子签章的文档。 随时打印 可信电子文档随用随打印（彩色、黑白均可），对打印机和纸张没有限制，对打印次数没有限制。  更加的智能 实现文档电子化之后，每个学生的相关文档（各种成绩单、证明文件）都可以随时在线查询，而且会更加的智能化。 更加具有公信力 可信电子文档的法律效力、基本用途、基本使用规定与纸质文档相同，突破了传统纸质文档的概念；采取电子签章实现文档签名、电子盖章，实现电子文档唯一性、不可抵赖性、防篡改；通过数字媒体形式传送与保存文档内容，可通过网络、移动通信等方式传送给接收方。   可信电子文档应用

本发明提供了一种基于控制系统可信架构的TPCM模块，包括内部总线，以及连接到所述内部总线的TPM处理单元、程序存储器、配置存储器、数据存储器、完整性检测单元，还包括总线仲裁管理单元；本发明还提供了一种基于上述TPCM模块的可信检测技术，包括可信设备的信任链生成和传递，以及可信操作系统中可信进程的基本信息的完整可信检测和可信进程加载的可执行文件的完整性与可信性检测。本发明提出了结合功能安全与信息安全，结合外部防御与内部防范，覆盖硬件配置、软件编程、网络通信、实时运行、工程维护等设计、运行、服务全生命周期的控制系统可信可控架构及可信检测技术，保证了工业控制系统的可靠性、安全性实时性、可用性、可维护性。

机械结构可靠性设计及分析软件是一个模块化的机构\结构零部件和系统的可靠性设计及概率分析的软件系统，采用了最新的概率算法和通用数字分析方法以计算工程系统的概率响应和可靠性；提供了丰富的可靠性分析仿真功能和图视化前后处理界面；可以在虚拟样机和有限元模型等数字化环境中，协同三维建模、控制仿真、有限元分析和动力学分析等成熟的商业化CAD、CAE 工具实现复杂机械结构和机构的可靠性定量性设计、可靠性预计和设计方案仿真评价、优化设计。 该软件先进性体现在：先进的可靠性设计分析方法；先进的集成框架技术；良好的开放性和二次开发平台。 机械结构可靠性设计及分析软件包括可靠性定量分析、产品可靠性预计、设计方案可靠性定量仿真评价及机械结构可靠性设计。可满足航空、航天、兵器、船舶、核等军民品企业开展复杂机械结构和机构产品的可靠性、参数化定量设计和综合分析评价、优化等设计分析工作的需要。 该软件的功能模块图如图1所示，其中可靠性优化设计界面如图2所示。 图1 本平台功能模块图 图2 可靠性优化设计界面

机械结构可靠性设计及分析软件是一个模块化的机构\结构零部件和系统的可靠性设计及概率分析的软件系统，采用了最新的概率算法和通用数字分析方法以计算工程系统的概率响应和可靠性；提供了丰富的可靠性分析仿真功能和图视化前后处理界面；可以在虚拟样机和有限元模型等数字化环境中，协同三维建模、控制仿真、有限元分析和动力学分析等成熟的商业化CAD、CAE 工具实现复杂机械结构和机构的可靠性定量性设计、可靠性预计和设计方案仿真评价、优化设计。

成果简介： 机械结构可靠性设计及分析软件是一个模块化的机构\结构零部件和系统的可靠性设计及概率分析的软件系统，采用了最新的概率算法和通用数字分析方法以计算工程系统的概率响应和可靠性；提供了丰富的可靠性分析仿真功能和图视化前后处理界面；可以在虚拟样机和有限元模型等数字化环境中，协同三维建模、控制仿真、有限元分析和动力学分析等成熟的商业化CAD、CAE 工具实现复杂机械结构和机构的可靠性定量性设计、可靠性预计和设计方案仿真评价、优化设计。 该软件先进性体现在：先进的可靠性设计分析方法；先进的集成框架技术；良好的开放性和二次开发平台。 机械结构可靠性设计及分析软件包括可靠性定量分析、产品可靠性预计、设计方案可靠性定量仿真评价及机械结构可靠性设计。可满足航空、航天、兵器、船舶、核等军民品企业开展复杂机械结构和机构产品的可靠性、参数化定量设计和综合分析评价、优化等设计分析工作的需要。 该软件的功能模块图如图1所示，其中可靠性优化设计界面如图2所示。

技术创新性和领先性 课题组所开发的发电厂主接线可靠性分析软件 REBUS 是对任何类型发电厂主接线进行可靠性全面评估的有力工具

1 成果简介随着电网互联规模和复杂性的提高，电力系统的可靠运行对经济发展社会进步的作用越来越大，安全运行问题也将更加突出。我国是一个发展中国家，当前我国电网的总体技术水平与发达国家特别是与美国相比有很大差距。电网结构薄弱，电气主设备和线路故障率较高，部分电网电源供应紧张，应付电网突发事件的运行备用不足。提高电网可靠性、保证电网安全运行已成为世界各国电力系统的迫切要求， 所以，对电力系统可靠性的研究具有十分重要的意义。开发一个操作方便的可靠性评估软件包对指导电网规划、运行、调度有非常重要的意义。 电力系统运行可靠性在线评估预警软件（ ORET）利用气象、地震和水利等部门的数据和从数据采集与监控/能量管理系统（ SCADA/EMS）获得的电网实时运行数据对电力系统进行实时监控，并对电力系统进行预警，同时为运行人员提供定性和定量的指导。 软件特点： 可靠性评估按照使用目的，通常可以分为规划可靠性和运行可靠性两大类。规划可靠性一般用于分析比较不同的规划方案，为电力系统规划提供指导意见。规划可靠性评估使用元件的长期平均故障率，不考虑实施运行情况，要求计算精度高，但不刻意要求计算速度。运行可靠性根据电网的实时运行状况进行评估，指导电网的调度和实时控制。运行可靠性评估使用元件的实时运行故障率，并考虑不同元件所处位置、天气等信息，对计算结果绝对值的精度要求不高，对计算结果实时变化的准确度要求较高，同时对计算速度要求苛刻。目前，数据采集和监控/能量管理系统（ SCADA/EMS）的逐渐完善和成熟，为实现电网运行可靠性评估提供了可能性。 本软件在 Windows 操作系统下，采用 Visual C++ 6.0 开发了可靠性评估软件包，包括规划可靠性和运行可靠性两种功能，可以分别用于不同的用途。电网运行人员可以通过曲线的方式实时监视电网的运行状况。 软件的主要优点有：具有图形化界面，并且支持 BPA、 PSASP、 PSSE 等各种电力系统数据格式的导入。实时反映运行条件变化对元件停运率和系统可靠性水平的影响。变精度快速排序算法，实现在线快速预警功能，缩短了严重故障状态的可靠性预警时间，避免了巨大的计算量和计算时间，并为调度员争取了宝贵的决策时间。具有实时存储功能，能在运行过程中将计算结果记录下来。并能通过曲线的形式与 历史数据进行比较。基于三维曲面绘制技术和动态着色技术的可视化方法，如图 2 所示，将计算中所产生的可靠性信息转变成直观的以图形或图像形式表示的信息，使调度员对电网实时运行可靠性有形象而全面的了解。图 1 可靠性软件界面图 2 可视化输出技术2 技术指标清华大学通过多年的研究积累以及在国家 973 计划的支持下，对电力系统运行可靠性展开了全面的研究，开发出来电力系统运行可靠性在线评估预警软件。本软件适用于大规模电力系统运行可靠性评估，实现了对电力系统运行风险评估、预警和辅助决策，为电力系统运行和调度的实时可靠性评估提供了定量的指导。关键方法和关键技术达到了国际先进水平，并于 2009 年 10 月通过了国家 973 计划项目验收。3 效益分析本软件的推广应用前景良好，适用于从区调、省调（市调）到网调不同调度部门的具体要求， 对提高电网可靠性、保证电网安全运行有重要意义。