浮式LNG气化和接收终端的发展及其对我国LNG进口的启示

对浮式LNG气化和接收终端的发展和已运营项目的现状做了介绍,并根据浮式LNG气化和接收终端的特点,提出我国可运用浮式终端技术,满足部分市场的短期和季节性需求的探讨意见。     

多媒体信息咨询系统的设计方法

引言 多媒体技术是国外八十年代兴起的一门新兴技术,它是综合了计算机声音处理技术,计算机图形处理技术,计算机图像处理技术,计算机通讯技术,计算机存贮技术,集成电路技术,甚至于美学、文学、广告学等多种人文学科而形成的一门     

测试用例描述语言研究

软件测试是软件开发生命周期的一项重要活动，也是保证软件质量和可靠性的重要手段。测试用例是软件测试的核心和关键。而迄今为止，在测试领域，还没有统一的测试用例描述语言。虽然目前大量的测试工具引入了测试用例描述技术，但也是五花八门、各自为政，这成为提高软件测试的效率和软件测试复用程度的瓶颈。在对国内外的测试用例描述语言进行了广泛调研后，作了简要的总结。提出了设计测试用例描述语言的准则，同时阐述了测试用例描述技术在嵌入式软件测试领域的应用情况。     

软件安全性技术在工程中的应用

载人航天工程等国家重大科技工程对软件安全性有着很高的要求.软件安全性技术在这些工程领域也在逐步得到推广应用.首先分析了软件安全性的概念,然后介绍了目前工程中主要应用的软件安全性技术,最后结合工程实际情况给出了一个软件关键等级的确定方法.     

贝叶斯网络技术在软件测试过程中的应用研究

为使软件测试管理者准确定义并把握软件测试过程中存在大量复杂的相互依赖、相互影响的关系,通过对有经验的测试人员在软件测试过程中的主观判断和从以往客观数据抽象出来的关系进行分析,用贝叶斯网络技术对其建模,并对模型中的关系量化,从而可以利用模型辅助测试过程进行管理,包括进行计划、决策和对软件产品的质量进行预测等.     

改进的实时操作系统内存分配性能测试模型

针对实时操作系统内存分配的性能,分析了一个现有的测试模型,提出了模型中存在的问题,并给出了改进方法.改进后的模型比原模型可以产生更多的内存碎片,这样可以更充分地反映内存碎片对内存分配性能的影响.改进后的模型也更符合真实环境下的内存分配规律,且考虑了内存分配失败的情况对内存分配整体性能的影响.最后通过实验结果表明了改进方法的有效性和正确性.     

LNG贸易计量与交接

LNG贸易按热值进行交接和结算,根据不同的贸易条款项下的交付条件及双方约定的适用国际或行业标准计算出的热值以及按照贸易合同中规定的计价公式算出的单价（现货有时也使用固定价格）为结算依据进行交接。本文将就货物计算的通常模式和相关货物文件进行简要介绍。     

嵌入式系统测试的发展

目前,我国的嵌入式系统测试技术处于起步时期的快速发展阶段,本土厂商自主研发的产品拥有良好的应用前景.本文围绕嵌入式系统测试的概念、应用领域和国内发展状况进行了综合阐述.     

嵌入式软件中断系统资源冲突检测技术研究

由于中断触发的随机性和不确定性,导致中断缺陷引发的问题时有发生,而且通常是不易追踪的严重软件故障,因此对中断系统软件的测试就提出了很高的要求,但是目前可用于中断系统资源冲突检测的工具缺乏.为有效检测由中断的资源冲突引发的软件问题,在分析了与中断相关的典型故障模式的基础上,提出了一种针对嵌入式软件中断系统的资源冲突进行检测的技术和方法.实验结果表明,该方法可有效检测出软件中与中断相关的资源冲突问题.     

工作面跳采对铁路移动变形影响特征分析

文中针对澄合矿业有限公司王村矿铁路煤柱采用工作面跳采的方式,成功采出铁路下压覆的煤炭资源,又减小了开采过程中铁路维修量的开采实践进行分析,总结了跳采工作面地表变形规律和铁路路基的移动变形影响特征,为类似条件下的煤炭开采提供借鉴和经验。