计算理论与技术研究所

[1]段振华;李虎;黄伯虎名称：FPGA中进行电子设计自动化的逻辑单元装箱方法专利号：ZL201410008483.X授权时间：2016-05-25

[2]段振华;李洁;田聪;王小兵名称：基于幻方的多人共管电子账户密钥分配和身份认证方法专利号：ZL201210128858.7授权时间：2014-12-17

[3]田聪;段振华;段钊名称：一种抽象模型虚假路径检测的方法专利号：ZL201310129977.9授权时间：2016-06-22

[4]王小兵;孙涛;段振华;赵亮;田聪;张南名称：一种基于MSVL的社交网络系统建模及隐私策略性质验证方法专利号：ZL201510079118.2授权时间：2018-01-02

[5]段振华;师亚;田聪;张南;王小兵名称：一种合理的自由选择工作流网到MSVL的转换方法专利号：ZL201310193926.2授权时间：2016-01-20

[6]段振华;罗玲;田聪;张南;王小兵名称：一种从扩展π演算p-π到MSVL的转换方法专利号：ZL201310199628.4授权时间：2016-03-02

[7]段振华;戚云霞;田聪;张南;王小兵名称：一种基于遗传算法的软件修复方法专利号：ZL201310196339.9授权时间：2016-06-22

[8]段振华;于妍;田聪;王小兵;张南;韩萌名称：一种C语言到MSVL语言的转换方法专利号：ZL201310120182.1授权时间：2016-08-03

[9]段振华;张超;田聪;张南;王小兵;罗玲名称：一种由序列图生成Java代码框架的方法专利号：ZL201310132277.5授权时间：2016-08-31

[10]段振华;刘艳艳;田聪;张南;王小兵名称：一种基于程序不变量的合约式软件故障预警方法专利号：ZL201310196434.9授权时间：2016-11-16

[11]段振华;刘洁;黄伯虎;田聪;张南;王小兵名称：一种基于模拟退火/回火现场可编程门阵列布局的方法专利号：ZL201410074911.9授权时间：2017-01-25

[12]段振华;莫绪文;田聪;张南;王小兵;罗玲名称：一种基于新特征模型的需求建模及模型转换方法专利号：ZL201310129016.8授权时间：2017-04-19

[13]段振华;杨凯;田聪;张南;王小兵名称：一种MSVL程序内存管理方法专利号：ZL201410531221.1授权时间：2017-08-25

[14]段振华;张康;田聪;王小兵;张南;黄伯虎名称：一种硬件语言VHDL到MSVL的自动转换系统专利号：ZL201410841253.1授权时间：2017-09-19

[15]王小兵;苏多铎;段振华;赵亮;田聪;张南名称：一种基于TMSVL的C语言实时系统运行形式化分析方法专利号：ZL201410330453.0授权时间：2017-10-20

[16]王小兵;孙涛;段振华;赵亮;田聪;张南名称：MSVL中结构体以及结构体指针类型的扩展解释系统及其扩展方法专利号：ZL201410334324.9授权时间：2017-11-03

[17]段振华;师亚;田聪;张南;王小兵;黄伯虎名称：一种基于MSVL的Petri网模型检测方法专利号：ZL201510040674.9授权时间：2017-12-19

[18]王小兵;刘东淼;段振华;赵亮;田聪;张南名称：基于PPTL3的社交网络系统隐私安全运行时验证方法专利号：ZL201610012054.9授权时间：2018-12-18

[19]段振华;李炳岩;张南;黄伯虎;田聪;王小兵名称：一种保证质量的快速软硬件划分方法专利号：ZL201510884819.3授权时间：2019-01-01

[20]王小兵;薛怡娜;段振华;赵亮;田聪;张南名称：一种从社交网络抽取MSVL模型的方法专利号：ZL201610663033.3授权时间：2019-04-30

[21]段振华;张南;田聪;王小兵;赵亮名称：一种基于时序逻辑语言MSVL的函数调用方法专利号：ZL201410531029.2授权时间：2017-06-06

[22]段振华;平永侠;田聪;张南;王小兵;罗玲名称：基于距离度量和统计分析结合的软件故障定位系统及方法专利号：ZL201310132421.5授权时间：2016-01-06

[23]段振华;李洁;王小兵;田聪;张南;于研;杨凯名称：一种多类型MSVL语言解释系统及多类型MSVL语言解释方法专利号：ZL201310120181.7授权时间：2016-03-02

[24]段振华;苗俊磊;张南;田聪;王小兵;罗玲名称：一种基于模型的软件测试方法专利号：ZL201310455252.9授权时间：2016-09-28

[25]段振华;郭小伟;张南;田聪;王小兵;黄伯虎名称：一种基于脚本工具的软件动态部署方法专利号：ZL201410074912.3授权时间：2016-11-30

[26]段振华;周文豪;黄伯虎;田聪;张南;王小兵名称：一种实现现场可编程门阵列快速布局布线的方法专利号：ZL201410074915.7授权时间：2017-02-08

[27]段振华;郭建根;王小兵;田聪;张南;黄伯虎名称：一种HP2P网络负载平衡的方法专利号：ZL201410106285.7授权时间：2017-02-08

[28]段振华;李文露;黄伯虎;田聪;张南;王小兵名称：基于局部最小化ROBDD及面积延迟优化的工艺映射的方法专利号：ZL201410075155.1授权时间：2017-05-24

[29]段振华;杨凯;田聪;张南;时一防;王小兵;黄伯虎名称：一种MSVL语言的编译系统及方法专利号：ZL201610980621.X授权时间：2019-09-13

[30]段振华;严蕾;田聪;张南;王小兵;罗玲名称：一种基于改进随机森林算法的软件故障预测系统及其方法专利号：ZL201310130862.1授权时间：2015-07-22

[31]段振华;韩萌;王小兵;田聪名称：TMSVL实时系统建模方法专利号：ZL201210118810.8授权时间：2015-02-18

[32]段振华;马倩;王小兵;田聪名称：MSVL线性约束系统及其执行方法专利号：ZL201210118809.5授权时间：2015-06-17

[33]段振华;王小兵;莫大鹏;田聪名称：MSVL异步通信系统和方法专利号：ZL201110273599.2授权时间：2014-02-12

[34]段振华;逄涛;田聪;王小兵名称：PPTL符号模型检测方法专利号：ZL201210102063.9授权时间：2014-07-23

[35]段振华;何佳;田聪;王小兵名称：基于SAT的命题投影时序逻辑限界模型检测方法专利号：ZL201210102064.3授权时间：2014-07-23

[36]段振华;张南;李洁;田聪;王小兵名称：基于算术表达式的MSVL柱面计算方法和系统专利号：ZL201210038404.0授权时间：2014-08-20

[37]段振华;吴凯;夏扬;王小兵;田聪名称：HP2P网络中群的分裂与合并方法专利号：ZL201110273600.1授权时间：2014-09-17

[38]段振华;张柯柯;王小兵;田聪名称：基于回溯自动机语法分析的JSAX解析器和解析方法专利号：ZL201210118808.0授权时间：2015-02-18

[39]段振华;王磊;汪磊;张星名称：基于非结构化P2P网络的搜索方法专利号：ZL200810150833.0授权时间：2011-04-27

[40]田聪；段钊；段振华名称：一种基于插值的模型检测路径缩减方法、计算机专利号：CN201710896756.2授权时间：2021-02/-05

[41]王小兵；朱云凯；段振华；赵亮；田聪；张南名称：面向智能合约语言的MSVL程序自动生成方法及系统专利号：CN201910563394.4授权时间：2020-10-16

[42]王小兵；郭文轩；段振华；赵亮 田聪；张南 名称：基于源代码插桩的社交网络安全运行时验证方法及系统专利号：CN201710772215.9授权时间：2020-09-25

[43]段振华；王德奎；田聪名称：一种快速FPGA布线方法专利号：CN201611221318.8授权时间：2020-07-07

[44]段振华；杨凯强；黄伯虎；田聪；张南；王小兵名称：一种高效FPGA技术映射算法专利号：CN201510883669.4授权时间：2020-05-22

[45]王小兵；任丽园；段振华；赵亮；田聪；张南名称：基于MSVL社交网络用户关系强度的概率大小验证方法专利号：CN201611068072.5授权时间：2020-05-22

[46]段振华；杨凯；田聪；张南；时一防；王小兵；黄伯虎名称：一种MSVL语言的编译系统及方法专利号：CN201610980621.X授权时间：2019-09-13

[47]王小兵；薛怡娜；段振华；赵亮；田聪；张南名称：一种从社交网络抽取MSVL模型的方法专利号：CN201610663033.3授权时间：2019-04-30

[48]段振华；李炳岩；张南；黄伯虎；田聪；王小兵名称：一种保证质量的快速软硬件划分方法专利号：CN201510884819.3授权时间：2019-01-01

[49]王小兵;刘东淼;段振华;赵亮;田聪;张南名称：基于PPTL3的社交网络系统隐私安全运行时验证方法专利号：CN201610012054.9授权时间：2018-12-18

[50]王小兵；孙涛；段振华；赵亮；田聪；张南名称：一种基于MSVL的社交网络系统建模及隐私策略性质验证方法专利号：CN201510079118.2授权时间：2018-01-02