公开(公告)号：CN103440393B

公开(公告)日：2017-01-11

申请号：CN201310431964.7

申请日：2013-09-18

Applicant: 江苏大学

Inventor： 周从华 ,  陆杰 ,  董恒龙 ,  刘志锋 ,  宋香梅 ,  赵俊杰 ,  李晓薇

IPC: G06F17/50

Abstract: 本发明公开了一种面向连续时间马尔科夫链的状态空间约简方法，包括以下步骤：在局部状态空间上配置连续随机逻辑中X，U，R，P，W算子的限界语义；将连续时间马尔科夫链转换为离散时间马尔科夫链，并利用均匀化技术计算局部空间上的瞬态与稳态概率；对于算子X，U，R将时域分成零点到某个时间点，两个时间点之间，某个时间点到无穷大三个时间段，并分别利用瞬态概率计算算子P对应的概率度量；对于稳定算子W，构造一组线性不等式来约束离散时间马尔科夫链中瞬态概率与稳态概率之间的关系，求出该不等式的解作为稳态概率的度量值。本发明只需遍历分析属性所需的局部空间，可有效约简状态空间，可应用于大规模随机系统的性能与可靠性分析。

公开(公告)号：CN102693438B

公开(公告)日：2014-12-17

申请号：CN201210113004.1

申请日：2012-04-17

Applicant: 江苏大学

Inventor： 王良民 ,  茅冬梅 ,  熊书明 ,  罗斌 ,  毛启容 ,  单田华 ,  赵俊杰

IPC: G06K17/00 ,  G06F17/30

Abstract: 本发明公开了一种隐私保护无线射频识别密码协议方法，包括：读写器产生随机数r1；标签产生随机数r2并计算h(Ψi，x，c)以及a，连同c一同发给读写器；读写器根据c值查找h(Ψi，x,c)，根据h(Ψi，x，c)获取标签假名Ψi，x及密钥ki；计算a’，判断a’是否等于a，如果是则计算ki’，更新ki为ki’，Ψi,x为Ψi，x-1，计算b和d，将b和d发送给标签；标签计算ki’、b’，判断b’是否等于b，如果是，计算更新标签假名为Ψi，x-1、密钥为ki’，计数器值c增1。本发明能解决现有技术中隐私保护无线射频识别密码协议无法有效保护隐私的问题。

公开(公告)号：CN102693438A

公开(公告)日：2012-09-26

申请号：CN201210113004.1

申请日：2012-04-17

Applicant: 江苏大学

Inventor： 王良民 ,  茅冬梅 ,  熊书明 ,  罗斌 ,  毛启容 ,  单田华 ,  赵俊杰

IPC: G06K17/00 ,  G06F17/30

Abstract: 本发明公开了一种隐私保护无线射频识别密码协议方法，包括：读写器产生随机数r1；标签产生随机数r2并计算h(Ψi，x，c)以及a，连同c一同发给读写器；读写器根据c值查找h(Ψi，x,c)，根据h(Ψi，x，c)获取标签假名Ψi，x及密钥ki；计算a’，判断a’是否等于a，如果是则计算ki’，更新ki为ki’，Ψi,x为Ψi，x-1，计算b和d，将b和d发送给标签；标签计算ki’、b’，判断b’是否等于b，如果是，计算更新标签假名为Ψi，x-1、密钥为ki’，计数器值c增1。本发明能解决现有技术中隐私保护无线射频识别密码协议无法有效保护隐私的问题。

公开(公告)号：CN103440393A

公开(公告)日：2013-12-11

申请号：CN201310431964.7

申请日：2013-09-18

Applicant: 江苏大学

Inventor： 周从华 ,  陆杰 ,  董恒龙 ,  刘志锋 ,  宋香梅 ,  赵俊杰 ,  李晓薇

IPC: G06F17/50

Abstract: 本发明公开了一种面向连续时间马尔科夫链的状态空间约简方法，包括以下步骤：在局部状态空间上配置连续随机逻辑中X，U，R，P，W算子的限界语义；将连续时间马尔科夫链转换为离散时间马尔科夫链，并利用均匀化技术计算局部空间上的瞬态与稳态概率；对于算子X，U，R将时域分成零点到某个时间点，两个时间点之间，某个时间点到无穷大三个时间段，并分别利用瞬态概率计算算子P对应的概率度量；对于稳定算子W，构造一组线性不等式来约束离散时间马尔科夫链中瞬态概率与稳态概率之间的关系，求出该不等式的解作为稳态概率的度量值。本发明只需遍历分析属性所需的局部空间，可有效约简状态空间，可应用于大规模随机系统的性能与可靠性分析。

公开(公告)号：CN306863120S

公开(公告)日：2021-10-01

申请号：CN202130279396.9

申请日：2021-05-11

Applicant: 江苏大学

Designer： 杨丹 ,  赵俊杰 ,  李熔华

Abstract: 1.本外观设计产品的名称：投影益智玩具。
2.本外观设计产品的用途：可以投影，作为玩具使用。
3.本外观设计产品的设计要点：在于形状。
4.最能表明设计要点的图片或照片：主视图。

公开(公告)号：CN306863017S

公开(公告)日：2021-10-01

申请号：CN202130278217.X

申请日：2021-05-11

Applicant: 江苏大学

Designer： 杨丹 ,  赵俊杰

Abstract: 1.本外观设计产品的名称：疫情抗击战宣传海报。
2.本外观设计产品的用途：用于宣传抗击疫情。
3.本外观设计产品的设计要点：在于图案。
4.最能表明设计要点的图片或照片：设计1主视图。
5.本外观设计产品为平面产品，省略设计1其他视图;本外观设计产品为平面产品，省略设计2其他视图;本外观设计产品为平面产品，省略设计3其他视图。
6.指定设计1为基本设计。

公开(公告)号：CN306863018S

公开(公告)日：2021-10-01

申请号：CN202130279471.1

申请日：2021-05-11

Applicant: 江苏大学

Designer： 杨丹 ,  赵俊杰

Abstract: 1.本外观设计产品的名称：二十四节气宣传海报。
2.本外观设计产品的用途：基于二十四节气的宣传海报，用于宣传传统文化。
3.本外观设计产品的设计要点：在于图案。
4.最能表明设计要点的图片或照片：设计1主视图。
5.本外观设计产品为平面产品，省略设计1其他视图;本外观设计产品为平面产品，省略设计2其他视图;本外观设计产品为平面产品，省略设计3其他视图;本外观设计产品为平面产品，省略设计4其他视图;本外观设计产品为平面产品，省略设计5其他视图;本外观设计产品为平面产品，省略设计6其他视图。
6.指定设计1为基本设计。

公开(公告)号：CN306863019S

公开(公告)日：2021-10-01

申请号：CN202130279473.0

申请日：2021-05-11

Applicant: 江苏大学

Designer： 杨丹 ,  赵俊杰

Abstract: 1.本外观设计产品的名称：中国抗疫队宣传海报。
2.本外观设计产品的用途：用于宣传中国国内疫情抗击。
3.本外观设计产品的设计要点：在于图案。
4.最能表明设计要点的图片或照片：主视图。
5.本外观设计产品为平面产品，省略左视图;本外观设计产品为平面产品，省略右视图;本外观设计产品为平面产品，省略俯视图;本外观设计产品为平面产品，省略仰视图。