检索结果-内蒙古大学图书馆

Military Task programming Based on Finite State Machine (FSM) Decision-making Model

Military Task Programming Based on Finite State Machine (FSM...

Asia Simulation conference 2008/the 7th international conference on System Simulation and Scientific Computing（ICSC‘2008）

作者： Shidong Ma the Aviation Key Laboratory for Advanced Simulation Technology,Beijing University of Aeronautics and Astronautics,Beijing,China Guanghong Gong School of Automation science and Electrical engineering,Beijing University of Aeronautics and Astronautics,Beijing,China Liang Han School of Automation science and Electrical engineering,Beijing University of Aeronautics and Astronautics,Beijing,China Xiao Song the Aviation Key Laboratory for Advanced Simulation Technology,Beijing University of Aeronautics and Astronautics,Beijing,China

Military task programming is an important foundation in military warfare simulations. Presently, scenarios in joint military warfare are built not so good to meet the requirement of aggregate-level warfare simulations and the requirement of intelligent decision in real time simulations. A method based on FSM model of aggregate-level military warfare decision-making and vehicle-level action decision-making is proposed in this paper. the programming process of joint military warfare with decision-making functions can be realized through the programming of these two levels, and the dynamic decision-making and execution of mission can be completed successfully.

关键词： FSM Military Task programming Based on Finite State Machine Decision-making Model

来源：评论

学校读者我要写书评

暂无评论

Parallel collision detection algorithm based on mixed BVH and OpenMP

Parallel collision detection algorithm based on mixed BVH an...

引用

international conference on System Simulation and Scientific Computing, ICSC

作者： Wei Zhao Rui-pu Tan Wen-hui Li College of Computer Science & Technology Jilin University Changchun China School of Computer Science & Engineering Changchun University of Technology China

Concerning the requirements of real-time and accurate collision detection in interactive system, we propose a shared memory parallel collision detection algorithm. First we incorporate the merits of both AABB bounding box and bounding spheres to construct a hybrid bounding representation of arbitrary non-convex polyhedra (S-AABB) for attaining speed, and then use OpenMP parallel programming model to traversal the built hybrid bounding volume hierarchy, so further accelerate the collision detection algorithm. At last, experiments results have shown that our algorithm is advantageous over other current typical collision detection algorithms such as I-COLLIDE [1] regarding efficiency and accuracy, so can meet the real-time and accurate requirements in complex interactive virtual environment.

关键词： Detection algorithms Testing Virtual environment Computer science Virtual reality Space technology Concurrent computing Computational geometry Robot control Object detection

来源：评论

学校读者我要写书评

暂无评论

Research on the architecture of modeling theory in SS&T

Research on the architecture of modeling theory in SS&T

引用

international conference on System Simulation and Scientific Computing, ICSC

作者： Haohua Xu Jingye Wang PLA Academy of armored forces engineering Beijing China

Based on analyzing of the common activity and content of modeling, this paper concluded the common essence and rules of modeling in every domain, and established the architecture of modeling theory in Simulation science & Technology (SS&T), which is formed by general theory of model, model construction theory and modeling methodology. Moreover, the concept of model, the common characteristics and theories about common questions of model were set forth; all existing model construct theories were summed-up and their function and character was differentiated; according to modeling process, most existing modeling methods were regularized with their function and their relations between each other. All these made modeling theory more clearly.

关键词： Mathematical model Computational modeling Analytical models Programmable logic arrays Yarn Mathematics Mathematical programming Cognition Information analysis Formal specifications

来源：评论

学校读者我要写书评

暂无评论

the research of tool integration technology for complex products’ collaborative simulation platform

The research of tool integration technology for complex prod...

引用

international conference on System Simulation and Scientific Computing, ICSC

作者： Ting Yu Lin Bo Hu Li Xu Dong Chai Bao Cun Hou School of Automatic Science and Electrical Engineering BeiHang University Beijing China Beijing Simulation Center Second Academy of Aerospace Science and Industry Company Beijing China

the collaborative simulation for complex products needs seamless integration of multi-discipline tool software on collaborative simulation platform. However, many kinds of tool software do not provide application programming interface (API), which is vital for collaborative simulation. Under the technical framework of complex productspsila collaborative simulation platform, the paper proposes three methods to realize tool software packaging when the tool software does not provide API. they are the method of calling solver directly, the method of tool interface module and that of secondary integration. the method of calling solver directly realizes interaction between tool software and platform by seeking a way to call solver from background directly; the method of tool interface module adds user defined module to the model of tool software as a way for the interaction between tool software and the outside. the two methods are all dedicated to constructing a user defined uniform tool engine interface for the platform to call. the method of secondary integration realizes integration indirectly by using tool software which has been integrated to the platform. the paper also presents the process of realization of the three methods by giving an example of integrating MSC EASY5 tool software. By doing so, we prove their correctness and analyze their pros and cons.

关键词： Collaborative tools Collaborative software Software tools Computer aided engineering Aerospace industry Collaboration Mathematical model Computational modeling Aerospace simulation Aerospace engineering

来源：评论

学校读者我要写书评

暂无评论

Parallel Collision Detection Algorithm Based on Mixed BVH and OpenMP

Parallel Collision Detection Algorithm Based on Mixed BVH an...

引用

Asia Simulation conference 2008/the 7th international conference on System Simulation and Scientific Computing（ICSC‘2008）

作者： Wei ZhaoCollege of Computer science & Technology,Jilin University,Changchun,Postcode 130012,China Rui-pu Tan School of Computer science & engineering,Changchun University of Technology,Postcode 130012,China Wen-hui Li College of Computer science & Technology,Jilin University,Changchun,Postcode 130012,China

关键词： Parallel Collision Detection Algorithm Based on Mixed BVH and OpenMP BVH

来源：评论

学校读者我要写书评

暂无评论

the Research of Tool Integration Technology for Complex Products’ Collaborative Simulation Platform

The Research of Tool Integration Technology for Complex Prod...

引用

Asia Simulation conference 2008/the 7th international conference on System Simulation and Scientific Computing（ICSC‘2008）

作者： Ting Yu Lin School of Automatic science and Electrical engineering,BeiHang University,Beijing 100083 China Bo Hu Li School of Automatic science and Electrical engineering,BeiHang University,Beijing 100083 China Xu Dong Chai,Beijing Simulation Center,Second Academy of Aerospace science & Industry Co.,Beijing 100854 China Bao Cun Hou,Beijing Simulation Center,Second Academy of Aerospace science & Industry Co.,Beijing 100854 China

the collaborative simulation for complex products needs seamless integration of multi-discipline tool software on collaborative simulation platform. However, many kinds of tool software do not provide Application programming Interface (API), which is vital for collaborative simulation. Under the technical framework of complex products' collaborative simulation platform, the paper proposes three methods to realize tool software packaging when the tool software does not provide API. they are the method of calling solver directly, the method of tool interface module and that of secondary integration. the method of calling solver directly realizes interaction between tool software and platform by seeking a way to call solver from background directly;the method of tool interface module adds user defined module to the model of tool software as a way for the interaction between tool software and the outside. the two methods are all dedicated to constructing a user defined uniform tool engine interface for the platform to call. the method of secondary integration realizes integration indirectly by using tool software which has been integrated to the platform. the paper also presents the process of realization of the three methods by giving an example of integrating MSC EASY5 tool software. By doing so, we prove their correctness and analyze their pros and cons.

关键词： simulation the Research of Tool Integration Technology for Complex Products Collaborative Simulation Platform

来源：评论

学校读者我要写书评

暂无评论

Generic component: A generic programming approach

Generic component: A generic programming approach

引用

CIT 2007: 7th IEEE international conference on Computer and Information Technology

作者： Yewang, Chen Zhixiong, Jiang Wenyun, Zhao Xin, Peng Department of Computer Science and Engineering Fudan University ShangHai 200433

ISBN: (纸本)0769529836

Generic programming (GP) is the evolvement of OO, and more general than OO. In a certain degree, it is requirement-oriented programming. this paper, firstly, addresses some insufficiencies of OO;secondly illustrates an overview of GP briefly, then compare it with OO;finally proposes Generic Component approach which helps in implementing safe, efficient, highly customizable, and reusable design elements in GP. We do not declare that this approach can solve all problems of OO, but it gifts developers the ability of assembling what they want in the way of Design-Oriented, as well as many other advantages. © 2007 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

e-petri net model for programming integrated network of wireless sensor networks and grids

e-petri net model for programming integrated network of wire...

引用

CIT 2007: 7th IEEE international conference on Computer and Information Technology

作者： Adimallikarjuna Reddy, V. Kumar, A. V. U. Phani Janakiram, D. Distributed and Object Systems Lab. Department of Computer Science and Engineering Indian Institute of Technology Madras Chennai 600036 India

ISBN: (纸本)0769529836

Applications like weather forecasting and prediction, health-care monitoring, habitat monitoring, tsunami-warning systems, demand integration of Wireless Sensor Networks (WSNs) with grids. the issues that need to be addressed are, providing suitable programming platform, seamless networking, data management, service/resource discovery etc. Objective of this work is to provide a programming model for this integrated network. We propose a programming model built using e-Petri Net, an extension to the classical Petri Net. We define the meta model for the e-Petri Net using Generic Modeling Environment (GME) tool. this meta-model gives the flexibility in understanding and analysing the application before hand. © 2007 IEEE.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Speeding up pairwise sequence alignments: A scoring scheme reweighting based approach

Speeding up pairwise sequence alignments: A scoring scheme r...

引用

7th IEEE international conference on Bioinformatics and Bioengineering, BIBE

作者： Gao, Yong Henderson, Michael Department of Computer Science Irving K. Barber School of Arts and Sciences University of British Columbia Okanagan Kelowna BC V1V 1V7 Canada

ISBN: (纸本)1424415098

A general technique based on scoring scheme reweighting is proposed that can be used to speed up dynamic programming algorithms for a variety of pairwise sequence alignment problems. For the standard sequence alignment problem with an arbitrary gap penalty function, we show that a reweighted scoring scheme can be obtained by an efficient pre-processing step that computes a set of upper bounds on the score of the optimal alignment between pairs of suffixes of the sequences. A series of experiments on synthetic sequences and biological sequences indicate that our algorithm offers significant and robust speedup over the standard cubic-time dynamic programming algorithm. For sequences of length up to 2000 used in our experiments, the speedup factor ranges from 4 to more than 50. With a strong upper bound, a sub-cubic behavior in running time is also observed for all the tested situations. ©2007 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Describing data flow analysis techniques with Kleene algebra

引用

science OF COMPUTER programming 2007年第2期65卷 173-194页

作者： Fernandes, therrezinha Desharnais, Jules Univ Laval Dept Informat & Genie Logiciel Quebec City PQ G1K 7P4 Canada

Static program analysis consists of compile-time techniques for determining properties of programs without actually running them. Using Kleene algebra, we formalize four instances of a general class of static intraprocedural data flow analyses known as 'gen/kill' analyses. this formalization exhibits the dualities between the four analyses in a clear and concise manner. We provide two equivalent sets of equations characterizing the four analyses for two different representations of programs, one in which the statements label the nodes of a control flow graph and one in which the statements label the transitions. We formally describe how the data flow equations for the two representations are related. We also prove the soundness of the KA based approach with respect to the standard approach. (c) 2006 Elsevier B.V. All rights reserved.

关键词： static intraprocedural data flow analysis 'gen/kill' analyses Kleene algebra with tests matrices over a Kleene algebra data flow graphs labelled transition systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：