Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to math...Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to mathematics and those of interest to philosophy and computer science. (Henceforth Iwill use the term "intelligent systems theory" for the common ground of philosophical logic and展开更多
A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_...A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.展开更多
通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行...通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.展开更多
文摘Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to mathematics and those of interest to philosophy and computer science. (Henceforth Iwill use the term "intelligent systems theory" for the common ground of philosophical logic and
文摘A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.
文摘通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.
