集成CCS和B语言的形式化方法

本文尝试集成通信系统演算（CCS）和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。     

税务遗留系统数据集成的解决方案

介绍了3个税务遗留系统存在的问题和集成的目标,比较分析了3种企业应用集成模型:表示集成、数据集成和功能集成,3种数据集成方法:联邦数据库系统、基于中间件模型和数据仓库,结合税务遗留系统的特点,提出了一种利用触发器和轮询机制实现数据集成的方法,并设计了应用该方法的实现方案,解决了税务遗留系统数据集成问题.     

基于度量的软件过程改进研究

在软件开发的整个过程中,需要对各个阶段进行评估、分析、改进,它们是一个不断循环的过程.即软件过程改进贯穿于软件开发的始终.如何对软件过程进行度量、度量元是什么,已经成为当前国内外研究的热点.对当前国内许多机构开展的质量管理体系认证模型进行研究,提出了一种基于CMMI的6σ软件度量框架,在此基础上分析了软件过程改进和评估中的关键问题.通过对软件过程的改进,从而提高软件产品质量和提升软件开发效率.     

一种轻量级J2EE解决方案及其实现

介绍了一种成熟、功能强大的对象/关系映射框架Oracle TopLink,研究了J2EE应用框架Spring与TopLink集成的基本原理,提出了一种新的基于Spring的轻量级J2EE解决方案,即采用开源框架Spring、Struts和商业框架TopLink的组合来开发企业级J2EE应用,并结合一个开发实例对应用开发过程进行了分析和总结.开发实践表明,这种解决方案的确能让开发工作变得更为简单有效.     

基于TCP封装的IPSec和NAT协同方案

对IPSec和NAT协同问题进行了研究,并对现有的解决方法进行了分析和比较.在UDP封装方案基础之上,给出了一种基于TCP的安全封装方案.该方案基于TCP协议,采用数字证书和轨迹跟踪技术等解决了IPSec与NAT的兼容性问题.最后,给出了Linux 2.6下的一体化设计与实现过程.     

元搜索引擎中的成员选择和结果合并策略研究

近年来,信息检索成为研究热点,搜索引擎成为用户经常使用的服务之一.但是独立搜索引擎的覆盖面狭窄,检索效率低,为了得到比较全面和准确的结果,需要反复调用多个搜索引擎.而元搜索引擎就是一种调用其它独立搜索引擎的引擎,它可以更好的满足用户查询的需求.简述了元搜索引擎的工作原理,分析比较了元搜索引擎的一些技术,并针对元搜索引擎的成员选择和结果合并方面提出了一些实现策略.     

数据挖掘中SAS和.NET系统的集成

SAS是一套大型集成应用软件系统,具有完备的数据存取、数据管理.数据分析和数据展现功能.由于SAS是从大型机上的系统发展而来,针对专业用户进行设计,因此其操作至今仍以编程为主,人机对话界面不太友好,在编程操作时需要用户对所使用的统计方法有较清楚的了解,非统计专业人员掌握起来比较困难.为解决这些问题,提出了一种利用SAS的IOM编程接口,通过.NET来设置界面,读取SAS的数据源,并调用SAS的命令来分析数据,获取SAS分析结果的编程模型.     

基于粗糙集的零件合并专家知识获取方法

以装拆时间、装拆难度、材料成本、制造成本、再设计和后处理成本,以及产品质量等的变化程度作为零件是否合并的条件属性,零件是否合并作为决策属性,应用粗糙集理论分析设计过程中的专家经验和知识.在经典粗集理论的基础上,以属性重要度作为启发式信息来计算属性核和属性约简,并以此挖掘隐含在经验数据中的专家知识,形成零件是否可以合并的决策规则.最后,以小型塑封机再优化设计为例,验证了该方法的实用性和有效性.     

流程工业综合自动化系统的仿真技术及其应用

以企业资源规划/制造执行系统/过程控制系统三层结构为基础,对仿真技术在石化生产企业的应用现状进行了综述,指出了流程工业三层集成仿真系统在现代企业生产运营中的重要性,并分析了该集成仿真技术面临的关键问题,包括多分辨率建模技术、分布式集成仿真技术标准和集成仿真平台,以及可视化仿真技术等,最后探讨了仿真技术未来的发展方向.     

基于角色映射的跨平台授权研究

为解决网络化制造平台联邦集成中的跨平台授权问题,提出了一种基于角色映射的跨平台授权方式.独立自治的管理域之间通过角色映射,建立起合同性质的授权关系,并讨论了集成系统信任模型和跨平台访问控制过程.针对基于角色的访问控制模型,定义了包括四种映射关系和三种授权关系的形式化授权模型.为保证跨管理域授权的安全性和角色映射的合理性,提出了基于合同约束、静态约束和动态约束的风险控制机制.最后给出了集成系统授权服务器的体系结构及应用示例.