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

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

基于CVM的惰性建筑垃圾填埋费支付意愿的测定——承包商视角

为确定合理的惰性建筑垃圾填埋费,根据"污染者付费"原则,运用条件价值评估(CVM)方法,以西宁市为例,进行实地调研和问卷调查,分析影响承包商支付意愿的因素,并测算其支付意愿的大小。结果表明:64.0%的受访者愿意支付建筑垃圾入场填埋费,企业性质和资质及受访者的学历和岗位等因素对承包商填埋支付意愿的影响较为显著;西宁市现行的填埋费低于所测算的承包商支付意愿,说明现行填埋费政策在激励污染者改善建筑垃圾管理方面仍有提升的空间。     

高层建筑结构抗震设计优化措施探讨

该文从高层建筑结构抗震设计的主要内容入手，对高层建筑抗震设计中常出现的问题进行了分析，并进一步对高层建筑结构抗震设计的优化措施进行了具体的阐述。     

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

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

具有sn-网的空间

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

含PM-映射的变分不等式

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

Banach空间常微分方程初值问题的广义整体解

研究了Banach空间一阶非线性常微分方程初值问题.当f(t,u)满足弱Carath啨odory条件时,利用单调迭代方法和适当的迭代程序,获得了广义整体解的存在唯一性结果.     

钢筋混凝土结构板角斜裂缝分析

分析现浇钢筋混凝土结构中经常出现的整个建筑结构阳角楼板的 4 5°上下贯通斜裂缝的产生原因 ,并提出解决问题的设计和施工措施     

略论高校图书馆建筑的文化特色

图书馆作为高校的标志性建筑物之一，不仅要考虑学校的发展规划，满足实用性需要，还要考虑与周围环境的和谐，塑造优美的建筑形象，因此，在进行新馆建设时，应把图书馆建成具有鲜明文化特色的风景线。