共查询到20条相似文献,搜索用时 31 毫秒
1.
This paper presents an assumption/commitment specification technique and a refinement calculus for networks of agents communicating asynchronously via unbounded FIFO channels in the tradition of Kahn. We define two types of assumption/commitment specifications, namely simple and general specifications. It is shown that semantically, any deterministic agent can be uniquely characterized by a simple specification, and any nondeterministic agent can be uniquely characterized by a general specification. We define two sets of refinement rules, one for simple specifications and one for general specifications. The rules are Hoare-logic inspired. In particular the feedback rules employ invariants in the style of a traditional while-rule. Both sets of rules have been proved to be sound and also (semantic) relative complete. Conversion rules allow the two logics to be combined. This means that general specifications and the rules for general specifications have to be introduced only at the point in a system development where they are really needed. 相似文献
2.
This contribution provides an introduction to the Common Information Model CIM which is an international standard maintained by the International Electrotechnical Commission IEC. Today’s market requirements towards the model are discussed, furthermore, we give an introduction to the history of the CIM, its serializations and scope of application. The contribution concludes with an overview of future use of the CIM for both science and commerce. Briefly, we focus on: Message-based loose coupling of information systems Exchange of power grid topologies with minimal communication and data overhead Data quality assurance using ontology-based meta annotations and Integration of heterogeneous standards in the utility domain. The contribution presents solutions to the use cases providing a better information management for the utility utilizing the Common Information Model. 相似文献
3.
Tom Conlon 《Artificial Intelligence Review》1992,6(3):285-324
If you are familiar with Prolog but not with Parlog then this tutorial is aimed at you. In what follows I attempt to: ? explain the basics of Parlog ? demonstrate that Parlog programs can be powerful and elegant ? discuss the relationship of Parlog to Prolog, and ? identify some resources which will take you further. These are what I call ‘four steps to Parlog’. 相似文献
4.
Dr.-Ing. Rolf Reinema 《WIRTSCHAFTSINFORMATIK》2002,44(4):367-373
The RoomComputer is an embedded system and as such offers unprecedented chances to manage buildings. Several RoomComputers can be networked via the Intra-/Internet, which makes it possible to monitor, control, and manage rooms and buildings on a unified worldwide accessible platform, irrespective of any particular local technology. It can be easily installed in any building and gives access to a full set of services. It implements a distributed system, which provides secure and controlled access to services like
- control of light, heating, ventilation, air and climate
- communication facilities like unified messaging, telephone, fax, etc.
- reservation of rooms and required resources
- localization of persons and equipment within rooms and buildings
- entrance control (i.e. locking/unlocking doors)
- organization of maintenance and house keeping, and
- charging and billing.
5.
P. A. D. de Maine K. D. Bradley W. H. Carlisle W. B. Dress 《Journal of Systems Integration》1995,5(3):187-199
The following design principles are being used in an ongoing project to realize an integrated family of rule based systems that can be easily used separately or together in different combinations to solve problems common to many different disciplines. Some essential features of this family are:
- Individual members can be used in the normal way as user-friendly rule based systems or they can be transparently invoked by other user-friendly rule based systems without interrogating users.
- The knowledge (or rule) bases of key members do not mimic the perceived mode of human thought; therefore, they can predict events that cannot be predicted by the state-of-the-art alone.
- The Law of Conservation of Mass/Energy is used to detect and correct computational errors.
6.
María Victoria Cengarle Luis Mandel Martin Wirsing Heiner Brand Klaus Däßler Thekla Schneider 《Higher-Order and Symbolic Computation》1992,4(4):319-369
A DIN Kernel LISP Draft (DKLisp) has been developed by DIN as Reaction to Action D1 (N79), short term goal, of ISO WG16. It defines a subset language, as compatible as possible with the ANSICommon-Lisp draft, but also with theEuLisp draft. It combines the most important LISP main stream features in a single, compact, but nevertheless complete language definition, which thereby could be well suited as basis for a short term InternationalLisp Standard. Besides the functional and knowledge processing features, the expressive power of the language is well comparable with contemporary procedural languages, as e.g. C++ (of course without libraries). Important features ofDKLisp are: to be a “Lisp-1,” but allowing an easy “Lisp-2” transformation; to be a simple, powerful and standardized educationalLisp; to omit all features, which are unclean or in heavy discussion; DKLisp programs run nearly unchanged inCommon-Lisp; DKLisp contains a simple object and package system; DKLisp contains those data classes and control structures also common to most modernLisp and non-Lisp languages; DKLisp offers a simple stream I/O; DKLisp contains a clean unified hierarchical class/type system; DKLisp contains the typical “Lisp-features” in an orthogonal way; DKLisp allows and encourages really small but powerful implementations; DKLisp comes in levels, so allowing ANSICommon-Lisp to be an extension ofDKLisp level-1. The present is the second version of the proposal, namely version 1.2, with slight differences with respect to the one sent to ISO. Sources of such changes were the remarks generously sent by many readers of the previous attempt. 相似文献
7.
8.
Stable semantics for disjunctive programs 总被引:1,自引:0,他引:1
Teodor C. Przymusinski 《New Generation Computing》1991,9(3-4):401-424
We introduce the stable model semantics fordisjunctive logic programs and deductive databases, which generalizes the stable model semantics, defined earlier for normal (i.e., non-disjunctive) programs. Depending on whether only total (2-valued) or all partial (3-valued) models are used we obtain thedisjunctive stable semantics or thepartial disjunctive stable semantics, respectively. The proposed semantics are shown to have the following properties: ? For normal programs, the disjunctive (respectively, partial disjunctive) stable semantics coincides with thestable (respectively,partial stable) semantics. ? For normal programs, the partial disjunctive stable semantics also coincides with thewell-founded semantics. ? For locally stratified disjunctive programs both (total and partial) disjunctive stable semantics coincide with theperfect model semantics. ? The partial disjunctive stable semantics can be generalized to the class ofall disjunctive logic programs. ? Both (total and partial) disjunctive stable semantics can be naturally extended to a broader class of disjunctive programs that permit the use ofclassical negation. ? After translation of the programP into a suitable autoepistemic theory \( \hat P \) the disjunctive (respectively, partial disjunctive) stable semantics ofP coincides with the autoepistemic (respectively, 3-valued autoepistemic) semantics of \( \hat P \) . 相似文献
9.
There are many expert systems that use experimental knowledge for diagnostic analysis and design. However, there are two problems for systems using only experiential knowledge:
- unexpected problems cannot be solved and
- acquiring experiential knowledge from human experts is difficult.
- inheritance for representation of objects,
- new primitive representations to describe discontinuous change, and
- control features for effective reasoning.
10.
We settle all relativized questions of the relationships between the following five propositions:
- P = NP.
- P = UP.
- P = NP $\cap$ coNP.
- All disjoint pairs of NP sets are P-separable.
- All disjoint pairs of coNP sets are P-separable.
11.
A data encoding is a formal model of how a logical data structure is mapped into or represented in a physical storage structure. Both structures are complete trees in this paper, and we encode the logical or guest tree in the leaves of the physical or host tree giving a restricted class of encodings called entreeings. The cost of an entreeing is the total amount that the edges of the guest tree are stretched or dilated when they are replaced by shortest paths in the host tree. We are particularly interested in the asymptotic average cost of families of similar entreeings. Our investigation is a continuation of the study initiated by Rosenberg et al. In particular, the paper contains the following results.
- We refute a conjecture of Rosenberg et al. that a particular family of entreeings of binary guests into binary hosts is optimal.
- We provide an efficient family of entreeings fork-ary guests intok-ary hosts, fork≧2.
- We provide an efficient family of entreeings ofk-ary guests into binary hosts, fork≧3.
- We provide a new simple lower-bound technique that can be applied to the entreeings in part 2 to prove that they are very close to optimal. Moreover, it can be adapted for the entreeings of part 3, in which case we are able to show near optimality whenk is sufficiently large.
12.
This paper presents a kernel language KLND on the basis of analysing the kernel languagerequirements of new generation computer systems. These requirements are: the ability ofknow-ledge processing, the parallelism, the elegant mathematical properties of the comput-ation model which is appropriate for working as the basis of the novel architecture design, andthe suitability for writing large scale softwares. The main features of KLND are as follows: 1. several new language concepts. 2. the modularity, 3. the unification of logical and functional programming styles, 4. the exploitation of the parallelism. 5. the introduction of the type concept, 6. the introduction of the storage concept. 相似文献
13.
Consultative Assistance Systems (CASS) enhance today’s transaction-oriented applications by case-driven, rule-based and interactive components geared towards individual needs of the end-user.
- CASS supports in the resolution process with rare cases, which are typically complex in nature.
- CASS guides the end-user in finding a solution that covers all legal and economical aspects of each case.
- The example described in this article represents a CASS which supports the complex process of public procurement under the tendering by-laws. The application architecture used in this example can be transferred to many eGovernment scenarios.
14.
L. F. Pau 《Journal of Intelligent and Robotic Systems》1988,1(2):103-116
This paper reviews some knowledge representation approaches devoted to the sensor fusion problem, as encountered whenever images, signals, text must be combined to provide the input to a controller or to an inference procedure. The basic steps involved in the derivation of the knowledge representation scheme, are:
- locate a representation, based on exogeneous context information
- compare two representations to find out if they refer to the same object/entity
- merge sensor-based features from the various representations of the same object into a new set of features or attributes,
- aggregate the representations into a joint fused representation, usually more abstract than each of the sensor-related representations.
15.
In this paper we give efficient parallel algorithms for a number of problems from computational geometry by using versions of parallel plane sweeping. We illustrate our approach with a number of applications, which include: General hidden-surface elimination (even if the overlap relation contains cycles). CSG boundary evaluation. Computing the contour of a collection of rectangles. Hidden-surface elimination for rectangles. There are interesting subproblems that we solve as a part of each parallelization. For example, we give an optimal parallel method for building a data structure for line-stabbing queries (which, incidentally, improves the sequential complexity of this problem). Our algorithms are for the CREW PRAM, unless otherwise noted. 相似文献
16.
The main contribution of the present article consists of new 3D parallel and symmetric thinning schemes which have the following qualities: They are effective and sound, in the sense that they are guaranteed to preserve topology. This guarantee is obtained thanks to a theorem on critical kernels; They are powerful, in the sense that they remove more points, in one iteration, than any other symmetric parallel thinning scheme; They are versatile, as conditions for the preservation of geometrical features (e.g., curve extremities or surface borders) are independent of those accounting for topology preservation; They are efficient: we provide in this article a small set of masks, acting in the grid ?3, that is sufficient, in addition to the classical simple point test, to straightforwardly implement them. 相似文献
17.
Scale-space behaviour of local extrema and blobs 总被引:4,自引:0,他引:4
Tony Lindeberg 《Journal of Mathematical Imaging and Vision》1992,1(1):65-99
18.
Unternehmensweites Berechtigungsmanagement 总被引:1,自引:0,他引:1
The central coordination of access control management is crucial especially for companies that are engaged in cooperative processes with other companies. Most critical is to respect the security needs that arise with the “opening“ towards other partners.
- The central coordination of access control is indispensable in order to protect the company’s resources.
- If access control management is to be oriented directly towards the corporate goals in contrast to a merely technical view there is a need for extended concepts — like role based access control (RBAC).
- The first software products that make use of the RBAC-concept for a centrally coordinated access control management are available and can be used in practice.
19.
The application of glass in the microsystems technology becomes more and more important. Therefore, it is necessary to combine special microstrutturable glasses with various other materials (e.g. joining with silicon by anodic bonding, joining with metals by electroforming, joining with polymers by glueing, joining with various other glasses by brazing or diffusion welding). In order to increase the use of glass in the microsystems technology especially four fields of research are important: -development of special glasses with various properties -technologies of microstructuring -technologies of joining -application These four topics are main research fields performed at the Institute of Glass/Ceramics-Technology and will be described in this paper. 相似文献
20.
This article describes the actual applications of XML in the context of Business- Intelligence-Systems (BI). The potentials and synergies of XML and BI will be emphasized.
- XML applications can be found within all levels of BI-systems.
- The application of core-standards will be introduced as well as the possibilities of BI specific-standards.
- The discussion of the impact of XML for BI-systems follows along the dimensions: externalisation, integration, standardisation and rationalization.