基于模型的网构软件可达性检测方法研究

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...     

网构软件实体的功能描述及其发现

网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.     

基于层次着色Petri网的网构软件性能建模与仿真分析方法

网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响.     

基于贝叶斯网络的网构软件可信性评估模型

对于运行在开放、动态、难控的互联网环境的网构软件,其可信性评估是一个重要课题,但目前大量研究中可信性计算多是基于黑盒的,没有深入考虑系统结构,且评价指标过于单一.因此,提出了一个基于贝叶斯网络的网构软件可信性评估模型.该模型通过对网构软件进行结构分析,根据其结构模式,建立多层的网构软件可信性评估指标体系.基于贝叶斯网络采用自底向上逐层分析计算的方法,对网构软件的各组成实体及其系统整体的多方面可信性指标进行评估,形成统一的可信性结果,并使用客观数据对其进行修正.实验证明,该模型可以明确、客观地对网构软件的可信性进行评估,并能够对网构软件的设计、开发和部署提供帮助.     

浅析实现与测试网构软件的方法

本文阐述网构软件的构成及测试,并提出了具体的实现方式。概括了基于互联网服务的网构软件的实质,网构软件与传统软件间的差异,提出了在互联网上实现网构软件的趋势及实现网构软件的测试方法。     

一种满足可靠度期望的网构软件优化方法*

Internet环境下网构软件的开发是一个构件组装过程,传统的软件可靠性技术在其应用过程中面临着新的挑战。建立了网构软件的抽象模型和物理模型,介绍了可靠性的形式化定义及五种构件组装结构的可靠性度量方法,提出了一种满足可靠度期望的网构软件优化方法。该方法将复杂的网构软件结构进行串行化,以抽象构件、链路的可靠度期望阈值过滤无效分支,以网构软件的可靠性期望筛选较优路径,应用一种改进的蚁群优化算法求解,从而实现了网构软件抽象模型与物理模型的映射。实验仿真及分析表明,该方法适用于解决开放式环境下网构软件的可靠性优化问题,相对于传统方法,它具备较好的执行性能。     

基于监控的可信网构软件构造方法建模

网构软件是一种面向网络环境的新型软件形态,其构建依赖于对开放、动态和多变环境中各网络节点软件实体之间的有效协同,然而,目前的软件构造方法都是基于静态可信,即:都是研究软件制造过程中的可信度,一旦软件制作完成,在运行过程中,软件的可信度是否会改变就不在研究范围之内。针对网构软件的开放、动态和多变特性,设计了一种基于监控的可信网构软件构造模型,该模型随着网构软件的运行,随时根据网络节点状态等相关因素动态评估网构软件的可信度,并根据监测结果改进网构软件和监控参数,为网构软件提供动态可信支持,并逐步提高网构软件的可信度。     

网构软件的实现和测试方法的研究

对网构软件的形成和测试进行了理论的分析,并提出了具体的实现方法.综述了基于Internet平台上的新形态的软件,即网构软件的概念、特征及其生命力,网构软件形态和传统软件形态的区别,传统软件的测试前提、技术和步骤以及传统的测试方法.提出了网构软件在Internet平台上实现的雏形,及网构软件实现过程中的测试方法.     

一个决策驱动的网构软件动态演化模型

传统的建模方法比较难实现网构软件系统的动态演化和自适应性,基于决策驱动的网构软件动态建模方法研究已经成为一个热点。从决策抽象和问题分解角度,提出一个决策驱动的网构软件动态演化模型。首先使用松弛原子算法来分解问题与动态组合决策;然后采用累加累减算法建立网构软件动态演化模型;最后设计相关的网构软件系统来验证该模型。性能分析表明,相比传统模型,该模型有良好的动态演化效果。     

一种网构软件构件选择方法

针对网构软件构件选取问题的特点,将网构软件构件选取问题中的构件选择问题CSPI映射为MMKP,提出一种基于遗传算法的网构软件构件选择方法。该方法首先对构件库中的构件依据构件的功能刻面分类并检索,得到检索集;然后引入遗传算法,从检索集中选择多个合适的构件构建网构软件;接着,引入蚁群算法中的正反馈思想,对遗传算法中的变异操作进行改进;最后,实验结果表明:遗传算法能够选择合适的构件构建网构软件,并且改进的遗传算法能够选择更合适的构件构建网构软件。     

面向中间件的组态王远程数据采集驱动设计

为解决组态网络中存在的下位机兼容性差、数据共享难及客户端展示方式单一性的问题,提出了一种面向中间件的组态王数据采集模型。该模型依据组态软件具有强大的网络连接功能和二次可开发的特点,以通用组态王软件为例,通过深入分析组态软件原理,结合通信中间件与通信协议,定义组态王的设备信息、变量信息,绘制组态王的展示界面对当前组态网络存在的问题进行验证。验证结果表明,该模型相比较于传统的组态网络模型提高了组态网络数据采集模型的可扩展性及兼容性,可以应用于数据共享与客户端的多样展示,有助于组态类软件与物联网技术的融合。     

软件动态配置模型中的构件依赖描述

构件间的依赖关系是当前基于构件的分布式软件的研究热点之一.提出一种基于XML的描述构件间依赖的方法,并将该方法应用于一个动态配置分布式软件的模型中,成功地实现了构件的动态配置和部署,证明了该方法的可行性.     

Windows平台上过程监控软件的设计

本语文介绍了一个用于生产过程监控的系统组态包的开发,实现孤软件具有功能齐全的作图工具库,灵活的通讯联网能力与数据交换接口,它对石油、化工、电力、冶金等一类流程行业的生产过程具有通讯性。     

三层交换机软件系统的设计

随着网络技术的发展,三层交换机开始取代路由器,成为内部网完成三层转发的核心设备。介绍了千兆三层交换机SW1200软件系统的设计。首先介绍了SW1200的硬件结构和软件平台,接着采用网络层次模型分析系统的软硬件关系,给出软件系统框架的设计,最后论述框架内各个功能模块的设计,重点是实现三层交换的核心驱动和三层任务。     

混合网络结构和组态软件在智能小区网络开发中的应用

主要研究了LON总线与RS-485组成的分级混合控制网络结构以及组态软件在智能小区网络开发中的应用详细阐述了引入混合网络结构的优点;混合网络结构的设计方案;以及在混合网络结构的前提下,结合专用的组态软件进行上位机软件开发的优点、主要步骤。     

锅炉多级网络监测系统设计与实现

锅炉的安全使用和管理直接关系到人们的生命财产安全,为此提出了一种基于Internet和组态软件的多级网络锅炉实时监测系统。分别阐述了系统的软硬件组成、工作原理及其技术特点。以力控组态软件为开发平台,结合互联网技术、数据库技术和网络安全技术,构建了锅炉多级网络实时监测系统。该系统实现了锅炉现场、市级和省级诸多相关部门对大范围锅炉集群的运行状况、污染物排放数据的监测与管理。     

现代软件工程在现代软件开发中的合理应用

从一个角度分析了现代软件体系结构对现代软件工程方法的影响，指出由RDBMs提供数据服务的C/S结构的软件开发中，使用面向对象软件工程方法并无很大优势，使用传统软件工程方法是一种较好的选择；由RDBMs提供数据服务的三层结构的软件开发中，业务逻辑层组件的分析和设计使用面向对象软件工程方法是合适的，但是也不排斥传统软件工程方法，不宜盲目使用面向对象的软件工程方法、UML和RUP。     

船厂生产安全监控软件的开发

监控软件是借助Visual C＋＋6．0来开发完成,这个监控软件由以下功能组成：组态画面的绘制及脚本语言的使用、组态画面对象的动画连接、与生产现场采集系统的通信、网络通信、数据存储与数据库支持等。船厂的监控系统在这个软件的基础上开发完成,可以对船厂的烟雾以及有毒气体等进行监控。     

嵌入式系统底层驱动可视化配置映射规则挖掘

汽车电子嵌入式控制软件底层驱动的可视化配置屏蔽了底层实现细节,降低了配置难度,方便用户应用。但是,可视化配置的结构体嵌套使映射出的软件界面元素规则复杂化,且扩展芯片各模块结构体的未知性,使得映射规则难以普遍适用。为此,提出了一种可视化配置映射规则的挖掘方法,开发了针对芯片各模块结构体进行初始化配置的软件。通过对不同芯片底层驱动的实际配置,证实了该方法的有效性。     

MCGS结合VB语言实现造纸废水处理智能控制

研究了利用MCGS组态软件实现模糊神经网络控制算法的可行性和方法。在VB语言环境下编制了模糊神经网络控制算法,并通过MCGS提供的OLE接口实现组态软件对算法的调用,将基于组态软件的算法应用于废纸造纸废水处理控制系统。结果表明MCGS和控制算法的有机结合对废水处理过程可以实现有效的控制。