可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

静水压力下海底隧道安全稳定性研究

将强度折减法引入静水压力下海底隧道衬砌的安全稳定性研究,利用Flac3d软件建立了海底隧道-岩土体-海水相互作用的强度折减法数值分析模型,对比判定了强度折减法的两种折减方式,考虑海底隧道在静水压力作用下的位移变化、剪应变增量变化和塑性区变化情况,确定了衬砌局部破坏的极限平衡状态和整体破坏的极限平衡状态,分析了海底隧道在静水压力作用下的破坏机理。研究结果表明:海底隧道采用同时折减衬砌和围岩的折减方式进行计算较为合理;衬砌局部破坏的安全系数为1.83,整体破坏的安全系数为2.125,衬砌主要因剪应力产生破坏。     

基于证据距离和矛盾因子的加权证据合成法

针对Dempster-shafer (DS)理论直接对高冲突证据合成时会有融合结果不合理的问题,本文提出了一种加权证据合成法.在多个证据融合时,该方法综合利用证据距离和矛盾因子表示证据冲突.并根据各证据与其它证据的冲突程度确定其权重系数,基于此又分别采用两种适用于不同情况的方法对证据基本置信指派函数修正,然后用DS规则合成.算例实验表明了本文方法对高冲突证据融合的有效性,并且其融合结果还具有良好的收敛性.     

信息检索中的广义作用效应链应用研究

广义作用句和广义效应句的划分是作用效应链思想在句类体系中的体现.这一划分是对自然语言语句的一个最基本的分类.如果结合信息检索中采取的统计学办法,在检索结果的基础上进行二次精筛选,则提供给查询用户的结果必将更符合实际需求,能更有效提高信息检索的正确率.从人为数据统计结果来看,这一思路有效地把统计方·法和基本规则方法结合起来,提高了信息检索的检索准确率.     

基于角色的设计模式形式建模及演化

重用设计在改善软件开发过程中的作用越来越受到人们的重视.面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面.但在设计模式的具体应用中存在实现、文档和组合的问题.给出了一种基于角色的设计模式形式建模方法,将类、类属性、类之间的关系等都看作角色,并用形式建模语言Object-Z形式表示这些角色,可有效地解决设计模式实例化时存在的问题.基于角色的设计模式形式模型在演化时也基于角色进行演化,将模式的演化分为角色层演化和模式层演化,模式层演化是由多个角色层演化组成的.演化后的模型可以通过定理证明器验证与前模型是否保持一致.     

基于能量估计的灰度水印系统分析

针对一类灰度水印系统设计理论存在的不足,给出指导该类灰度水印算法设计的一系列理论结果,包括嵌入强度、鲁棒性、不可见性三者之间定量关系的建立,提出水印算法不可见性和鲁棒性的折中方案,采用已有的算法对理论结果进行验证,结果表明,得出的理论结果对该类水印算法的设计具有较大的指导意义。     

网络结构的演进与新一代网管

本文论述了通信网和网管技术的发展演进过程、相互关系、下一代通信网的结构以及下一代网管应具有的特征。     

基于FLANN的动态称重法

根据“逆模型”的思想 ,利用神经元网络良好的逼近能力 ,基于函数联接型神经网络 ( FLANN)的传感器动态补偿方法和最小二乘法 ,提出了一种车辆动态称重解决新方法     

O型丁腈橡胶密封圈耐润滑脂性能研究

研究了O型丁腈橡胶密封圈中腈基含量对其耐润滑脂性能的影响，讨论了不同性能润滑脂对丁腈橡胶的溶胀作用机理。在实际使用中，应科学地选用与橡胶密封圈相宜的润滑脂，从而保证产品使用的可靠性。     

有限元方法用于预报轮胎的侧偏特性

分析了影响轮胎胎侧偏特性的理论模型分析精度低的几个因素,采用有限元分析手段弥补理论模型缺陷,建立了能够考虑轮胎实际结构的侧偏特性分析模型,不但提高了分析精度,而且能够对多种型号轮胎进行侧偏特性预报。计算结果表明轮胎侧偏特性与试验数据吻合较好,说明此方法预报轮胎侧偏特性的有效性,并为轮胎的结构优化及改进侧偏特性提供了一种有效的分析方法。