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

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

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

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

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

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

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

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

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

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

A new molecular rectifier device and some research in its processing

Organic materials of D-π-A type MR-X (MR-1: p-dimethylaminophenylethenetrica-rbonitrile and MR-2: p-diphenylaminophenylethene tricarbonitrile) were designed and synthesized. The device with a sandwich structure shows good rectificative phenomena. The highest rectification ratio 10000 was achieved in device Cu/MR-1/Ag, and about 100 in other device M/MR-X/M (M: Cu, Ag). It has been found that rectificative phenomena exist only in the atmosphere-liquid interface region by means of liquid adsorption, and electric field could help form the oriented molecular film. __________ Translated from Journal of Fudan University (Natural Science), 2005, 44(4) (in Chinese)     

硅栅CMOS集成电路测试图形的研究

本文介绍了用于硅栅CMOSIC园片级工艺诊断和可靠性监控的微电子测试图形。重点论述了(1)用于检测漏、源及多晶硅薄层电阻和因扩散及腐蚀引起的横向变化量的组合结构,(2)用于监测CMOSIC动态参数的结构设计及其对工艺的评价。     

高师院校书刊阅览服务的优化与高素质人才培育

论述了高师图书馆实施综合素质教育的意义和挑战,提出了共建具有专业特色的教育基地、优化整合教育资源、全面推进素质教育等培养高素质人才,落实人才强国战略的新举措。     

集成系统中工艺卡片填写与工序图绘制的研究

利用VBA实现CAD和CAPP系统集成，讨论了基于Word平台进行工艺卡填写，并在此基础上进行工艺卡填写和工序图并行输出的一般问题。工艺文件的填写是在CAPP数据库的支持下，直接读取CAD所提供的CAPP工艺数据文件，经推理机推理自动生产工艺过程；工序图绘制是在特征图表级和参数化绘图原理的基础上进行的。