公开(公告)号：CN107590020B

公开(公告)日：2020-11-27

申请号：CN201710574075.4

申请日：2017-07-14

Applicant: 同济大学

Inventor： 薛小平 ,  周航 ,  王小平 ,  张芳 ,  张春花 ,  张令聪

IPC: G06F11/10

Abstract: 本发明涉及一种基于差异化编码和语句签名的可信计算方法，具体包括以下步骤：对源代码分别进行变量编码、运算编码和分配语句签名操作；采用编译器对代码进行编译，输出安全二进制代码，分配语句签名操作包括：定义一个全局变量存储运行时签名；对复合表达式进行拆分后进行签名语句分配，若不是复合表达式，直接为当前运算表达式分配一个唯一的签名语句；计算当前表达式的签名和上一条表达式的签名的差值获得签名补偿；根据签名补偿值，更新运行时签名值。与现有技术相比，本发明具有能够通过系数的数学关系简化编码和解码步骤、减少性能开销、提升程序运行速度和保证安全性能符合SIL4的要求等优点。

公开(公告)号：CN107590020A

公开(公告)日：2018-01-16

申请号：CN201710574075.4

申请日：2017-07-14

Applicant: 同济大学

Inventor： 薛小平 ,  周航 ,  王小平 ,  张芳 ,  张春花 ,  张令聪

IPC: G06F11/10

Abstract: 本发明涉及一种基于差异化编码和语句签名的可信计算方法，具体包括以下步骤：对源代码分别进行变量编码、运算编码和分配语句签名操作；采用编译器对代码进行编译，输出安全二进制代码，分配语句签名操作包括：定义一个全局变量存储运行时签名；对复合表达式进行拆分后进行签名语句分配，若不是复合表达式，直接为当前运算表达式分配一个唯一的签名语句；计算当前表达式的签名和上一条表达式的签名的差值获得签名补偿；根据签名补偿值，更新运行时签名值。与现有技术相比，本发明具有能够通过系数的数学关系简化编码和解码步骤、减少性能开销、提升程序运行速度和保证安全性能符合SIL4的要求等优点。

公开(公告)号：CN105354786A

公开(公告)日：2016-02-24

申请号：CN201510683272.0

申请日：2015-10-20

Applicant: 同济大学 ,  南宁轨道交通集团有限责任公司

Inventor： 洪玲 ,  柳林 ,  徐瑞华 ,  李文柱 ,  周峰 ,  黄家骏 ,  周航 ,  邓泷波 ,  李伟 ,  宋晓敏 ,  丁力 ,  陈秋任

IPC: G06Q50/30

CPC classification number: Y02P90/845

Abstract: 本发明涉及一种基于碳减排的城市轨道交通环境效益量化方法，包括以下步骤：1)建立基础数据库；2)基于客流转移机理，根据轨道交通周边居民调查数据和交通局数据获得轨道交通运营为道路交通节约的碳减排量；3)基于影子价格理论，根据统计局数据获得交通行业的碳排放影子价格；4)基于碳交易价格模型，根据碳排放影子价格和碳交易市场数据获得交通行业的实际碳交易价格；5)根据碳减排量和实际碳交易价格获得轨道交通运营所产生的环境效益货币值。与现有技术相比，本发明考虑碳减排、客流量、碳价格等因素，将城市轨道交通线路运营所产生的环境效益量化，量化实体可作为政府碳税征收的基准额度。

公开(公告)号：CN107145381A

公开(公告)日：2017-09-08

申请号：CN201710216542.6

申请日：2017-04-05

Applicant: 同济大学

Inventor： 王力生 ,  张冬冬 ,  阮剑鸿 ,  周航 ,  蒋凌超 ,  余智铭

IPC: G06F9/455 ,  G06F11/36

CPC classification number: G06F9/45508 ,  G06F11/3644

Abstract: 本发明目的在于克服现有技术的不足，实现并公开了一种面向实践教学的MIPS‑CPU测试工具，采用MIPS CPU模拟器与硬件描述语言仿真器协同工作的思想，将测试分为随机指令测试和综合指令测试。该测试工具提供了良好的用户界面、便捷的操作步骤、完整的测试流程，大大简化了测试过程。学生在设计并实现MIPS‑CPU的过程中，将不必再面对一行行繁琐的机器码，也不必逐条指令检验波形图、查看内存，避免了学生在测试过程中遇到错误时不知从何下手的情况，帮助学生更好、更快地完成CPU的测试工作，为MIPS‑CPU的设计节省了大量的时间。