一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法,同时在此基础上,进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析,直接描述各协议内容的贡献度,显示冗余内容对目标实现的无效作用,从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点,它具有模态逻辑方法的优点及缺陷。     

关于平方和分解式中二次型秩数的计算

引用矩阵的有关理论,给出了平方和分解式中二次型秩数的计算方法。     

8p阶7度1-正则图

一个简单无向图,如果它的全自同构群作用在它的弧集上正则,则称该图为1-正则图.证明了不存在8p阶7度1-正则图,其中p是一个素数.     

随机信息中系统参数的灰色贝叶斯区间估计研究

在贝叶斯可信区间估计理论基础上,借助于灰色理论研究随机信息下贝叶斯灰色可信区间的估计问题,较传统的方法能够获取更多的有效信息.     

准噶尔盆地腹部超压顶面附近油气成藏机制

依据地化、储层、钻探、地球物理等资料,对准噶尔盆地腹部超压顶面附近油气藏的成藏机制进行研究.结果表明:准噶尔盆地腹部为成岩后生烃型强超压盆地,超压顶面本身既是一个岩性、物性封堵面,也是油气运移的平衡面;烃源岩的生烃热演化、输导格架的空间构成、超压能量场的演化、超压顶封层的性质以及超压顶面附近有利圈闭的类型和分布,共同控...     

化学发光酶免疫分析法测定血清前列腺特异性抗原的研究

目的建立化学发光酶免疫分析法测定血清前列腺特异性抗原,用于临床前列腺癌、前列腺增生、前列腺炎患者病情的监测和预后.方法化学发光酶免疫分析法(CLELA)采用辣根过氧化酶(HRP)-鲁米诺竞争法.结果该方法的灵敏度为0.01μg/L,在0.5～80μg/L的范围内线性良好.CLEIA测定血清前列腺特异性抗原的批内、批间与日间变异系数分别为5.0%,4.97%和4.93%.在血红蛋白浓度<2.4g/L、总胆红素浓度<342μmol/L、甘油三酯浓度<9.9mmol/L时的干扰率无临床意义.与放射免疫分析法有较好的相关性(r=0.9472).结论CLEIA法测定血清前列腺特异性抗原能及时有效地满足前列腺癌、前列腺增生、前列腺炎患者的临床需要,有助于进一步对检测试剂盒的研制.     

特高压格构式输电塔线体系振动台试验设计

特高压输电塔线体系具有跨越档距大、塔体高的特点,进行地震模拟振动台试验测试时,现有结构试验方法难以完成.本文以特高压交流单回路输电线路工程为背景,设计制作了三塔两线体系缩尺模型,文中详细阐述了振动台试验的模型设计工作,其中包括试验材料的选取、动力相似关系的确定、模型的制作以及试验方案设计等方面.针对由强几何非线性的导、地线与弹性输电铁塔这两种不同形式的结构所组成的耦联体系提出了动力参数分离式模型设计方法,解决了塔线体系按统一比例无法满足振动台台面尺寸要求的问题.理论分析和实测对比验证了该模型较好地满足了振动台试验要求,该方法使得通过振动台试验研究特高压输电塔线体系的地震反应得以实现.     

C-肽化学发光免疫测定法的建立

目的建立化学发光免疫法,测定C-肽及临床糖尿病患者胰岛素治疗跟踪与稳定性的可行性评估.方法 LEIA抗原竞争法.结果 CLIA测定C-肽的批内与批间变异系数分别为4.2%和5.0%.结论 CLIA法测定C-肽能及时有效地满足糖尿病患者的临床需要.     

VPN网络信道可靠性的研究

虚拟专用网为用户提供一个安全和低费用的环境,目前针对VPN带宽优化技术通常只停留在一条通道中的有限使用带宽控管,造成大量使用VPN应用时,经常发生、VOIP断线问题,本文首先对VPN核心技术及其校园网现状进行了综述,其次给出具体的实施方案,最后对多VPN线路拓扑可靠性进行了分析.     

双Cayley图的Hamilton性

研究双Cayley图的Hamilton性,通过(单)Cayley图的Hamilton性给出双Cayley图是Hamilton图的两个充分条件,并证明二面体群D2p和3p(p为素数)阶亚循环群的双Cayley图是Hamilton图.