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

5th International Conference on Algebraic Methodology and software Technology, AMAST 1996

作者： Bergstra, J.A. Klint, P. Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands Department of Philosophy Utrecht University Heidelberglaan 8 Utrecht3584 CS Netherlands Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands

ISBN: (纸本)9783540614630

The notion of "time" plays an important role when coordinating large, heterogeneous, distributed software systems. We present a generic coordination architecture that supports relative and absolute, discrete time. First, we briefly sketch the ToolBus coordination architecture. Next, we give a major example of its use: a distributed auction. Finally, we present the theory underlying our notion of discrete time. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Practical rhumb line calculations on the spheroid

引用

JOURNAL OF NAVIGATION 1996年第1期49卷 112-119页

作者： Bennett, GG [a1 ](C. N. Systems Mosman New South Wales)About ten years ago this author wrote the software for a suite of navigation programmes which was resident in a small hand-held computer. In the course of this work it became apparent that the standard text books of navigation were perpetuating a flawed method of calculating rhumb lines on the Earth considered as an oblate spheroid. On further investigation it became apparent that these incorrect methods were being used in programming a number of calculator/computers and satellite navigation receivers. Although the discrepancies were not large it was disquieting to compare the results of the same rhumb line calculations from a number of such devices and find variations of some miles when the output was given and therefore purported to be accurate to a tenth of a mile in distance and/or a tenth of a minute of arc in position. The problem has been highlighted in the past and the references at the end of this show that a number of methods have been proposed for the amelioration of this problem. This paper summarizes formulae that the author recommends should be used for accurate solutions. Most of these may be found in standard geodetic text books such as but also provided are new formulae and schemes of solution which are suitable for use with computers or tables. The latter also take into account situations when a near-indeterminate solution may arise. Some examples are provided in an appendix which demonstrate the methods. The data for these problems do not refer to actual terrestrial situations but have been selected for illustrative purposes only. Practising ships' navigators will find the methods described in detail in this paper to be directly applicable to their work and also they should find ready acceptance because they are similar to current practice. In none of the references cited at the end of this paper has the practical task of calculating using either a computer or tabular techniques been addressed.

Blog This Article:Highlight allPractical Rhumb Line Calculations on the SpheroidG. G. Bennett (1996).Journal of Navigation, ">Volume 49, Issue01, January 1996 pp 112-119http://***/action/displayAbstract?aid=6... 详细信息

Blog This Article:Highlight all

Practical Rhumb Line Calculations on the Spheroid

G. G. Bennett (1996).
Journal of Navigation, Volume 49, Issue01, January 1996 pp 112-119
http://***/action/displayAbstract?aid=6249876

The code will display like thisPractical Rhumb Line Calculations on the Spheroid G. G. BennettJanuary 1996 Journal of Navigation,,Volume49, Issue01,January 1996 pp 112-119 http://***/abstract_S0373463300013151G. G. Bennett (1996). Practical Rhumb Line Calculations on the *** of Navigation,49, pp 112-119. doi:10.1017/S0373463300013151. Copyright StatementRights and PermissionsPrivacy PolicyTerms of UseFeedbackPress Releases? Cambridge University Press

关键词： rhumb lines loxodrome geodesy

来源：评论

学校读者我要写书评

暂无评论

INVESTIGATIONS ON THE QUALITY AND EFFICIENCY OF INSTRUCTIVE COMPUTER-AIDED TRAINING

引用

BRITISH JOURNAL OF EDUCATIONAL TECHNOLOGY 1995年第2期26卷 109-121页

作者： NAVASSARDIAN, S MARINOV, M PAVLOVA, R TECH UNIV SOFIA DEPT PROGRAMMING & APPLICAT SOFTWARE SYSTBU-1156 SOFIABULGARIA

Research into pedagogical processes help to overcome the inconsistency between the diversity of the pedagogical phenomena and inevitable limitations implied by the actual research topic. Experiments play a significant role in investigating the dynamics, diversity and discrepancies in pedagogical phenomena, and contribute to the improvement of the contents, methods and organisation of training. An experiment was carried out with the application of MICROKURS--a software environment for developing tutoring courses which is itself a knowledge-managed tutoring system. The main features and advantages of the environment are briefly discussed. The purpose of the experiment is to investigate the quality and intensity of learning declarative knowledge through a knowledge-managed CAI system and to compare the results from this with those obtained by the classical approach. This article presents the organisation, the arrangements, the experimental procedure and the results of that experiment. An evaluation was made of the methods for testing statistical hypothesis with two independent samples.

关键词：

来源：评论

学校读者我要写书评

暂无评论

NP-COMPLETENESS OF INTERVAL GRAPH COMPLETION FROM A PATH GRAPH

引用

ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE 1995年第6期78卷 95-102页

作者： YAMAGUCHI, K ARAKI, T KASHIWABARA, T Faculty of Engineering Science Osaka University Toyonaka Japan 560 Toshim Araki received his B.E. and Dr. of Eng. degrees in 1973 and 1978 respectively from Osaka University. He was a Research Associate in 1976 and at present is an Associate Professor Dept. Inf. Eng. Osaka University. He is engaged mainly in research on theory of automaton and language programming language and theory of graphs. Dr. Araki is a member of IEEE ACM Inf. Proc. Soc. and Jap. Soc. Software. Members

Given a set of paths on a tree, the graph with vertices corresponding to the paths, where the corresponding vertices are connected by an edge when two paths intersect, is called the path graph. Given a set A of finite intervals on a straight line, the graph with vertices corresponding to the intervals belonging to A, where an edge is provided when two intervals intersect, is called the interval graph. In this paper, it is shown that the problem to decide whether or not a given path graph can be converted to an interval graph by adding K or less edges is NP-complete.

关键词： PATH GRAPH INTERVAL GRAPH NP- COMPLETENESS

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

WHICH DATA-TYPES HAVE OMEGA-COMPLETE INITIAL ALGEBRA SPECIFICATIONS

引用

THEORETICAL COMPUTER SCIENCE 1994年第1期124卷 149-168页

作者： BERGSTRA, JA HEERING, J CWI DEPT SOFTWARE TECHNOL 1098 SJ AMSTERDAM NETHERLANDS UNIV AMSTERDAM PROGRAMMING RES GRP 1098 SJ AMSTERDAM NETHERLANDS UNIV UTRECHT DEPT PHILOSOPHY 3584 CS UTRECHT NETHERLANDS

An algebraic specification is called omega-complete or inductively complete if all (open as well as closed) equations valid in its initial model are equationally derivable from it, i.e., if the equational theory of the initial model is identical to the equational theory of the specification. As the latter is recursively enumerable, the initial model of an omega-complete algebraic specification is a data type with a recursively enumerable equational theory. We show that if hidden sorts and functions are allowed in the specification, the converse is also true: every data type with a recursively enumerable equational theory has an omega-complete initial algebra specification with hidden sorts and functions. We also show that in the case of finite data types the hidden sorts can be dispensed with.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

TURNING SOS RULES INTO EQUATIONS

引用

INFORMATION AND COMPUTATION 1994年第1期111卷 1-52页

作者： ACETO, L BLOOM, B VAANDRAGER, F CORNELL UNIV DEPT COMP SCI ITHACA NY 14853 USA CWI DEPT SOFTWARE TECHNOL 1009 AB AMSTERDAM NETHERLANDS UNIV AMSTERDAM PROGRAMMING RES GRP 1098 SJ AMSTERDAM NETHERLANDS

Many process algebras are defined by structural operational semantics (SOS). Indeed, most such definitions are nicely structured and fit the GSOS format of Bloom et al. (J. Assoc. Comput. Mach., to appear). We give a procedure for converting any GSOS language definition to a finite complete equational axiom system (possibly with one infinitary induction principle) which precisely characterizes strong bisimulation of processes. (C) 1994 Academic Press, Inc.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Calculation of the temperature distribution in an asynchronous machine

引用

European Transactions on Electrical Power 1995年第3期5卷 181-186页

作者： Xypteras, J. Maras, K. Spyrelis, D. Associate Professor Dr.-Ing. Jannis Xypteras (1937) Director of the Electrical Machines Laboratory Dept. of Electrical Engineering Aristotle University of Thessaloniki (AUT)/Greece graduated from the Fakultatfur Elektrotechnik of the RWTH AachedGermany. During the years 1965 to 1980 he had been employed in German and Greek factories for electrical machines several years as chief of development departments. In 1978 he obtained his Dr. Electr. Eng. degree in the AUT. His subject was in the area of eddy currents. Since 1984 he is Ass. hofessor in the same University. His special interests: Design and development of electrical machines vibration and noise problems electromagnetic fields eddy currents. (Dept. of Electrical Engineering Aristotle University GR-54006 Thessaloniki/Greece T +30 3 1 I99 62 93 Fax +303 11 99 63 02) Kostas Maras (1966) received his degree in Electrical Engineering from the Electrotechnical Faculty of Aristotle University of Thessaloniki/Greece in 1989. In 1990 he graduated as M.Sc. in Digital Electronics in the King's College London at the University of LondordGB with the project “Design of a Transversal Filter on VLSI CMOS”. Since then he has been working at M. Papasavas S.A. at KallithedGreece as an analyst in developing industrial software. Projects: Design and implementation of a dynamic relational model used to tackle production problems in industry. From 1991 to 93 he was responsible for the development of production planning used in industries. (M. Papasavas S.A. Sofocleus 261 GR-17874 KallithedGreece T +30 119423246 Fax +30 1/9429561) Dimitrios S. Spyrelis (1965) received his Diploma in Electrical Engineering from the University of Thessalonikil Greece in 1989. In 1990 he joined the Coding Center of Greek Army as research Assistant. He is currently working as technical director in a pigpoultry breeding company which includes feed processing industry slaughter houses by product process industry wastes treatment systems from farm livestock. His last fields of interest

In this paper the temperature distribution on the section vertical to the axis of an asynchronous machine is calculated. For the calculation the numerical method of “Control Volumes” has been used. The technique used can be easily modified to fit any kind of machine. It can also analyse transients. Copyright © 1995 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

KNOWLEDGE-BASED SYSTEMS RESEARCH AND APPLICATIONS IN JAPAN, 1992

引用

AI MAGAZINE 1994年第2期15卷 29-43页

作者： FEIGENBAUM, EA FRIEDLAND, PE JOHNSON, BB NII, HP SCHORR, H SHROBE, H ENGELMORE, RS NASA AMES RES CTRARTIFICIAL INTELLIGENCE RES BRANCHMOFFETT FIELDCA 94035 ANDERSEN CONSULTING CHICAGOIL PENNY NII GALLERY MT VIEWCA UNIV SO CALIF INST INFORMAT SCILOS ANGELESCA 90089 MIT ARTIFICIAL INTELLIGENCE LABCAMBRIDGEMA 02139 STANFORD UNIV DEPT COMP SCIHEURIST PROGRAMMING PROJECTSTANFORDCA 94305 STANFORD UNIV SOFTWARE IND RES PROJECTSTANFORDCA 94305

This article summarizes the findings of a 1992 study of knowledge-based systems research and applications in Japan. Representatives of universities and businesses were chosen by the Japan Technology Evaluation Center to investigate the state of the technology in Japan relative to the United States. The panel's report focused on applications, tools, and research and development in universities and industry and on major national projects.

关键词： .visits Knowledge Systems AI MAGAZINE Articles JTEC Sites Visited

来源：评论

学校读者我要写书评

暂无评论

THE FORWARD-DEPLOYED SONAR (FDS) AND THE MINE COUNTERMEASURE VESSEL (MCMV)

引用

NAVAL ENGINEERS JOURNAL 1994年第3期106卷 246-255页

作者： LETOT, L VIGNAND, B Laurent Letot:is responsible for the long term studies for surface ships at DCN. He has been working at DCN for ten years. Since joining DCN in 1984 he served as software engineer for the French Navy Programming Center (CPM) and has spent many years involved in combat systems design and specification of surface ships including minehunters aircraft carriers and ASW frigates. Mr. Letot graduated from University of Paris with a degree in engineering and a Ph.D in physical science. He is a lieutenant commander in the French naval reserve. Bernard Vignand:is a naval architect for surface ships at DCN. He is in charge of MCMV design for the French navy and export. A lieutenant of armament corps he graduated from Ecole Poly-technique and Superior School of Maritime Engineering (Paris).

It is recognized today that the best way to improve the detection capability of minehunters is linked to the operational concept of minehunting sonars rather than the performance increase of sonar transducers. The Variable Depth Sonar was a first step in this direction, permitting search and detection at greater depths. But this solution does not improve the ship survivability and generates complicated handling operations due to the static attitude of the towed body. The only way to have substantial improvements while increasing ship safety is to operate a Forward-Deployed Sonar (FDS), that will operate at greater depths and ranges than current VDS with fewer disadvantages. Feasibility studies have been conducted in order to define an FDS prototype and the associated operational concept. These studies concerned the vehicle (equipment, hydrodynamic, command and control, power generation, cable), the associated platform and the associated mine warfare concept. We concluded that such a sonar subsystem could change today's concept of minehunting and will probably lead to new standards of definition for minehunters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：