扩展的语义分析的WAP协议缺陷测试

首先介绍了一种基于语义分析的缺陷测试技术.该测试方法利用语义测试及软件错误注入来进行测试.它比传统测试的成本要小,同时能达到很好的效果.但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷.本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法.它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的.这弥补了原缺陷测试在协议层面的不足.之后对该方法各个阶段进行了介绍.对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性.     

基于FTA和模糊集理论的设备可靠性研究

应用模糊故障树（模糊集合论和故障树相结合）分析的方法研究了CXT设备Handler模块的可靠性。以Handler失效为顶事件，建立此模块的系统故障树，并采用上行法定性分析找出该故障树的最小割集。传统故障树定量分析时需要得到各底事件的概率精确值，而实践中，由于底事件的发生概率具有随机性和模糊性，难以获得精确的概率值，为克服传统故障树这一不足，引入模糊数（通常采用对称三角模糊数）来表示底事件的发生概率，并且按照模糊逻辑门的运算法则定量计算，从而得到故障树顶事件及各中间事件的发生概率（亦为区间数），最终找出了Handler的薄弱环节并计算出Handler的系统不可靠度。     

基于光学衍射的纳米尺度深度重建

传统的离焦深度恢复方法（depth from defocus,DFD）在计算离焦图像的模糊程度时,均是基于几何光学成像原理,并没有考虑光波衍射对图像模糊的影响.然而,衍射现象是波的基本特性,以针孔成像为基础的光学成像系统中必然存在光波衍射.本文基于光学衍射和图像模糊机理,提出了一种精确的单目视觉全局景物3D深度信息获取方法.首先,详细分析了光学成像系统中的菲涅耳衍射机理,建立了衍射模糊与景物深度之间的关系曲线;然后,采用曲线拟合的方式建立了衍射模糊的模糊程度（点扩散函数扩散程度）与景物深度的数学关系模型,结合热辐射和图像相对模糊原理,构建了衍射模糊热辐射方程组,并把衍射模糊深度获取问题转换成一个深度信息动态优化问题.最后,使用标准的纳米栅格模板验证了衍射模糊深度重建算法在纳米尺度相对深度和绝对深度重建中的有效性和精确性.     

正则模糊神经网络对于连续模糊函数的近似能力研究

研究了正则模糊神经网络对于模糊函数的逼近问题 .当σ是R上的非常量有界连续函数时 ,得到了被四层前向正则模糊神经网络 ∑qk=1 Wk · ∑pj=1 Vkj·σ X· Uj Θj 以任意精度逼近的连续模糊函数所满足的几个等价条件 .最后的例子给出了几类这样的模糊函数     

基于结构元方法的矿井机械模糊可靠性分析

应用模糊结构元理论,对矿井可修复机械设备可靠性中的有效度进行研究.首先,定义了模糊可靠度、模糊维修度和模糊有效度,并应用结构元理论对其进行表示.提出了相关的运算定理,在此基础上,再运用结构元理论对模糊有效度进行表示.之后,提出了正序,该序为全序.最后,用算例计算模糊有效度,通过正序对有效度进行比较.结果表明,运用模糊有...     

基于特征的矢量场自适应纹理绘制

针对3D流场纹理可视化方法面临的遮挡问题,提出了一种基于流场特征模糊提取的自适应稀疏纹理绘制方法.该方法建立在一种可扩展的模糊流场特征区域描述与提取算法基础上,首先通过采用模糊理论对流场特征区域进行描述,建立了流场特征的测度规则并得到相应特征向量,然后基于特征向量偏差给出了最小平方和误差准则下的模糊测度隶属度的确定方法.根据得到的流场特征模糊隶属度场,生成可突出流场特征信息的自适应高斯噪声以进行纹理LIC卷积.同时针对纹理方法难以明确表示3D流场具体方向的缺陷,提出了两种冷暖光照方法,通过在LIC卷积过程中采用冷暖光照方法突出流场具体方向显示,有效解决了该问题.实验表明,本文方法相对于传统特征提取方法更具有可扩展性.同时自适应技术的采用,有效缓解了3D流场可视化存在的遮挡和混淆现象.而冷暖光照处理的加入,则解决了纹理方法对流场具体方向表现上的缺陷.     

模糊层次分析技术（FAHP）在3D锡膏检测中的应用

随着当今先进工艺趋向于使用更小的元件，人们认识到仅仅计算体积已不足以确保工艺质量，锡膏检测仪（SPI），特别是3DSPI在测试策略中扮演起越来越重要的角色。3D锡膏检测仪中经常遇到的激光阴影效应，传统的SPI技术，激光三角法和莫尔（Moiré）技术也都存在或多或少的阴影效应问题。本文首先介绍和分析了激光三角法以及莫尔（Moiré）技术在锡膏检测技术中的应用，它们遇到的主要问题。然后，结合传统方法的优点，提出一种新的方法：模糊层次分析技术（FAHP），从软件硬件两个角度更好的解决3D锡膏检测仪遇到的阴影效应问题，保证更准确地测量结果和更直观的用户界面，使人们可以从工艺的角度出发来管理生产线的质量并具备整合系统的能力。     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

模糊随机可靠性分析中不确定性传递的鞍点线抽样方法

对于同时存在随机基本变量和模糊基本变量的结构系统,研究了模糊和随机两种基本变量的不确定性向结构响应性能的传递问题,提出了一种结构安全度量的模糊可靠度隶属函数求解的鞍点线抽样方法.所提方法首先按照模糊基本变量的隶属函数求得给定隶属水平下模糊基本变量的取值域.然后在与给定的隶属水平对应的模糊基本变量取值区域内,利用鞍点线抽样方法求得随机基本变量空间内结构响应量满足安全要求的可靠度值的上、下界,进而将基本变量的模糊和随机不确定性传递到结构的安全度量,得到模糊可靠度的隶属函数.与模糊随机不确定性传递的直接MonteCarlo法相比,所提方法可以在保证计算精度的同时大幅度提高计算效率.与已有的模糊随机不确定性传递的转化法相比,所提方法具有更广的适用范围,它对随机基本变量的分布型式及结构响应量的解析表达式均没有限制,并且所提方法未对响应量的表达式作任何近似,因而比转化法具有更高的精度.另外所提方法可以容易地处理结构响应中模糊基本变量与随机基本变量具有交叉项的情况.所提方法的优点将由文中算例进行验证.     

基于主题建模和静态分析技术的软件代码功能性主题获取方法

近年来,基于主题建模技术的代码理解方法成为研究热点之一.该类方法期望利用主题建模技术从软件代码中挖掘功能性主题,进而利用功能性主题帮助开发人员理解软件功能及其代码实现.然而,从代码挖掘出的主题中,功能性主题与其他类型主题(如横切性主题)混杂在一起,需要人工识别功能性主题;由于现有工作大多仅提供主题关联的词等基本信息,导致识别及应用功能性主题的过程费时费力.针对以上问题,本文提出了一种基于主题建模和静态分析技术的软件代码功能性主题获取方法.该方法在利用一组启发式过滤规则对代码进行预处理的基础上,基于主题建模技术从代码中挖掘原始主题;进而,基于代码静态分析获得的代码间结构关系,提出了一种名为主题内聚度的技术从原始主题中自动识别功能性主题;最后,定位主题关联的代码片段,并利用代码及其注释为主题生成自然语言描述文本,进一步帮助开发人员理解主题所体现的软件功能及其代码实现细节.本文基于一组开源软件代码进行了方法评估,评估结果表明本文方法能够有效获取功能性主题及其关联信息,进而帮助开发人员更好地理解软件功能及其代码实现.     

依兰露天矿横采内排方案研究

以依兰露天矿地质模型软件系统做为依托，在三维地质模型的基础上，利用系统的储量计算以及模拟开采技术，对依兰露天矿技术改造做了深入研究，提出横采内排的开采方案。根据露天矿煤层赋存条件、开采境界、开采现状，并充分考虑实现横采内排的便利性，提出两套开采方案。运用计算机模拟技术，得出详细的工程煤岩量，自动生成V=f（P）曲线，对两种过度方案进行比较，确定东部作为首采区为最佳合理方案，并且制定出过度方式与接续程序，解决了生产技术问题，取得了较好的经济效益。     

一种基于一阶逻辑的软件代码安全性缺陷静态检测技术

软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代码安全性缺陷静态检测方法,利用命题逻辑和谓词逻辑定义模式路径公式,引入多个与依赖关系相关的谓词构造逻辑函数表达式,作为模式路径节点产生的制导条件,实现了对多类软件代码安全性缺陷的形式化描述,把安全性缺陷检测问题转化成在中间代码对应的有限状态空间中是否存在相应模式路径公式的判定问题.实验结果表明,该方法能适用于大多数类型的软件代码安全性缺陷检测,在对openssl,wu-ftpd等13个开源程序的测试中,准确重现了10个已公开安全漏洞,发现2个未公开安全漏洞.并且,与现有的模型检验等形式化静态分析方法相比,该方法的测试时间和代码规模成渐近线性关系.     

互联网时代语音识别基本问题

语音识别技术经过半个世纪的积累，于近年来达到大规模商用水平．本文概括了统计语音识别理论的发展状况，并单独介绍了深度神经网络在声学建模、语言建模、多语言共享、语义识别等方面的卓越性能．深度神经网络的性能优势引起了我们强烈的兴趣．通过回顾类人听觉信息处理对深度神经网络的改进作用，我们意识到，深度神经网络与类人听觉信息处理相结合，必将推进语音识别技术的进一步发展．反过来，深度神经网络技术在语音识别中的进步，也必将推动类人听觉信总、处理技术的进步．语音识别技术后续发展的重点是对深度神经网络的结构和训练算法的改进使之更好地实现类人听觉．最后，我们分析了采用深度神经网络模拟人类听觉的抗噪修复机理和听觉关注机理的可能性．     

近距离薄煤层回采巷道布置及护巷方式研究

为了确定大安山矿＋680m水平9槽近距离薄煤层回采巷道合理的布置方式及护巷方式，根据理论分析和数值模拟，确定了单一煤层开采的开采方案，提出了9槽回采巷道留3～5m窄小煤柱护巷的无煤柱护巷方式，及9上和9下煤层回采巷道采用外错式和内错式的相结合的布置方式，并研究了相应的支护形式。数值模拟结果表明选择无煤柱护巷方式是合理的，留煤柱护巷方_式支承压力的影响范围比无煤柱护巷大2．5倍，煤柱上垂直应力比无煤柱护巷大2．5～7．5MPa。     

采空区上方边坡稳定性分析

分别根据《三下采煤规程》采动坡体稳定性预测方法和瑞典条分法对采空区上方边坡稳定性进行了验算，并用大型有限元分析软件ADINA进行了二维模拟，得出了预计边坡稳定性系数、条带开采后引起的地表移动和变形最大值等数据，具有一定的工程应用价值。     

超高频RFID物联网前端感知系统的设计

介绍了一种基于超高频RFID的物联网前端感知系统的设计和实现,以及主要模块的功能,然后分别从硬件结构,工作流程和软件设计三个方面进行了详细阐述.本系统的工作频率在860～960 MHz可调节,能支持EPC Gen2和ISO/IEC 18000-6B/6C标准.它的射频前端是以射频芯片AS3992为核心,使用内部集成的功放,外加一系列外围电路实现.其优点是体积小、重量轻、集成度高和功耗低.实验结果表明,该系统的读写距离能达到2.5m,能够满足实际应用的需要.     

蛭石膨胀工艺研究进展

膨胀蛭石是一种优良的保温耐火、吸音隔热、耐冻蚀的环保节能材料,应用领域十分广泛.我国蛭石矿产资源丰富,但开发利用与国外相比存在着产品品种少、膨胀工艺简单、细粒蛭石的利用率低等问题.传统的蛭石膨胀工艺是燃料加热法和电加热法,随着蛭石膨胀工艺发展,目前主要还有微波膨胀和化学膨胀等方法.通过对蛭石膨胀工艺的深入研究,可进一步促进蛭石环保节能材料的开发与应用.     

基于实物期权的PPP项目投资评价研究

传统的现金流折现法忽视了不确定性因素的影响,不能对基础设施PPP项目进行有效评价.针对传统的折现法的这一缺陷,分析了PPP项目中存在的期权特征,并提出基于实物期权理论的二叉树期权评价模型.通过实际的案例分析,考虑交通PPP项目中车流量的不确定性,得出实物期权理论相对于现金流折现法的优势.最后提出实物期权在PPP项目评价中的应用前景与建议.