基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

使用 Visual Basic 4.0 开发多媒体数据库

ＶｉｓｕａｌＢａｓｉｃ４．０是一门通用的程序语言,可以用于编制各种不同功能的应用程序,尤其对于编制数据库管理程序更有独到之处．而多媒体数据库的应用是当前人们关注的焦点,文中针对ＶｉｓｕａｌＢａｓｉｃ４．０的特点,结合数据库与多媒体的知识,介绍了如何编制一个灵活实用的多媒体数据库管理程序．     

粘弹性介质中球形空腔嵌入层的共振特性研究

潜艇吸声覆盖层在低频对抗主动声纳的探测是目前面临的一个重要技术难题.利用空腔共振时的吸收是解决低频吸声问题的一种有效途径.文中在假设入射球形纵波完全被腔壁反射的情形下,对球形空腔嵌入层的共振特性进行了理论分析.结果表明,在粘弹性介质中嵌入适当厚度的低剪切波速包覆层能有效地降低空腔共振的频率.     

内腐蚀缺陷尺寸对DN150承插管线承压能力的影响

为了科学地指导DN150承插管线的使用与管理,采用非线性有限元法对带内腐蚀缺陷的DN150承插管线进行了剩余强度的评估。通过分析和计算,研究了腐蚀缺陷宽度、长度和深度对管线极限承载能力的影响。结果表明：腐蚀缺陷宽度对DN150承插管线的承载能力影响很小,可忽略不计;随着腐蚀缺陷长度的增加,管线的承载能力略微减小,当缺陷长度达到150mm,管道失效压力基本不变;随着腐蚀缺陷深度的增加,管道失效压力呈线性递减,其对管道失效压力的影响程度远远大于腐蚀缺陷长度。     

基于集对分析的空战武器系统作战效能评估

空战武器系统面临复杂的作战环境,对其作战效能的评估是一个多因素综合评判问题.分析了影响空战武器系统作战效能的因素,建立了空战武器系统作战效能评估指标体系.在简单介绍集对分析的基本原理以后,建立了基于集对分析的空战武器系统作战效能评估模型.最后,通过评估得出了国外几种典型的空战武器系统作战效能的优劣排序,验证了集对分析的可行性和有效性.     

航空武器装备生产与使用最佳费用评估

航空武器装备生产与使用是全寿命周期中最重要的组成部分,这部分的最优费用研究和分析对航空武器装备发展规划和国家国防预算决策具有很重要的意义.通过对局部和总体评估指标的分析,提出了航空武器装备生产阶段、使用阶段和保障阶段的费用评估准则,最后提出了能够获得生产和使用最佳费用的措施.     

A sequential dynamic pricing model and its applications

Consider a sequential dynamic pricing model where a seller sells a given stock to a random number of customers. Arriving one at a time, each customer will purchase one item if the product price is lower than her personal reservation price. The seller's objective is to post a potentially different price for each customer in order to maximize the expected total revenue. We formulate the seller's problem as a stochastic dynamic programming model, and develop an algorithm to compute the optimal policy. We then apply the results from this sequential dynamic pricing model to the case where customers arrive according to a continuous‐time point process. In particular, we derive tight bounds for the optimal expected revenue, and develop an asymptotically optimal heuristic policy. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

压入法中的接触问题

针对表面工程中测量膜基材料性能或结合强度的压入法,分析了其实验过程中所涉及的重要而又困难的接触问题。在引入适当的假设后,文中首次对二维、三维问题等一般情况,分别给出了控制接触的边界条件方程,并进一步使用半解析的数值方法——线法,针对二维情况使用,球形压头和楔形压头分别进行了数值模拟,并将计算结果和不考虑接触情况下的结果进行了比较结果表明:剪应力差别巨大,这说明接触问题的考虑对于正确地处理实际问题是非常必要的。     

多分支管路脉动有源控制误差传感器匹配设计

为解决多分支管路系统中驻波效应给管路脉动有源控制效果带来的影响,首先从理论上分析了随着分支管路之间切换管内驻波分布的变化规律,以及驻波变化给脉动有源控制效果带来的影响;然后,依据理论分析结果,设计了"单次级源+多误差传感器"的系统架构,并在控制算法中增加了误差传感器选择匹配的环节,以达到较好的脉动控制效果;最后,搭建了实验系统,进行了脉动有源控制的实验,并对比了系统改进前后脉动的控制效果。实验结果验证了该设计方法的有效性。     

基于粗糙集-神经网络编队协同空战决策系统

为了提高空战决策的实时性和准确度,将粗糙集理论和神经网络引入到编队协同空战战术决策研究中,提出了应用SOM网络-粗糙集-BP网络集成进行编队协同空战战术决策的方案:应用SOM网络离散化决策系统输入数据的连续属性值;利用粗糙集数据分析方法,从数据中提取出规则将输入映射到输出的子空间上;在这个子空间上用BP网络进行逼近.2:4编队空战实例仿真结果验证该方案的可行性,在数据充分的条件下,该方案可以推广应用于其它空战决策系统.