摘要：论文针对防空反导过程中大型舰艇编队的防空阵位问题开展研究,分析了传统舰艇编队防空队形的配置方法和局限性。运用PREA环指挥控制机理,重新审视了防空反导的作战全过程,提出了基于PREA环的防空反导棋谱模型设计方法,利用六角格构设了防空反导棋谱,并阐述了棋谱防空的对抗过程,对于指导未来防空反导作战、装备设计有一定指导价值。

摘要：从业务模型中发现和识别业务层服务是面向服务架构系统设计的关键活动。为面向服务架构设计,提出了一种基于聚类分析的自动化服务提取方法。该方法将服务提取问题转换为多目标优化求解的问题,以C/U矩阵业务模型为基础,综合考虑服务设计中耦合度、内聚度、重用性、可维护性等原则,构建优化设计的目标函数,并提出模拟退火的求解方法。最后通过案例进行验证。

摘要：介绍了指挥控制(command and control,C2)组织和C2组织结构,讨论了C2组织结构的适应性设计问题。分析了组织结构适应性的代价计算,主要由两个方面决定:一个是结构重构代价;另一个是组织性能代价。通过扩展基于粒度计算的组织结构设计方法,提出了组织结构的适应性设计方法,设计过程包括三个阶段:任务集和平台集粒化阶段、粒内规划阶段和决策分层阶段。给出了基于遗传算法的平台集粒化方法。案例分析表明本文的方法具有较好的性能。

摘要：针对高速低分辨率相机和高分辨率相机构成的混合相机系统,提出基于空间约束的多分辨率相机标定方法.采用空间距离尺度作为统一各坐标系之间的度量单位,建立单相机内外参数模型和多相机相对外部参数模型.采用先单相机标定内部参数后多相机联合标定相对外部参数的方法完成混合相机的标定.首先使用2步法对每个相机进行内、外部参数标定,然后将这些参数作为初始值求解多相机标定模型.利用多个相机之间的空间约束,设计了相对外部参数的6步求解算法.实验表明该方法具有较高的稳定性和标定精度.

摘要：Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。

摘要：采用自底向上逐层递进的方法对C 2组织的测度指标加以归纳总结,建立了物理层,状态层和效能层3层测度指标框架,把C 2组织的效能测度抽象为组织代价测度和组织收益测度两个评价性的指标,并给出具体的计算方法。再结合探索性分析方法,实现了C 2组织效能测度在不确定使命环境下对关键性任务判断的应用,验证了C 2组织效能测度的有效性。

摘要：现有安全技术已经不足以对抗日趋严重的计算机系统及网络的安全问题,根据对可生存系统技术的需求,给出了目前生存技术的两类研究方法:可生存设计和入侵响应。以文件系统为例,阐述可生存设计的思想和方法;重点以可生存数据库为对象,描述入侵响应的3种具体实现方案:入侵恢复,隔离和围堵。另外,针对每一个方案,提出并描述了实现的模型。

摘要：在语义理解的基础上检索出满足用户需求的信息,是P2P走向更广泛应用的关键技术之一。提出了一种支持语义的混合P2P网络模型M-Chord,采用基于元数据规范模板(MST)的语义描述模型,结合Chord和语义覆盖网的技术特点,对基于MST的语义覆盖网动态生成方法进行了设计,提出了语义扩展路由的概念,并在上述研究的基础上提出了语义检索方法。通过实验分析表明,M-Chord具有较好的扩展性和语义检索性能。

摘要：数据是系统信息资源的主要表现形式,在信息系统的系统设计和系统分析过程中,数据流建模是一个不可缺少的核心环节。从分析数据资源的特点出发,重点介绍了一种基于Petri网原理的新型的数据流程建模方法——数据流Petri网(DSPN),给出了数据流Petri网模型的形式化定义和图形表示,并以求解裴波那契数列第n项数值为例,详细说明了数据流Petri网模型在数据流程建模上的表达能力和建模特点。

摘要：介绍了面向使命的组织和组织设计,讨论了组织的适应性设计问题和组织适应性的代价。在此基础上提出了基于粒度计算的组织适应性设计方法,设计过程包括3个阶段:任务集和平台集粒化阶段、粒内规划阶段和决策分层阶段;并给出了平台集粒化的具体方法。案例分析表明本文的方法具有较好的性能。