天然气水合物的开采方法及困境

我国对天然气水合物研究取得了一批重要成果,已步入世界先进水平。但目前天然气水合物的开发仍受到理论认知、开采方案、关键技术、安全环保、开采成本等方面的制约而难以实现规模化的商业开采。文章概述了目前关于可燃冰开采的几种方法及其优缺点,并对开采困境作出了阐述,对开发前景做了展望。     

模型驱动的大数据流水线框架PiFlow

复杂流程的大数据处理多依托于流水线系统，但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题，为提高大数据处理环境的构建与开发效率,优化处理流程，提出了一种模型驱动的大数据流水线框架PiFlow。首先，将大数据处理过程抽象为有向无环图；然后，开发一系列组件用于构建数据处理流水线，并设计了流水线任务执行机制。同时，为规范和简化流水线框架的描述，设计了基于模型驱动的大数据流水线描述语言——PiFlowDL，该语言以模块化、层次化的方式对大数据处理任务进行描述。PiFlow以所见即所得(WYSIWYG)的方式配置流水线，集成了状态监控、模板配置、组件集成等功能，与Apache NiFi相比有2~7倍的性能提升。     

OOA/OOD方法及其在MIS中的应用

首先对传统管理信息系统开发途径进行简单介绍,在此基础上分别从基本原理、具体研发思路以及开发方法的特点等方面对面向对象的系统开发方法进行阐述。     

软件迭代开发模型在软件人才培养中的应用研究

针对当前我国高校软件人才培养不能满足IT企业开发需求,高校教师科研项目开发质量不能满足服务社会需求等问题,分析了IT专业不同年级学生的能力水平与软件开发生命周期对人才的需求类型。通过组建项目团队和项目实训,提出了软件迭代开发方法与大学周期性人才更迭培养之间的关联模型。     

软件形式化开发方法的选择策略研究

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。     

发电集团燃料管理系统开发及应用浅析

针对我国发电集团所面临的现状,结合国内发电集团实际管理需求情况,在分析燃料管理系统的系统架构、平台选择的基础上,从发电集团燃料管理实际应用需求出发,对系统各个模块的技术架构、开发方法等进行了研究,并阐述了燃料管理系统在发电集团中的具体应用方法和实际效果.     

中国金属矿产资源保障程度与开发利用决策支持系统研究

本文系统介绍了中国金属矿产资源保障程度与开发利用决策支持系统 (CMDSS)的系统目标、用户需求、系统模型、系统结构及运用基于模型驱动的决策支持系统 (MDDSS)开发组件的组件化开发方法。     

煤质对Texaco气化装置运行的影响及其选择(上)

介绍了水煤浆加压气化适宜的煤种，对煤质的要求和煤质对Texaco气化装置运行的影响及其选择适应性。论述了Texaco煤气化工要求的最关键因素是煤灰的熔融性，腐蚀性，粘温特征和煤的成浆性，反应性等。提出了煤质评价及优化开发原料煤的方法。介绍了配煤，配焦在Texaco煤气化工艺中应用的新技术。分析了陕西渭化，山东鲁化的Texaco煤气化装置原料煤的开发及试验过程，总结了开发经验，为Texaco煤气化装置工业化应用原料的开发提供理论依据和选择方法。     

基于Web和智能Agent的网上考试系统的实现

构建了以学生认知水平判别智能Agent、试题组卷智能Agent和主观试题阅卷智能Agent为核心系统模型,解决了现有网上考试系统中存在的智能性问题,如:对学生认知水平的考量问题、考试题型单一性的问题、主观试题的阅卷质量问题等.本文以计算机文化基础课程为例,结合Agent技术的优越性,利用Web技术与智能A-gent技术相结合原理,同时采用面向Agent软件开发方法,提出了一个网络教学中基于Web和智能Agent的网上考试系统设计模型,在使网络教学信息系统的智能化得以完善的同时,在一定程度上满足了教师和学生等对网上考试系统的动态性和智能性需求.     

物联网环境下的情境感知服务开发方法

针对传统web服务开发方法如传统软件工程方法,或面向服务的体系结构(service-oriented architecture,SOA)不适应灵活多变、数据量巨大的物联网环境的问题,提出了一种基于情境感知的物联网服务开发方法。该方法通过情境感知服务模型对服务进行建模,通过情境和场景概念建立物联网数据与服务间的灵活驱动关系,通过情境事件减少系统所需处理的业务数据量。阐述了该方法进行服务开发的过程,介绍了相关的情境感知服务开发工具。最后通过服务开发实例,说明了本文提出的方法的可行性。