Analog and Mixed Signal Verification

More and more electronic systems have components that are not purely digital. Verification of such systems is a much less developed discipline than the digital equivalents and the application of formal (mathematically complete) techniques is a nascent area. In this paper, we will discuss the nature of analog circuit design and describe the way verification is done in practice today. We will describe some “formal” approaches coming from the analog design community. We will describe some of the approaches to formal verification that have been presented in recent literature. Finally, we will mention some areas where there are opportunities for future work

AI and OR in management of operations: history and trends

The last decade has seen a considerable growth in the use of Artificial Intelligence (AI) for operations management with the aim of finding solutions to problems that are increasing in complexity and scale. This paper begins by setting the context for the survey through a historical perspective of OR and AI. An extensive survey of applications of AI techniques for operations management, covering a total of over 1200 papers published from 1995 to 2004 is then presented. The survey utilizes Elsevier's ScienceDirect database as a source. Hence, the survey may not cover all the relevant journals but includes a sufficiently wide range of publications to make it representative of the research in the field. The papers are categorized into four areas of operations management: (a) design, (b) scheduling, (c) process planning and control and (d) quality, maintenance and fault diagnosis. Each of the four areas is categorized in terms of the AI techniques used: genetic algorithms, case-based reasoning, knowledge-based systems, fuzzy logic and hybrid techniques. The trends over the last decade are identified, discussed with respect to expected trends and directions for future work suggested

Vision Science and Technology at NASA: Results of a Workshop

A broad review is given of vision science and technology within NASA. The subject is defined and its applications in both NASA and the nation at large are noted. A survey of current NASA efforts is given, noting strengths and weaknesses of the NASA program

High definition systems in Japan

The successful implementation of a strategy to produce high-definition systems within the Japanese economy will favorably affect the fundamental competitiveness of Japan relative to the rest of the world. The development of an infrastructure necessary to support high-definition products and systems in that country involves major commitments of engineering resources, plants and equipment, educational programs and funding. The results of these efforts appear to affect virtually every aspect of the Japanese industrial complex. The results of assessments of the current progress of Japan toward the development of high-definition products and systems are presented. The assessments are based on the findings of a panel of U.S. experts made up of individuals from U.S. academia and industry, and derived from a study of the Japanese literature combined with visits to the primary relevant industrial laboratories and development agencies in Japan. Specific coverage includes an evaluation of progress in R&D for high-definition television (HDTV) displays that are evolving in Japan; high-definition standards and equipment development; Japanese intentions for the use of HDTV; economic evaluation of Japan's public policy initiatives in support of high-definition systems; management analysis of Japan's strategy of leverage with respect to high-definition products and systems

Technological capability building through networking strategies within high-tech industries

Learning through networks has been considered as an important research topic for several years now. Technological learning is more and more based on a combination of internal and external learning and firms need to develop both technological and social capital for that purpose. This paper analyses the relationship between both types of capital and their impact on the technological performance of companies in high-tech industries. We claim and find empirical evidence for decreasing marginal returns on social capital. Technological capital and social capital mutually reinforce each other's effect on the rate of innovation for companies with small patent and alliance portfolios. However, when the patent portfolio and network of alliances are extensive, companies risk to over-invest since optimal levels of social capital become smaller at higher levels of technological capital and the marginal benefits of investing in technological capital decreases the higher the levels of social capital. Finally, we find empirical evidence that companies that explore novel and pioneering technologies have higher levels of innovation performance in subsequent years than companies that solely invest in incremental innovations.Strategic Alliances, Networks, Innovation

The evolution and change of building facades: A research for developing alternative composite surface materials

Thesis (Master)--İzmir Institute of Technology, Architecture, İzmir, 2007Includes bibliographical references (leaves: 107-110)Text in English; Abstract: Turkish and Englishxi, 110 leavesCladding of buildings is an important and commonly applied activity area of building sector. As it is known major purpose of cladding is to separate the indoor environment from the outdoors in such a way that indoor environment conditions can be maintained at level suitable for the buildings intended use. Therefore from the functional point of view it can be defined as, the part of the building that is non load bearing exterior wall that must defend the interior spaces against invasion by water, wind, sun, light, heat and cold, and all the other forces of nature. Besides this it must also fulfill the aesthetic, economic and security consideration. The design of the building façade has become much more complicated with development of new methods of construction, the requirements for a highly controlled interior environments, stress on energy efficiency, advent of materials and new production methods. But it seems that available technologies on ordinary building sector relay on the analog production methods. Analog production process depends on technical drawings and the interpretation of drawings. The human interpretation is the basics of the systems. On the other hand, new design tools that introduced by computer aided design programs proposes new conceptions of space that beyond the limits of Cartesian understanding of form and construction. It is known that computer aided design and production methods are applied pervasively in numerous different sectors. Articulation of computer aided design and manufacturing processes with digitally driven assemblage methods is an important task that is expected to be solved by the building sector. Building envelope systems as being one of the most important building component from the points of both identity and utility of buildings, is has to be reconsidered as a part of the adaptation of whole construction sector. It is also a measure of responsibility on the part of architects. Besides material design, production processes, and connection details of the components with the other parts of the building are the other important dimensions of the envelope systems

FPGA design methodology for industrial control systems—a review

This paper reviews the state of the art of fieldprogrammable gate array (FPGA) design methodologies with a focus on industrial control system applications. This paper starts with an overview of FPGA technology development, followed by a presentation of design methodologies, development tools and relevant CAD environments, including the use of portable hardware description languages and system level programming/design tools. They enable a holistic functional approach with the major advantage of setting up a unique modeling and evaluation environment for complete industrial electronics systems. Three main design rules are then presented. These are algorithm refinement, modularity, and systematic search for the best compromise between the control performance and the architectural constraints. An overview of contributions and limits of FPGAs is also given, followed by a short survey of FPGA-based intelligent controllers for modern industrial systems. Finally, two complete and timely case studies are presented to illustrate the benefits of an FPGA implementation when using the proposed system modeling and design methodology. These consist of the direct torque control for induction motor drives and the control of a diesel-driven synchronous stand-alone generator with the help of fuzzy logic

AI/ML Algorithms and Applications in VLSI Design and Technology

An evident challenge ahead for the integrated circuit (IC) industry in the nanometer regime is the investigation and development of methods that can reduce the design complexity ensuing from growing process variations and curtail the turnaround time of chip manufacturing. Conventional methodologies employed for such tasks are largely manual; thus, time-consuming and resource-intensive. In contrast, the unique learning strategies of artificial intelligence (AI) provide numerous exciting automated approaches for handling complex and data-intensive tasks in very-large-scale integration (VLSI) design and testing. Employing AI and machine learning (ML) algorithms in VLSI design and manufacturing reduces the time and effort for understanding and processing the data within and across different abstraction levels via automated learning algorithms. It, in turn, improves the IC yield and reduces the manufacturing turnaround time. This paper thoroughly reviews the AI/ML automated approaches introduced in the past towards VLSI design and manufacturing. Moreover, we discuss the scope of AI/ML applications in the future at various abstraction levels to revolutionize the field of VLSI design, aiming for high-speed, highly intelligent, and efficient implementations