ESB事务模型的设计与实现

企业服务总线中,传统事务处理模型、扩展事务处理模型和Web服务事务处理模型都无法满足该环境下服务流程的事务处理需求.提出一种以流程进行事务注册、以事务性消息进行事务划分的面向流程的事务处理模型来解决企业服务总线环境下具有服务松耦合、运行时间长短不确定,服务类型多样以及服务流程的静态编制等特性的服务流程的事务需求.该事务处理模型已在企业服务总线产品中得到了成功应用.     

基于Windows NT局域网登录脚本的系统策略与实现

首先给出了基于Windows NT局域网登录脚本的系统策略，然后介绍了利用该策略进行局域网客户瑞应用软件的用户远程安装，最后登录脚本系统策略得到了有效的实现。     

基于互联网的桌面程序自动部署升级系统设计与实现

针对检测设备生产企业的设备类型多、地域分布广、配套的桌面程序部署困难的特点,设计了一个基于互联网的分布式桌面程序的部署与升级系统.系统分为服务器端和客户端两部分,服务器端提供对设备、程序、升级信息的管理,并提供对客户端的升级服务支持;客户端部署程序根据本地版本信息与服务器端的差异实时更新设备的检测程序.给出了系统的逻辑框架、服务端和客户端的具体功能、客户端实现的技术流程和主要应用的功能函数.     

基于Windows局域网计算机等级考试系统关键策略的实现

基于局域网安全性和实用性 ,讨论了计算机等级考试系统网络环境规划的网络拓扑结构的设计、用户和数据的安全性 ,以及用登录脚本进行客户软件远程安装等关键策略     

基于构件技术的应用框架元模型的研究

从应用框架构造和组成的角度,使用UML(unified modeling language,统一建模语言)符号体系,提出了框架元模型,给出了框架内部组成元素的语义,特别是对扩展点的表示和实现机制进行了详细的讨论.最后以电信综合营业系统框架为例,给出了框架元模型的一个实例,并给出了应用框架的复用方法.     

基于升级路径的软件升级测试模型及其启示

软件升级测试是软件测试的重要方面。在分析软件升级路径数目爆炸式增长以及测试成本不断攀升的基础上,提出了一种升级路径优选方法,并在此基础上阐述了一种升级测试模型。理论和实践证明该模型是有效的;基于这种测试模型给出了软件升级架构设计的一些启示。     

基于Windows 2000登录脚本关键策略的实现方法

提出了基于Windows 2000 Server局域网的登录脚本的关键策略，讨论了利用登录脚本进行局域网客户端应用软件的用户远程安装，实现了登录脚本关键策略的有效应用。     

一种新型DSP软件在线升级方法的研究与实现

提出并实现了一种新型DSP系统软件版本在线升级方法及其3种升级方式,详细论述了Flash的存储分配结构以及系统BOOT程序的设计.具有实现简单、更新方式灵活、程序可靠性高等优点,可广泛应用于数字控制芯片领域.     

基于Windows 20O0登录脚本关键策略的实现方法

提出了基于Windows 2000 Server局域网的登录脚本的关键策略，讨论了利用登录脚本进行局域网客户端应用软件的用户远程安装，实现了登录脚本关键策略的有效应用.     

智能电表无损升级功能的实现

针对智能电表生命周期中的缺点,介绍了一种可实现无损升级智能电表内部程序及其实现方法。通过外部通信接口的数据交互实现固件的升级更新功能,提高生产效率,降低整体成本。     

Research on dynamic update transaction for Java classes

Dynamic software updating is critical for many systems that must provide continuous service. In addition, the Java language is gaining increasing popularity in developing distributed systems. Most previous works on updating are concerned with safely updating one class every time. It has many limitations on updating classes, such as not allowing deleting methods invoked in other classes. In this paper, the update transaction is purposed to dynamically update the class set, and some of its properties are discussed, such as atomicity, consistency, isolation, and durability (ACID). Then the property of type-safety is proven formally. In order to update without changing the Java Virtual Machine (JVM) and the Java programming language, this paper proposes a new implementation method. The method makes use of the Java class loading mechanism and reflection mechanism. We also present how to design an updatable Java program and a Java updating program. At the end of the paper, an experiment is made for analysis.     

基于.NET构件模型的动态监管系统的设计与实现

在对微软的.NET构件模型进行了充分研究后,利用该模型以及现有的网络、硬件资源、信息资源及手持移动终端.在此基础上建立简洁高效、结构合理的三层结构应用系统,实现对企业的动态监管,使得对信息的管理更加及时、高效.该系统由业务外观层、业务逻辑层及数据访问层组成,具有很高的安全性、可靠性和实用性.     

主动服务中程序挖掘系统框架的设计与实现

针对Web服务存在的智能化和个性化等问题,引入领域本体和用户兴趣,设计并实现了程序挖掘系统框架。利用本体特征描述构件,提出了一种基于多知识库的构件检索方法和关联构件检索算法,开发了构件检索系统,并以E-Commerce领域内构件资源为实例,与关键词和刻面检索机制相比较,验证了该检索方法的有效性。实验结果表明,该方法对于大规模构件库具有较好的查全率和查准率。     

程序断言动态检测工具的设计与实现*

重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证明TDDPA能更方便有效地发现程序中所蕴涵的断言。     

基于状态转换的PLC程序模型构建方法

针对可编程逻辑控制器（PLC）程序在进行NuSMV模型检测时需要手工对程序进行建模,不仅浪费人力且容易出错的问题,提出一种基于状态转移的PLC程序模型自动化构建方法。该方法首先分析结构化文本（ST）语言特性并解析ST程序为抽象语法树;其次,在抽象语法树基础上,根据不同的文法结构进行控制流分析生成控制流图;然后,通过数据流分析得到程序依赖图;最后,根据程序依赖图生成NuSMV的输入模型。实验结果表明,所提方法实现了ST程序到NuSMV输入模型的自动化构建,并且构建的NuSMV输入模型既保留了ST程序的原有特性又符合NuSMV模型检测工具输入的规范,与传统手工模型构建方法相比,提高了模型生成的效率和准确率。     

基于ARM的TMS320C6455 DSP HPI的动态程序加载设计与实现

设计了ARM与DSP HPI(Host Port Interface主机接口)的通信接口,并通过该接口完成了ARM对DSP程序的动态加载。该方法减少了DSP对于外部非易失性存储器的需求,同时提高了DSP加载方式的灵活性,对于软件无线电波形组件的动态加载有重要的意义。     

基于合约的程序不变量动态检测模型研究

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型.主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法.通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构.     

利用巴氏系数判定模型更新的视觉跟踪算法

在视频跟踪时,传统的粒子滤波算法在目标区域出现遮挡、光照变化等情况下通常存在鲁棒性较差的问题,因此提出一种采用巴氏(Bhattacharyya)系数判断模型更新时机的鲁棒视觉跟踪算法。本算法以粒子滤波算法为框架,每隔一定帧数抽样检测目标变化,利用当前模型与候选模型之间的巴氏系数统计特征的相似性,从而判断更新时机。仅当目标逐渐姿态改变且无背景干扰时更新目标模型;在发生遮挡或光照改变较大时则不更新,保持当前模型继续跟踪。本算法判断是否出现影响目标匹配因素,从而适时采取模型更新策略。实验结果表明,本算法通过选择性更新模型,在未考虑尺度变化的情况下,能够更加有效抑制背景干扰和避免模型漂移,在诸多复杂场景中具有一定的鲁棒性。