测试自动机的测试驱动器设计与实现技术

介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户／服务”测试驱动模型及其实现技术。     

基于风险的检验技术在液硫储罐上的研究与应用

普光天然气净化厂拥有全国最大的液硫储罐群,但在设备管理维护中,液硫储罐的开罐检验周期长、费用高、受限空间作业风险大,国内缺乏适用的检验检测标准。以净化厂10台5 000 m³液硫储罐为研究对象,采用风险评估和在线检验检测相结合的方法,探索基于风险的检验技术在液硫储罐上的研究与应用,分析储罐的损伤模式和失效机理,结合在线检验结果,计算储罐失效风险等级,有针对性地提出检验策略,形成一套针对液硫储罐风险检验作业的指导规则,对国内液硫储罐检验和评估具有借鉴意义。     

剧院舞台台口等效吸声系数研究

混响时间是剧院建筑声学设计的核心指标.在进行混响时间仿真计算时,由于耦合空间的缘故,通常会将观众厅独立出来,并在舞台台口处设置一个等效吸声面,以反映舞台空间和观众厅的相互作用.然而,对于不同体型、不同吸声条件的观众厅与舞台空间,舞台台口应有不同的等效吸声参数.通过对观众厅与舞台空间混响混响时间的分别计算,推导出一组舞台...     

利用C语言实现对数据库操作的方法

本文通过对数据库Ｆｏｘｂａｓｅ、Ｆｏｘｐｒｏ数据库文件结构的分析，提出了用Ｃ语言实现对数据库操作的方法，并提供了对数据库进行各种操作的Ｃ语言源程序。     

基于熵权- TOPSIS 的 EPC 项目联合体协同度评价研究

为有效推进 EPC 项目联合体资源与要素间的整体协同发展,提高 EPC 项目联合体内部协同度。 运用扎根理论从组织协同、信息协同、目标协同、过程协同、资源协同 5 个方面构建 EPC 项目联合体协同度评价指标体系; 采用熵权法确定评价指标权重并从 EPC 项目设计阶段、采购阶段、施工阶段、试车阶段构建 TOPSIS 协同度评价模型; 并以实际案例验证协同度评价模型的有效性,以期为 EPC 项目联合体协同度评价提供参考。     

博弈视角下 EPC 项目联合体风险分担研究

为了对 EPC 项目联合体风险进行合理分担,促进 EPC 项目的顺利实施,在文献分析及专家访谈的基础上确立了 EPC项目联合体风险因素指标体系。采用完全信息静态博弈理论对风险因素进行初次分担,针对共担风险构建风险分担修正指标体系,采用 G1 法及 CRITIC 法对 EPC 项目联合体风险分担修正指标进行组合赋权。并以自然风险为例构建改进 Shapely 模型,确定 EPC 项目联合体合理的风险分担比例,进一步验证模型的有效性。     

增产丙烯、多产异构化烷烃的清洁汽油生产技术(MIP-CGP)在催化裂化装置上的应用

九江分公司于2004年7月采用MIP-CGP技术对重油催化裂化装置进行改造,并投产成功。通过对装置运行情况的分析,证实了MIP-CGP工艺技术在催化裂化装置上应用的可行性,达到了增产丙烯和生产清洁汽油的目的。     

复杂地质条件下桩基施工事故分析与处理

通过工程实例,对沿海地区复杂地质条件下进行桩基施工较易出现的质量事故进行原因分析,提出其预防和现场处理措施,供同行参考。     

文献价值的实现与图书情报工作

本文主要从文献社会化流通和文献咨询服务等方面,阐述了文献的价值并没有因为现代信息技术的出现而减弱甚至消失,它仍具有一定的生命力和传承性,图书馆员要增强思维观念,科学地认识和挖掘文献的价值。     

基于UML规格说明的增量式测试用例生成

测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来，利用矩阵存储扩展自动机的状态和状态转换信息，用伪等价类生成树递增地生成测试用例，对类测试的测试用例自动生成作了有益的探讨