数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.     

基于Petri网的对等资源访问控制协议仿真

为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

OSPF协议中路由表计算的测试例生成方法

本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议本形式化为Petri网模型,然后再多Petri网生成测试例的方法,并给出了方法所采用的测试标准。     

网络协议工程中的Petri网技术

按照OSI／RM模型的层次，论述了Petri网在网络协议工程中的研究进展情况，并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法，最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件 /事件 (C/E)系统建立半双工通信协议模型 ,并应用Petri网工具对协议模型进行分析 ,使用电子设计自动化 (EDA)技术 ,对基于C/E系统的协议模型进行高速硬件描述语言 (VHDL)程序设计 ,并由现场可编程门阵列 (FPGA)器件实现该模型 ,为协议的验证和实现提供了一种方法     

一种数字家庭即插即控协议栈的Petri网描述与分析

对数字家庭即插即控协议栈构造基于Petri网的协议模型,并在模型的基础上对协议的完备性、科学性、实用性进行探讨分析,为该协议的应用以及进一步的研究提供参考.     

半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件／事件（C／E）系统建立半双工通信协模型,并应用Petri网工具对协议模型进行分析,使用电子设计自动化（EDA）技术,对基于C／E系统的协议模型进行高速硬件描述语言（VHDL）程序设计,并由现场可编程门阵列（FPGA）器件实现该模型,为协议的验证和实现提供了一种方法。     

HPLC法测定2-对氯苯基-4-苯基-1,5-苯并硫氮杂（艹卓）-α-(丁二酰亚胺基)-β-内酰胺

建立了测定2对氯苯基-4-苯基-1,5-苯并硫氮杂 -α-(丁二酰亚胺基)-β-内酰胺的高效液相色谱(HPLC)分析法.结果表明该法重现性好,灵敏度高,快速,准确,平均回收率为96.9%～103%.     

叔丁基-2-氨基-4-苯乙基苯基氨基甲酸酯合成方法比较

采用氢气/钯碳常压合成法、氢气/钯碳加压合成法、甲酸铵/钯黑合成法、甲酸铵/钯碳合成法4种催化氢化合成方法,首次分别合成了新化合物叔丁基-2-氨基-4-苯乙基苯基氨基甲酸酯,并对产物进行了结构表征.通过对所采用的4种合成方法的系统研究,其中甲酸铵/钯碳合成法具有反应时间短、反应条件温和、收率高的特点.     

5-乙炔基-4-甲基-2-硫甲基嘧啶的合成及表征

采用酰基化的方法合成了5-乙炔基-4-甲基-2-硫甲基嘧啶,使用傅立叶转换红外光谱、核磁共振和元素分析对分子结构进行表征。讨论和分析了反应的机制,改进了5-(1-氯乙烯)-4-甲基-2-硫甲基嘧啶的合成工艺,获得了71％的产率;使用新制的叔丁醇钾作为催化剂制备5-乙炔基-4-甲基-2-硫甲基嘧啶,在室温条件下获得了68％产率。     

2—氨基—4—甲基—6—甲氨基—1,3,5—三嗪合成

2—氨基—4—甲基—6—甲氧基—1,3,5—三嗪是合成磺酰脲类除草剂的主要中间体之一。本文报道了以双氰胺为原料,经加成,成环的合成路线,简化了文献报道的方法。     

5-乙基-2-(4-氰基苯基)-1,3-二噁烷的合成

以溴乙烷和丙二酸二乙酯为原料合成2-乙基丙二酸二乙酯,收率为90.4%.2-乙基丙二酸二乙酯经还原和环合两步反应合成了目标产品5-乙基-2-(4-氰基苯基)-1,3-二噁烷,两步反应总收率为71.9%.产品经DSC确证了相变温度,并用IR和1H-NMR对其结构进行了表征.     

Research on Synthesis of 4,5 - Dihydroxy -1,3- Dimethyl - 2 - Imidazo-lidinone

The formaidehyde-free finishing agent 4,5-di-hydroxy-1,3-dimethy1-2-imidazolidinone(DMeDHEU)was prepared by the reaction of 1,3-dimethylurea and glyoxal.The reaction rate and equilib-rium conversion in relation to pH value,molar ratio,temperature and catalyst were studied.The conversionto DMeDHEU,catalyzed with citric acid/anhydrousNaAc,reached 95% in 6 hours at 40℃, pH 5.5 andmolar ratio 1.2.     

5-Br-PADAP-Cr_2O_7~(2-)-SCN~-三元离子缔合物分光光度法测定微量Cr_2O_7~(2-)

5-Br-PADAP在H_2SO_4介质中质子化,与Cr_2O_7~(2-)和SCN~-形成紫红色的三元离子缔合物,其最大吸收波长为540nm,Cr_2O_7~(2-)在0.0～20.8μg/10ml范围内符合比耳定律,其表现摩尔吸光系数ε_(540)=6.20×10~4L·mol~(-1)。应用于水样和钢样中微量Cr_2O_7~(2-)的测定,取得满意结果。     

乙酰丙酮铟的制备

介绍ITO薄膜重要原料乙酰丙酮铟的制备方法,制备条件:有机多元酸浓度8.2×10-2mol/L,乙酰丙酮0.5mol/L,pH值为9.1,制得的乙酰丙酮铟一次合成产率99.8%,产品纯度99.95%.实验添加有机多元酸与锢络合物作为合成反应的中间体,解决了铟盐水解对合成反应的有害影响.     

Mo-Bi-Fe-Co基催化剂的制备方法

针对共沉淀法存在的催化剂元素混合不均、比表面积小、导热差、催化剂容易失活等问题,分别采用共沉淀法和浸渍法制备了两种Mo-Bi-Fe-Co基催化剂.所得浸渍法制备催化剂的最佳制备条件为:浸渍时间为6 h,浸渍液浓度为1.25 mol/L(以Mo的摩尔浓度为标准),浸渍次数为2次,柠檬酸加入量为Mo/Citric acid=1.3,煅烧温度为620℃.在温度为380℃、空速为7 200h-1、异丁烯与空气比为6:94的反应条件下,该催化剂的转化率和选择性分别为88.9%和68.0%.浸渍法制得的催化剂的活性明显优于共沉淀法制备的催化剂.     

芳醛缩-4-烯丙基-3-硫代氨基脲的合成与表征

由芳醛与4—烯丙基—3—硫代氨基脲缩合制得了两种含硫Schiff碱配体．此类配体在有机溶剂中有较大的溶解度，与过渡金属离子形成的配合物在有机溶剂中亦有较好的溶解性．