摘要：针对一类由众多组件系统集结而成的系统之系统(system of systems,SoS),以美国国防部体系结构框架(DoDAF)为标准,提出了一种基于面向对象思想的SoS体系结构DoDAF作战视图产品五阶段迭代设计方法。利用UML静态和动态建模机制的特点,采用自顶向下、自底向上相结合的方式实现SoS体系结构作战视图产品的面向对象描述。以一个战术导弹防御(tactical missile defense,TMD)系统为例,详细说明SoS体系结构DoDAF作战视图产品的面向对象设计过程,并总结了该方法的两大优越特性:横向通用性与纵向可复用性,以及由此给SoS体系结构带来的"柔性"优势。这是传统设计方法所不能实现的。

摘要：为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.

摘要：针对越野运输机器人路径规划问题,提出了一种扩散强制蚁群算法,该算法首先通过设置信息素极值限制信息素增长防止算法停滞,其次通过信息素扩散策略加大较近蚂蚁之间的交流协作从而提高算法的收敛速度和精度,再采用强制刺激策略来刺激陷入停滞的算法使其脱离局部最优继续搜寻最优解,提高算法搜索范围和粒子多样性,最后用扩散强制蚁群算法、传统蚁群算法、遗传算法、萤火虫算法对四个不同的野外环境求解,结果证明该算法能显著提高运输机器人寻找路径的速度提升工作效率,对该问题有良好的适应性。

摘要：能力驱动的企业级架构标准(DoDAF)在支撑企业面向服务架构设计过程中缺少有效开发方法,而利用企业架构规范(TO-GAF)的架构开发方法(ADM)开发企业架构时缺少丰富而成熟的交付物支撑,以企业应用架构为结合点,将TOGAF对该阶段输入输出的定义映射至DoDAF的视图中得到描述框架,通过DoDAF元数据和视图的元模型及形式化描述分析视图模型间约束关系,从而提出了一种良好定义的基于多视角可操作的企业应用架构设计框架和视图模型开发方法。

摘要：坐落在红普列斯尼亚沿岸的国际商务中心“莫斯科城”的首期建筑于不久前已经开业剪彩。这个商务中心的占地面积为250万m^2包括写字楼、酒店、购物、娱乐等综合设施。其首期是一幢17层的名为“塔城”的建筑。这一莫斯科市政府最雄心勃勃的高端项目，经历数年之后，终于成为现实。