Model‐based code generation for HLA federates

This paper addresses the problem of automated code generation for a High Level Architecture compliant federate application given its behavior model. The behavior model is a part of the architectural model of a federation that the federate can participate in. The federate behavior model is based on Live Sequence Charts, adopted as the behavioral specification formalism in the Federation Architecture Metamodel (FAMM). FAMM serves as a formal language for describing federation architectures. An objective is to help the testing of federation architecture by means of its prototype implementation early in the development lifecycle. A further objective is to help developers construct complete federate applications that are well modularized. The approach to achieve these objectives is aspect‐oriented in that the generated code, which handles the federate's interactions with a federation execution, serves as the base code, where the computation logic is to be weaved as an aspect. Copyright © 2009 John Wiley & Sons, Ltd.     

拓扑结构对动态增长的复杂网络的影响

研究在网络增长和外部目标的双重作用下,拓扑结构对复杂网络的演化产生的影响。在经典的布尔网络模型上应用进化算法进行大量仿真计算,考察在2种不同的增长规则作用下,网络向预先设定的目标函数演化时表现出的演化性能。仿真结果显示,Scale-Free网络表现出明显优于随机网络的的演化能力,而且不同的度分布对网络的演化性能有重要的影响。     

面向对象的安全风险评估系统设计与开发

为提高通信保密系统安全风险评估的智能化水平,在论述通信保密系统安全风险评估的特点及其评估方法的基础上,设计并开发了面向对象的安全风险评估系统.针对系统需求分析与系统工具选择开展研究,给出了安全风险评估系统的总体结构,从系统工作流程和原理、系统概念模型框架、评估方法模型库的实现和管理、工程设计要求及系统实现步骤等5个方面进行了系统详细设计.     

OWA rough set model for forecasting the revenues growth rate of the electronic industry

Business operation performance is related to corporation profitability and directly affects the choices of investment in the stock market. This paper proposes a hybrid method, which combines the ordered weighted averaging (OWA) operator and rough set theory after an attribute selection procedure to deal with multi-attribute forecasting problems with respect to revenue growth rate of the electronic industry. In the attribute selection step, four most-important attributes within 12 attributes collected from related literature are determined via five attribute selection methods as the input of the following procedure of the proposed method. The OWA operator can adjust the weight of an attribute based on the situation of a decision-maker and aggregate different attribute values into a single aggregated value of each instance, and then the single aggregated values are utilized to generate classification rules by rough set for forecasting operation performance.To verify the proposed method, this research collects the financial data of 629 electronic firms for public companies listed in the TSE (Taiwan Stock Exchange) and OTC (Over-the-Counter) market in 2004 and 2005 to forecast the revenue growth rate. The results show that the proposed method outperforms the listing methods.     

环境干扰下分形生长的定方位控制

针对复杂无序的实际分形生长系统,研究了环境干扰下分形生长的定方位控制模型．不同于以往对分形生长的定方位的研究仅限于对它的实验方面的讨论,本文利用范数理论得到了干扰项为广义函数时控制生长粒子凝聚到不同方位的定量方法．利用所提出的控制方法解决了干扰项为更一般函数形式的定方向生长问题,并以非线性项为二次多项式、正弦函数为例,运用所得的定量关系对该系统不同作用区域的生长粒子进行了控制,仿真结果表明了该控制方法的有效性．     

一体化承载网络体系架构研究

传统信息网络因面向业务支撑设计而造成体系架构的刚性,无法满足业务发展多样性和网络异构的需求,因此无法适应下一代网络融合、可扩展等特点.面向服务提供的技术体系可以解决这一问题.文中以网络承载服务为核心,以可重构路由交换平台为关键支撑技术,设计出一种面向服务提供的网络体系架构--一体化承载网络(UCN)模型,以及基于UCN模型设计出的逻辑承载网的资源均衡构建算法(RBCA)并进行了网络仿真及结果分析,为下一代网络的研究和设计提供了新的思路.     

Optimal testing resource allocation during module testing considering cost, testing effort and reliability

Software reliability is one of the most important quality attributes of commercial software. During software testing, software reliability growth models (SRGMs) are commonly used to describe the phenomenon of failure occurrence and/or fault removal which consequently enhancements software reliability. Large software systems are developed by integrating a number of relatively small and independent modules, which are tested independently during module testing phase. The amount of testing resource available is limited which is desired to be consumed judiciously so as to optimize the testing process. In this paper we formulate a resource allocation problem of minimizing the cost of software testing under available amount of testing resource, given a reliability constraint. We use a flexible SRGM considering testing effort which, depending upon the values of parameters, can describe either exponential or S-shaped failure pattern of software modules. A systematic and sequential Algorithm is proposed to solve the optimization problem formulated. Numerical examples are given to illustrate the formulation and solution procedures. Sensitivity analysis is performed to examine the behavior of some parameters of SRGM with most significant influence.     

一种目标驱动的移动业务流程的分析方法

随着移动互联网的发展,如何改进现有的业务流程来更好地满足用户的需求成为企业普遍面临的问题。然而,对于企业中哪些业务需要移动化以及如何移动化,目前仍然缺乏相应的分析方法。针对该问题,提出一种基于目标的移动业务流程分析方法。该方法认为企业的各个业务流程都是为了满足一定的用户需求,因此提出建立企业业务流程模型与用户需求模型之间的对应关系,然后通过识别移动环境下用户需求的变化来改进企业的业务流程。以一个医院的业务流程为案例说明了所提方法的可行性。