Gaussian Mixture Statistics Model Based on Automatic Inspection System Used in ITS

The ITS is becoming more and more important in the economic development of China. But most of the ITS used in Chinese major cities need the human to perform the supervision task. As a result, it consumes too much human resources, and also can not achieve the satisfied supervision performance. Thus, in this paper, we will propose an automatic inspection system based on the Gaussian mixture statistics model to alleviate this kind of problem. The proposed method will utilize a Gaussian Mixture model to model the background, and then use the EM algorithm to update the model＇s coefficients frame by frame to make the model adapt to the changing environment. After successful modeling, we can extract out the foreground blocks from background blocks, and finally trigger the automatic alarming system by calculating the number of foreground blocks. From the experiment results, our proposed method can achieve considerable good results.     

New conflict representation model in generalized power space

The study on alternative combination rules in Dempster-Shafer theory (DST) when evidences are in conflict has emerged again recently as an interesting topic, especially in data/information fusion applications. The earlier researches have mainly focused on investigating the alternative which would be appropriate for the conflicting situation, under the assumption that a conflict is identified. However, the current research shows that not only the combination rule but also the classical conflict coefficient in DST are not correct to determine the conflict degree between two pieces of evidences. Most existing methods of measuring conflict do not consider the open world situation, whose frame of discernment is incomplete. To solve this problem, a new conflict representation model to determine the conflict degree between evidences is proposed in the generalized power space, which contains two parameters: the conflict distance and the conflict coefficient of inconsistent evidences. This paper argues that only when the conflict measure value in the new representation model is high, it is safe to say the evidences are in conflict. Experiments illustrate the efficiency of the proposed conflict representation model.     

Line-of-sight rates extraction of roll-pitch seeker under anti-infrared decoy state

In this paper,the method of extracting guidance information such as the line-of-sight(LOS)rates under the anti-infrared decoy state for the roll-pitch seeker is researched.Coordinate systems which are used to describe the angles transform are defined.The LOS angles reconstruction model of the roll-pitch seeker in inertial space is established.A Kalman filter model for extracting LOS rates of the roll-pitch seeker is proposed.In this model,the target performs constant acceleration(CA)model maneuvers.The error model of LOS rates extraction under infrared decoy state is established.Several existing methods of extracting LOS rates under anti-infrared decoy state are listed in this paper.Different from the existing methods,a novel method that uses extrapolated values of target accelerations as filter measurements is proposed to solve the guidance information extraction problem under the anti-infrared decoy state.Numerical simulations are conducted to verify the effectiveness of the proposed method under different target maneuvering models such as the CA model,the CA extended model and the singer model.The simulation results show that the proposed method of extracting guidance information such as LOS rates for the rollpitch seeker under the anti-infrared decoy state is effective.     

基于MDA的两层HLA技术研究

HLA缺乏由仿真模型构建联邦成员的统一开发框架,所有联邦成员均是平等的,即体系结构是一种平面关系,联邦成员级的模型重用仍然是一种静态重用,无法实现模型动态加入不同FOM的联邦。提出了一种基于MDA的两层HLA框架FIA/FEI,首先将MDA引入HLA仿真建模,给出了MDA和HLA融合的途径。继而提出了突破了现有HLA的平面结构的资源管理联邦的思想,以支持对元模型的管理和基于元模型的仿真应用联邦的动态组合和FOM信息的动态配置,实现基于元模型的资源重用与共享,提高了HLA的模型资源动态重用与共享能力,应用实例验证了该框架的可行性。

Abstract：

HLA has not HLA uniformed modeling frame for constructing federates from general simulation models, and its all of federates are au pair, i.e. it is planar architecture essentially, so related models are difficult to enter the federations with different FOM dynamically. As a result, model reusing in federate level is static reusing. MDA based HLA with two levels frame （FIA/FEI） was proposed. At first, the schema of MDA integrated HLA was discussed, then the resource management federate was specified, which broke through the plane architecture of existing HLA and supports the management of meta-models, dynamic configuration of FOM information, and dynamic creation of simulation application federate based on meta-models. This two level frame realizes meta-model based resource reusing and sharing, improving the reusing ability and sharing ability of the model resources for HLA. The application practice verifies the feasibility of double level frame.     

Stability Analysis and Performance Evaluation of Delayed Bilateral Telerobotic Systems over a Lossy Communication Channel

The focus of this paper is to address a novel control technique for stability and transparency analysis of bilateral telerobotic systems in the presence of data loss and time delay in the communication channel. Different control strategies have been reported to compensate the effects of time delay in the communication channel;however, most of them result in poor performance under data loss. First, a model for data loss is proposed using a finite series representation of a set of periodic continuous pulses.To improve the performance and data reconstruction, a holder circuits is also introduced. The passivity of the overall system is provided via the wave variable technique based on the proposed model for the data loss. The stability analysis of the system is then derived using the Lyapunov theorem under the time delay and the data loss. Finally, experimental results are given to illustrate the capability of the proposed control technique.     

Wavelet inverse scale Space for image restoration

This paper proposes a model for image restoration by combining the wavelet shrinkage and inverse scale space (ISS) method. The ISS is applied to the wavelet representation to modify the retained wavelet coefficients, and the coefficients smaller than the threshold are set to zero. The curvature term of the ISS can remove the edge artifacts and preserve sharp edges. For the multiscale interpretation of the ISS and the multiscale property of the wavelet representation, small details are preserved. This paper illustrates that the wavelet ISS model can be deduced from the wavelet based on a total variation minimization problem. A stopping criterion is obtained from this minimization in the sense of the Bregman distance in the wavelet domain. Numerical examples show the improvement for the image denoising with the proposed method in the sense of the signal to noise ratio and with fewer details remained in the residue.     

Support vector classification algorithm based on variable parameter linear programming

To solve the problems of SVM in dealing with large sample size and asymmetric distributed samples, a support vector classification algorithm based on variable parameter linear programming is proposed. In the proposed algorithm, linear programming is employed to solve the optimization problem of classification to decrease the computation time and to reduce its complexity when compared with the original model. The adjusted punishment parameter greatly reduced the classification error resulting from asymmetric distributed samples and the detailed procedure of the proposed algorithm is given. An experiment is conducted to verify whether the proposed algorithm is suitable for asymmetric distributed samples.     

Bug localization based on syntactical and semantic information of source code

The existing software bug localization models treat the source file as natural language, which leads to the loss of syntactical and structure information of the source file. A bug localization model based on syntactical and semantic information of source code is proposed. Firstly, abstract syntax tree(AST) is divided based on node category to obtain statement sequence. The statement tree is encoded into vectors to capture lexical and syntactical knowledge at the statement level.Secondly, the sou...     

Improving the simulation efficiency in five-axis milling by using an advanced octree and an implicit formula of a generalized cutter

This paper presents an advanced octree （AO-rep） model and an implicit formula of a generalized cutter model for five-axis milling simulation. First, the main ideal of the AO-rep model is building a hierarchical structure and representing solid volumes. The AO-rep model utilizes an octree to cull unrelated voxels, and generates a small-scale voxel model in grey octants when a cutter intersects these octants. Using a simplified intersection computation between a cube and triangles in E3, an STL model can be converted into its AO-rep model at a preprocessing stage. Second, the authors formulate an implicit function of a generalized cutter in moving cutter frame, and determine the function in fixed workpiece frame using the theory of a rigid body motion. Finally, the authors make a simulation of machining an impeller. The result shows that the proposed approach has a high performance of time and space.     

基于DEVS原子模型的智能体离散仿真构建方法

智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真.针对智能体离散仿真中的常见问题,借助DEVS (discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等...     

体系对抗仿真模型形式规范研究

体系对抗仿真已经成为武器系统作战效能评估和武器装备论证的有效手段。然而,目前缺乏对于体系对抗仿真模型抽象方法的研究。在总结体系对抗仿真实体层次建模和体系层次建模基本要素的基础上,对DEVS进行扩展,给出了面向体系对抗仿真的模型形式规范描述,包括实体模型形式描述、事件类型形式描述、体系模型形式描述以及实验模型形式描述。体系对抗仿真模型形式规范是对DEVS向体系层次描述的有益扩充,可以有效地指导体系对抗仿真的建模工作。     

Research on system-of-systems combat simulation model formal specification and representation

1. INTRODUCTION Weapon equipments acquisition and demonstration has become more and more prominent in the informationalized war conditions while operational effectiveness evaluation is its core part. The compl- exity and uncertainty of weapon systems operational effectiveness evaluation make traditional analysis methods or expert evaluation methods less effective to solve problems. Simulation based operational effe- ctiveness evaluation is an efficient solution. The increased complexity o…     

基于语义元模型的装备体系结构建模方法

根据以数据为中心的体系结构建模思路,提出了一种装备体系结构语义模型--语义装备体系。首先在DoDAF元模型(DoDAF meta-model,DM2)基础上提出语义元模型,定义了装备体系结构的概念基础类及关联关系,给出了由类、关系、属性和实例构建四元组的本体描述框架;其次基于语义元模型构建了作战视图本体模型、系统视图本体模型、能力视图本体模型,明确了体系组成要素在各视图中的定义、关系和属性的形式化描述;最后以海战场预警探测系统为例进行了实例研究,验证了方法的可行性。     

一种基于离散事件系统规范的复杂产品行为模型描述方法

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化.在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件...     

BOM概念模型到DEVS过程的演化研究

在DEVS理论的基础上,对BOM结构进行分析,推导出BOM的DEVS过程,同时根据这一过程,对BOM状态机进行了扩展,使之在理论上具备可执行能力。通过扩展,BOM将能够成为一种支持概念模型到对象模型和仿真模型侠莲转换的工具．同时,作为BOM扩展的前提条件,文中讨论7BOMAssembly的完备性约菜奈件．最后,通过一个仿真实例,对扩展的BOM状态机进行了实验验证。研究成果将为实现基于BOM的的仿真描述语言提供理论根据。     

DEVS/HLA分布仿真系统的时间推进方法研究

离散事件系统规范(DEVS)和高层体系结构(HLA)关注于不同的系统层次,将它们结合起来可以有效实现模型重用并利于仿真系统的校核和测试.DEVS/HLA分布仿真环境是将两者集成在一起的实现形式,该环境的核心在于如何利用时间管理服务在HLA分布模式下实现DEVS协议.在对DEVS/HLA环境的体系结构进行详细分析的基础上,详细研究了协调者控制和基于映射机制的两种时间推进方法,着重针对映射式方法提出了一种改进的时间推进算法,该算法能够为成员提供尽可能大的前瞻量,从而改进了DEVS/HLA系统的时间推进效率,算法的实际性能通过实验进行了验证.     

基于领域知识的模型检验方法

提出了一种基于领域知识的模型检验方法.该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础.领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求.     

Applying XML for designing and interchanging information for multidimensional model

1.INTRODUCTION Duringtherecentyears,theenterpriseshavebeen askingforsupportintheprocessofextractinguseful,concise,handyinformationfordecision makingoutof thetonsofdatastoredintheirexpensiveandcomplex informationsystems.Themultidimensionalmodeling isoneofitskeytechniques[1].AsstatedinRef.[2],oncedevelopersdefinethemultidimensionalmodel structure,userscandefineasetofinitialrequire mentsasastartingpointforthesubsequentdata anal ysisphase.Fromtheseinitialrequirements,userscan applyasetofon li…