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

Implementation lessons of performance prediction tool for parallel conservative simulation 6

6th International European Conference on Parallel Computing, Euro-Par 2000

作者： Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore

ISBN: (纸本)9783540679561

Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorithms for specific simulation protocols. In order for the prediction results to be close to the results from actual parallel executions, there are further considerations when implementing the analyzer. These include (a) equivalence of code between the sequential program and parallel program, and (b) system effects (e.g. cache miss rates and synchronization overheads in an actual parallel execution). This paper describes our investigations into these issues on a performance analyzer for a conservative, "super-step" (synchronous) simulation protocol. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Emotions simulation in methodology of autonomous adaptive control

Emotions simulation in methodology of autonomous adaptive co...

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： A.A. Zhdanov A.N. Yinokurov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia

We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board subsystem. The control system performs learning and control in one process. We develop a methodology of autonomous adaptive control (AAC), that allows us to construct a control system for a given controlled object. As the control goals we take the controlled object survival and the knowledge accumulation. As a whole these goals bring maximization of the controlled object lifetime. We suggest an emotions modeling mechanism (EM). We give the description of its functions and their implementation in AAC methodology. These functions are: (1) a compulsion of the control system for activity; (2) an appreciation of the CO current state at its quality; (3) an appreciation of the formed patterns and their usefulness for control goals; (4) an influence on tempo and depth of reasoning of decision making in current state; (5) providing the decision making subsystem with emotional appraisals of the recognized patterns; (6) providing transfer of information on patterns of emotional appraisals simultaneously with information on the patterns while the organism interacts with another organism.

关键词： Adaptive control Control systems Nervous system Organisms Feedback Appraisal Decision making Autonomous agents Learning Process control

来源：评论

学校读者我要写书评

暂无评论

Place bisimulation equivalences for design of concurrent and sequential systems

Place bisimulation equivalences for design of concurrent and...

引用

MFCS '98 Workshop on Concurrency

作者： Tarasyuk, Igor V. Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia

In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and their preservation by refinements is investigated to find out which of these relations may be used in top-down design. It is demonstrated that the place bisimulation equivalences may be used for the compositional and history preserving reduction of Petri nets. In addition, we consider all the mentioned equivalences on sequential nets which are a special subclass of general Petri nets modelling sequential systems, where no two actions can happen simultaneously. On this net subclass all pomset equivalences merge with the corresponding interleaving ones, and it allows us to simplify their check. © 1998 Published by Elsevier Science B.V.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

About an autonomous adaptive control methodology

About an autonomous adaptive control methodology

引用

IEEE International Symposium on Intelligent Control (ISIC)

作者： A.A. Zhdanov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia

We present the basis of the original autonomous adaptive control (AAC) methodology. It is an approach to the design of intelligent systems that simulate structure and functions of the nervous system and brain. The AAC methodology idea is that structure and functions of the nervous system are forced to follow the control system conditions at an initial moment. The initial conditions are: (a) the control system (CS) is a discrete device; (b) the CS is located inside of the controlled object; (c) the CS has minimum initial knowledge. We briefly described the AAC CS structure and functions. The AAC CS can be made, for example, in neural networks form.

关键词： Adaptive control Control systems Nervous system Intelligent systems Organisms Brain modeling Electronic mail World Wide Web Intelligent structures Force control

来源：评论

学校读者我要写书评

暂无评论

Place Bisimulation Equivalences for Design of Concurrent and Sequential systems

引用

Electronic Notes in Theoretical Computer Science 1998年 18卷 191-206页

作者： Igor V. Tarasyuk Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia

关键词：

来源：评论

学校读者我要写书评

暂无评论

A practical approach to object modeling for large, complex applications

A practical approach to object modeling for large, complex a...

引用

IEEE National Conference on Aerospace and Electronics (NAECON)

作者： J. Porter B. Deer M.E. Howard C. Ferguson R. McCarty Advanced Programming Institute Inc. OH USA NCI Information Systems Inc. OH USA USAF AFMC MSG OH USA Computer Science Corporation OH USA

Object-oriented (OO) software development techniques have gained in popularity as an attractive alternative to the traditional, structured development approach. Fundamental to the OO approach is the object, which bundles data with associated operations in a self-contained unit. The inherently modular object provides an excellent mechanism for creating reusable, stable, and easily maintainable code. In this paper, we present an introduction to OO development; discuss the challenges of large, complex systems; and document the procedures we developed to meet these challenges for our project.

关键词： Application software programming Information systems Buildings Object oriented modeling Bridges User interfaces Cost function Vents Encapsulation

来源：评论

学校读者我要写书评

暂无评论

Acoustic wave sensor for real-time monitoring of volatile organic compounds

引用

NAVAL ENGINEERS JOURNAL 1997年第1期109卷 27-30页

作者： Modell, DJ Donald J. Modell:is a project manager and senior technical consultant with Smith Environmental Technologies Corporation (BCM Engineers Inc.). Mr. Modell has extensive experience in process control systems (PLCs PCs distributed control systems and SCADA systems) and sensors used in the environmental and remedial engineering processes and operations. Mr. Modell has further experience with software and hardware configuration programming implementation and total quality management techniques. He has received master's degrees in environmental engineering and chemical engineering from The Johns Hopkins University and Case Western Reserve University. Mr. Modell also has an M.B.A. in finance from Case Western Reserve University. He is active in The American Industrial Hygiene Association the American Institute of Chemical Engineers the International Society of Measurement and Control the Sociely of American Military Engineers and is an officer in the National and Maryland Society of Professional Engineers. He serves as a director and advisor to the legdative board fm the Maryland Engineering Society Joint Council.

On-line real-time monitoring of marine and operational exhaust stacks and process streams can play a critical role in providing safe, environmentally sound operation of marine and industrial processes using volatile organic species. Monitoring systems are needed that are inexpensive and powerful to be effective. It has been demonstrated that two independent responses, wave velocity and wave attenuation can be obtained from surface acoustic wave devices coated with viscoelastic polymers. This output technique enables identification and concentration determination of isolated species with a single sensor. This paper discusses the development of the sensor devices and the basis of portable acoustic wave sensor systems (which are being used) to monitor volatile organic compounds from marine and industrial chemical processes. Furthermore, on-line monitoring of spray cleaning processes has been effective in quantifying how emissions can be decreased based on substituting solvents, optimizing worker protocols, and utilizing new spray nozzle configurations.

关键词： Sensors

来源：评论

学校读者我要写书评

暂无评论

Machine intelligibility and the duality principle

British Telecom technology journal

引用

British Telecom technology journal 1996年第4期14卷 15-23页

作者： Muggleton, S. Michie, D. Wolfson College Oxford United Kingdom University of Tokyo Turing Institute Glasgow United Kingdom Intelligent Systems Research Group BT Laboratories Inductive Logic Programming Oxford University Press Logic Programming ILP Oxford Univ. Computing Laboratory University of Edinburgh Royal Society of Edinburgh British Computer Society

Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two distinct layers, a declarative knowledge-level layer and a lower-level functional or procedural-knowledge layer. The former supports simple deductive and inductive inferences and can be used to facilitate human-comprehensible communication between programs, while the latter is composed of normal procedurally encoded computer programs. The duality principle in software design is necessary in dealing with the demands of wide-scale computer usage in the information age and an urgent goal for computer science research.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

probabilistic and deterministic local search for solving the binary multiknapsack problem*

引用

Optimization 1995年第2期33卷 155-166页

作者： Bertocchi, M. Butti, A. Slominski, L. Sobczynska, J. Department of Mathematics Statistics and Computer Science University of Bergamo Bergamo Piazza Rosate 2 Italy Mathematical Programming Department Systems Research Institute Polish Academy of Sciences Warsaw Newelska str 6 Poland

Results of extensive computational experiments aimed at comparing performance quality (accuracy of an approximate solution and the running time) of the Threshold Accept (TA) approach versus the Simulated Annealing (SA) and a Greedy-Local improvement Search (GLS) approaches are presented. This comparison is done on a large set of test examples that represent the binary Multiknapsack Problem (MKP). It appears that the best accuracy results are obtained for the TA algorithm. Purely deterministic search is only slightly worse in accuracy, but remarkably better in the running time, comparing to both SA and TA. © 1995 Taylor & Francis Group, LLC

关键词： Deterministic greedy-local type search Multiknapsack problem Simulated annealing and threshold accept algorithms

来源：评论

学校读者我要写书评

暂无评论

Development and application of MCAL tools for marine radar instruction

引用

Computer Applications in Engineering Education 1995年第4期3卷 259-259页

作者： Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.

In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional course information through various types of computer media as opposed to the classic CAL systems. The philosophy and techniques employed to design the system are investigated. Usage of the implemented system and its merits have been illustrated through its application to teach engineering students and technicians the theory and concepts of marine radar. System design, implementation, test, and revision phases are presented and discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：