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

International Conference on Document Analysis and Recognition

作者： D. Madej A. Sokolowski Department of Computer Technology and Programming Bilkent University Ankara Turkey IFTR Polish Academy of Sciences Poland Academy of Economics krakow Poland and Department of Economics Bilkent University Ankara Turkey

Automatic evaluation of drawing-to-CAD conversion performance is addressed. The generating model of artificial images in the domain of cadastral maps was built. The proposed model was close to the authentic drawings on the level of graphic primitives and on the level of map understanding. The shape of the parcel was characterized by the number of corners, line lengths and respective angles. The model of a house consists of 12 random variables, while the 13th variable describes the location of the house in a parcel. The parameters of probability distributions have been estimated from the sample of 115 parcels and 127 houses. The goodness-of-fit for all distributions was very high.< >

关键词： Performance analysis Performance evaluation Image converters Shape Image generation Automatic testing Paper technology Automatic programming Graphics Random variables

来源：评论

学校读者我要写书评

暂无评论

PERFORMANCE TESTING OF SHIPBOARD ELECTRONIC SYSTEMS

引用

NAVAL ENGINEERS JOURNAL 1993年第3期105卷 118-124页

作者： HARDER, G MARTIN, RA PE George Harder:is an electronics engineer for Naval Undersea Warfare Center Detachment Norfolk's Electromagnetic Engineering Branch located at the Norfolk Shipboard Electronic Systems Evaluation Facility (SESEF) site. He is responsible for fleet electromagnetic readiness (FEMR) inspections on board Navy ships and provides computer programming support to SESEF. Mr. Harder has a bachelor of science degree in electrical engineering from the University of Florida and has qualified for his professional engineering license in the state of Virginia. Robert A. Martin:is a supervisor electronics engineer employed by the Naval Undersea Warfare Center Detachment Norfolk. He functions as the branch head for the Electromagnetic Engineering Office which is responsible for the operation of the Norfolk Shipboard Electronic Systems Evaluation Facility (SESEF) and the Fleet Electromagnetic Readiness (FEMR) Program. Mr. Martin received a bachelor of science degree in electrical engineering from the University of Akron.

Performance evaluation of shipboard electronic systems entails debugging the systems in a laboratory environment, placing them in service and relving on svstem operators to provide feedback. General testing can be performed at selected sites by system designers, but each site where equipment is to be installed can offer unique problems. It is impossible to predict all the scenarios. Unique problems are more the rule than the exception when equipment is destined for Navy ships. Ship deployments make for difficult logistics when sending test teams to evaluate system failures. So, out of necessity, if newly installed equipment receives the proper inputs and generates the proper outputs, it is accepted and becomes the sailor's responsibilitv to maintain. In cases where documentation is ambiguous or incomplete, it is left to the sailor's ingenuity to continue testing and training on equipment. This is generallv obtained through computer simulations and back-to-back testing which can provide results for ideal conditions, but does not take the dynamics of interference into account. Remote site testing is the only way to get a true representation of equipment performance and training problems. Electronic system operators on board Navy vessels are fortunate, thev have help. There exists an organization available near major naval ports worldwide whose existence is to test electronic systems performance. The testing utilizes electronic systems as they would normally be configured for operations. This organization is the Shipboard Electronic Svstem Evaluation Facility (SESEF).

关键词：

来源：评论

学校读者我要写书评

暂无评论

CONCURRENT BOUNDARY-ELEMENT COMPUTATION

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年第2期6卷 83-98页

作者： MCDOWALL, DS LEE, TW FUSCO, VF Microwave Research Group Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH Northern Ireland U.K. D. Stewart McDowall was born in Dublin epublic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Department of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrient programming. He is an Associate Member of the Institute of Electrical Engineers. Lee Thaim Wee was awarded the degree of B. Eng. in Electronics from the Queen's University of Belfast in July 1991. He is currently serving in the Malaysian Armed Forces. Vincent F. Fusco was educated at the Queen's Univeristy of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a reader in Microwave Communications in the School of Electrical Engineering and Computer Science the Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

A major limitation of the boundary element method (BEM) for the solution of electrical potential problems is the long computational time required. However, a large portion of the calculations involved can be viewed as being parallel in nature and can therefore be computed concurrently. This paper makes an effort to increase the efficiency of the BEM process using transputer-based multiprocessor computing techniques. The algorithms developed may equally well be applied to any multiprocessor system. The application selected to demonstrate the technique is the solution of an electrostatic problem governed by a two-dimensional Laplace equation. A parallel algorithm for problem setup and field extraction using BEM is designed and implemented on a transputer array. Special attention is directed to the utilization of the parallel processors to achieve maximum efficiency. The analysis in this work concentrates on the communication strategies for passing data between processors as well as a consideration of the workload attributed to each processor. The parallel algorithms were implemented using 3L Parallel Fortran;however, the choice of topology for the overall BEM implementation was limited by the fact that certain parts of the algorithm could only utilize a pipeline configuration of processors. Comprehensive results for the parallel BEM algorithm are given and they are encouraging, indicating that parallel processing has much to offer when applied to the boundary element method.

关键词： Boundary element method

来源：评论

学校读者我要写书评

暂无评论

TLM MODELING USING AN SIMD computer

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年第4期6卷 299-304页

作者： TAN, CC FUSCO, VF The Queen's University of Belfast Department of Electrical & Electronic Engineering Ashby Building Stranmillis Road Belfast BT9 5AH U.K. Chun Chia Tan obtained a first-class honours degree from The Queen's University of Belfast. He was awarded an IEE prize for best final-year project. His current research interests include the modelling of electromagnetic fields using parallel processing techniques. At present Mr Tan is working as an electrical engineer in Malaysia. Vincent F. Fusco was educated at The Queen's University of Belfast where he obtained the degree of Ph.D. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a Reader in Microwave Commnications in the School of Electrical Engineering and Computer Science The Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems. He has acted as consultant to a number of major companies and has published numerous research papers in these areas. He is author of the bookMicrowave Circuits Analysis and Computer Aided Design(Prentice Hall 1987). Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

A major limitation of the transmission-line matrix (TLM) method used to solve Maxwell's equations is the long computation time required. The TLM scattering calculations involved can, however, be viewed as parallel in nature. This paper describes an effort to reduce computational time by using an SIMD, DAP multiprocessor computer employed to solve a two-dimensional TLM electromagnetic field formulation. A parallel algorithm based on the TLM scattering algorithm is designed and implemented using FORTRAN-PLUS Enhanced on an AMT DAP 510 machine. Here the connectivity of the DAP is exploited to simulate the intrinsic scattering behaviour on which the TLM algorithm relies. The results show that parallel processing on an SIMD machine such as the DAP is advantageous, especially for higher-order mesh sizes.

关键词： Electric lines

来源：评论

学校读者我要写书评

暂无评论

On the Complexities of Non-Horn Clause Logic programming

引用

Journal of computer Science & Technology 1992年第2期7卷 114-122页

作者：聂旭民 Institute for Programming and Logics Department of computer science State University of New York at AlbanyAlbanyNew York 12222U.S.A.

There have been active work to extend the Prolog style Horn Clause logic programming to non-Horn *** this paper,we will analyze the complexities of several such *** purpose is to understand the computational complexity of these inference *** analyses do not prove that any one system is better than the others all the *** they do suggest that one system may be better than the others for some particular *** also discuss the effect of caching.

关键词： Prolog On the Complexities of Non-Horn Clause Logic programming

来源：评论

学校读者我要写书评

暂无评论

COMBAT SYSTEM ENGINEERING - A RETURN TO FUNDAMENTALS

引用

NAVAL ENGINEERS JOURNAL 1993年第3期105卷 61-69页

作者： MITTURA, A KARP, MS PE Andrew Mittura:is currently a senior program engineer with SYSCON Corp. He began his career in the Combat System Installation and Integration Office of NavSea in 1978. He has worked as a system engineer on the Seafire program at NSWCDD on the NATO Anti-air Warfare Program while at FMC Corporation and for the past four years on the Aegis Combat System with SYSCON. Current efforts include performance assessment studies of the Aegis combat system and combat system architecture and connectivity analysis. Mr. Mittura received a B.S. in electrical engineering from Penn State University in 1978 and an M.S. in engineering management from Catholic University of America in 1982. He is a licensed professional engineer with the State of Virginia. Mitchel S. Karp:cofounded K&K Software Engineering Inc. in February 1970. He is currently secretary/treasurer and senior system engineer. His involvement in combat systems began with NTDS in 1963. He has been involved in the Aegis Program since 1968 and has worked in all aspects of combat system development including computer programming tactical analysis software development and management. He has given several seminars on real-time software development and documentation. He currently is working under contracts to NSWCDD in the areas of combat system architecture and connectivity configuration management and documentation. Mr. Karp received a B.S. in engineering physics from Lehigh University in 1958.

The Navy's focus has shifted from global war scenarios to preparedness for the prospect of involvement in regional, littoral contingencies and conflicts. Operationally, shipboard personnel will need the ability to shift focus from the combat system multimission roles to that of only a single mission. From a development perspective, combat systems must accommodate a continual infusion of technology in a budget constrained environment. Combat system architecture is the single most important feature affecting combat system flexibility, from both an operational and developmental aspect. There is a fundamental partitioning of combat svstem functions into detect, command, and engage in a horizontal integration approach that enhances this needed flexibilitv. This fundamental partitioning is currently applied to individual weapon systems, but not to combat svstems as a whole. Instead, self-contained weapon systems are often developed and then vertically integrated to form a combat svstem, causing reduced flexibility. The battle organization is the principal driving requirement for combat system architecture. This paper shows that that the battle organization is best supported by a horizontally integrated combat system of detect, command, and engage. It concludes that a horizontally integrated combat svstem architecture of detect, command, and engage should be a candidate for future combat systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME DISTRIBUTED SYSTEMS

引用

SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES 1992年第1期17卷 75-93页

作者： SHYAMASUNDAR, RK LIU, LY Computer Science Group Tata Institute of Fundamental Research Bombay India IBM Programming Systems Cary Laboratory Cary USA

In this paper, we develop a compositional denotational semantics for prioritized real-time distributed programming languages. One of the interesting features is that it extends the existing compositional theory proposed by Koymans et al (1988) for prioritized real-time languages preserving the compositionality of the semantics. The language permits users to define situations in which an action has priority over another action without the requirement of preassigning priorities to actions for partially ordering the alphabet of actions. These features are part of the languages such as Ada designed specifically keeping in view the needs of real-time embedded systems. Further, the approach does not have the restriction of other approaches such as prioritized internal moves can preempt unprioritized actions etc. Our notion of priority in the environment is based on the intuition that a low priority action can proceed only if the high priority action cannot proceed due to lack of the handshaking partner at that point of execution. In other words, if some action is possible corresponding to that environment at some point of execution then the action takes place without unnecessary waiting. The proposed semantic theory provides a clear distinction between the semantic model and the execution model - this has enabled us to fully ensure that there is no unnecessary waiting.

关键词： COMPOSITIONAL SPECIFICATION REAL-TIME DISTRIBUTED SYSTEMS PRIORITY SPECIFICATION MESSAGE PASSING MODELS

来源：评论

学校读者我要写书评

暂无评论

ALGORITHMIC DEBUGGING FOR LAZY FUNCTIONAL LANGUAGES 4th

ALGORITHMIC DEBUGGING FOR LAZY FUNCTIONAL LANGUAGES

引用

4TH INTERNATIONAL SYMP ON programming LANGUAGE IMPLEMENTATION AND LOGIC programming ( PLILP 92 )

作者： NILSSON, H FRITZSON, P Programming Environments Laboratory Department of Computer and Information Science Linköping University Linköping S-581 83 Sweden

ISBN: (纸本)3540558446

Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side effects. Traditional debugging techniques are, however, not suited for lazy functional languages since computations generally do not take place in the order one might expect. Since algorithmic debugging allows the user to concentrate on the declarative aspects of program semantics, and will semi-automatically find functions containing bugs, we propose to use this technique for debugging lazy functional programs. In this paper we present an algorithmic debugger for a lazy functional language and some experience in using it. Because of the non-strict semantics of lazy functional languages, arguments to functions are in general partially evaluated expressions. The user is, however, usually more concerned with the values that these expressions represent. We address this problem by providing the user with a strictified view of the execution trace whenever possible. © Springer-Verlag Berlin Heidelberg 1992.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Complexity of unification problems with associative-commutative operators

引用

Journal of Automated Reasoning 1992年第2期9卷 261-288页

作者： Kapur, Deepak Narendran, Paliath Institute of Programming and Logics Department of Computer Science State University of New York at Albany Albany 12222 NY United States

The unification problem for terms containing associative and commutative functions is of importance in theorem provers based on term rewriting and resolution methods as well as in logic programming. The complexity of determining whether two such terms are unifiable was known to be NP-hard. It is proved that the problem is NP-complete by describing a nondeterministic polynomial time algorithm for it. The case where the terms are linear and have no common variables is shown to be in P. The NP-completeness of other similar unification problems, in particular, when a function symbol is also idempotent and/or has a unit (identity), is also discussed. Finally, a table of the complexity of E-matching and E-unification problems is given. © 1992 Kluwer Academic Publishers.

关键词： associative commutative complexity equational theories idempotent identity matching NP-complete set matching Unification unit word equations

来源：评论

学校读者我要写书评

暂无评论

Intelligent system for feature- based modelling of machine parts 5th

引用

5th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1992

作者： Lekova, Anna Batanov, Dentcho Nikolaev, Nikolay Department of Programming and Computer Applications Technical University Sofia1156 Bulgaria Artificial Intelligence Laboratory Department of Computer Science Technical University Sofia1156 Bulgaria

ISBN: (纸本)9783540556015

This paper proposes a new system for feature- based modelling- ISFBM with built in strategy for defining details by their features, realizing design process over the computational model of rule- based systems paradigm. The construction includes facts for describing the features and rules for modelling with them. The presented approach gives a flexible and convenient mechanism for modifying the model and semantic analysis of the received product. Specific characteristic is the tool for automatic generation of general features, based on the primitive ones, with which the domain of application is extended. © 1992, Springer Verlag. All rights reserved.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：