一种面向动态软件体系结构的在线演化方法

为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.

基于Bigraph理论的动态演化软件相关特性分析与验证方法

软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用PetriNet、演算及进程代数不同,Bigraph融合演算和移动Ambient演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出分析和验证完整性、一致性和相容性相关规则,并通过具体实例验证利用Bigraph对动态演化建模的有效性.

一种多元台风时间序列的相似性度量方法

台风相似性度量方法的研究对防灾减灾、辅助决策等具有重要意义,台风相似性的研究大多集中在台风路径的相似性度量上。首先,梳理影响台风相似性度量的多个要素,提出了基于多元时间序列的台风数据描述方法;其次,提出了台风时间序列完整性、一致性评估与修复方法;最后,针对台风时间序列的不等长问题,设计了一种基于主成分分析和动态时间弯曲距离的相似性度量方法。通过实验验证,该方法能够实现台风相似性的有效度量。

模态分析中输电铁塔模型的进一步简化

以缩减输电铁塔模型动力自由度为目的,基于静力凝聚技术,在已有研究的基础上,考虑将现有模型的主要动力自由度中的竖向分量凝聚掉,使动力自由度再减缩1/3。将凝聚掉竖向动力自由度的有限元模型称为简化模型,利用MATLAB语言编程,对简化前后输电铁塔结构模型分别进行了模态分析。研究结果表明:简化前后输电铁塔结构模型的整体模态具有良好的一致性,凝聚掉主要动力自由度中的竖向分量,对整体模态分析结果的影响很小。今后在对输电铁塔模型进行模态分析时,可以忽略竖向动力自由度的影响。

CORBA分布式应用程序动态配置

对于软件系统特别是需要连续运行的分布式软件系统 ,提供运行期软件结构的动态修改功能以进行系统的维护、升级等系统管理就显得尤为重要。这种动态的改变要保证对系统的正常运行不造成大的影响 ,还要维护参与改变部分的一致性状态。本文提出一种新的算法来实现CORBA分布式应用程序的动态配置功能。

一种四维同化方法的试验研究

文章利用一个有限区模式对一种资料四维同化过程作了试验研究，以考察四维资料同化对模式的预报过程的作用。试验结果表明：四维资料同化可以为模式提供一组四维动力协调的积分初值。对由于资料或模式原因造成的积分开始时的高频振荡有很好的抑制作用，使模式的积分稳定性增强。

一种异地库房管理中远程数据维护方法的研究与应用

介绍了在异地库房管理中,采用C/S结构和远程数据库访问技术等实现的对远程数据维护的一种方法。通过该方法开发的远程数据传输系统,实现了远程客户端对服务器的通信,完成了远程数据在后台服务器的集中管理和服务器对远程数据的格式、类型等的控制,同时保证了远程客户端对服务器操作的并发性,客户端数据和服务器数据的完整性、安全性以及远程客户端数据与后台服务器数据的一致性,有效地维护了远程数据。该系统已成功运用于库房管理之中。

反舰弹道导弹一体化协同制导与控制

为提高我国火箭军对海上慢速移动目标的精确打击能力和反舰弹道导弹的突防能力,本文针对"领弹—从弹"构型的多反舰弹道导弹一体化协同制导与控制(ICGC)问题,首先通过对数学模型的变换,将一体化协同制导与控制问题提炼为一类高阶带扰动非线性多智能体系统的协同一致性算法的设计问题。其次,针对"领弹—从弹"构型的多反舰弹道导弹系统,在动态面控制(DSC)的框架下,基于一致性理论和结合扩张状态观测器(ESO)理论,设计分布式一体化协同制导与控制律。之后,对闭环系统的稳定性和收敛特性进行了严格的理论证明与分析,并取得收敛条件。一体化协同制导与控制律保证从弹在位置和速度上协同一致地趋近于期望空间构型,并使得从弹有和领弹近乎相同的攻击角度。最后,通过数字仿真对一体化协同制导控制律进行仿真校验。

ERP实施过程中数据准备的应用研究

在ERP建设过程中一项非常重要的工作就是数据的准备,数据包括了业务的静态数据和动态数据,以及老的应用系统的数据迁移等。本文指出了数据准备工作的基本是应确定数据的规范和标准,以保障数据的及时性、准确性和完整性,对不同类型的数据准备进行了分析,同时详细分析了项目实施全过程的数据准备工作,数据的导入工作具有一定的通用性,将对今后新的系统建设具有积极的指导作用。

科技赋能新商科会计人才动态培养机制研究

新商科会计人才培养是推动新时代社会经济发展的内在要求。在科技和产业迅速发展的数字时代,科技赋能理念也贯穿会计人才培养机制,高校可通过科技赋能设计一体化课程体系、建立一体化教材体系、创建一体化实践创新体系、构建一体化素质教育体系,加快落实“一贯制”会计人才培养机制,同时,借助科学技术建立会计人才动态选拔、监管、淘汰机制及导师动态调整机制,为实现新商科会计人才培养、教育机制改革起到推进作用。