动态语言实现MapReduce应用

并行计算技术的发展和网络带宽的提升,让云存储和云计算一步步走进实际业务应用之中。对于动态语言开发者,如果希望用动态语言借助Hadoop平台实现分治规约应用,并不是一件复杂的事情。Hadoop框架使用Java语言开发,但业务处理不要求必须使用Java语言,而可以使用Python或C++等其他语言进行编码。在Hadoop安装路径下的/src/     

团分划问题的固定参数算法研究

图论中的团分划问题属于NP-完全问题,难以在多项式时间内解决。为此,对团分划问题的固定参数算法进行研究,提出一个针对K4-free图的新归约法则,结合深度限制搜索树技术对K4-free图中的团分划固定参数可解类算法做出改进。实验结果表明,与原算法相比,在稀疏图的情况下改进算法效率提高了30%。     

基于语义与规则的有标复句层次体系研究

汉语复句层次关系分析是中文信息处理领域极具挑战性的课题之一。为解决关系词标识信息不充足所导致的复句层次关系识别准确率下降问题,挖掘了影响分句关联的形式化语义知识,在此基础上构建了小句关联体识别算法并将其应用于相应的复句层次判定规则之中,以辅助分析其层次关系;对于其余单、多重有标复句的层次识别,使用基于搭配规则的移进-归约算法;最后提出了一种语义与规则相结合的复句层次分析模型。实验结果表明,此方法在一定程度上提高了复句层次关系识别的准确率。     

面向对象技术在电网调度自动化系统前置机软件中的应用

本立介绍了电网调度自动化系统前置机软件的实现方法,并重点阐述了面向对象技术在软件开发中的实际应用。结合县级调度前置机软件的特点和需要,给出了串口类、通信规约类及网络通信类的具体定义。长期现场运行表明,本软件具有扩展性强、维护方便、移植性好的特点。     

定理证明辅助工具PVS剖析

ＰＶ查斯坦福机构开发的强大的规约。验证系统,它的适用领域广泛,在概要介绍ＰＶＳ的构成。功能后,着重分析了ＰＶＳ的规约语言,验证系统的特点,以及使得ＰＶＳ灵活,强大的设计决策和内在机制。     

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

电能量信息采集系统规约插件管理器的架构分析

首先说明了当前江苏省电力系统中各厂家终端产品所采用的通讯规约不完全相同现状。接着分析了规约插件的设计规范和需要满足的设计需求,最后设计出解决通讯规约兼容问题的规约插件管理器。该管理器实现对所有规约插件的管理．同时实现和市场中各种电力终端设备数据通讯。     

软件需求分析自动化支撑系统中的字典管理方法研究

软件需求分析及其自动化技术是软件自动化和需求工程的关键问题之一。而字典管理和技术的研究是其重要组成部分。本文以自行研制的软件 需求分析自动化支撑系统NDRASS为背景,讨论字典管理系统的设计方法和实现技术。     

基于XML的具有性能约束构件的组装技术

采用在软总线TAO(The ACE ORB)上利用XML文档中所包含的语义化的抽象数据类型对构件对象进行操作,从而实现语义化的性能约束构件组装。建构的XML模式描述了构件组装相关的构件接口、交互及配置规约,并通过接口显式地表达构件对环境的依赖,使得能在一个分布式的网络环境里,将多个处于不同节点、提供紧密相关服务的构件在运行时动态地组装成功能系统。在给出的示例中,实现了将三个分布在不同节点的性能约束构件通过它们接口的交互及配置,实现在运行时开放的松散式组装。最后给出了下一步研究工作的重点及方向。     

RTDS-EMS(OPEN3000)一体化实验仿真平台研究

为给EMS系统各种在线分析和控制应用软件的研发提供一种实验室测试的实时应用环境,提出并实现基于RTDS和EMS的系统级闭环控制实验仿真平台,该平台可以模拟多个厂站终端RTU,并建立其与EMS的并行连接.基于自主开发规约转换和实时数据存储控制模块,并经RTDS仿真器的GTNET数字通信接口,支持RTDS-EMS双向数据流,实现与实际电网一致的4遥功能.以蒙西电网系统为例进行测试,验证所开发平台的实用性.