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

本课题在重庆市工业发展资金的资助下，开展了片上可信嵌入式系统的研 究。采用S0PC将TPM标准安全处理模块、外围接口与处理器整合在单个集成电路芯片上，为解决特殊领域嵌入式系统的安全问题提供有效和实用化的解决方 案。可以直接在国防、金融等领域推广应用，以提高智能化产品的安全性能。 系统特色： 1.  芯片化可信安全机制牢固 2.  应用范围宽 3.  可以不改变原有产品系统的硬件结构 4.  拥有核心技术与国家发明专利5.市场需求面广、量大。

本发明公开了一种移动平台可信支付系统及方法，系统包括可信操作系统、普通操作系统、虚拟机 管理器、安全浏览器、监督程序和硬件层;本发明将定制过的操作系统的镜像文件存储在存储卡中，并 在每次操作系统启动前都通过 TPM 芯片对镜像文件进行度量。这款操作系统称为可信操作系统。可信 操作系统需要通过第三方可信机构的授权才能更新，平时用户使用普通手机操作系统，但是当可信支付 系统检测到用户想要进行支付时，将自动切换到可信操作系统来执行支付操作。而支付操作需要的网址， 则通过支付网址数据库验证后加密传入可信操作系统中。本发明为用户提供了一个高度安全保护的支付 环境，同时由于该方法基于虚拟化技术，能够支持不同架构的硬件平台。

嵌入式软件在航空电子系统中扮演着重要的角色，软件的可靠性很大程度上决定了航电系统的可靠性。对航空电子系统软件进行可靠性试验与评估，可以对航电系统的可靠性水平进行定量的摸底，发现潜在的缺陷，为航电系统软件研制起到重要的决策支持和考核作用，提高系统的可靠性。 软件可靠性定量评估的核心思想是收集到与软件真实使用相关的失效间隔数据，并选择合适的软件可靠性模型，评估和预测软件可靠性水平。目前可采用传统的软件可靠性测试与评估方式和基于软件研制过程中失效输入匹配的评估技术来实现。

物联网感知大数据可信存储与分析处理平台（IOT-SeaCloudDM）：针对智慧城市、物联网、车   联网中各种采样数据（包括各类传感器、RFID、条形码阅读器采样的时空相关数据）的数据管理需求，  提供一个通用的感知大数据处理平台，对各类相关的感知采样数据进行统一管理，并达到如下目标：（1） 提供 PB~EB 级的感知采样数据存储、管理与查询处理。（2） 提供时态 - 空间数据、采样数值数据的统计分析与数据挖掘。（3）在此基础上，为各类智慧城市、物联网应用提供基础软件支撑。

本发明公开了一种基于 Docker 的可信容器安全加固方法，用于对 Docker 容器系统进行安全增强， 实现基于 Docker 的可信容器，应用于基于 Docker 的服务器集群中；该基于 Docker 的可信容器包含容 器程序 Docker、容器可信度量模块、进程监控模块和网络通信监控模块，其中容器可信度量模块包括可 信启动子模块与文件度量子模块；本发明重点关注 Docker 容器的可信性，利用可信计算、完整性度量 技术，配合实时监控模块对

本发明公开了一种软件更新的补丁安全性检测方法及系统，所 述方法包括：通过对补丁预处理，进而进行中间代码分析以获得受补 丁影响的基本块，通过这些受补丁影响的基本块得到内存敏感型函数 及其变量，从其出发构造主要执行路径；在对路径的进行符号执行的 过程中，确定具体的路径条件，到达具体的内存敏感型函数时，结合 此时的路径条件和相应的安全检测器来判断是否存在软件更新安全问 题。本发明着重于检测软件更新后，新版本相对旧版本不同部

1. 痛点问题 可靠性是主接线的重要指标之一，发电厂或变电站电气主接线可靠性水平对于电力系统整体的可靠性水平具有决定性影响。另一方面，主接线可靠性与经济性是相互矛盾的一对指标，主接线可靠性水平设计应结合其在电力系统中的应用场景和定位综合确定，不能一味追求高可靠性而忽略经济性。因此，对发电厂及变电站电气主接线可靠性进行量化分析，对于主接线方案技术经济综合比选具有重要意义。目前国内成熟的电气主接线可靠性评估工具较少，设计院在主接线方案比选中，对于可靠性评估往往采取定性评估，缺乏科学定量的分析工具指导主接线方案的优化比选。 2. 解决方案 本产品SSRE－TH（Station and Substation Reliability Evaluation - Tsinghua University）是由清华大学电机系开发的用于发电厂/变电所电气主接线可靠性的评估软件。该软件能够对发电厂的各种电气主接线方案进行可靠性及经济性评估；同时，通过计算条件的改变，也能够对变电站的电气主接线进行可靠性及经济性评估。这样，大大提高了软件的使用范围。 可靠性指标包括各种状态下的故障概率、故障频率、故障平均停电时间、期望故障受阻电力、期望故障受阻电能。本软件包括两个部分，其一是主接线的相关信息数据输入部分，其二是可靠性及经济性指标计算部分。其中，主接线原始数据通过ACCESS数据库输入。计算部分包括可靠性评估计算选项的选择，可靠性指标计算和经济性指标计算。 本软件的主要特点是： 1.用户界面友好，操作简单。一旦用户输入电气主接线的原始数据，并确定好计算条件，就可以通过简单的菜单操作完成可靠性和经济性指标的计算。整个评估过程不需要用户干预。所有计算并显示出来的结果，用户均可以方便地存储下来。 2.通用性强。本软件可适用于各种规模和电压等级的发电厂的电气主接线的可靠性评估；同时，软件设置了切换选项，同时适用于变电站的电气主接线可靠性评估。 3.可维护性强。软件按照软件工程规范进行开发，开发过程步骤明确，文档齐全，原程序结构明晰，可读性强。 4.可靠性高。软件有较大的容错性和自检能力，充分考虑到了用户的误操作、意外干扰及交互式输入数据范围越界等因素，提供警告对话框以减少人为错误引起的程序出错，保证软件正常运行。 5.可扩展性好。本软件预留了接口，可以根据实际需要进行扩充。 合作需求 本产品的应用场景较为清晰，合作需要主要包括孵化资源和资源对接。本产品目前具有一定升级优化的需求，如本产品在使用过程中，需要根据主接线结构编制数据库文件，该过程需要对软件数据库的编制规则较为了解，否则容易出错，且软件一般不会提醒错误原因，对初步使用软件的人员带来了一定的困扰。为了提高软件的使用体验，可基于当前软件版本进行升级开发，实现主接线的图形化编制和可靠性计算，则会显著降低软件的使用难度，因此，团队需要产品优化和进一步开发所需要的资金。另一方面，团队需要更加广泛的资源对接，各省份从事发电厂及变电站电气主接线设计的相关公司均为潜在客户，如各大设计院、电气咨询公司、电网公司经研院等。

（1）研发了系列新型高强高韧铸造轻合金材料，支撑了复杂铸件性能提升。 1）研发出一种新型高强韧铝硅合金。开发出一种新型高强韧铝硅合金及其制备方法；提出一种混合稀土和Sr元素的复合变质方法，缩小枝晶间距并细化共晶硅；研究出合适的热处理制度；阐明了变质剂组成与含量对变质效果的影响规律，基于此显著提高了铝硅合金的综合力学性能。有效解决了现有铝合金铸件易发生的裂纹、伸长率低、屈服强度不达标等缺陷和问题。 2）研发出一种低成本高强耐热稀土镁合金。开发出一种添加低成本混合稀土的新型多元稀土镁合金材料；揭示了混合稀土对镁合金相变规律的影响机制；研究出准晶增强稀土镁合金的高温固溶T6热处理工艺；开发出兼具优良的室温与高温力学性能的低成本稀土镁合金；解决了现有镁合金铸件易产生冷隔、强度低、韧性差等问题。 3）研发出一种新型高强韧钛合金。开发出一种α+β型双相高强高韧钛合金，揭示了合金在凝固-热等静压-热处理过程中微观组织的演变规律；研究出调控相组成及相形态的双级固溶时效热处理制度，形成了以等轴和篮网为主要特征的基体组织，使合金的强度和韧性同步提升。解决了现有铸造钛合金强度和韧性偏低、铸造成形性差等问题。 （2）研发了铸造全流程模拟仿真系统，提出了高效的单件化铸造数值模拟方法，实现了高性能复杂铸件的数字化工艺设计。 1）提出了一种铸造原辅材料热物性参数高精度求解方法。提出了基于实验测温与数值模拟反求的热物性参数求解方法，实现了面向数值模拟的热物性参数高精度求解；建立了反热传导法求解铸件/铸型界面换热系数的数学模型,降低了界面关键参数求解误差；研发了高精高效的热物性参数反求平台-华铸PIS，创建了铸造原辅材料高精度热物性参数数据库。 2）研发了铸造合金熔炼-复杂铸件充型凝固-热处理的铸造多物理场全流程高效模拟平台。建立了电磁、速度、压强、浓度、温度的多物理场耦合数学模型，自主研发了从铸造合金熔炼到复杂铸件充型凝固到热处理的铸造全流程模拟仿真平台，为铸造工艺优化提供了工具；提出一种数据内存动态自适应划分技术，解决了SOLA流动场求解数据耦合干扰难题，实现了大规模铸造流动场模拟问题的并行高效求解。 3）提出缩孔缩松缺陷定量预测与单件化模拟工艺优化方法。提出双高分配原则缩孔缩松预测模型，解决了复杂铸件缩孔缩松高精度预测难题；提出了针对高性能复杂铸件不同批次的单个铸件模拟方法，建立关键工艺参数波动对典型缺陷的多元回归关系模型，实现了基于单件化模拟仿真的高性能复杂铸件缺陷控制与工艺优化。 （3）建立了铸件生产全生命周期的单件化柔性化质量管理模型，实现了高性能复杂铸件质量问题的单件化、全过程、全要素溯源。 1）创建了基于PLM理论和TQM理论的铸件单件化管理模型。基于产品全生命周期PLM理念以及多智能体技术，构建了铸造串并联多工位单件化的缺陷溯源模型；建立铸件单件及作业过程信息模型和组批、混批、拆批模式下单件自动生成、感知、标记、进度跟踪的控制机制，实现高性能复杂铸件单件化缺陷溯源。 2）创建了支持业务即时重构的参数配置式多维度铸造柔性化管理模型。创建了支持铸造数字化管理系统业务即时重构的参数配置式多维度铸造柔性化管理模型，解决了刚性管理系统可重用性低、应变能力弱和实施周期长的难题，支撑不同领域不同类型铸造企业随环境变化、自身发展等柔性进行的组织变革、流程变更和管理改善，实现了企业按需柔性化管理。 3）创建了基于TLBO\GA\BSA元启发式算法优化理论的铸造智能化管理模型。创建基于改进性教与学算法（TLBO）、遗传算法（GA）、回溯搜索算法（BSA）等元启发式算法优化理论的铸造智能化管理模型和技术，解决了铸件异步热工序组炉复杂条件下工序生产调度IPPS组合优化难题，实现了系统智能决策管理以及多品种大容量铸件高效生产。