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

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

温度对PS分子链荧光特性的影响研究

利用荧光光谱法研究了温度和浓度对聚苯乙烯(polystyrene,PS)荧光特性的影响。研究表明,PS在四氢呋喃溶液中有2个荧光发射波长:334、345 nm,并且荧光强度随着温度的升高而升高,原因可能是溶剂效应限制了PS分子链的运动,使分子间碰撞的几率减少。另外随着溶液浓度的增加,PS的荧光强度逐渐下降,其原因可能是当溶液处于较高浓度时,分子之间的相互作用增大,PS二聚体的形成导致发生荧光淬灭现象。     

基于KNN分类器的分层图像特征提取

给出一种基于k最近邻分类器(KNN)的分层图像特征提取方法.该方法能有效地获得有代表性和判别性的模板集合,并以较低计算复杂度来获取更高的识别精度.     

Simultaneous anti-windup synthesis for linear systems subject to actuator saturation

A synthesis method for global stability and performance of input constrained linear systems, which uses a linear outputfeedback controller and a static anti-windup compensator is investigated. Different from the traditional two-step anti-windup design procedure, the proposed method synthesizes all controller parameters simultaneously. Sufficient conditions for global stability and minimizing the induced L2 gain are formulated and solved as a linear matrix inequalities(LMIs) optimization problem, which also provides an opportunity to search for a better performance tradeoff between the linear controller and the anti-windup compensator.The well-posedness of the close-loop system is also guaranteed.Simulation results show the effectiveness of the proposed method.     

Fe~(3+)-水合红菲绕啉二磺酸钠分光光度法测定异烟肼

基于异烟肼分子结构中的酰肼基具有较强的还原性,可将Fe~(3+)还原为Fe~(2+),选择水合红菲绕啉二磺酸钠作为Fe~(2+)的显色剂,建立了可见分光光度法测定异烟肼的新方法.在最佳实验条件下,异烟肼的浓度在0.04~3.2μg·mL-1范围内符合比尔定律,表观摩尔吸光系数ε=1.14×104 L·mol~(-1)·cm~(-1),检测限为0.033μg·mL~(-1).方法可用于异烟肼片剂和尿样中异烟肼含量的测定.     

爱因斯坦的洞察力

<正>今年12月2日是爱因斯坦广义相对论论文发表100周年纪念日坐在办公桌前或常年在实验室中独自忙碌,直到——灵感产生——觉察到了一切。这就是科学工作的神话,而且这个过程几乎总是错的。在现实生活中,科学的进步是循序渐进的,大多数研究人员是在团队中工作,孤独的天才总是难以找到揭示宇宙的革命性的新理论。然而,阿尔伯特·爱因斯坦(Albert Einstein)却做到了。来自于哈勃空间望远镜的图像:遥远星系由于地球附近星系团质量的存在而发生弯曲——这种弯曲是由广义相对论所预言的(又称引力透镜现象)     

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.     

Fe、Al纳米粒子熔化过程结构转变的分子动力学研究

采用分子动力学方法结合嵌入原子势函数,应用势能、共近邻技术分析方法,研究了原子数为147、309和561的正二十面体(ICO),正十面体(Dh)和立方八面体(CO)的Fe、Al纳米粒子的熔化行为.结果表明,原子数为147、309、561的ICO结构的Fe、Al纳米粒子在熔化前保持原有结构;Dh与CO结构的Al纳米粒子在熔化前向ICO结构转变,ICO结构比Dh结构和CO结构更稳定.