带有规则优先级的主动规则终止性分析

主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。     

黑龙江省交通数字化中元数据创建问题研究

交通信息数据内容繁杂且数据量庞大,建立交通数据元数据是对其进行管理及共享的有效、可行的方法。通过对黑龙江省交通信息数据元数据的现状分析,对已有的元数据标准做必要的改进,重新建立黑龙江省交通信息基础元数据集,使黑龙江省交通信息基础元数据管理和应用更加科学、合理、规范。     

寒区桥梁用自密实混凝土耐久性研究

通过氯离子迁移渗透试验和冻融损伤后氯离子扩散深度试验,研究自密实混凝土抗氯离子扩散的性能和冻融损伤对氯离子扩散能力的影响。结果表明,自密实混凝土较普通混凝土具有良好的抗氯离子扩散和冻融损伤能力,可提高抵御氯盐侵蚀能力,防止钢筋锈蚀,增强混凝土耐久性。     

基于DFT的UWB—OFDM信道估计算法

在基于OFDM技术的UWB系统中,由于信号在无线信道中传输,多径现象使得信号幅度发生衰落,相位发生偏移,为了保证通信的可靠性和有效性,接收机采用信道估计方法来预知信道的传输特性,补偿信道对超宽带信号造成的影响。在直接DFT估计方法的基础上,提出一种加窗DFT信道估计算法,用汉宁窗在时域上对信道冲激响应进行处理,有效地抑制频域响应的频谱泄漏。理论分析和仿真结果都表明在没有增加信道估计复杂度的基础上,提出的信道估计方法性能优于直接DFT估计方法。     

二硫化钼纳米颗粒的制备与润滑性能研究

利用超声化学方法制备的类球形三氧化钼（MoO3）纳米颗粒为前驱物,采用在氧气氛下的硫化还原反应制备纳米二硫化钼（MoS2）粉体。纳米粉体颗粒的形貌、几何特征和尺寸等通过场发射扫描电子显微镜（FE-SEM）和透射电子显微镜（TEM）进行表征,用x-ray射线衍射（XRD）和能谱分析（EDX）分析物质的结构及成分。将制备出的类球形纳米级MoS2作为添加剂,添加到基础油中。通过仪器测试其在不同载荷下的摩擦系数,与基础油的摩擦系数进行对比,研究纳米MoN对复合润滑油润滑性能的影响。结果表明：MoS2纳米颗粒能够显著提高润滑油的润滑性能。     

航空遥感面阵CCD相机像移速度计算方法

为提高航空遥感相机的照相分辨率,必须对航空遥感相机进行像移补偿。探讨一种面阵CCD相机像移速度的计算方法——坐标变换法,其原理是利用地面上相同点在相机姿态变换前后像面不同坐标值之间的矩阵关系求出像移量及像移速度。利用该方法计算航空遥感相机在垂直工作方式下像面中心点与像面上任一点由于飞机的姿态变化与飞机的飞行运动引起的前向像移速度和横向像移速度,并将此方法推广到倾斜式相机像移速度的计算中。     

一种双游程编码的测试数据压缩方案

SOC芯片测试中一个主要的挑战就是处理大量的测试数据.为了减少芯片测试中的测试数据,提出了一种双游程的编码方案,采用变长到变长的编码方式对0游程和1游程进行编码.该算法在编码时同时考虑0游程和1游程,大大减少了测试数据中短游程的数量,同时文中给出了一种基于有限状态机的解压缩算法的实现方案.理论分析和实验结果证明该方案具有高压缩率、硬件实现简单等特点.     

套建增层巨型框架抗震设计方法

为解决套建增层巨型框架结构在罕遇地震作用下的倒塌分析以及与施工相结合的设计方法等方面研究滞后于工程实践的问题,利用弹塑性分析程序IDARC2D分析现行抗震规范规定的I～III类场地土、第一～三地震分组、7～8度设防烈度的套建增层巨型框架的弹塑性地震反应,研究其倒塌机制.结果表明,底层巨型框架的设计是控制结构实现梁铰机制的关键.提出通过适当提高框架抗震等级的措施来避免倒塌.结合施工的实际情况,凝炼了套建增层巨型框架的施工技术措施.基于弹塑性地震分析结果提出与施工相结合的设计方法,为套建增层巨型框架结构的设计提供参考.     

预应力混凝土受弯构件反向变形控制与验算

为解决国内外有关标准和文献对预应力混凝土受弯构件的变形控制不完善的问题,结合工程实践,经过试算,提出了反向变形限值.对预应力混凝土受弯构件反向变形影响因素进行了分析,对采用限制有效压应力来间接控制预应力混凝土受弯构件反向变形的方法进行了探讨.对于预应力混凝土板,以计算跨度、跨高比及控制截面预应力筋的位置为影响因素,计算得到了预应力混凝土板控制截面有效压应力限值.对于预应力混凝土梁,以计算跨度、跨高比及梁的负荷范围为影响因素,分析得到了梁控制截面有效压应力变化规律,并计算得到了预应力混凝土梁控制截面有效压应力限值计算公式.     

楔形翼缘连接板腹板连接节点断裂性能

为定量确定采用楔形翼缘连接板的钢框架结构梁柱腹板连接节点焊缝应力强度因子与初始缺陷深度之间的函数关系,采用断裂力学与有限元分析相结合的方法.判断焊缝开裂的依据是一型应力强度因子,应力强度因子通过J积分的方法求得.通过有限元计算研究初始裂缝深度、梁截面尺寸、柱截面尺寸、梁柱长度和翼缘连接板伸出柱边缘的长度对腹板连接节点焊缝应力强度因子的影响.采用正交设计法进行研究方案设计,根据参数分析结果归纳出应力强度因子计算公式.结果表明,梁下翼缘焊缝比上翼缘更容易开裂,采用楔形翼缘连接板可以明显改善焊缝边缘的断裂性能,应力强度因子与梁截面参数是增函数关系,与柱截面参数是减函数关系.