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

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

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

Gas-phase 21Ne NMR studies and the nuclear magnetic dipole moment of neon-21

Gas-phase ²¹Ne nuclear magnetic resonance spectra were measured at the natural abundance of ²¹Ne isotope for samples consisting of pressurized neon up to 60 bar at room temperature and applying the magnetic field of the strength B₀ = 11.7574 T. It showed that the nuclear magnetic resonance frequency is linearly dependent on the density of gaseous neon. The resonance frequency was extrapolated to the zero-density point, and it permitted the determination of the ²¹Ne nuclear magnetic moment, μ(²¹Ne) = 0.6617774(10) μ_N. The present value of μ(²¹Ne) is not influenced by the bulk magnetic susceptibility of neon and interactions between neon atoms; therefore, it is more precise and reliable than the previous result obtained for μ(²¹Ne).     

基于DIS数字信息化系统对透光物质透光性能的研究

采用DIS数字信息化系统,对不同浓度的蓝墨水溶液在激光光源照射下的透射平均照度及照度分布图像进行实验研究,得到了平均照度值随溶液浓度变化的规律。对不同颜色塑料膜片对白炽灯光源透过照度值及照度分布图像进行实验研究得到及其相关之规律。     

Et2Zn-mediated stoichiometric C(sp)-H silylation of 1-alkynes and chlorosilanes

A first example of an Et₂Zn mediated silylation of 1-aklynes is reported. A series of functional groups are tolerated in this reaction. Mechanistic studies support Zn alkynilides as intermediates in the reaction. This reaction protocol provides a practical method for the preparation of alkynylsilanes and expands the application of organometallic zinc in organic synthesis.     

大尺寸工程模型试验中的相似材料配比试验研究

大型物理模型试验是研究复杂工程问题的重要方法，如何快速、准确地确定相似材料配比是试验中至关重要的一环.为降低试验成本、简化试验步骤、充分调用原料性能，采用河砂、水泥和石膏这三种最普通的原料，以骨胶比(河砂与水泥石膏的质量比)和水膏比(水泥与石膏的质量比)为变量，进行了45组对比试验，对相似材料的物理及动、静力学参数进行了研究.获得了以河砂、水泥和石膏为原料配制的相似材料各物理量的变化区间；探讨了骨胶比和水膏比对相似材料各物理量的控制作用，并对比了其敏感性；基于多元线性回归分析建立了各因素与物理量间的定量关系，得到的拟合公式能较好地描述相似材料的性质.     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

基于WEB的在线答疑系统的设计与实现

根据登录者的身份，基于WWW技术的在线答疑系统设计为三大模块：学生模块、教师模块和系统管理员模块，它们可分别完成提问、回答和版务管理等功能．还探讨了系统主要的实现技术。