Research and design on a kind of CASE environment architectural style based on ToolBus

1.INTRODUCTION CASEenvironment,whichencompassesasetoftool suitesandtoolintegrationframeworks,isakindof complexsystemsoftware.It’sthemajorchallenges totheCASEenvironmenttosupporttheopenness distributionandteamworkbasedontheInternet SimilartosoftwarearchitectureofOS(operatingsys tem),softwarearchitectureofcurrentCASEenvi ronmentalsocanbedividedintothreetypes:mono lithic,layeredandToolBusstructures. Untilnow,mostCASEenvironmentshavebeen implementedinmonolithicorlayeredstructure…     

一对多交互式在线客户服务排队模型

以聊天工具为基础的在线客服大量取代了电话形式的传统客服.与电话客服不同,一个在线客服人员能同时为多个顾客提供交互式的服务,而传统的排队公式都是以一对一服务为基础推导的,无法直接用来计算在线客服的排队指标.分析了一对多交互模式下的排队特点,提出了该模式下的服务水平指标,构建了包含顾客层和消息层的双层排队模型,推导了系统平...     

小卫星柔性测试床设计与实现

分析了小卫星地面综合测试系统的特点和功能,通过对几种型号小卫星系统的研究,给出了柔性测试床的软硬件体系结构,阐述了柔性测试床星上和地面两部分的设计思想,主要介绍了通信参数的动态配置、TM数据信号的定义与解析的实现方法。小卫星柔性测试床已成功应用于三颗小卫星系统的研制,并取得了明显的应用效果。     

体系结构级功耗分析方法

功耗问题已经成为集成电路设计，尤其是嵌入式系统和电池供电设备开发中所要关注的重要问题。电路设计较低层次的功耗分析方法能提供比较好的准确性，但它们的功耗模型相对复杂，功耗分析的时间开销和内存开销都很大。本丈所讨论的体系结构级功耗分析方法就克服了这些缺点，通过对可配置的功能单元分别进行功耗建模，基于准确的性能模拟来达到功耗模拟的目的，它可以广泛应用于体系结构、指令集、编译器以至软件的低功耗优化中，文章最后借助于通用CPU的系统级功耗模拟工具Wattch，研究了指令及数据缓存在配置方方法的功耗行为，实验证明，体系结构级的功耗分析为低功耗系统设计提供了更有价值的指导。     

NS-2移动代理网络仿真功能扩展设计和实现

在分析网络仿真工具NS-2特点的基础上,提出了移动代理模型的建立以及数据包、节点和代理扩展技术,通过修改原有的数据结构和增加新的网络模块扩展NS-2的功能以实现移动代理网络的仿真,并据此设计实现了移动代理网络模拟软件。利用该软件,可以有效地分析移动代理系统的网络性能,为其设计和评估提供可靠的依据。     

基于Agent的建模与仿真设计模式及软件框架

提出了一种基于Agent的建模与仿真设计模式——ABMS设计模式，阐述了ABMS设计模式的主要内容。该模式的提出有利于在建模与仿真领域以及软件开发界之间建立关于ABMS的对话联系与交流。然后设计了一种包含仿真服务模型和Agent仿真模型的ABMS分布仿真软件框架，该框架将最大限度实现仿真重用，并将支持大规模的基于Agent的复杂系统的分布仿真，包括军事对抗以及空间作战系统的仿真。该框架部分借鉴了HLA的思想，其中的ServerAgent提供底层的通用仿真服务。     

基于混合体系结构的软件可靠性评估方法与应用

基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。     

Agent- oriented Software Engineering

1　IntroductionAn increasing number of computer systems are being viewed in terms of autonomousagents.Agents are being espoused as a new theoretical model of computation that moreclosely reflects current computing reality than Turing Machines[1 ] .Agents are beingadvocated as a next generation model for engineering complex and distributed systems[2 ] .Agents are also being used as an overarching framework for bringing together thecomponent AI subdisciplines that are necessary to design and b…     

基于X语言的起飞场景民机协同设计与仿真一体化方法

针对大型复杂产品,传统基于模型的系统工程(model-based system engineering, MBSE)方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复杂系统支持MBSE的新一代一体化建模仿真语言—X语言实现面向起飞场景的民机跨域子系统的一体化建模仿真。从民机起飞过程需求分析出发,建立了起飞场景的系统级模型和物理级模型,并在X语言的建模仿真软件—XLab进行统一的建模仿真验证,给出了基于X语言面向复杂产品协同设计与仿真一体化方法,为不同领域的设计人员实现复杂产品设计的协同与优化提供了全新的理论与方法参考。     

Application of mobile scanning agent in the network security

To enhance the security of network systems, puts forward a kind of software agent is put forward, which has the induction ability of network frameworks and the ability of behavior independence. It is mobile scanning agent. More attentions is paid to expound how to design and realize mobile scanning agent. Besides, it is also explained the programs of mobile scanning agent system. In the end, it expects mobile scanning agent.     

REPAST——一个多Agent仿真平台

介绍了开放源代码的多Agent仿真(MABS)平台REPAST及其应用现状。通过与另一个MABS平台SWARM的比较,发现REPAST更适合中国的计算机应用环境。分析了REPAST的软件结构以及离散事件调度机制,总结了REPAST仿真模型的结构。通过分析REPAST的源代码,修改了REPAST在软件国际化方面的一个缺陷,使之更好地支持中文、日文等多种语言。最后结合一个供应链仿真实例阐述了REPAST仿真程序的设计与实现方法。     

基于Agent的分布仿真环境原型设计与实现

基于Agent的分布仿真是基于Agent的建模与仿真(ABMS)研究的重要内容。在提出的基于Agent的分布仿真软件框架和通信系统的基础上,利用Java语言和面向对象的方法实现了一个基于Agent的分布仿真环境原型系统ADSimE。对该分布式仿真环境的主要实现细节进行了阐述,给出了全系统的主要Agent类的UML设计图,重点阐述了保守策略仿真Agent类和乐观策略仿真Agent类的设计及处理流程。最后以闭合排队网络为例,说明了怎样在该环境下进行基于Agent的分布仿真应用的开发。     

一种高效的微型SAR实时成像系统架构设计

旨在解决微型合成孔径雷达（miniature synthetic aperture radar, MiniSAR）实时成像处理系统级的关键问题。首先给出了MiniSAR的特点及因其产生的设计问题,分析了高分辨率指标下的系统需求,比较了传统方案的优缺点。为使系统性能最优化,设计了一个高效的体系架构,并给出了全面提升系统性能的一系列方法,减少处理器之间的数据交换、提高交换效率、提高交换速度,同时利用软硬结合的灵活方法解决模块化、可升级及可重配置的问题。最后通过与传统方法的比较验证其有效性,并给出成像结果和结论。     

结合Agent技术的飞行任务规划GDSS研究

如何更好地利用领域专家和计算机软系统相互协调实现飞行任务规划成为近年来对飞行任务规划研究的一个热点。在飞行任务规划系统功能、结构和特点分析的基础上,借鉴了群决策支持系统(GDSS)理论和人工智能领域的Agent技术,将飞行任务规划系统设计成以各个领域专家为核心,利用Agent定义的全新飞行任务规划群决策支持系统,并给出其描述模型。该设计以具有领域专家为核心,各个Agent相对独立,系统结构灵活等特点。     

继承式跨组织工作流设计在B2B电子商务模式中的应用

根据面向对象的编程思想，在Petri网进行工作流模型设计的基础上，提出了在B2B电子商务模式中的一种继承式跨组织工作流设计的建模方法，从而达到在B2B电子商务中加强商业伙伴有效合作的同时，又对自身流程的有效控制的效果，起到促进B2B电子商务发展的最终目的，文章中以实例做了分析论证。     

基于形式化方法的DIMA动态重构仿真与验证

针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分...     

考虑消费者渠道偏好的多期闭环供应链网络均衡

在多个规划期情形下,研究了由制造商层、零售商层、需求市场层和回收商层组成的闭环供应链网络均衡问题.所有制造商生产同质产品,利用双渠道分销产品以满足市场需求.两种交易渠道间存在竞争,消费者对电子商务和零售商两种购物渠道存在不同偏好.利用变分不等式和互补理论刻画了网络中各成员的最优经济行为,建立了供应链网络均衡模型,并运用修正投影收缩算法求解.结合算例探讨了单/双渠道、渠道间的竞争强度因子、消费者对电子商务渠道的偏好系数及制造商的强制回收量约束对供应链网络各成员及网络均衡的影响.结果表明:当消费者偏好大于一定程度时,双渠道对制造商有利,而对零售商不利;电子渠道竞争强度因子对网络成员的利润影响较大,制造商应加大网络等方面投资;当消费者对电子交易渠道的偏好增加时,制造商利润先减后增,制造商在开设电子商务时应把握合适的切入时机,且不要因暂时的利润降低而关闭电子营销方式;单/双渠道情形下,政府的强制性回收量约束均会对制造商带来不利影响,当回收量约束超过某一值时所有成员会动态调整其策略而改变供应链网络的均衡状态.通过研究,以期对闭环供应链相关领域的研究和企业决策有一定借鉴.     

从最小作用量原理探讨古建筑的和谐性

中国古建筑,特别是古庙宇、园林、民居等建筑的设计思想以及建造技术,都能尽量做到选址布局合理,人与自然和谐相融,同时考虑了按省工省料的思想进行运作,符合节能省时的最小作用量原理。古建筑在明清时期的设计思想与建造技术要比唐宋时期臻于完善,设计法规有了很大的进步。分析不同时期的建筑物的建造特点,唐宋时代至明清时代的 400 多年间,具有中国特色的斗拱使建筑结构与建造发生了很大改进。     

基于能力组件的作战仿真Agent模块化结构设计

针对目前作战仿真Agent软件实现模块化程度不高、复用性较差和开发效率较低的问题,提出了一种基于Agent能力组件的作战仿真Agent模块化结构设计方法。提出了BDI模型在作战仿真Agent中的实现方式及其能力封装与能力关系的基本概念;基于能力封装,设计了作战仿真Agent能力组件的结构、要素、功能类和执行算法;基于能力关系,设计了基于能力组件的作战仿真Agent通用执行模块的结构、数据模型、功能类和执行算法。以装甲分队平台级仿真Agent的实现为例,验证了方法的可行性与有效性。     

基于演化博弈的平台电商信用监管机制研究

在既有研究提出平台交易市场信用"监管困局"的基础上，设计平台电商信用监管机制，基于此，构建由"平台卖家-平台电商-政府"集成的演化博弈模型，剖析平台电商信用"监管困局"的内在形成机理并加以破解.研究发现：当平台卖家采取"自律"策略的初始概率一定时，平台电商与平台卖家两个群体策略选择的演化轨迹呈周期性波动.具体而言，当平台电商提高保证金扣除比例时，平台卖家选择"自律"策略的概率则会显著提高.而当累计扣分制致使平台卖家的损失增加时，不但没有遏制平台卖家的违规行为，反而使得平台卖家采取"自律"策略的概率降低，是为平台交易市场信用"监管困局"的症结所在.因此，为了弥补平台电商对平台卖家内部监管的不足，引入政府对平台电商的外部监管，有限理性的平台电商与政府通过长期的反复博弈，最终博弈系统演化轨迹呈逐渐收敛且稳定的趋势.由此可见，政府加强监管力度并增加对平台电商的监管奖励时，平台电商采取"积极监管"策略的概率也逐渐增加，进而平台卖家采取"自律"策略的概率也将增加，是为破解平台交易市场信用"监管困局"的关键所在.最后，本文采用数值分析的方法，模拟"平台卖家-平台电商-政府"博弈的演化过程，进一步剖析该现象的动态形成过程，揭示各主体决策的一般规律，为破解平台交易市场中的信用"监管困局"提供建议.