形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

基于最大匹配法的中文分词技术改进

在简介最大匹配法(MM)分词算法的基础上,指出了MM算法存在的不足,分析了MM改进分词算法的需求及过程设计,研究了MM改进分词算法以及过程处理原则,研究了改进算法过程中的歧义检测与切分、未登录词识别等问题,提出了消除策略和处理原则.     

动态权重的数字化刻面分类模式研究

构件的分类与描述是构件库管理系统的核心。文章在研究经典刻面分类模式的基础上,提出了一种基于动态权重的数字化刻面分类模式。该模式通过原子术语数字化、动态权重的引入以及构件间相关度的定义,将构件的检索过程转化为n维空间中向量与矩阵的乘法。改进后的分类模式有效提高了构件检索时的查准率与检索效率。     

应用广义拟余能原理研究流固耦合问题(英文)

水动力学与固体力学交叉的流固耦合理论是船舶与海洋工程结构响应分析与直接设计的重要工具.本文应用卷变积方法,按照广义力和广义位移之间的对应关系,将弹性动力学的基本方程卷乘上相应的虚量,然后积分,代数相加,并考虑到体积力和面积力均为伴生力,建立了非保守系统初值问题的两类变量的广义拟余能原理.应用广义拟余能原理研究流固耦合问题,分析了结构的动力响应,给出同时求解力类量和位移类量两类变量的计算方法.     

舰用主汽轮机汽缸动刚度分析研究

为准确计算主汽轮机低压缸整体结构的动刚度,选取最能反映模型整体位移的低压缸底部中心处为单位激振力的加载点,考虑模型在单位激振力作用下的动态响应,并与在前后轴承座处加载单位激振力时的动态响应进行对比分析。研究表明,在低压缸底部中心处加载激振力能够较好地反映整体模型的振动特性,能较精确地得到整体模型的动刚度,是可行且有效的。     

基于二叉树的某型船柴油机控制系统故障诊断专家系统

专家系统可以解决复杂系统的故障诊断,其中知识库和推理机是其核心内容。首先利用故障树表达某型舰柴油机控制系统各故障事件之间的逻辑关系,然后将故障树转化为二叉故障树,与专家系统相结合,完成专家系统知识库和推理机的设计。将该方法应用于某型船柴油机控制系统的故障诊断,结果表明,专家系统的知识库存储结构简单、易于维护,推理机的逻辑推理关系简单,易于实现。     

确定性联合补充库存问题的EXCEL规划求解法

提出求解确定性联合补充库存问题的新方法——EXCEL规划求解法：通过数学运算将非线性混合整数规划模型转化为整数线性规划模型,然后在EXCEL中通过“规划求解”工具求最优解．通过算例验证,结果表明该方法不但能有效解决此类问题,而且更简单、更直观、更实用．     

燃烧室外冷却热防护数值模拟研究

本文建立了夹套式外冷却燃气发生器燃烧室热防护的CFD数值模拟模型,并用该模型对影响热防护效果的各因素进行了研究。用有限容积法离散二维轴对称N-S方程,用标准k-ε模型模拟湍流,用可压缩耦合求解器求解控制方程。研究了燃烧室内壁材料热导率、燃烧室内壁壁厚以及冷却水流量对热防护效果的影响。结果表明材料热导率对热防护效果的影响较大,高热导率的材料能够明显降低燃烧室内壁壁温和温度梯度;当燃烧室内壁为高热导率材料时,壁厚和冷却水流量对热防护效果的影响相对较小。     

港口门机司机绩效考核系统设计

针对某港口企业下属门机队现行绩效考核和管理相对落后的状况提出了有效的改进策略。基于门机作业实时记录,采用Microsoft SQL2005数据库、VC＋＋6．0和水晶报表技术设计了一套司机作业绩效考核软件,实现了对现场采集数据的转换和存储,并结合作业票数据考核门机司机的作业量,自动生成每月的机械队员工工资报表,同时,港口企业通过司机绩效考核软件完成对生产数据的科学、有效的管理。     

盾构施工筹划原则及影响因素分析

以北京地铁4号线11合同段(灵境胡同-新街口)四站三区间的盾构施工筹划为例,重点分析影响盾构施工筹划的因素;以方案比较的方法,介绍了确定三区间总体筹划方案的详细过程.