双重Stone代数的素理想与同余性质

对于双重Stone代数L,以P(L)表示L的全体素理想组成的集,Con(L)表示L的同余关系格,XP(L)表示P(L)的幂集格的对偶格。本文用P(L)的子集刻划了双重Stone代数L的每一个同余关系,由此给出了双重Stone代数L关于次直不可约双重Stone代数的次直积表示和双重Stone代数的次直不可约类,并证明了Con(L)可以嵌入到XP(L)中。     

高校廉政建设中的“双因素理论”

结合高校廉政建设的特点，参照管理学原理中的“双因素理论”，创造性的提出了高校廉政建设的“保健因素”和“激励因素”；并且强调，只有两个“因素”双管齐下，才能搞好高校廉政建设。     

悬索桥施工猫道的动力特性分析

描道是悬索桥主缆施工过程中作为施工人员工作平台和通道的一种临时性结构，其动力特性是进行气前稳定性分析的基础据此，介绍了猫道振动特性的分析方法，给出了基频的理论计算公式和实用近似计算公式,然后以虎门大桥猫道为例，分析了猫道的动力特性，并将理论计算结果和有限元分析结果进行了比较，在此基础上进一步分析了猫道的设计参数以及风荷载对猫道动力特性的影响     

成都-拉萨RNP4平行航路安全性评估研究

根据中国民航基于性能导航(PBN)实施路线图,2017年后,PBN航路将达到100％.目前,成都-拉萨RNP4平行航路正在协调实施.对成都-拉萨RNP4平行航路的安全评估进行了研究.首先运用改进的REICH模型介绍了平行航路碰撞风险的计算方法.其次,分析了侧向重叠概率的计算方法.侧向重叠概率由一般偏航和大偏航两部分组成.有别于之前的研究,采用更接近于实际运行现状的分离的双指数分布来描述大偏航密度函数.最后对成都-拉萨RNP4平行航路的碰撞风险进行了评估.评估结果满足安全目标水平的要求,也表明该方法是可行的.     

通过双循环矩阵改进的基于纠错码的身份认证方案

目前所有的公钥密码方案都基于大整数分解或离散对数难题,这些困难问题在量子计算机中都可以在多项式时间内求解,因此所有的公钥方案都将面临危险,而基于纠错码的密码方案可以抵抗量子计算机的攻击,所以很有必要研究基于纠错码的身份认证方案。Stern身份认证方案总体来说很不错,但其公钥太大,达到150 Kbit;Veron提出一种改进的方案,目的也在于减少Stern方案中的公钥,在Veron方案中,Veron用生成矩阵来替代校验矩阵,使得所构造的公钥大大减小,但是其基于的安全性GSD问题没有得到很好地证明。现采用双循环矩阵来解决Stern方案中的密钥太大的问题,就是通过双循环矩阵把私钥嵌入到公钥中。这样做的好处有两点:1所基于的安全性是已被证明为安全的循环码;2改进以后,公钥只有347bit,而私钥大小也只有694 bit。并且分析所构造方案的安全性,将其归结到双循环线性条件下的SD问题。因为使用循环结构,使得实现起来比较容易并且效率很高。这些特点使得方案在轻量级结构的场合具有广阔的应用前景,比如手持终端,云存储环境下的数字签名等场合。     

数字PD-PID控制的打号机随动系统

介绍了碳素行业电极打号机电气传动装置随动系统的组成,分析了采用数字双模(PD-PID)控制器的工作原理并给出了程序框图.通过1 a多的运行实践证明,本系统具有稳态精度高、定位准确、无振荡、快速性好等静、动态优良控制性能.     

油气悬架系统刚度等效线性化及振动位移概率分布计算

针对油气悬架刚度的非线性特性,采用统计线性化的方法,对其弹性力进行了线性化等效。并以车辆二自由度振动系统模型为基础,得到了悬架系统振动位移的响应特性以及概率分布,以此提出了悬架系统限位装置高度的设计依据以及计算方法。     

一类双险种风险模型的赤字尾概率

考虑了一类常利率下保费复合随机过程的特殊双险种风险模型的赤字尾概率,利用递归方法导出了该模型下赤字尾分布的明确表达式及所满足的积分方程,研究结果推广了无利率的双险种风险模型的相应结论.     

超大跨度公路隧道施工工法转换方案研究

超大跨度隧道开挖跨度大,结构稳定性差,全断面开挖跨度大,不同围岩级别施工工法不同,因此施工转换要求高。以老虎山隧道为依托,对进口段Ⅴ级围岩双侧壁导坑法和相邻段Ⅳ围岩交叉中隔墙(cross diaphragm, CRD)法两种工法施工转换进行分析和研究。结果表明:采用控制开挖起拱线高程一致,由双侧壁导坑法分部横向采用渐变方法过渡到CRD法,避免工法转换之间的时间间隔,减少了后期双侧壁导坑法临时支撑的拆除对围岩的扰动,从而加快了施工进度;双侧壁导坑法向CRD法转换前后和转换过程中钢架受力都满足规范要求,工法转换过程中施工安全。研究结果对超大跨度公路隧道开挖时施工工法转换具有一定的参考价值。     

单片机控制直流调速系统的研究

本文主要研究用单片机实现数字双闭环直流电机调速系统的控制,阐述了设计者对双闭环直流调速控制系统数字化的研究思路与构想。