区块链技术为刑罚变更执行数据的真实可信提供支撑,并实现各主体间的互信和高效协同.对权威证明共识算法(proof of authority, PoA)存在的制约因素进行分析并提出一种改进的动态加权权威证明算法(dynamic weighted proof of authority, ...区块链技术为刑罚变更执行数据的真实可信提供支撑,并实现各主体间的互信和高效协同.对权威证明共识算法(proof of authority, PoA)存在的制约因素进行分析并提出一种改进的动态加权权威证明算法(dynamic weighted proof of authority, DWPoA),进行刑罚变更执行提请共识.构建联盟链,基于Tangle结构提出一种链上共识算法,进行刑罚变更执行主体间的链上共识;基于(t,n)门限签名提出一种分布式预言机链下共识算法进行链上、链下共识,并对带宽占用率和共识时长进行仿真实验,分布式预言机链下共识算法更具优势.展开更多
用海藻酸钠作为结构导向剂,通过原位氧化聚合吡咯法制备了聚吡咯/海藻酸钠(PPy/SA)纳米球.聚吡咯/海藻酸钠纳米球的形貌和结构通过扫描电镜(SEM)、X射线衍射(XRD)和傅里叶变换红外(FTIR)光谱进行表征.材料的电化学性能通过循环伏安法和...用海藻酸钠作为结构导向剂,通过原位氧化聚合吡咯法制备了聚吡咯/海藻酸钠(PPy/SA)纳米球.聚吡咯/海藻酸钠纳米球的形貌和结构通过扫描电镜(SEM)、X射线衍射(XRD)和傅里叶变换红外(FTIR)光谱进行表征.材料的电化学性能通过循环伏安法和恒电流充放电方法进行测试.电化学测试表明,聚吡咯/海藻酸钠纳米球在1 mol L-1KCl电解液中,电流密度为1 A g-1时其比电容高达347 F g-1.与纯聚吡咯相比较,聚吡咯/海藻酸钠纳米球具有更优异的循环稳定性能.展开更多
针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述...针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。展开更多
文摘区块链技术为刑罚变更执行数据的真实可信提供支撑,并实现各主体间的互信和高效协同.对权威证明共识算法(proof of authority, PoA)存在的制约因素进行分析并提出一种改进的动态加权权威证明算法(dynamic weighted proof of authority, DWPoA),进行刑罚变更执行提请共识.构建联盟链,基于Tangle结构提出一种链上共识算法,进行刑罚变更执行主体间的链上共识;基于(t,n)门限签名提出一种分布式预言机链下共识算法进行链上、链下共识,并对带宽占用率和共识时长进行仿真实验,分布式预言机链下共识算法更具优势.
基金supported by the National Natural Science Foundation of China(21164009,21174114)Program for Changjiang Scholars and Innovative Research Team in University,China(IRT1177)~~
文摘用海藻酸钠作为结构导向剂,通过原位氧化聚合吡咯法制备了聚吡咯/海藻酸钠(PPy/SA)纳米球.聚吡咯/海藻酸钠纳米球的形貌和结构通过扫描电镜(SEM)、X射线衍射(XRD)和傅里叶变换红外(FTIR)光谱进行表征.材料的电化学性能通过循环伏安法和恒电流充放电方法进行测试.电化学测试表明,聚吡咯/海藻酸钠纳米球在1 mol L-1KCl电解液中,电流密度为1 A g-1时其比电容高达347 F g-1.与纯聚吡咯相比较,聚吡咯/海藻酸钠纳米球具有更优异的循环稳定性能.
文摘针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述了系统有色Petri网的建模与仿真过程,根据得到的状态空间报告判断是否存在死标识,对存在的死标识采用非标准状态空间查询法使用ML语言编辑相关功能函数以验证死标识的合理性,进而确保所建立CPN模型的正确性与系统的安全性。最后,以电梯门系统为例,证明了算法的有效性。