面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

VMI对供应链管理的影响

在1个由供应商与分销商组成的传统供应链模型的基础上,以供应链的库存费用与供应链的链利润为评价分析指标．分析供应商管理库存(VMI)对传统供应链在实施VMI前后4个阶段中,起到降低库存费用与增加供应链链利润的作用．论证VMI作为1种积极有效的供应链管理模式,可使基于VMI协议的供应链通过降低供应链的库存费增加供应链的链利润,因而比起传统供应链更具有竞争优势．     

重组百日咳杆菌粘附素C端蛋白的免疫原性

分别将支气管败血波氏杆菌百日咳杆菌粘附素(PRN)基因prn的全长编码区2 040 bp及3'端867 bp的片段(prnC)克隆到原核表达载体pGEX-KG,经IPTG诱导后在大肠杆菌中实现了表达.Western blot检测证实两种表达产物GST-PC和GST-PRN均具有良好的免疫学反应活性.在主动免疫保护试验中,GST-PC和GST-PRN免疫组小鼠均能产生较高的PRN抗体水平;当使用3 LD50的Bb强毒株HH0809进行鼻腔攻毒后,其保护率均为100% (9/9);当使用10 LD50 HH0809攻毒时,其保护率分别为66.7% (6/9)和77.8% (7/9).在被动免疫保护试验中,腹腔免疫GST-PC和GST-PRN的兔抗血清均能100% (10/10)保护小鼠抵抗10 LD50的HH0809的腹腔攻击,但经PRN吸附后的2种兔抗血清均失去了保护力(0/5).研究结果表明:重组PRN C端多肽具有良好的免疫原性,可考虑作为新型亚单位疫苗或活载体疫苗的抗原成分.     

An investigation on terahertz response in electro-optic crystals excited at 1.03 lm wavelength

We theoretically investigate terahertz(THz)emission and detection from h110i-oriented electro-optic(EO) crystals adapted for Yb-doped femtosecond pulse laser.According to the principles of phase-matching condition, the dispersion relation between optical velocity and THz pulse,THz absorption spectra, and coherence lengths of CdTe, GaP,and GaAs crystals below the phonon resonant frequency are calculated correspondingly. The optical rectification and EO sampling process of above crystals with the same thickness of0.1 mm are simulated. As a consequence, we found that the optimal emission frequency of CdTe is at 2.65 THz, however,it reaches 6.56 THz of GaAs and 4.77 THz of GaP. With the help of frequency response function, the calculated cut-off frequency of CdTe is only 3.45 THz, while GaAs and GaP achieve 7.15 and 6.37 THz correspondingly. Finally, the EO sampling sensitivity of GaAs is higher than CdTe and GaP when the crystal's thickness exceeds 1.58 mm. The strong THz absorption of CdTe saturates distinctly the EO sampling sensitivity with its thickness increasing.     

适应多民族地区教育改革和经济建设需要的中学化学教师培养方案设计

该文根据广西多民族地区教育和经济建设的特点,以德智体全面发展学说和现代结构主义课程论为理论基础,提出了一份面向２１世纪多民族地区化学（教育）专业的培养方案的设计方案。     

三轴可调倾角非球面加工夹具运动学分析

三轴可调倾角非球面加工夹具可以消除楔形非球面加工中由于二次装夹而造成的误差且提高加工效率.为了精确控制工作台面倾角及位姿,根据机器人学中三自由度机械手臂的分析理论,建立夹具的D-H坐标系,进行正向、反向运动学分析,求解其雅可比矩阵,给出了工作台面与各运动构件之间位置、姿态、速度的关系,并运用ADAMS分析验证相关理论分析结果,为夹具控制软件的设计提供依据.     

基于反应谱分析的边坡动力响应与地震稳定性数值模拟

针对地震作用下的边坡稳定性分析,基于反应谱理论,提出了一种同时考虑了地震动力特性的反应谱法动态分析方法。该方法通过震动峰值加速度和边坡各岩土体单元的节点地震响应加速度谱值,计算出单元的地震影响系数,进而进行强度折减,得到滑动面的安全系数。在此基础上,对某边坡进行了动力稳定性分析,首先采用ANSYS分析地震作用下的边坡模态和反应谱,结合FLAC~(3D)计算弹塑性变形下的边坡稳定性,得出不同工况下边坡稳定性安全系数。实践表明,反应谱法动态分析对地震作用下边坡稳定性具有较好的理论与应用价值。     

家庭视角下大学生反社会行为的成因与矫正研究

本文基于家庭在造成和矫正大学生反社会行为的诸多因素中居于重要地位的现实背景,较深入地分析和揭示了家庭导致大学生反社会行为的成因机制;在此基础上,本文认为家庭对于矫正大学生反社会行为而言具有不可替代的责任和功能,并提出了矫正家庭与家庭矫正两条具体的大学生反社会行为矫正路径。     

基于Web的虚拟数控系统的研究与开发

基于服务器／客户模式的的虚拟数控系统体系结构，讨论了虚拟数控系统的建模技术和基于VRML的实现方法，并指出虚拟数控机床的建模是虚拟数控加工过程仿真的实现关键．利用VRML语言、分布式对象技术和Java技术开发和建立了基于Web环境的虚拟数控系统原型。并对系统的开发平台进行了分析和介绍，同时给出了系统的运行实例．研究表明，所开发的系统是可行的和合理的．     

Influence of thermal-decomposition temperatures on structures and properties of V2O5 as cathode materials for lithium ion battery

Submicron spherical V2O5 particles with a uniform size and a lower crystallinity were successfully synthesized by a chemical precipitationthermal decomposition technique using the commercial V2O5 powders as starting material. The crystal structure and grain morphology of samples were characterized by X-ray diffraction(XRD) and scanning electron microscopy(SEM), respectively. Electrochemical testing such as discharge–charge cycling(CD) and cyclic voltammetry(CV) were employed in evaluating their electrochemical properties as cathode materials for lithium ion battery. Results reveal that the crystallinity and crystalline size of V2O5 particles increased when the thermal-decomposition temperature increased from 400 ℃ to 500 ℃, and their adhesiveness was also synchronously increased. This indicate that the thermaldecomposition temperature palyed a significant influence on electrochemical properties of V2O5 cathodes. The V2O5 sample obtained at 400 ℃ delivered not only a high initial discharge capacity of 330 m A h g-1and also the good cycle stability during 50 cycles due to its higher values ofα in crystal structure and better dispersity in grain morphology.