7,801 research outputs found

    Desynchronization: Synthesis of asynchronous circuits from synchronous specifications

    Get PDF
    Asynchronous implementation techniques, which measure logic delays at run time and activate registers accordingly, are inherently more robust than their synchronous counterparts, which estimate worst-case delays at design time, and constrain the clock cycle accordingly. De-synchronization is a new paradigm to automate the design of asynchronous circuits from synchronous specifications, thus permitting widespread adoption of asynchronicity, without requiring special design skills or tools. In this paper, we first of all study different protocols for de-synchronization and formally prove their correctness, using techniques originally developed for distributed deployment of synchronous language specifications. We also provide a taxonomy of existing protocols for asynchronous latch controllers, covering in particular the four-phase handshake protocols devised in the literature for micro-pipelines. We then propose a new controller which exhibits provably maximal concurrency, and analyze the performance of desynchronized circuits with respect to the original synchronous optimized implementation. We finally prove the feasibility and effectiveness of our approach, by showing its application to a set of real designs, including a complete implementation of the DLX microprocessor architectur

    ARMD Workshop on Materials and Methods for Rapid Manufacturing for Commercial and Urban Aviation

    Get PDF
    This report documents the goals, organization and outcomes of the NASA Aeronautics Research Mission Directorates (ARMD) Materials and Methods for Rapid Manufacturing for Commercial and Urban Aviation Workshop. The workshop began with a series of plenary presentations by leaders in the field of structures and materials, followed by concurrent symposia focused on forecasting the future of various technologies related to rapid manufacturing of metallic materials and polymeric matrix composites, referred to herein as composites. Shortly after the workshop, questionnaires were sent to key workshop participants from the aerospace industry with requests to rank the importance of a series of potential investment areas identified during the workshop. Outcomes from the workshop and subsequent questionnaires are being used as guidance for NASA investments in this important technology area

    Challenges and Status on Design and Computation for Emerging Additive Manufacturing Technologies

    Get PDF
    The revolution of additive manufacturing (AM) has led to many opportunities in fabricating complex and novel products. The increase of printable materials and the emergence of novel fabrication processes continuously expand the possibility of engineering systems in which product components are no longer limited to be single material, single scale, or single function. In fact, a paradigm shift is taking place in industry from geometry-centered usage to supporting functional demands. Consequently, engineers are expected to resolve a wide range of complex and difficult problems related to functional design. Although a higher degree of design freedom beyond geometry has been enabled by AM, there are only very few computational design approaches in this new AM-enabled domain to design objects with tailored properties and functions. The objectives of this review paper are to provide an overview of recent additive manufacturing developments and current computer-aided design methodologies that can be applied to multimaterial, multiscale, multiform, and multifunctional AM technologies. The difficulties encountered in the computational design approaches are summarized and the future development needs are emphasized. In the paper, some present applications and future trends related to additive manufacturing technologies are also discussed

    Developing a concurrent methodology for standard-cell library generation

    Full text link

    Intelligent systems in manufacturing: current developments and future prospects

    Get PDF
    Global competition and rapidly changing customer requirements are demanding increasing changes in manufacturing environments. Enterprises are required to constantly redesign their products and continuously reconfigure their manufacturing systems. Traditional approaches to manufacturing systems do not fully satisfy this new situation. Many authors have proposed that artificial intelligence will bring the flexibility and efficiency needed by manufacturing systems. This paper is a review of artificial intelligence techniques used in manufacturing systems. The paper first defines the components of a simplified intelligent manufacturing systems (IMS), the different Artificial Intelligence (AI) techniques to be considered and then shows how these AI techniques are used for the components of IMS

    Continual improvement: A bibliography with indexes, 1992-1993

    Get PDF
    This bibliography lists 606 references to reports and journal articles entered into the NASA Scientific and Technical Information Database during 1992 to 1993. Topics cover the philosophy and history of Continual Improvement (CI), basic approaches and strategies for implementation, and lessons learned from public and private sector models. Entries are arranged according to the following categories: Leadership for Quality, Information and Analysis, Strategic Planning for CI, Human Resources Utilization, Management of Process Quality, Supplier Quality, Assessing Results, Customer Focus and Satisfaction, TQM Tools and Philosophies, and Applications. Indexes include subject, personal author, corporate source, contract number, report number, and accession number

    NON-PERIODIC LATTICE STRUCTURE DESIGN FOR ADDITIVE MANUFACTURING

    Get PDF
    Department of Mechanical EngineeringAs manufacturability of lattice structures has been relaxed with the availability of additive manufacturing (AM) technology, the study of cellular structure optimization has seen a rapid development during the past decade. Numerous design approaches for lattice structures have been proposed to help designers fabricate efficient lattice model. Generally, these approaches demand for unbearable computational cost and prior knowledge. To overcome the drawbacks of existing methods, Choi et al. proposes a simple framework of generating non-periodic lattice structures using topologically pre-optimized building blocks. However, this method does not properly consider the manufacturability of the lattice structure by neglecting additive manufacturing constraints in the design process. This thesis suggests a strategy to consider manufacturing constraints for the AM process in a contemporary lattice structure generation framework, in this case, Choi et al. work. The proposed method is devised to take full advantage of the already existing components, i.e. building block library, in order not to add complexity in the overall process. Considering the manufacturability of the lattice designs, an algorithm derived from the STL slicing method is introduced in the selection process to replace unprintable building blocks for optimal microstructure. Finally, numerical examples are presented, and reasonable solutions have been obtained to show the feasibility of the proposed method.clos
    • …
    corecore