网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究.     

SOA架构下服务演化的方法研究*

在验证网构软件模型代数性质等价的理论基础上,为了进一步优化代数性质的性能,针对SOA（Service-Oriented Architecture）架构下BPEL（Business Process Execution Language）程序结构的自动演化方法进行了研究。通过网构软件分析BPEL结构的等价演化代数性质,提出一种BPEL等价自动演化算法。结合编译技术对BPEL结构进行分析,验证该算法的可靠性。运用形式化描述语言LOTOS（Language of Temporal Ordering Specification）,对演化前后的BPEL结构进行仿真验证与模型检测,验证该演化方法的可行性。     

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

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

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

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

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

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

一个适用于网构软件的信任度量及演化模型

网构软件的构建依赖于对开放协同环境中各种异构的、自治的软件服务实体间的有效协同.Internet的开放性与动态性,使得对于诚实的、具有可靠服务质量协同实体的选择难度较大,难以确保网构软件的可信性.软件实体间的信任关系对于保障网构软件的可信性具有重要的指导意义.软件实体间的信任关系通常随协作的进行而不断变化,但现有的信任模型缺乏对实体间信任关系的自动形成与更新的支持,从而无法刻画信任关系的动态性.针对该问题,提出了一个适用于网构软件的信任度量及演化模型.该模型不仅对信任关系度量过程和信任信息传递及合并过程进行了合理抽象,而且还提供了一种合理的方法,用于促进协同实体间信任关系的自动形成与更新.该模型有助于解决开放环境下网构软件的可信性问题.     

单触发Petri网的一个可达性判定方法

可达性判定问题是Petri网理论研究的一个重要课题.已有文献提出通过构造Petri网的可达树或可覆盖树来分析其可达性,但其中无界量ω的引入导致了无界Petri网运行过程中的信息丢失,使其可达性无法得到判定.众所周知,对于有界Petri网,通过构造其可迭性树或可达标识图来判定其可达性是容易的,但对于大量存在的无界Petri网,找到一个能判定其可达性的一般性算法却不太容易.本文给出一个Petri网子类--单触发Petri网,并给出它的一个可达性判定方法.     

基于PTCPN的网构软件建模与分析

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.     

一种软件演化过程模型的代数语义

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.     

一种基于信任关系的网构软件安全模型及其应用研究

作为一种新的软件架构概念和技术,网构软件成为当前软件工程研究领域的焦点之一。然而新的架构技术和运行环境也使得网构软件技术面临着一些新的问题,其中包括网构软件的信息安全性问题。为了实现对网构软件的信息安全保护,本文提出了一种基于信任关系的网构软件安全保护模型,它通过建立网构软件中各软件主体之间的信任关系,达到对网构软件中信息的安全保护目的。     

基于现场总线的Intranet体系研究

现场总线与Intranet技术的迅猛发展,将会改变自动控制系统的结构,而将现场总线作为底层接入到Intranet中,形成一种基于现场总线的Intranet体系,其未来将具有广泛的应用前景,文章即针对这一体系的系统结构、功能及实现途径作了初步分析和研究.     

基于物联网结构的智慧教室建构的研究

针对智慧教室智慧性要求,结合高职现有多媒体教室、理实一体化机房、智能录播室建设基础,提出了基于物联网结构的智慧教室建构体系,并从智慧教室建构原则、功能、基于物联网的架构体系等方面进行设计,给出了基于物联网三层结构的智慧教室架构,对感知层智慧场所设备、网络层通信服务和网络协议、应用层系统总控和对外继承等方面,进行明确说明和设计,对物联网智慧教室建设方案给出了几点建议,该建构体系更适合高职院校进行智慧教室建设。     

浅谈云计算在互联网中的应用

云计算是一个新兴的商业计算模型。它利用高速互联网的传输能力,将数据的处理过程从个人计算机或服务器移到互联网上的计算机集群中。云计算使得超级计算能力通过互联网自由流通成为了可能。企业与个人用户无需再投入昂贵的硬件购置成本,只需要通过互联网来购买或租赁计算力。该文阐述了云计算在互联网中的应用形式,并通过具体实例进行分析和描述。     

垂线偏差对空中对准航向误差的影响研究

针对性分析了垂线偏差变化对空中对准航向精度的影响.首先给出了常用空中对准降阶滤波模型,分析了垂线偏差变化影响空中对准航向误差的机理.然后通过实测离线数据测试验证了垂线偏差对空中对准航向误差的影响.最后通过误差协方差分析方法仿真了降阶滤波模型在真实世界中的滤波性能.离线测试及仿真结果表明:在给定条件下垂线偏差变化率对航向误差的影响相对其他未建模惯性测量组件误差是主要的,对航向对准误差影响较大,可达0.15°.在中高精度应用中为保证在不同空域内空中对准航向精度考虑采用高精度重力场模型对垂线偏差进行补偿是必要的.     

基于客户的互联网企业价值评估的实证研究

大部分互联网、电子商务企业在成立初期都没有盈利或盈利甚少,传统的企业价值评估方法在评估这种类型的企业价值时不能够奏效,正是在这一背景下,本文在客户生命周期价值理论的基础上,给出了一种评估企业价值的新方法-CVBC模型,它本质上是延伸了客户生命周期价值理论的思想,进而与传统的财务会计评估企业的价值方法相结合创造出新的评估方法,它能够评估上述类型企业的价值。本文详细介绍了CVBC模型的原理、建立过程及实际运用的效果。     

计算机网络技术发展对互联网新媒体的影响研究

伴随现代信息技术手段快速发展,我国迎来了互联网时代,利用网络搜寻查阅信息则逐步变成大众了解获取信息的重要渠道。计算机网络技术在影响大众文化生活的同时,也深刻影响了传媒行业。笔者以互联网媒体为视角,探讨了计算机网络技术发展对其产生的深远影响,对互联网媒体积极应对挑战与取得更大的进步,有积极的促进作用。     

物联网对计算机通信网络的影响分析

在全球经济和信息技术的不断发展,物联网作为信息技术时代一个符号,让当前这一时期的社会发展能够借助物联网这一载体,实现更快、更广的发展。文章以物联网与计算机通信网络为研究的两个主题构成,在分析物联网概念的基础上,就物联网对计算机通信网络的影响,展开了分析与研究。通过研究以期为物联网与计算机通信网络研究的深入发展提供参考。     

基于计算机的测试系统接地技术探讨

0　引　言随着微电子技术和计算机技术的发展 ,计算机被引入电子测量仪器 ,形成基于计算机的自动测试系统。计算机属弱电设备 ,因此 ,自动测试系统极易受干扰。其中 ,接地干扰轻则给系统测试数据带来误差 ,重则将出现“冲程序”现象 ,使整个测试系统不能正常工作。所以 ,基于计算机的测试系统设计时 ,需要采用良好的接地技术。1　接地概述以大地作为零电位的基准 ,是基于地球的电容量极大。但是大地不是良导体 ,它的导电率介于导体与绝缘体之间 ,称为半导体。当一个电子系统内两个不同电位点分别进行接地时 ,在接地回路中流过电流 ,形成共模…     

基于双轴转位机构的光纤陀螺标定方法研究

针对调制型捷联系统中光纤陀螺误差系数随时间变化的问题,提出一种利用双轴转位机构实现陀螺六位置静态标定方法.根据光纤陀螺仪误差模型,利用转位机构设计六位置标定路径,激励出陀螺仪标度因数、安装误差和零位,标定新方案避免了陀螺仪误差系数的耦合.分析了转位机构的转位误差对标定精度的影响,并利用调制型捷联系统导航实验对六位置标定方案进行原理性验证.结果表明,六位置标定方法所引起的系统定位精度优于传统标定方法.     

基于网格的数据库查询并行化研究

网格环境下各个节点固有的高度异构性和节点之间差异甚大的通信速率，给数据库的查询操作带来了新的问题。针对这种情况，本文提出一种对数据库查询树的分配算法，使查询并行化，缩短查询的响应时间。