基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

考虑单元互测的测试性指标分配方法

测试性分配是将系统级测试性指标按照一定规则分配给各组成单元的过程。针对现有主流测试性分配方法未考虑单元之间的互测情形,导致分配结果不合理,尤其是部分单元分配指标虚高,难以实现或代价过高等问题,提出了在综合考虑单元故障率、故障危害度等多重影响因素基础上,进一步考虑单元互测因素的测试性指标分配方法。首先实施考虑多重影响因素的指标初次分配;然后基于单元测试性初步设计结果,实施测试性建模与分析,得到单元自检故障率与他检故障率;再利用这两个数据以及初次分配结果构造分配函数实施再次分配,进而得到最终的分配结果;最后应用该方法进行仿真和实例运算,证明了该方法的有效性和先进性。     

水溶性La_(0.88)Sr_(0.12)MnO_3纳米粒子的非水相合成

采用纳米微乳液法,以三嵌段共聚物聚氧乙烯-聚氧丙烯-聚氧乙烯(PEO-PPO-PEO)为表面活性剂,乙酰丙酮镧(III),乙酰丙酮锰(III)和乙酰丙酮锶(II)为前驱体,1,2-十六烷二醇为还原剂成功合成了水溶性La0.88Sr0.12MnO3纳米粒子.FT-IR分析证实该纳米粒子表面存在PEO-PPO-PEO分子,XRD和TEM分析表明该纳米粒子基本上呈球形、粒径分布窄、结晶度高,VSM测试表明该纳米粒子室温下显示软铁磁性.纳米粒子在水中快速和高效的分散收集过程,表明该纳米粒子具有良好的水溶性和磁操控性.     

大学生羞怯与手机成瘾倾向:孤独感的中介作用

为探讨大学生羞怯与手机成瘾倾向的关系,考察孤独感在大学生羞怯与手机成瘾倾向之间的中介作用。采用羞怯量表、UCLA孤独量表得分第三版和大学生手机成瘾倾向量表对在贵州省8所高校抽取的1 147名大学生进行调查。结果显示:大学生羞怯量表得分、孤独感量表与手机成瘾倾向量表得分显著正相关(r=0.27,r=0.29,均P<0.001),羞怯量表得分和孤独感量表得分显著正相关(r=0.49,均P<0.001);羞怯和孤独感均可显著正向预测大学生手机成瘾倾向(均P<0.001),孤独感在大学生羞怯与手机成瘾倾向之间的部分中介作用成立。     

正交试验优化手性镍催化不对称反应条件研究

用正交试验法优化手性镍催化二乙基锌对α，β不饱和酮的不对称麦克尔加成反应条件，优化后的不对称麦克尔加成反应的一般条件为：低温(近反应溶剂冰点)，常压，非质子非极性溶剂(环己烷)．     

放顶煤工作面综合防灭火技术研究与应用

对江苏大屯煤电公司龙东矿放顶煤工作面的防灭火实用技术进行了阐述。重点分析了放顶煤开采在掘进、回采、停采时期的煤炭自然发火的原因和所采取的针对性防治技术。     

会计责任与审计责任的差异分析

通过对会计责任与审计责任的概念剖析和会计责任、审计责任界定的国际比较，揭示了会计责任与审计责任在实务中难以界定的原因，指出只有明晰两种责任，才能促进企业的发展和保护注册会计师以及事务所的合法权益。     

车辆路径问题的粒子群算法研究

车辆路径优化问题是一类具有重要实用价值的组合NP问题．粒子群算法(panicle swarm optimization)是一种新出现的群智能(swarm intellingece)优化方法，将其应用于车辆路径优化问题，构造车辆路径问题的粒子表达方法，建立了此问题的粒子群算法，并与遗传算法作了对比试验．结果表明，粒子群算法可以快速、有效求得车辆路径问题的优化解，是求解车辆路径问题的一个较好方案。     

提高无调中转比重 确保侯北枢纽畅通

侯马铁路北站担负着南同蒲、侯月、侯西线到发货物列车的改编和中转作业，随着南同蒲、侯月、侯西线不断增量，侯北站堵塞情况时有发生。强化调度指挥，优化运输组织，提高无调中转比重，对侯北枢纽畅通至关重要。     

多媒体数据库管理的数据表示模型与融合

通过定义角色、虚拟角色、观点和虚拟观点,解决了多媒体信息的格式不同给用户造成的使用不便,同时也较好地解决了多媒体数据融合的技术关键。角色和观点掩饰了所有由信息和日常所需的格式的复杂性,利用角色和观点来支撑多媒体对象的动态扩展,致使多媒体制造者能够很容易地在运行时延伸对象的使用。