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

1992 International Symposium on Symbolic and Algebraic Computation, ISSAC 1992

作者： Viklund, Lars Fritzson, Peter Programming Environments Laboratory Department of Computer and Information Science Linköping University LinköpingS-581 83 Sweden

ISBN: (纸本)0897914899

In this paper we present the ObjectMath language, a hybrid language integrating object-oriented constructs with features for symbolic and numeric computation. Complex mathematical models may be implemented in a natural way using ObjectMath. Objects are used to structure models that might consist of a large number of equations while inheritance facilitates reuse of equations and formulae. The class specialization hierarchy is also used to generate specialized efficient numeric code from general symbolic equations and expressions. A first prototype of the ObjectMath programming environment has been implemented and successfully used for modeling and analyzing two different machine element analysis problems. © 1992 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Formal Methods and Software Safety

引用

IFAC Proceedings Volumes 1992年第30期25卷 93-98页

作者： J.P. Bowen V. Stavridou Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD UK Department of Computer Science Royal Holloway and Bedford New College University of London Egham Hill Egham Surrey TW20 0EX UK

The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness have been slow in development. One approach is to mathematically verify software in such systems. This paper investigates the industrial use of these techniques, their advantages and disadvantages, and the introduction of standards and their recommendations concerning formal methods in this area. The cost of safety is also considered.

关键词： Safety reliability system integrity standards education digital systems computer software formal languages industrial control software engineering

来源：评论

学校读者我要写书评

暂无评论

On the social organisation of organisations

引用

computer Supported Cooperative Work 1992年第1-2期1卷 95-118页

作者： Jirotka, Marina Gilbert, Nigel Luff, Paul Centre for Requirements and Foundations Programming Research Group University of Oxford Computing Laboratory Oxford OX1 3QD United Kingdom Social and Computer Sciences Research Group Department of Sociology University of Survey Guildford GU2 5XH United Kingdom Department of Sociology University of Surrey Guildford GU2 5XH United Kingdom Rank Xerox Cambridge EuroPARC Cambridge CB2 1AB 61 Regent Street United Kingdom

This paper considers a range of theoretical approaches to the understanding of organisations and the implications these views have for the design of computer supported cooperative work systems. Organisations have often been seen as structures which can be divided into hierarchically ordered parts or as networks of informal relations. Organisational theorists have also considered organisations to resemble organisms with needs for survival in potentially hostile environments or as information processors, with decision-making as their most important characteristic. More recently, developments in the social sciences have suggested that radical reconceptualisations are necessary for the study of work settings. Consequently, these developments have attracted attention due to their potential to inform system design. This paper reviews some of these efforts and comments on some of the outstanding problems that have to be overcome if studies of everyday work settings are to inform the design of systems to support collaborative work. © 1992 Kluwer Academic Publishers.

关键词： CSCW Ethnography Ethnomethodology Organisations Social Science

来源：评论

学校读者我要写书评

暂无评论

Yet another efficient backward execution algorithm in the AND/OR process model

引用

Information Processing Letters 1992年第3期43卷 165-165页

作者： Do-Hyung Kim Kwang-Moo Choe Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Gu Taejon 305-701 South Korea

来源：评论

学校读者我要写书评

暂无评论

YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL

引用

INFORMATION PROCESSING LETTERS 1991年第4期40卷 201-211页

作者： KIM, DH CHOE, KM Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 371-1 Kusong-Dong Yusang-Gu Taejon 305-701 South Korea

An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during execution of clauses. The algorithm is considered to be efficient in the sense that it issues fewer number of cancel messages and avoids unnecessary resetting operations. Furthermore, it performs independent redoing and resetting more concurrently than other related works.

关键词： APPLICATIVE (LOGIC) programming PARALLEL EVALUATION OF LOGIC PROGRAMS AND OR PROCESS MODEL AND PARALLELISM BACKWARD EXECUTION ALGORITHM MULTIPLE FAILURE SELECTIVE RESETTING

来源：评论

学校读者我要写书评

暂无评论

Semantic file systems 91

Semantic file systems

引用

13th ACM Symposium on Operating Systems Principles, SOSP 1991

作者： Gifford, David K. Jouvelot, Pierre Sheldon, Mark A. O'Toole Jr., James W. Programming Systems Research Group MIT Laboratory for Computer Science United States CRI Ecole des Mines de Paris France

ISBN: (纸本)0897914473

A semantic file system is an information storage system that provides flexible associative access to the system's contents by automatically extracting attributes from files with file type specific transducers. Associative access is provided by a conservative extension to existing tree-structured file system protocols, and by protocols that are designed specifically for content based access. Compatiblity with existing file system protocols is provided by introducing the concept of a virtual directory. Virtual directory names are interpreted as queries, and thus provide flexible associative access to files and directories in a manner compatible with existing software. Rapid attribute-based access to file system contents is implemented by automatic extraction and indexing of key properties of file system objects. The automatic indexing of files and directories is called "semantic" because user programmable transducers use information about the semantics of updated file system objects to extract the properties for indexing. Experimental results from a semantic file system implementation support the thesis that semantic file systems present a more effective storage abstraction than do traditional tree structured file systems for information sharing and command level programming. © 1991 ACM.

关键词： Transducers

来源：评论

学校读者我要写书评

暂无评论

An algebra for Delay-Insensitive circuits 2nd

An algebra for Delay-Insensitive circuits

引用

2nd International Conference on computer-Aided Verification, CAV 1990

作者： Josephs, Mark B. Udding, Jan Tijmen Programming Research Group Oxford University Computing Laboratory 11 Keble Road OxfordOX1 3QD United Kingdom Department of Computer Science Washington University Campus Box 1045 St. LouisMO63130 United States

ISBN: (纸本)9783540544777

A novel process algebra is presented;algebraic expressions specify delay-insensitive circuits in terms of voltage-level transitions on wires. The approach appears to have several advantages over traditional state-graph and production-rule based methods. The wealth of algebraic laws makes it possible to specify circuits concisely and facilitates the verification of designs. Individual components can be composed into circuits in which signals along internal wires axe hidden from the environment. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Formal specification of software systems using Two-Level Grammar 15

Formal specification of software systems using Two-Level Gra...

引用

15th Annual International computer Software and Applications Conference, CMPSAC 1991

作者： Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States

ISBN: (纸本)0818621524

Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. This has the potential for greatly increasing the reliability of the developed software system for the following reasons. Because it is a form of natural language, TLG may be used as an effective communication medium between the system users, designers, and implementors, thereby reducing the likelihood of errors caused by miscommunication. Furthermore, we may automatically generate an efficient software system, expressed in C, from the specification in a provably correct way. Successful applications have included database/knowledge base systems and programming language compilers. © 1991 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：