面向服务软件中异常处理的形式化建模方法

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。     

基于软件总线及多Agent的ERP架构的研究与设计

近些年来，随着ERP系统软件的广泛普及和深度应用，如何实现在异构环境下对不同软件生成的数据和提供的服务进行有效存取和集成的问题已变得日益突出．在通过对软件总线及多Agent技术研究的情况下，介绍了一种基于软件总线与多Agent的ERP系统架构的设计方案，为解决这种问题提供了一种可行的方法．     

宽带数据推播技术及其传送流的软件合成

电视节目传输数字化已成为趋势，数字视频广播使通过广播业务提供宽带数据服务可能。文中介绍了DVB标准中的各种数据广播规范，详尽地分析了应用于数据推播的数据传送带传输机制，并给出了合成MPEG-2传送流的软件流程图。数据推播将能够比因特网更好地为本地用户服务，也是解决上网费用过高、速度太慢、有线电视网络双向改造投资大这些问题的好方法。     

电算化会计系统审计软件关键技术的研究

研究了如何开发一个对电算化会计系统进行审计的软件系统,着重分析了该审计软件需要解决的几个关键技术问题,如异构的财务数据库转换、通用化的财务数据查询等,并提出了解决的思路和方法.通过获取相应的财务数据,审计软件能够为审计人员提供财务数据查询和数据分析的功能,辅助审计人员查找问题本质,高质高效地得出科学的审计建议。     

基于SaaS服务的中小企业业务协同系统

为了解决网络环境下的中小企业业务协同问题,构建了基于软件服务模式(SaaS)的中小企业业务协同服务支撑平台.从架构层次出发,研究了支持中小企业业务服务构造与交付的基础架构模型,并研究了基于Portal的服务集成方法和基于SaaS服务互操作实现企业协同业务的方法.实际应用中,服务提供商可以将中小企业所需的业务系统构造成S...     

支持动态服务组合的Web服务封装

针对如何将包含复杂操作的Web服务封装成Web服务社区和Web服务簇这一问题,提出一种基于Web服务日志,使用序列模式挖掘技术的Web服务封装方法.该方法对Web服务日志进行序列模式挖掘以获得业务功能服务序列,使用获得的序列将Web服务封装成业务功能服务,进而封装成服务社区和服务簇.使用该方法可以有效地将包含复杂操作的Web服务封装成支持动态服务组合的服务社区和服务簇.     

一种面向在轨服务卫星地面应用系统的软件开发方法

为解决现有在轨服务卫星地面应用系统瀑布式软件开发模型灵活性差,难以适应用户需求变化等不足,通过利用敏捷开发模型的思路,设计了一种迭代式在轨服务卫星地面应用系统软件开发方法,将用户纳入到软件开发过程中,在各个研制阶段持续与用户进行需求迭代,完成业务软件的功能升级。结果表明：该方法可提升业务软件功能与用户需求的匹配程度,并为后续在轨服务卫星地面应用系统的建设提供参考。     

基于Web services的信息服务系统设计与实现

Web services是一种新型的分布计算技术，是解决传统中间件技术问题的重要方法。信息服务是Web services软件框架的重要组成部分，它为分布环境中信息的有效处理奠定了重要的基础。本文从介绍Web services中信息服务系统的基本内容入手，并以此为基础设计了信息服务系统，论述了信息服务系统的功能、特点和执行过程。最后，对基于Web services的信息服务系统进行评价并指出了今后的研究方向。     

粮食管理、预警与应急预案生成系统

为了解决粮食管理过程中存在粮食安全风险预警不及时、不准确和难以找出相应解决方案的问题,构建了粮食管理、预警与应急预案生成系统。利用预警自动地生成应急预案,并与应急指挥系统相对接,提供管理、预警、应急＂一条龙＂式的技术支持。引入短信接口功能,用户可以使用无线终端操作系统。运行结果表明：本系统对已知的风险和潜在的风险处理更为及时,从而解决了以往同类系统功能相对单一的难题。     

基于关系依赖模型的微服务流程演化分析

微服务技术的快速发展为企业系统集成和网络化业务协同提供了技术支持，软件服务系统中的流程需要不断演化以适应业务变化的需求，而现有的研究多从单一维度评估服务流程演化的影响.提出包括流程层和服务层在内的服务系统双层依赖关系模型DoubleDM，从服务演化和流程演化两个方面分析服务系统演化问题.针对服务层演化，基于服务间的依赖关系分析服务变更的影响范围，给出了服务依赖关系表达、依赖关系演化影响范围及求解和相应算法；针对流程演化的不同类型，给出了流程依赖基础上的流程化简处理步骤和算法.最后给出了微服务系统中流程演化的实现逻辑，并以微服务系统处理供应链销售流程为例进行了分析.     

服务型政府的价值理性探析

21世纪公共行政的主流是道德的维度。服务型政府首先是以服务为核心价值的政府理念，是公民本位和公民意志在社会管理中居于决定性地位，旨在重塑公共行政价值观，解决当下行政人员价值观失范的问题。任何一项社会制度都是某种价值理念的体现，反过来讲，任何一种价值理念其客观存在必然体现在相应的制度上。新时期的服务型政府概念是我国学者首先提出，对其建设必须加以价值理性探究。     

海上人员安全综合保障系统

为提升海上人员安全保障力,采用层次化的结构设计理念,设计了具有多级防护格局的“四防”海上人员安全综合保障系统。阐述了系统的组成及其功能设计,解决了功耗处理、AIS天线设计的问题,建立了落水人员漂移预测模型。通过实际测试,海上人员安全装备性能良好,海上人员落水报警与搜救系统能够及时提供准确可靠的落水人员定位信息,有效地保障了海上人员的生命安全,为航海保障事业提供了技术支持。     

ASaaSI：SaaS服务集成架构

随着信息化水平的提高和网络技术的快速发展,SaaS（Softwareasa Service,软件作为服务）已经成为被广泛应用的软件服务提供方式,且对SaaS应用服务的要求也越来越高。本文提出通过SaaS服务集成解决上述问题。我们对文中提出的集成架构和方法进行了实现,并成功应用到国内著名的汽车制造厂,显著的提高了公司的管理效益和经济效益。     

如何提升电子政务运维主体服务能力

保证各个应用系统安全顺畅运行、为用户提供良好的服务、及时解决出现的问题和故障，这些是电子政务业务能否可靠运行的关键所在，也是电子政务运维服务的目标。     

计算机智能解析处理在科学研究和工程中的作用

本文综述了计算机符号运算或解处理与物理、力学模型和数学方法相结合的理论及方法，计算机符号运算已经成功地应用于理论物理和数学定理的机器证明，计算机智能解析方法，可以成为[研究和解决其它广泛的科学研究和工程中的问题的有效方法，介绍了计算机符号运算软件的功能。应用计算机智能解析处理方法研究流变学的各种问题，为显示计算机智能解析处理解决具体总理的过程及其效率，重点介绍了OlorodB流体定常环室内旋转流动研究。     

CAWS600自动气象站系统参数设置问题

介绍了地面测报业务软件和自动站实时监控软件的参数设置方法,以帮助有关人员快速、准确地设置好系统参数,确保系统的正常运行。     

基于SOA的有害生物治理管理系统研究

传统的有害生物治理管理(IPM)系统采用分布式组件架构思想,同时使用多种设计语言、开发环境、信息存储模式等,实现迥异单一的功能,不同功能的IPM系统无法实现整合重用,为此文章提出了一种采用面向服务(SOA)架构思想构建IPM系统的解决方案.通过实验,设计出基于SOA的IPM系统的实验架构,实现了IPM系统中各业务服务的构建、发布和管理,并部署了基于语义网的本体知识库解决SOA智能检索问题.实验结果表明,SOA架构下的IPM系统能够准确有效地管理已有的IPM业务服务,能够"随需应变"地实现IPM业务服务的整合重用.     

计算机网络中服务的作用

典型的办公室环境包含很多服务,主要有DNS、电子邮件、认证服务、联网以及打印等等。这些服务非常重要,一旦没有了这些服务会对你产生很大的影响。其它典型的服务还包括各种远程接入方法,网络证书服务、软件仓库、备份服务、连接因特网、DHCP、文件服务等等。提供一个服务绝不仅仅是简单的把硬件和软件累加在一起,它包括了服务的可靠性、服务的标准化、以及对服务的监控、维护、技术支持等。只有这几个方面符合要求的服务才是真正的服务。     

关于工控机对电机功率测量的软件处理方法

在工控机对电机功率测试时会遇到相住处理的问题，有两种解决的途径，或者用硬件方法，或者用软件方法，本文介绍了一种软件的处理方法，实验证明该方法是可行的。     

铸造工艺仿真设计前处理及过程处理应用技术

以应用ProCAST和MAGMAsoft 2款软件为例，针对铸造工艺仿真设计前处理和过程处理每个环节的主要内容与使用方法进行了较为详细地归纳、分析和总结。提出了处理过程的技术路线，并系统地介绍了每项应用内容的操作平台与使用步骤，从而为高效地应用铸造工艺仿真设计提供理论和技术支持。