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

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

糠醛及其衍生物催化加氢制备1,5-戊二醇研究进展

糠醛是重要的生物质平台分子,其合理转化是生物质利用领域的重要课题之一. 1,5-戊二醇是一种具有巨大市场应用前景的聚合单体,研究糠醛及其衍生物选择性氢解制备1,5-戊二醇,在生物质转化和催化加氢理论研究领域都具有重要的意义.本文综述了四氢糠醇、糠醛、糠醇选择性加氢制备1,5-戊二醇的研究现状、催化剂类型和催化性能.对于具有优异1,5-戊二醇选择性的酸性氧化物修饰的贵金属类催化剂,从活性金属种类、金属-氧化物之间的协同作用、氧化物酸性影响、溶剂效应、不同催化剂体系中的构效关系,以及相关催化机理进行阐述.同时,对比了非贵金属类催化剂的研究现状,并对研究趋势和重点作了展望.     

价值敏感设计方法探析

价值敏感设计是一种基于人类价值原则与行为方式的技术设计方法。就其实践场域而言,价值敏感设计从计算机系统设计扩展至信息技术及其衍生领域,最终将应用于"会聚技术"的设计研发中。作为一种设计方法,价值敏感设计拥有前摄、互动、迭代和关涉利益相关者等显著特质。鉴于价值敏感设计以新兴技术为践行对象,其理论体系的建构是在技术设计案例中完成的。     

爱因斯坦的洞察力

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

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

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

一种电力网络潮流计算的综合算法

针对牛顿-拉夫逊法对初值要求严格,迭代速度快的特点,利用电力网的结构特点,使用高斯-塞得尔迭代法的第一次迭代结果作为牛顿-拉夫逊法的计算初值。这样既解决了牛顿-拉夫逊法对初值要求高的问题,又提高了收敛速度。计算结果表明,综合算法在迭代次数和收敛速度上有优势。     

皮亚杰结构--建构理论对中学语文研究性学习的启发意义

皮亚杰结构——建构理论对语文研究性学习具有重要的启示作用：学习过程和研究过程密不可分；要充分尊重学生的主体地位并使学生掌握科学的学习方法；要注意研究性学习中学生科学精神的培养和人格的自我实现。     

刚-柔性桩复合地基设计理论探讨

刚-柔性桩复合地基设计理论的发展明显地落后于工程实践,基于工程实践成果以及计算机仿真分析结果对刚-柔性桩复合地基设计理论进行了研究,根据不同的基础形式对刚-柔性桩复合地基进行分类,分析了不同型式复合地基的适用性,提出了具体的设计步骤,探讨了承载力与变形等相关问题.此外,还提出了刚-柔性桩复合地基优化设计的建议,并通过工程实例对上述设计理论进行验证.     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。