EKE协议的描述与TLA验证

行为时序逻辑(TLA)是Leslie Lamport于20世纪90年代提出的一种新的逻辑,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达模型程序与系统属性。文中首先介绍了行为时序逻辑的语法和语义,然后以EKE协议为例,用基于行为时序逻辑语言TLA+对EKE协议进行了建模分析,用TLA建模并用行为时序逻辑语言TLA+进行协议的描述,最后用TLC检测工具进行分析,发现存在中间人的重放攻击漏洞。     

地方院校中外合作“2＋2”模式毕业生就业策略研究

中外合作办学毕业生的就业情况越来越受到各方关注。地方院校中外合作“2＋2”模式毕业生在就业方面存在学费昂贵、学生专业知识薄弱、办学时间短、无从借鉴相关的就业经验、专业设置同质化严重等劣势;但也有实践能力强、人才整体需求量大、学生在国外就业的竞争能力强等优势。重视学生的职业生涯规划教育、建立境外实习基地、调整国内教学部分的培养方案、学校给予学籍管理等政策扶持等是提高地方院校中外合作“2＋2”模式毕业生的就业策略。     

“还是＋动／小句[＋的]＋好”序列探析

“还是＋动／小句[＋的]＋好”是现代汉语口语中常见的一种句法结构形式。如何正确地把握该序列的结构、语义和语用价值,具有晕要的理论意义。然而多年来的汉语语法研究一直末对此做出明确而合理的解释我们认为,“还是＋动／小句[＋的]＋好”结构在实际语言运用中表现为“还是＋动／小句[＋的]＋好”和“还是＋动／小句＋的＋好”两种形式;其中的“的”按照言语交际中语义理解的不同可分别视为结构助词和衬音助词。     

从头算和RRKM理论研究O（1D）+trans-CH2FCH2F反应

运用MP2/6-311G(d,p)方法优化得到了O(1D)+trans-CH2FCH2F反应势能面上稳定点的优化几何构型和振动频率。精算的能量是在QCISD(T)/6-311++G(d,p)水平上得到的。RRKM(Rice-Ramsperger-Kassel-Marcus)理论用来计算碰撞能在0-350 kcal/mol范围内通过中间体的微正则速率常数。计算得出,当碰撞能低于140 kcal/mol时标题反应的主要产物是HF和CH2F;碰撞能在140-350 kcal/mol时反应的主要产物是HF,CH2F和OH.在整个碰撞能范围内,HF和CH2F是主要产物。     

基于Windows的雷达系统操控软件的设计与实现

结合可视化编程技术,在Windows操作系统下设计并实现了基于Visualc＋＋的雷达系统操控软件,完成了雷达操控界面的目标图像显示功能,并通过网络传输等方式与其它分机实现通讯,在实际应用中证明了该设计实现的有效性。     

温度管理系统的研究与设计

在电力系统中,变电站的安全运行直接影响到电力系统的经济性和可靠性,然而由于变电站设备的监控目前仍然以依赖保谛人工为主,不能及时发现设备接头出现发热征象,提醒运行人员关注,或在极端状况下判断处置,从而错过了事故发生的有效控制时间。因此为保证变电设备的安全运行．论文结合了现有测温技术的发展,研究温度管理系统提高设备的健康水平,形成完善的、与设备二次监测数据同监视、同处理、同反馈的平台。     

稀土离子Gd^3＋掺杂TiO2光催化剂的制备及其对碱性品红降解性能的研究

采用溶胶-凝胶法制备了Gd^3＋掺杂TiO2光催化剂,利用紫外-可见漫反射光谱对样品进行了表征.考察了纯TiO2和Gd^3＋掺杂TiO2对碱性品红染料降解性能的影响.结果发现Gd^3＋的掺入抑制了TiO2由锐钛矿相向金红石相的转变,与纯TiO2相比,Gd^3＋掺杂TiO2催化剂在可见光区的吸收能力增强,该催化剂光催化降解碱性品红的活性提高了20%左右.实验表明,掺杂Gd^3＋1%（质量分数）,温度为25℃,底物浓度为20 mg·L^-1时对碱性品红染料降解的效果较好.     

（3＋1）维Nizhnik-Novikov-Veselov方程的新的显式解

应用待定系数法找到方程的对称,利用对称方法得到了（3＋1）维Nizhnik-Novikov-Veselov（NNV）方程一些新的显式解.     

（34-1）-维Zakharov—Kuznetsov方程的对称及约化

应用相容性方法,得到了（3＋1）-维广义变系数Zakharov-Kuznetsov（ZK）方程的对称及约化方程,同时也得到了广义变系数ZK方程的一些新解。     

推进汽车类专业人才培养模式创新的研究——04级汽检和汽营专业“2＋1”实习调查分析

通过对汽车检测与维修技术及汽车技术服务与营销专业学生“2＋1”实习情况的调查分析,在“2＋1”人才培养模式教学改革取得的成绩基础上,提出了对“2＋1”人才培养模式教学改革的建议。