ε-HNIW/F2311 PBX界面结构力学行为模拟

研究了ε-六硝基六氮杂异伍兹烷(ε-HNIW)/F2311界面结构的力学行为. 采用分子动力学(MD)方法,在298～423 K 温度范围内以及NVT系综和COMPASS力场下,对F2311与ε-HNIW (110)晶面所构成PBX界面结构的各种力学性能进行模拟计算. 结果表明,温度达到348 K后,ε-HNIW/F2311界面结构比内层ε-HNIW形状变化(G)和体积变化(K)都变得相对容易,弹性增强的同时可以有效地分散应力,有利于PBX的加工;进一步分析K/G表明,ε-HNIW/F2311界面结构在298～373 K内成型性较好,尤其在348 K左右时最适合进行PBX的压制成型.      

论自动驾驶汽车交通事故致人损害的民事责任

自动驾驶系统虽然在现阶段尚不具有民事主体资格,但其特殊性决定了自动驾驶汽车交通事故致人损害的民事责任不完全等同于传统机动车交通事故侵权责任。根据自动驾驶系统是否存在缺陷,此种责任可分别成立机动车交通事故侵权责任和产品责任。就前者而言,自动化程度的不同决定了责任主体也有所不同,其或者是人类驾驶员,或者是人类驾驶员与生产者,或者是所涉各方当事人。就后者而言,其责任主体不仅包括自动驾驶汽车的生产者和销售者,还包括编程者、设计者等人员。由于自动驾驶系统的智能性,上述责任在责任构成和免责事由等方面也具有一定的特殊性。     

无穷级数新的积分判别法

利用有界变差函数的性质,建立了比Cauchy积分判别法更广泛的新的积分判别法;利用实分析中的Lebesgue逐项积分定理,推广了文献[7]中一个数项级数收敛性判别法.     

含参变量的变上限函数的导数公式

给出含参变量的变上限函数的导数公式,指出了该公式在求解常微分方程和偏微分方程等众多领域的广泛运用.     

利用处理机软件装订替代参数调整的方法初谈

阐述了一种利用处理机软件装订方法替代传统参数调整的方法。在雷达整机调试和维修中,利用软件读取和装订门限参数、差比和斜率值替代传统调整电位器、或更换调式电阻以及更换衰减器;利用处理机现有信息,读取整机的相位差,并在一定范围内通过软件校正做适当补偿,替代原有机械式微波移相器调整。对减少调试人员工作量,增加产品可靠性有实际意义。     

从培养学生职业素质谈高校思想政治理论课教学改革

职业素质的培养是高等教育的基本内容之一,当前在校高校职业素质的培养主要通过思想政治理论课的学习中获得,而高校思想政治理沦课的教学效果并不是十分理想,通过教学方法、成绩评定等的改革希望改变目前思想政治理论课不被学生重视,教学效果不佳的状况。     

以职业能力为主线构建高职实践教学体系——高职应用电子技术专业实践教学体系探索

高等职业教育是培养技术应用型、技能型人才的教育,是以职业能力培养为主的教育。提升受教育者的职业能力,是＂以服务为宗旨,以就业为导向＂的职业教育的核心任务。在教学中培养和训练学生的职业能力,主要通过实践性教学环节来进行,因此,如何根据职业能力的要求,构建科学、合理、有效的实践教学体系,成为高等职业教育迫切需要解决的问题。     

一种突发通信的IJF-OQPSK调制信号解调方法

提出了一种用于时分多址突发通信系统中的IJF-OQPSK调制信号解调方法.介绍了电路的组成及原理,分析了系统的性能.该方法具有电路结构简单、数据恢复快、相位抖动小的优点,对提高突发通信系统的效率有显著作用.实验结果表明在时分多址突发通信系统中,该方法具有很好的使用价值.     

PWR蒸汽发生器中一、二次汽水分离器加装挡水器研究

在水－空气实验台架上，对PWR蒸汽发生器中一次汽水分离器和一、二次水分离器加装挡水器进行了一系列实验研究，实验表明，在循环倍率不大的条件下，一、二次汽水分离器加装档水器，可降低汽水分离器的上携带，挡水器的集水效果与挡水器的轴向位置有关。     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.