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

AUTOMATED OPPOSING FORCES FOR TRAINING SIMULATIONS

NAVAL ENGINEERS JOURNAL 1995年第3期107卷 245-252页

作者： ANTON, PS MCADOW, KL SMITH, DB LEHNER, PE SHARP, MA Dr. Philip S. Anton:is currently the Terhnology Area Manager of Modeling and Reasoning in the MITRE Advanced Information Technologies Center. His research at MITRE has included behavioral models of military doctrine and command environmental modeling and reasoning for command forces and intelligent simulations of military entities. His other interests include neural networks artificial intelligence and intelligent agents. Dr. Anton received a U.S. degree in Computer Engineering from UCLA and an M.S. degree and a Ph.D in Computational Neuroscience from the University of California. Irvine After finishing nuclear power training Mr. McAdow served as an Engineering Department Division Officer on USS Mariano G. Vallejo (SSBN 658). He then worked as a civilian far the Naval Coastal Systems Center and then far Martin Marietta Aero and Naval Systems in the development of various submarine systems and unmanned undersea vehicles. David Smith:has been a member of the technical staff at MITRE s Advanced Information Technologies center since 1993. He has a B.S. degree in Computer Science and Mathematics from Albright College and an M.S. degree in Information and Computer Science from the Georgia Institute of Technology. Dr. Paul Lehner:is a part-time Principal Scientist in the MITRE Advanced Information Technologies Center. In addition. Dr. Lehner is an Associate Professor of Systems Engineering at George Mason University. His research at MITRE has included automated planning and scheduling adversarial planning and reasoning against uncertainty. Dr. Lehner received a B.S. degree in Psychology from Bethany College. He also holds M.S. degrees in Psychology and Mathematics and a Ph.D. in Mathematical Psychology from the University of Michigan. Prior to his current employment at MITRE and at George Mason University Dr. Lehner served as the Technical Director of the Decision Sciences Section at PAR Government Systems Corporation. After finishing nuclear power training Cdr. Sharp served as an Engineering Department Divisi

Providing realistic opposing forces is critical to the successful use of military training simulations. Unfortunately, a number of issues can make the manual control of realistic opposing forces difficult or unattainable, This paper explores these issues while discussing how Automatic Interactive Targets (AITs) can assist Training Exercise Controllers (TECs) in providing validated and realistic opposing forces in highly interactive situations. The features of the prototype Remote AIT Processing System (RAPS) are used to demonstrate how an AIT system can be designed to meet TEC requirements for automated entities, RAPS can provide remote control of AITs for existing or new systems while providing sufficient features to allow a TEC to appropriately select and control AITs for individual training exercises and crew proficiencies.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Polynomial-time algorithms for computing characteristic strings 5th

引用

5th Annual Symposium on Combinatorial Pattern Matching, CPM 1994

作者： Ito, Minoru Shimizu, Kuniyasu Nakanishi, Michio Hashimoto, Akihiro Graduate School of Information Science Nara Institute of Science and Technology Ikoma Nara630-01 Japan Information Systems Engineering Laboratory TOSHIBA Corporation OmeTokyo198 Japan Department of Information and Computer Sciences Faculty of Engineering Science Osaka University Toyonaka Osaka560 Japan

ISBN: (纸本)9783540580942

The difference between two strings is the minimum number of editing steps (insertions, deletions, changes) that convert one string into the other. Let S be a finite set of strings, let T be a subset of S, and let 5 be a positive integer. A 5-characteristic string of T under S is a string that is a common substring of T and that has at least ~-differences from any substring of any string in S - T. In this paper, the following result is presented. It can be decided in O(||T||+l2 · |S-T|+1·δ·||S-T||) time whether or not there exists a 8-characteristic string of T under S, where I denotes the length of a shortest string in T, IS-TI the cardinality of S-T, and ||T|| the size of T. If such a string exits, then all the shortest 5-characteristic strings of T under S can also be obtained in that time. © Springer-Verlag Berlin Heidelberg 1994.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Application of practical fuzzy-PID hybrid control system to petrochemical plant

Application of practical fuzzy-PID hybrid control system to ...

引用

IEEE International Conference on Fuzzy systems (FUZZ-IEEE)

作者： T. Tani M. Umano M. Utashiro K. Tanaka Maintenance & System Development Section Manufacturing Department Idemitsu Kosan Company Limited Tokyo Japan Institute of Information Technology Information Systems Department Idemitsu Kosan Company Limited Tokyo Japan Department of Systems Engineering Faculty of Engineering Scicnce Osaka University Osaka Japan Department of Mechanical Systems Engineering Kanazawa University Kanazawa Japan

Presents a practical method of control using conventional PID and fuzzy control, where the output of fuzzy reasoning compensates for the output of PID control directly. This method of control applies to control of the top temperature (temperature of the stripper top) of a petrochemical plant. It is shown that the proposed system can control the top temperature effectively in both steady state and in transient state, such as in feed oil switching.< >

关键词： Control systems Petrochemicals Petroleum Temperature control Three-term control Feeds Temperature sensors Fuzzy reasoning Hydrogen Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Application of neural network to tank level control of petrochemical plants

Application of neural network to tank level control of petro...

引用

International Conference on Industrial Electronics, Control and Instrumentation

作者： T. Tani M. Umano T. Sato K. Tanaka Manufacturing Department Maintenance & System Development Section Idemitsu Kosan Company Limited Japan Institute of Information Technology Information System Department Idemitsu Kosan Company Limited Japan Faculty of Engineering Department of Precision Engineering Osaka University Japan Faculty of Engineering Department of Mechanical Systems Engineering Kanazawa University Japan

This paper presents a control system for petrochemical plants using neural networks. Neural networks effectively simulate a well-experienced operator's procedure to control the tank level of the plant even in a transient state such as feed oil switching. This control system is applied to tank level control of a desulfurizing plant during feed oil switching, it can control the level effectively.< >

关键词： Neural networks Level control Petrochemicals Petroleum Feeds Control systems Temperature Inductors Switches Modeling

来源：评论

学校读者我要写书评

暂无评论

A framework for performance engineering during information system development 4th

引用

4th International Conference on Advanced information systems engineering, CAiSE 1992

作者： Opdahl, Andreas L. Sølvberg, Arne The University of Trondheim Norway Department of Informatics Faculty of Nature Sciences College of Arts and Science Norway Information Systems Group Department of Electrical Engineering and Computer Science The Norwegian Institute of Technology Norway

ISBN: (纸本)9783540554813

Software performance engineering aims at predicting and improving the performance of applications during development and in production. This paper presents a framework for performance engineering of information systems with emphasis on parameter estimation support. The need for performance engineering of information systems is discussed. Views of information system and performance modelling are presented. It is shown how application specifcations can be extended with performance annotations. The resulting framework is applied to predict and improve the performance of projected applications during development. Sensitivity analysis is supported to point out performance bottlenecks in the application and suggest which parameters to estimate with most care. Target platform modelling is provided to relieve the information system developer from assessing the performance of the target platform and operating system software. The framework is realised in terms of the PrM language for software specification. Finally, some conclusions are offered. © Springer-Verlag Berlin Heidelberg 1992.

关键词： information systems

来源：评论

学校读者我要写书评

暂无评论

Non-schematic drawing recognition: A new approach based on attributed graph grammar with flexible embedding

Non-schematic drawing recognition: A new approach based on a...

引用

International Conference on Manufacturing Automation 1992

作者： Leet, K.J. Kuniit, T.L. Noma, T. Department of Information Science Faculty of Science University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo113 Japan Department of Artificial Intelligence Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka820 Japan

In this paper, we propose a syntactic pattern recognition method for non-schematic drawings, based on a new attributed graph grammar with flexible embedding. In our graph grammar, the embedding rule permits the nodes of a guest graph to be arbitrarily connected with the nodes of a host graph. The ambiguity caused by this flexible embedding is controlled with the evaluation of synthesized attributes and the check of context sensitivity. To integrate parsing with the synthesized attribute evaluation and the context sensitivity check, we also develop a bottom up parsing algorithm. © 1992 SPIE. All rights reserved.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

An experimental system for optical detection of layout errors of printed circuit boards using learned CNN templates 2

An experimental system for optical detection of layout error...

引用

2nd International Workshop on Cellular Neural Networks and their Applications, CNNA 1992

作者： Szolgay, P. Kispál, I. Kozek, T. Dual and Neural Computing Systems Laboratory Computer and Automation Institute Hungarian Academy of Sciences P.O.B.63 BudapestH-1502 Hungary Department of Information Technology Faculty of Engineering University of Veszprém Egyetem u. 10 VeszprémH-8201 Hungary

ISBN: (纸本)0780308751

Cellular neural networks (CNNs) are considered here as cellular analog programmable multidimensional processing arrays with distributed logic and memory. The interconnecting weights between the neighbouring processing elements are defined by the template *** the paper a new systematic way is presented to find robust templates. Using the new learning algorithm some templates were found for a CNN based layout design rule checking algorithm. The algorithm has been tested in our experimental system with real life examples. A typical design rule checking of a 432×164 pixels area takes 8s computation time on our CNN hardware accelerator board. © 1992 IEEE.

关键词： Cellular neural networks

来源：评论

学校读者我要写书评

暂无评论

TWO TOPICS CONCERNING TWO-DIMENSIONAL AUTOMATA OPERATING IN PARALLEL

引用

International Journal of Pattern Recognition and Artificial Intelligence 1992年第2N03期6卷 211-225页

作者： KATSUSHI INOUE ITSUO SAKURAMOTO MAKOTO SAKAMOTO ITSUO TAKANAMI Department of Computer Science and Systems Engineering Faculty of Engineering Yamaguchi University Ube 755 Japan Department of Mechanical and Electrical Engineering Tokuyama National College of Technology Tokuyama 745 Japan Department of Information Engineering Oshima National College of Maritime Technology Oshima-Gun 742-21 Japan

This paper deals with two topics concerning two-dimensional automata operating in parallel. We first investigate a relationship between the accepting powers of two-dimensional alternating finite automata (2-AFAs) and nondeterministic bottom-up pyramid cellular acceptors (NUPCAs), and show that Ω ( diameter × log diameter ) time is necessary for NUPCAs to simulate 2-AFAs. We then investigate space complexity of two-dimensional alternating Turing machines (2-ATMs) operating in small space, and show that if L (n) is a two-dimensionally space-constructible function such that lim n → ∞ L (n)/ loglog n > 1 and L (n) ≤ log n, and L′ (n) is a function satisfying L′ (n) =o (L(n)), then there exists a set accepted by some strongly L (n) space-bounded two-dimensional deterministic Turing machine, but not accepted by any weakly L′ (n) space-bounded 2-ATM, and thus there exists a rich space hierarchy for weakly S (n) space-bounded 2-ATMs with loglog n ≤ S (n) ≤ log n.

关键词： Two-dimensional automata alternating Turing machine pyramid cellular acceptor complexity

来源：评论

学校读者我要写书评

暂无评论

Four‐variable AND‐EXOR minimum expressions and their properties

引用

systems and computers in Japan 1992年第10期23卷 27-41页

作者： Koda, Norio Sasao, Tsutomu Department of Information and Electronics Tokuyama College of Technology Tokuyama 745 Japan Faculty of Computer and Systems Engineering Kyushu Institute of Technology Iizuka 820 Japan

An AND‐EXOR expression (exclusive‐or sum‐of‐products expression: ESOP) is obtained by EXORing arbitrary product terms. First, some properties are shown of minimum ESOPs which are useful for the minimization of ESOPs. Second, a catalog of minimum ESOPs for the representative functions of 4‐variable NP‐equivalence classes is presented. Minimality is defined as first minimizing the number of the product terms and then the number of the literals in the ESOP. Minimum ESOPs are obtained by an exhaustive method. The average number of products to realize the 4‐variable functions by AND‐OR sum‐of‐products expressions is 4.13 and 3.66 by ESOPs. Minimum ESOPs with four variables or less are obtained easily by the table look‐up of the catalog. The catalog is useful for the minimization and the complexity analysis of ESOPs with five or more variables. Copyright © 1992 Wiley Periodicals, Inc., A Wiley Company

关键词： complexity of logic circuits equivalence class EXOR logic logic minimization Reed‐Muller expression

来源：评论

学校读者我要写书评

暂无评论

Optical tracking System for automatic guided vehicles using cellular neural networks 2

Optical tracking System for automatic guided vehicles using ...

引用

2nd International Workshop on Cellular Neural Networks and their Applications, CNNA 1992

作者： Eröss, Gy. Boros, T. Kiss, Á. Radványi, A. Roska, T. Bitó, J. Vass, J. Tungsram TH Co. Ltd Centre of Robotics and Automation Václ ut 77 BudapestH-1340 Hungary Dual and Neural Computing Systems Laboratory Computer and Automation Institute of the Hungarian Academy of Sciences P.O.B.63 BudapestH-1502 Hungary Dep. of Information Technology Faculty of Engineering University Veszprém Egyetem u. 10 VeszprémH-8201 Hungary

ISBN: (纸本)0780308751

computer Integrated Manufacturing (CIM) systems having determining role in the modern industry. These systems contain essentially two different equipments for transporting materials between workstations: - conveyors can be used if the path of transportation is fixed and known in advance, or - if the path of the transportation may change or there are various tasks to be solved along the path, the use of Automatic Guided Vehicles (AGV) is strongly recommended. The path control of an AGV in CIM systems is generally solved either by following an inductive wire or by determining its position and orientation from signals provided by transmitters mounted at some characteristic points of the workshop. Both of these basic methods have their advantages and drawbacks. © 1992 IEEE.

关键词： Automatic guided vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：