电子数据交换平台的模式建设及案例分析

电子数据交换(EDI)平台的搭建是电子商务运作的核心技术,而平台模式的建设直接关系到Intranet的组建格局、建设成本和运行效率,因此历来被外贸厂商与IT行业看作是必须联手解决的技术难题。文章从技术层角度展开EDI平台的模式建设,结合案例分析,具体地、细节性地论述平台设计的原理和方法。     

凉爽机织面料的开发方法

本文首先介绍了凉爽机织面料吸湿快干的原理,然后从从纤维性能、纱线结构、织物结构和组织等方面探讨了凉爽机织面料的开发方法.     

一种高效的高质量图形用户界面开发方法

在分析、比较当前使用的几种图形用户界面开发方法的基础上，指出在ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ操作环境下，利用ＢｏｒｌａｎｄＣ＋＋个及其提供的界面开发工具和Ｗｉｎｄｏｗｓ界面函数、资源、消息共同开发用户界面是一种高效的高质量图形用户界面开发方法，并且所开发的用户界面具有一致、友好、标准的特点．为说明这一开发方法的有效性，以实例的形式给出了采用该方法开发的某一实用ＣＡＰＰ系统用户界面．     

测试和分析

对软件质量来说，你如何才能知道你的软件是正确的、健壮的，特别是对于生命关键系统?用形式化的方法来验证软件的正确性是困难的，而且很难应用于大型项目，需要很大的工作量。那么我们如何获得对软件质量的信心呢?答案是通过测试和分析。这也是软件生命周期中的重要组成部分。事实上，测试和分析也是很昂贵的，甚至有可能占到软件总成本的65％。     

3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。     

有效的多协议攻击自动化检测系统

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件,自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法,自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明,ADMA系统能够实现多协议攻击自动化检测,并且检测中发现了新的多协议攻击。     

面向语义的制造服务构建技术

为了支持网络化协同制造过程中制造服务的匹配、选择和组合,同时提高服务的查全率和查准率,提出了基于语义的制造服务形成方法.首先,从制造服务的基本信息、服务类别、功能、资源构成、关联制造任务、访问、状态及服务质量等方面对制造服务进行了形式化定义和案例说明.其次,利用XML文档对标准OWL-S(Web服务本体语言)进行了扩展以传达服务的动态信息.然后,采用扩展后的OWL-S对制造服务模型进行了描述实现.最后,给出了协同制造平台原型与运行流程,通过某纺织机械制造企业的生产实例进行了原型系统的验证和应用.     

基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.     

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.