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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

浅海锆钛砂矿采选一体船“泰鑫1”设计研究

主要介绍了我国首艘浅海锆钛砂矿采选一体船的设计背景、主要技术参数和功能,并进一步重点论述了本船总体设计、采矿系统、选矿系统、总纵强度计算和高压岸电系统的设计思路和成果,以供今后开发类似船型的行业同仁借鉴。     

Property Evolution of Sulphoaluminate Grouting Material under Pressure Circulation北大核心CSCD

Water-sealed underground oil tank projects are quite different from traditional underground projects since the water-sealing conditions are very strict and the difficulties caused by the geological specificity, structural specificity and construction specificity are key factors affecting the project. In light of the significant early initial setting time and rapid temperature increase of sulphoaluminate cement-based grouting material for a large domestic water-sealed underground oil tank with pressurized cyclic grouting, a laboratory grouting simulation is conducted. It is found that the properties of the sulphoaluminate cement-based grouting material are quite different under different pressure cycles, the hydration exothermic peak time gets shorter with an increase of circulation time, the compressive strength decreases with an increase of circulation time, and the longer the circulation time the more obvious the de-crease of compressive strength. © 2018, Editorial Office of "Modern Tunnelling Technology". All right reserved.