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

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

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

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

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

        滑雪头盔作为滑雪运动中不可或缺的安全装备，在《中国滑雪场所管理规范》中指出，滑雪头盔是必选项，滑雪头盔市场规模和发展潜力巨大。目前滑雪头盔市场仍由国外品牌主导。

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

天津市大学软件学院是市委市政府批准设立的隶属于天津市教委具有独立法人的事业单位。学院2008年9月奠基，2010年10月正式启动。学院以软件产业发展的人才需求为导向，以建设国内一流、国际先进的“软件人才培养基地”和“高质量产教融合平台、高水平成果转化平台、高效能社会服务平台”（简称“一基地三高平台”）为目标，将教育链、产业链、人才链、创新链有机串联，打造了从工程实践到创新创业的软件人才培养生态系统，走出了一条政产学研用相结合的软件人才培养新路。   学院率先在全国提出“教学与产业相融，学校与企业互动”的产学合作协同育人理念，依托79所本科院校组成的“高校联盟”和150余家协同育人企业组成的“企业联盟”及300余家行业用人单位，形成高校办学资源和产业行业资源开放共享、高校学科与产业深度融合、高校与企业共同发展的发展格局，有效解决了信息技术行业实践教学资源孤立分散的问题。学院先后获批滨海高新区软件人才培养基地、天津市青年就业见习基地、天津市外国留学生实习实践基地、天津市专业技术人员继续教育基地、市商务局公共培训服务平台、天津市自主就业退役士兵适应性培训基地，承担了区域营商环境和产业人才“蓄水池”职能，培养了大批软件人才和各类专业技术人才，年常驻在校生7000余名，年实训人次稳定在10000人次左右。设立天津场外交易市场（OTC）高校板服务中心，牵头成立天津市虚拟现实和增强现实应用技术应用协会、天津市科学与艺术学会，引进天津市大数据协会，成立天津市软件行业协会人才工作专业委员会，更好地为产业服务。入选“天津市半导体集成电路人才创新创业联盟”和“天津市电子信息与大数据人才创新创业联盟”两个联盟，为软件及信息技术服务产业发展提供了有力人才支撑。京津冀协同发展十周年之际，学校被京津冀三地政府授予“京津冀软件人才培养基地”称号，已与60余家企业、13所高校签订“京津冀软件人才培养基地”协议，助力京津冀协同发展。       （一）打造高质量产教融合平台，有效解决产教“两张皮”问题 学院集合全市优质科技、教育、行业资源进行平台建设探索并实践政府引导的产教深度融合培养信息技术产业人才的管理体制和运行机制，实现了产教共同体在协同育人过程中的同频共振。学院现拥有1个国家级工程实践教育中心、1个国家级众创空间、2个国家级大学生实践教育基地、140个校企共建专业实验室、项目实训室和创新中心，与奇安信、麒麟软件等14家信创头部企业建立了深度合作关系。       （二）打造高水平成果转化平台，校企协同助力创新策源能力提升 学院持续推进产教深度融合，先后推出“协同创新计划”和“天软创业育成计划”，建设了国家级和市级众创空间“天软·创魔方”“中北·天软创业学院”、市级大学科技园“天软信创大学科技园”三个园区，构建了“校企协同开发-校企协同研发-产学研协同攻关”三层校企协同创新模型。同时，构建了科技资源成果库与产业需求项目库，精准服务各兄弟院校师生技术创新，并努力促进高质量创新成果转化为新质生产力。 （三）打造高效能社会服务平台，城校共生促区域经济提质增效 学院通过“管家+专家”的众创空间管理服务，以及自研的“十步问道创业成长力模型”创业辅导方法论，帮助来自天大、工大、师大、理工、城建等高校的数十家大学生初创公司开启了创业之路。通过“先联合培养人才，再落地注册”的高等教育服务区域产业路径，直接促成了中汽数据从北京亦庄迁徙落户天津西青，带动洪荒科技、齐物科技等一批产业链上的初创企业快速发展。

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