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

Simulation Winter Conference

作者： Hatch Byrkett Computer Science and System Analysis Department Miami University Oxford OH USA

Simulation projects provide a useful way to tie together the expected learning outcomes in a simulation class. Designing a good project is a challenging task and simulation instructors are always on the lookout for interesting ideas. We provide simulation instructors with two interesting simulation applications, a supply chain project and a Web site design project. The supply chain problem is based on a real company problem and the Web site design problem is based on a textbook problem. Each application is described in detail and links are provided so that other simulation instructors can access handouts and possible solutions. The authors also provide some insights about simulation project design.

关键词： Computational modeling Supply chains Web design Education Discrete event simulation Data analysis computer science Analytical models Joining processes Control systems

来源：评论

学校读者我要写书评

暂无评论

Creation and analysis of a scenario based universal sensory driver layer with real-time fault tolerant properties

Creation and analysis of a scenario based universal sensory ...

引用

IEEE International Workshop on Intelligent Robots and systems (IROS)

作者： T.A. Choi M.C. Nechyba E.M. Schwartz A.A. Arroyo Department of Computer Science and System Analysis Miami University Oxford OH USA Department of Electrical and Computer Engineering University of Florida Gainesville FL USA

Sensor fusion and sensor integration is becoming an increasingly popular approach in dealing with complex sensor systems in autonomous mobile robots (AMR). However, the procedure for the sensor integration and sensor fusion is a non-trivial process. This paper presents a scenario based approach to sensor fusion based on the autonomous evolution of sensory and actuator driver layers through environmental constraints (AEDEC) [T.A Choi, 2002]. Using the scenario based approach, the programmer's work of creating a sensory driver will be eliminated by having the AMR learn the driver on its own. In the process of creating each scenario, sensor fusion is automatically implemented. If sensors change or even if the sensor configuration changes, the driver can be updated by having the AMR relearn the driver over again. Due to the tabular structure of the scenario based sensory drivers, malfunctioning sensors can not only be detected, but the driver can automatically adapt to the malfunctioning sensor in real-time. Furthermore, different AMR's trained using AEDEC architecture will have similar interpretations of its environment. This is guaranteed by having the AMR learn the driver in the same highly structured training environment. The behavioral coding is simplified by eliminating any reference to hardware dependent parameters. Finally, the level of abstraction and the consistency of the highly structured environment allows for coding portability.

关键词： Fault tolerance Sensor phenomena and characterization Programming profession Sensor fusion Real time systems Fault tolerant systems Sensor systems computer science Mobile robots Actuators

来源：评论

学校读者我要写书评

暂无评论

Fault detection of non-linear systems based on multi-form quasi-armax modeling and its application to the ship benchmark 13

Fault detection of non-linear systems based on multi-form qu...

引用

13th IFAC Symposium on system Identification, SYSID 2003

作者： Kumamaru, K. Inoue, K. Hosoyamada, Y. Söerström, T. Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Kawazu 680-4 Fukuoka Iizuka820-8502 Japan Department of Automatic Control and System Analysis Institute of Technology Uppsala University P.O.Box 27 Uppsala Sweden

This paper is concerned with an application study of model-based fault detection method to a ship propulsion system. When modeling the object system, Quasi-ARMAX model with multi-model form is used. In this model, the system non-linearity is incorporated into model parameters by using non-linear non-parametric models (NNMs). Kullback discrimination Information (KDI) is introduced as fault detection index to evaluate the distortion in identified model, which is caused by a fault. The effectiveness of the method is verified through simulation studies on the ship propulsion system. © 2003 International Federation of Automatic Control.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Optimizing binary feature vector similarity measure using genetic algorithm and handwritten character recognition

Optimizing binary feature vector similarity measure using ge...

引用

International Conference on Document analysis and Recognition

作者： Sung-Hyuk Cha C.C. Tappert S.N. Srihari Department of Computer Science School of Computer Science and Information System Pace University Pleasantville NY USA Center of Excellence for Document Analysis and Recognition (CEDAR) State University of New York University at Buffalo Buffalo NY USA

ISBN: (纸本)0769519601

Classifying an unknown input is a fundamental problem in pattern recognition. A common method is to define a distance metric between patterns and find the most similar pattern in the reference set. When patterns are in binary feature vector form, there have been two approaches to improve the performance over the equal-weighted Hamming distance metric. One is to give different weights to different features using an optimization technique, and the other is to use a similarity measure that gives full credit to features present in both patterns and the less credit to those absent from both patterns. Both approaches have been reported to perform better than the naive Hamming distance approach. In this paper, we propose to combine these two approaches using a genetic algorithm to optimize weights. Experimental results show that this method is superior to conventional measures in an OCR application.

关键词： Genetic algorithms Character recognition Hamming distance computer science Text analysis Pattern recognition Optical character recognition software Data mining Information systems Pattern analysis

来源：评论

学校读者我要写书评

暂无评论

Fault detection of non-linear systems based on multi-form quasi-armax modeling and its application to the ship benchmark

引用

IFAC Proceedings Volumes 2003年第16期36卷 1047-1052页

作者： K. Kumamaru K. Inoue Y. Hosoyamada T. Söerström Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Kawazu 680-4 Iizuka 820-8502 Fukuoka Japan Department of Automatic Control and System Analysis Institute of Technology Uppsala University P.O.Box 27 Uppsala Sweden

关键词： Fault detection Kullback discrimination information non-linear system parameter estimation quasi-ARMAX model

来源：评论

学校读者我要写书评

暂无评论

Human systems integration and advanced technology in engineering department workload and manpower reduction

引用

NAVAL ENGINEERS JOURNAL 2003年第1期115卷 57-65页

作者： Lively, KA Seman, AJ Kirkpatrick, M KENNETH A. LIVELY graduated from the University of Colorado with a BS in applied mathematics and an MS in mathematics in 1976 and from the Massachusetts Institute of Technology with an MS in electrical engineering and the degree ocean engineer in naval architecture and marine engineering in 1984. He retired from the U.S. Navy in 1989 after 23 years of service. Assignments included electrical officer on the USS Constellation (CV 64) project engineer for the DDG 51 machinery control system (NAVSEA) and DDG 51 Technical Director (NAVSEA). He was vice president of the PDI Division of Bird-Johnson Company from July 1989 to November 1998 where he managed various gas turbine and machinery controls related development projects. He joined Anteon Corporation's Systems Engineering Group as senior controls engineer in December 1998 where he provided technical support to the integrated power systems program (NAVSEA PMS 510) and managed the Office of Naval Research Afloat Laboratory. DR. MARK KIRKPATRICK is currently an independent consultant in human factors and work-load/manning analysis and modeling. He holds a Ph.D. degree in experimental psychology from The Ohio State University and has 34 years of experience in applied human factors. From 1982 through 2000 Dr. Kirkpatrick served as the senior vice president of Carlow International. Prior to joining Carlow in 1982 Dr. Kirkpatrick served as a member of the technical staff at North American Rockwell's Missiles Division and as a project director and vice president for Essex Corporation. His areas of expertise include workload simulation task analysis operator-in-the-loop simulation human performance experimentation statistical analysis and human factors T&E. He has directed and/or participated in human factors projects for the U.S. Navy U.S. Army NASA Department of Transportation the U.S. Nuclear Regulatory Commission and private industry. ANTHONY J. SEMAN III is the technical manager for the reduced ship's crew by virtual presence (RSVP) advanced technology d

Aboard current ships, such as the DDG 51, engineering control and damage control activities are manpower intensive. It is anticipated that, for future combatants, the workload demand arising from operation of systems under conditions of normal steaming and during casualty response will need to be markedly reduced via automated monitoring, autonomous control, and other technology initiatives. Current DDG 51 class ships can be considered as a manpower baseline and under Condition III typical engineering control involves seven to eight watchstanders at manned stations in the Central Control Station, the engine rooms and other machinery spaces. In contrast to this manning level, initiatives such as DD 21 and the integrated engineering plant (IEP) envision a partnership between the operator and the automation system, with more and more of the operator's functions being shifted to the automation system as manning levels decrease. This paper describes some human systems integration studies of workload demand reduction and, consequently, manning reduction that can be achieved due to application of several advanced technology concepts. Advanced system concept studies in relation to workload demand are described and reviewed including. Piecemeal applications of diverse automation and remote control technology concepts to selected high driver tasks in current DDG 51 activities. Development of the reduced ship's crew by virtual presence system that will provide automated monitoring and display to operators of machinery health, compartment conditions, and personnel health. The IEP envisions the machinery control system as a provider of resources that are used by various consumers around the ship. Resource needs and consumer priorities are at all times dependent upon the ship's current mission and the availability of equipment pawnbrokers.

关键词： Naval warfare

来源：评论

学校读者我要写书评

暂无评论

computer-aided plant enterprise safety management system (CAPE-SAFE) - Design framework

引用

systems Engineering 2002年第2期5卷 109-122页

作者： Gabbar, Hossam A. Chung, P.W.H. Shimada, Yukiyasu Suzuki, Kazuhiko Department of Systems Engineering Okayama University 3-1-1 Tsushima-Naka Okayama 700-8530 Japan Department of Computer Science Loughborough University Leicestershire LE11 3TU United Kingdom Frontier Collaborative Research Center Tokyo Institute of Technology Japan Department of Computer Science Loughborough University Systems Engineering Department Okayama University System Analysis Laboratory Systems Engineering Department Okayama University

Recent researches in the area of safety engineering highlighted the role of automated (computer-aided) tools in managing plant enterprise safety activities. This research has been carried out as collaboration with industry to design a computer-aided plant enterprise safety management system called CAPE-SAFE. The solution has been proposed to fulfill the need for standard and integrated safety management system that covers all aspects of plant enterprise safety. The proposed solution is integrated with other systems and components within plant enterprise engineering environment (PEEE) to enable exchanging and sharing lifecycle information and knowledge. The information system structure of the proposed solution has been presented as well as the design framework of the system components and modules. Hydrodesulfurization (HDS) continuous plant is used as a case study to illustrate the mechanism of CAPE-SAFE and to describe the interaction with other components within PEEE. The proposed solution will help in reducing the overall operating cost as well as the risk associated with plant operation. © 2002 Wiley Periodicals, Inc.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

A characterization of k-th powers P_n,k of paths in terms of k-trees

引用

International Journal of Foundations of computer science 2001年第4期12卷 435-443页

作者： Yamazaki, Koich Tani, Sei'Ichi Nishino, Tetsuro Department of Computer Science Gunma University Kiryu Gunma 376-8515 1-5-1 Tenjin-cho Japan Department of Computer Science and System Analysis Nihon University Setagaya-ku Tokyo 156-8550 Sakurajousui 3-25-40 Japan Department of Information and Communication Engineering University of Electro-Communications Chofu Tokyo 182-8585 Japan

Let G be a k-tree such that |{v V(G): degG(v) = k}| = 2, n = |V(G)| ≥ 2k + 2, and the maximum degree of G is at most 2k. In this paper, we will show that such a k-tree G is isomorphic to Pn,k. In this way, we give a ... 详细信息

Let G be a k-tree such that |{v V(G): deg_G(v) = k}| = 2, n = |V(G)| ≥ 2k + 2, and the maximum degree of G is at most 2k. In this paper, we will show that such a k-tree G is isomorphic to P_n,k. In this way, we give a new characterization of k-th power (i.e. P_n,k) of paths with n vertices in terms of k-trees. © 2001 World Scientific Publishing Company.

关键词： bandwidth k-th power of paths k-trees treewidth

来源：评论

学校读者我要写书评

暂无评论

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers

引用

Electronic Notes in Theoretical computer science 2001年 43卷 34-49页

作者： N.V. Shilov K. Yi Research On Program Analysis System (ROPAS) Department of Computer Science Korean Advanced Institute of Science and Technology (KAIST) Kusong-dong Yusong-gu 373-1 Taejon 305-701 Republic of Korea

Paper discusses some issues related to the utility of finite games for early formal methods teaching and for validation of automatic tools which implement formal methods. In particular, some experience with (1) undergraduate teaching model checking via finite games, (2) solving game-based constraints via model checking, (3) testing model checkers against game test suits is presented. Basic ideas are illustrated by a model checking based solution for a complicated puzzle how to identify a unique false coin among given ones balancing them limited times.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Parallel quasi-Monte Carlo integration using (t,s)-sequences 4th

引用

4th International ACPC Conference on Parallel Computation, ACPC 1999

作者： Schmid, Wolfgang Ch. Uhl, Andreas Department of Mathematics University of Salzburg Austria RIST++ and Department of Computer Science and System Analysis University of Salzburg Austria

ISBN: (纸本)3540656413

Currently, the most effective constructions of low-discrepancy point sets and sequences are based on the theory of (t, m, s)-nets and (t, s)-sequences. In this work we discuss parallelization techniques for quasi-Monte Carlo integration using (t, s)-sequences. We show that leapfrog parallelization may be very dangerous whereas block-based parallelization turns out to be robust. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：