The main goal of the paper is to give a formalization of the relational database schema integration process, as a part of a database schema design. We briefly describe the form type concept and the module schema desig...
详细信息
The main goal of the paper is to give a formalization of the relational database schema integration process, as a part of a database schema design. We briefly describe the form type concept and the module schema design, which are related to the integration process. Database schema of the information system is obtained by progressive pairwise integration of so called database module schemes, that are usually built by different designers. An integration process is preceded by checking of database module schemes onto mutual consistency.
A 5-V-only CMOS 512 K*8 EEPROM (electrically erasable and programmable read-only memory), which achieves 10/sup 4/ cycle endurance using a NAND-structured cell, is discussed. The main features are a programming techni...
详细信息
A 5-V-only CMOS 512 K*8 EEPROM (electrically erasable and programmable read-only memory), which achieves 10/sup 4/ cycle endurance using a NAND-structured cell, is discussed. The main features are a programming technique appropriate to the NAND structured cell and a dynamic sense amplifier. The NAND structured cell arranges 8 bits in series, sandwiched between two select transistors. The first transistor ensures selectivity; the second prevents the current from passing during programming operation. The current cell has one select transistor per bit. However, the NAND structure has only two select transistors per 8 bits; therefore it has only 1/4 select transistor and 1/16 contact hole per bit. Thus, the NAND structure can realize a smaller cell area than that of the current cell. For high-speed programming, a page mode is adopted. In read operation, address transition detection circuitry is used to precharge the bit lines and reset the read control circuitry. A summary of design characteristics is presented.< >
The difficulty of developing multifunction radar systems is compounded by development of complex software applications. Simplifying the development of software can go a long way toward decreasing the long development ...
详细信息
The difficulty of developing multifunction radar systems is compounded by development of complex software applications. Simplifying the development of software can go a long way toward decreasing the long development schedules and latency between the availability of new hardware and the transition of that hardware to production systems. This paper discusses the features of Gedae that facilitate developing sensor systems, specifically multifunction radar systems. In the paper we show that a small number of concepts (families, data flow, segmentation, exclusion and state) provide a powerful language for expressing the functional behavior of multi-function radars. We also show that it is possible to algorithmically create an efficient implementation of the functionality on a multiprocessor system.
This paper proposes an automatic selection method for key search algorithms. The methodology has been implemented in a system called KESE2. Key search algorithms are selected according to user's requirements throu...
详细信息
This paper proposes an automatic selection method for key search algorithms. The methodology has been implemented in a system called KESE2. Key search algorithms are selected according to user's requirements through conversation controlled by inferences performed upon an evaluation table. The evaluation table has values representing fitness between search algorithms and their characteristics, or properties, to the applications. The selection algorithm presented determines candidates of key search algorithms by reducing unsuitable methods step by step. The questions to be asked to the user are driven by inferences over the restricted set. The paper also proposes an assisting facility that consists of both a supporting function and a program synthesis function. Experimental results show that by using the selection algorithm, the number of questions to be asked in order to select the appropriate key search algorithm was less than half the number of questions without inferences.
Aspect oriented programming promotes the separation of the different aspects of a system into their natural form. Synchronisation is an important aspect of concurrent object-oriented systems, but treating synchronisat...
详细信息
Aspect oriented programming promotes the separation of the different aspects of a system into their natural form. Synchronisation is an important aspect of concurrent object-oriented systems, but treating synchronisation as a single monolithic aspect leads to inflexibility and limited possibilities for reuse. We suggest that synchronisation has a number of different aspects, and introduce the synchronisation rings model which allows the aspects of a synchronised object to be specified independently. By separating the different aspects of synchronisation we can provide flexible, generic implementations of common synchronisation constraints, which can be re-used in many different contexts.
The mind of closed-loop data flow in CAD/CAM/CNC chains are presents in this paper, it was used in automatic programming system based on customization of AutoCAD for CNC lathe which have double tool carriers. The way ...
详细信息
The mind of closed-loop data flow in CAD/CAM/CNC chains are presents in this paper, it was used in automatic programming system based on customization of AutoCAD for CNC lathe which have double tool carriers. The way of closed loop data flow in CAD/CAM/CNC chains and it's implement method are analyzed in detail.
A description is given of an approach to specification development in which the specification arises naturally through the requirements analysis process. The emerging specification is developed into a complete system ...
详细信息
ISBN:
(纸本)0897912586
A description is given of an approach to specification development in which the specification arises naturally through the requirements analysis process. The emerging specification is developed into a complete system description using formal transformations called high-level editing commands. Automated support for this development process within the knowledge-based specification assistant is described. This support involves applying high-level editing commands, assisting in the choice of editing commands, and tracking the effects of these commands.< >
The translation of linear algebra computations into efficient sequences of library calls is a non-trivial task that requires expertise in both linear algebra and high-performance computing. Almost all high-level langu...
详细信息
This paper presents an efficient test program generator for logic simulation that uses techniques developed for formal verification. Our test program generator enumerates all reachable states of a processor pipeline a...
详细信息
This paper presents an efficient test program generator for logic simulation that uses techniques developed for formal verification. Our test program generator enumerates all reachable states of a processor pipeline and generates instruction sequences for any reachable test case. The program covers all complicated test cases that are difficult to cover with random instructions and are impossible to cover by conventional test program generation methods.< >
暂无评论