安全协议的验证逻辑

该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.     

电子商务安全协议及其非单调动态逻辑验证

该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.     

SET协议中问题的分析及解决方案

文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析,并提出了完整的解决方案,在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后,给出了它们的Ｐｒｏｌｇｏ程序流程,全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制,并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程,最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。     

铜基材料电催化还原硝酸盐制氨研究进展

人类工农业活动导致环境中硝酸盐浓度升高,利用电催化技术将硝酸盐还原合成氨(NO₃RA)符合“双碳”政策,可达到去除硝酸盐污染和制备氨(NH₃)的双重目的。该文综述了铜(Cu)基材料电催化硝酸盐还原的反应机理,从反应机理角度分析了不同Cu基催化材料优势性能的起源。围绕Cu单原子、单金属Cu、Cu基合金、Cu基氧化物和Cu基金属有机框架材料的大量研究实例,对不同Cu基催化材料催化NO₃RA反应的性能进行归纳总结。通过对Cu基材料催化NO₃RA反应影响因素的分析,针对目前存在的问题展开探讨,以期为未来Cu基催化剂电催化NO₃RA反应的开发与实际应用提供参考。     

通用无人机地面控制站研究与设计

针对无人机地面控制站的通用化需求作了分析,设计了基于通用测控协议的协议转换软件、基于"触摸屏+硬按键+可配置软件"的通用控制台、基于组合化控制机柜的操控席位和基于TCP/IP协议的全网络化信息传输环境,给出了系统的软、硬件组成和信息流程。通过多个项目中的成功应用,表明该通用无人机地面控制站能够有效兼容多型号、多套无人机系统,具有较好的通用性和可拓展性。     

电子商务安全协议的逻辑验证

作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.     

复合铝锌铁及其有机改性混凝剂对生活污水的混凝特性

以聚丙烯酰胺(PAM)为添加剂,对复合铝锌铁(PAZF)混凝剂进行有机改性,制备无机有机复合混凝剂(PPAZF),同时对比研究PPAZF、PAZF、与聚合氯化铝(PAC)对生活污水的处理效果。结果表明:三种混凝剂在相同的最佳投加量为148 mg/L时,PPAZF不仅对生活污水的浊度、COD和总磷去除效果最高,而且产生的絮体较大且密实。与PAZF相比,低投加量时PPAZF除磷效果大幅度提高。另外,PPAZF对pH的适应性更强。     

新型香豆素染料的合成及荧光性能研究

以5-二乙基氨基水杨醛、噻吩乙腈为原料,经三步以较高的收率合成了新型香豆素敏化色素2-氰基-3-(5-(7-(N,N-二乙氨基)-2-羰基-2H-3-苯并吡喃基)-2-噻吩基)丙烯酸,其结构经1 H NMR和MS得以确认.并对其进行三维荧光光谱测试,结果显示:该化合物在溶剂中能发射出强的橙黄色荧光,在三维荧光图谱中有三个典型的荧光光谱峰,最强荧光特征峰最大激发波长λex为515nm,最大发射波长λem为600nm,Stokes Shift为85nm.     

基于动态图注意力与标签传播的实体对齐

实体对齐是多源数据库融合的有效方法,旨在找出多源知识图谱中的共指实体。近年来,图卷积网络(GCN)已成为实体对齐表示学习的新范式,然而,不同组织构建知识图谱的目标及规则存在巨大差异,要求实体对齐模型能够准确发掘知识图谱之间的长尾实体特征,并且现有的GCN实体对齐模型过于注重关系三元组的结构表示学习,忽略了属性三元组丰富的语义信息。为此,提出一种实体对齐模型,引入动态图注意力网络聚合属性结构三元组表示,降低无关属性结构对实体表示的影响。同时,为缓解知识图谱的关系异构问题,引入多维标签传播对实体邻接矩阵的不同维度进行压缩,将实体特征根据压缩后的知识图谱邻接关系进行传播以获得关系结构表示,最后通过线性规划算法对实体表示相似度矩阵进行迭代以得到最终的对齐结果。在公开数据集ENFR-15K、EN-ZH-15K以及中文医学数据集MED-BBK-9K上进行实验,结果表明,该模型的Hits@1分别为0.942、0.926、0.427,Hits@10分别为0.963、0.952、0.604,MRR分别为0.949、0.939、0.551,消融实验结果也验证了模型中各模块的有效性。     

某工厂移动顶棚式X射线探伤室环境监测及评价

采用451P加压电离室巡测仪对某工厂工业X射线探伤机在移动顶棚式探伤室内正常运行时其探伤室周边辐射环境进行监测。结果显示:曝光室防护门两侧门缝监测点位超标,其余监测点位辐射水平在0.15~0.37μGy/h范围内,能够满足2.5μGy/h的限值要求。据此对曝光室防护门进行了屏蔽核算,提出了整改建议,并在防护门整改后进行了检测,其结果满足2.5μGy/h的限值要求。并对职业人员及公众人员可能接受的年有效剂量进行了估算。