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

MAKING DESIGN OBJECTS RELEVANT TO THE TASK AT HAND 9

9TH NATIONAL CONF ON ARTIFICIAL INTELLIGENCE ( AAAI-91 )

作者： FISCHER, G NAKAKOJI, K Department of Computer Science Institute of Cognitive Science University of Colorado Boulder 80309-0430 CO United States Software Engineering Laboratory Software Research Associates Inc. 1113 Spruce Street Boulder 80302 CO United States

ISBN: (纸本)0262510596

Many problem-solving approaches are based on the assumption that a problem can be precisely defined before it is solved. These approaches are inadequate for dealing with ill-defined problems, which require the coevolution of problem setting and problem solving. In this paper, we describe integrated, domain-oriented, knowledge-based design environments and their underlying multifaceted architecture. The environments empower humans to cope with ill-defined problems, such as design, by supporting an incremental approach to problem setting and problem solving. We focus on the integration of specification, construction, and a catalog of prestored design objects in those environments. The synergy of integration enables the environments to make those objects relevant to the task at hand. Taking architectural design as a domain to illustrate our approach, we describe an operational, prototype system (CATALOGEXPLORER) that assists designers in locating examples in the catalog that are relevant to the task at hand as articulated by a partial specification and a partial construction. Users are thereby relieved of the task of forming queries and navigating in information spaces. Copyright © 1991, AAAI (***). All rights reserved.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

Parameter value computation by least square method and evaluation of software availability and reliability at service-operation by the hyper-geometric distribution software reliability growth model (HGDM) 91

Parameter value computation by least square method and evalu...

引用

Proceedings of the 13th international conference on software engineering

作者： Raymond Jacoby Yoshihiro Tohma TOSHIBA Corporation Systems & Software Engineering Laboratory Saiwat-ku Kawasaki-shi 210 Japan and Department of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-Ku Tokyo Department of Computer Science Tokyo Institute of Technology Ookayama 2-12-1 Meguro-Ku Tokyo

来源：评论

学校读者我要写书评

暂无评论

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

引用

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

Applying Petri net reduction to support Ada-tasking deadlock detection

Applying Petri net reduction to support Ada-tasking deadlock...

引用

International Conference on Distributed Computing Systems

作者： S. Tu S.M. Shatz T. Murata Software Systems Laboratory Department of Electrical Engineering and Computer Science University of Illinois Chicago Chicago IL USA

The application of Petri net reduction to Ada-tasking deadlock detection is investigated. Net reduction can ease reachability analysis by reducing the size of the net while preserving relevant properties. By combining Petri net theory and knowledge of Ada-tasking semantics some specific efficient reduction rules are derived for Petri net models of Ada-tasking. A method by which a useful description of a detected deadlock state can be easily obtained from the reduced net's information is suggested.< >

关键词： System recovery Algorithm design and analysis Petri nets Information analysis software systems Laboratories Reachability analysis Face detection FETs Displays

来源：评论

学校读者我要写书评

暂无评论

THE COMMAND SUPPORT AT-SEA EXPERIMENT

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 25-36页

作者： BUSCHER, DJ SUNDAY, DM David J. Buscher:is an electrical engineer on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his BS degree in electrical engineering from Villanova University in 1967 an MSEE degree from the University of Maryland in 1972 and an MS degree in technical management from The Johns Hopkins University in 1985. He was the lead engineer on the Command Support At-Sea Experiment Project. He started his career in 1967 with the U.S. Army Harry Diamond Laboratory working on computer and communications projects. During this time he worked in Vietnam with the United States Army Vietnam Science Advisor Office. Since joining JHU/APL in 1978 he has worked on a variety of projects associated with computer graphics hospital patient information systems computer networks autonomous underwater vehicles and satellite communications. He is currently assistant group supervisor of the Computer Systems Group. Daniel M. Sunday:is a mathematician on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his Ph.D. in mathematics from the University of Minnesota in 1971 and did postdoctoral research on neural networks at the University of California at Berkeley. Since joining JHU/APL in 1980 Dr. Sunday has worked as a designer and developer of software systems with emphasis on medical imaging interactive graphics natural language interfaces and software standards. He was the network designer for the Headquarters Integrated Office System (HIOS) Network for the Army at the Pentagon. He is currently the lead software engineer on the Command Support At-Sea Experiment Project.

The Command Support At-Sea Experiment (CS@SE) provides experimental advanced graphics display systems consisting of large screen color displays and operator console color displays in the combat information center (CIC) of an Aegis cruiser and in the tactical flag command center (TFCC) of an aircraft carrier. CS@SE systems are designed to prototype potential command support capabilities in an at-sea environment to validate and refine requirements for planned production system upgrades. These systems use sophisticated color graphics techniques to provide real-time tactical displays that improve the availability of information to an operator by reducing clutter through the use of color, area fill, transparen overlays and intensity coding of track symbols. Interfaces wen developed with the Aegis Display System (ADS), Shipboarc Gridlock System with Auto-correlation (SGS/AC), Flag Dats Display System (FDDS) and Tomahawk Engagement Planning and Exercise Evaluation System (TEPEE) that provided the data for the presentation of a tactical display. Display elements included both real-time and over-the-horizon (OTH) surface track data, velocity leaders, tags, uncertainty ellipses, and history trails. The display also included filled land masses, country boundaries, commercial airways, cities, graphics overlays (i.e., operational areas), weapon system missile performance contours, and engagement plans. This paper describes the experiment, its installation and integration into the shipboard environments of an Aegis cruiser (USS Leyte Gulf ) and an aircraft carrier (USS America , its usage by the ships companies and embarked staffs, and the experiment result! and findings. Key conclusions of the experiment are: 1 Advanced graphics color displays can significantly enhance the ability of the warfighter to assimilate a complex tactical display. 2 Both ships reported a requirement for a correlated OTH and real-time track display with the ability to clearly differentiate the two types

关键词： computer Graphics

来源：评论

学校读者我要写书评

暂无评论

A computer INTEGRATED engineering SYSTEM FOR DESIGN AND LIFE-CYCLE MANAGEMENT

引用

NAVAL ENGINEERS JOURNAL 1986年第3期98卷 115-121页

作者： NICKODEMUS, GH YANUS, ID Irwin D. Yanusgraduated from the University of Pennsylvania with a bachelor's degree in arts and science in 1960 and a bachelor of science degree in mechanical engineering in 1961. In 1963 he received a master of science degree in mechanical engineering from Carnegie-Mellon University. Mr. Yanus is presently the manager of naval systems engineering in the Computer Aided Engineering Department of the Plant Engineering Division of Westinghouse Electric Corporation. His prior experience includes 19 years at the Bettis Atomic Power Laboratory where he performed assignments of increasing responsibility in design analysis development and procurement of nuclear reactor components for naval applications. As the manager of reactor mechanical design he was responsible for the mechanical design of theNimitzclass reactor components and control drive mechanism technology development. Mr. Yanus is a member of the American Society of Mechanical Engineers and the Society of Naval Architects and Marine Engineers. Glen H. Nickodemusgraduated from Michigan State University in 1964 with a bachelor of science degree in civil engineering. He joined the Pittsburgh-Des Moines Corporation in July of the same year. A master of science degree in civil engineering was obtained from Carnegie-Mellon University in 1973. In 1969 Mr. Nickodemus joined the Advanced Reactors Division of the Westinghouse Electric Corporation where he performed design and structural analysis functions for the development of the Fast Flux Test Facility and Clinch River Breeder Reactor Plant (CRBRP). As manager of CRBRP reactor engineering stress analysis he was responsible for the reactor vessel internals closure head control rod drivelines and miscellaneous guard vessels and head access area components. He is currently the manager of software development for the Computer Aided Engineering Department of the Plant Engineering Division. Mr. Nickodemus is a member of the American Society of Mechanical Engineers and is a registered professional engineer in Penn

This paper describes a computer integrated engineering system for design and life cycle management of weapons systems, ships and other multidisciplined systems. All engineering data are stored in a central engineering database. Individual application databases define and process information necessary for specific discipline evaluations. Interface modules between the application databases and the engineering database ensure that the entered data are complete, consistent, compatible, and in compliance with requirements. Conflicts are immediately identified and efficiently resolved. Implementation of the system improves design quality and reduces costs by minimizing the number of design iterations, reducing the effort to implement changes, providing effective storage and retrieval, and reducing the need for ship checks prior to modifications and alterations.

关键词： MILITARY engineering

来源：评论

学校读者我要写书评

暂无评论

DRAFT DESCRIPTION OF PASCAL

引用

software-PRACTICE & EXPERIENCE 1979年第5期9卷 381-424页

作者： ADDYMAN, AM BREWER, R BURNETTHALL, DG DEMORGAN, RM FINDLAY, W JACKSON, MI JOSLIN, DA REES, MJ WATT, DA WELSH, J WICHMANN, BA Department of Computer Science The University Oxford Road Manchester M13 9PL Software Department GEC Computers Ltd. Elstree Way Borehamwood Hertfordshire Department of Computer Science University of York Heslington York Y01 5DD European Software Engineering Digital Equipment Company Ltd. Fountain House The Butts Centre Reading RG1 7QN Computing Science Department University of Glasgow Glasgow G12 8QQ International Data Engineering Centre ITT Business Systems and Communications Group Latimer House Potters Bar Herts EN6 5DN Hull College of Higher Education Inglemire Avenue Hull HU6 7LJ Computer Studies Group The University Southampton S09 5NH Department of Computer Science Queen's University Belfast BT7 1NN Department of Industry National Physical Laboratory Teddington Middlesex TW1 0LW

This paper provides a description of the programming language Pascal. It has been published to enable those without easy access to the official BSI ‘draft for comment’ to comment on the description.

关键词： Pascal Standards

来源：评论

学校读者我要写书评

暂无评论

Cost-Efficient Deep Neural Network Placement in Edge Intelligence-Enabled Internet of Things

引用

ACM Transactions on Sensor Networks 1000年

作者： Hao Tian Xiaolong Xu Hongyue Wu Qingzhan Zhao Jianguo Dai Maqbool Khan State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China Nanjing China School of Software Nanjing University of Information Science and Technology Nanjing Jiangsu China Nanjing China College of Intelligence and Computing Tianjin University Tianjin China Tianjin China Geospatial Information Engineering Research Center College of Information Science and Technology Shihezi University Shihezi Xinjiang China Shihezi China Department of IT and Computer Science Pak-Austria Fachhochschule Institute of Applied Sciences and Technology Haripur Pakistan Haripur Pakistan

Edge intelligence (EI) integrates edge computing and artificial intelligence empowering service providers to deploy deep neural networks (DNNs) on edge servers in proximity to users to provision intelligent applications (e.g., autonomous driving) for ubiquitous Internet of Things (IoT) in smart cities, which facilitates the quality of experience (QoE) of users and improves the processing and energy efficiency. However, considering DNN is typically computational-intensive and resource-hungry, conventional placement approaches ignore the influence of multi-dimensional resource requirements (processor, memory, etc.), which may degrade the real-time performance. Moreover, with the increasing scale of geo-distributed edge servers, centralized decision-making is still challenging to find the optimal strategies effectively. To overcome these shortcomings, in this paper we propose a game theoretic DNN placement approach in EI-enabled IoT. First, a DNN placement optimization problem is formulated to maximize system benefits, which is proven to be \(\mathcal {N}\mathcal {P}\)-hard and model the original problem as an exact potential game (EPG). Moreover, an EPG-based DNN model placement algorithm, named EPOL, is designed for edge servers to make sub-optimal strategies independently and theoretical analysis is possessed to guarantee the performance of EPOL. Finally, real-world dataset based experimental results corroborate the superiority and effectiveness of EPOL.

关键词： Edge intelligence DNN placement Game theory Internet of Things

来源：评论

学校读者我要写书评

暂无评论

software engineering and Methodology for Emerging Domains 1

引用

丛书名： Communications in computer and Information science

1000年

作者： Lu Zhang Chang Xu

来源：评论

学校读者我要写书评

暂无评论

Organized Adaption in Multi-Agent Systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： George Vouros Alexander Artikis Kostas Stathis Jeremy Pitt

ISBN: (数字)9783642023774

ISBN: (纸本)9783642023767

Adaptation, for purposes of self-healing, self-protection, self-management, or self-regulation, is currently considered to be one of the most challenging pr- erties of distributed systems that operate in dynamic, unpredictable, and - tentially hostile environments. engineering for adaptation is particularly c- plicated when the distributed system itself is composed of autonomous entities that, on one hand, may act collaboratively and with benevolence, and, on the other,maybehavesel?***,theseentities have to coordinate themselves in order to adapt appropriately to the prevailing environmental conditions, and furthermore, to deliberate upon their own and the system’s con?guration, and to be transparent to their users yet consistent with any human requirements. The question, therefore, of “how to organize the envisagedadaptationforsuchautonomousentitiesinasystematicway”becomes of paramount importance. The ?rst international workshop on “Organized Adaptation in Multi-Agent Systems” (OAMAS) was a one-day event held as part of the workshop p- gram arranged by the international conference on Autonomous Agents and Multi-Agent Systems (AAMAS). It was hosted in Estoril during May, 2008, and was attended by more than 30 researchers. OAMAS was the steady convergence of a number of lines of research which suggested that such a workshop would be timely and opportune. This includes the areas of autonomic computing, swarm intelligence, agent societies, self-organizing complex systems, and ‘emergence’ in general.

关键词： Artificial Intelligence computer Communication Networks software engineering/Programming and Operating Systems software engineering Operating Systems Information Storage and Retrieval

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：