VLSI芯片的可测试性、可调试性、可制造性和可维护性设计

CMOS器件进入深亚微米阶段，VLSI集成电路（IC）继续向高集成度，高速度，低功耗发展，使得IC在制造、设计、封装，测试上都面临新的挑战，测试已从IC设计流程的后端移至前端，VLSI芯片可测试性设计已成为IC设计中必不可少的一部分，本文介绍近几年来VLSI芯片可测试性设计的趋势，提出广义可测试性设计（TDMS技术）概念，即可测试试性，可调试性，可制造性和可维护性设计，并对可调试性设计方法学和广义可测试性设计的系统化方法作了简单介绍。     

A renewable, modular, and time-responsive DNA circuit

In this article, we introduce a new design for DNA logic gates based on enzymatic restriction of DNA strands. We present a construction for a set of one and two-input logic gates and argue that our construction can be generalized to implement any Boolean operation. A key feature of our design is its time-responsiveness, in the presence of appropriate fuels our circuit can operate continuously and generate a time-dependent output in response to a time-dependent input. Moreover, modulo connectivity information, the strand design and circuit design phases are decoupled.     

Digital twin-based designing of the configuration,motion, control,and optimization model of a flow-type smart manufacturing system

Digital twins can achieve hardware-in-the-loop simulation of both physical equipment and cyber model, which could be used to avoid the considerable cost of manufacturing system reconfiguration if the design deficiencies are found in the deployment process of the traditional irreversible design approach. Based on the digital twin technology, a quad-play CMCO (i.e., Configuration design-Motion planning-Control development-Optimization decoupling) design architecture is put forward for the design of the flow-type smart manufacturing system in the Industry 4.0 context. The iteration logic of the CMCO design model is expounded. Two key enabling technologies for enabling the customized and software-defined design of flow-type smart manufacturing systems are presented, including the generalized encapsulation of the quad-play CMCO model and the digital twin technique. A prototype of a digital twin-based manufacturing system design platform, named Digital Twin System, is presented based on the CMCO model. The digital twin-based design platform is verified with a case study of the hollow glass smart manufacturing system. The result shows that the Digital Twin System-based design approach is feasible and efficient.     

一种新型控制的ZCT-PWM变换器的分析、设计与实现

详细分析并实现了一种新型的ZCT-PWMBuck变换器,该变换器的主管和辅管均可实现零电压/零电流开关,并且电路可工作在较宽的负载范围内。试验结果证实了理论分析和设计的正确性与可行性。     

Disaggregation,approximate disaggregation,and design of suboptimal control

A model for perfect disaggregation is derived which is different from that proposed by Aoki (1978). It is shown that the disaggregation defined is a dual concept of aggregation and can be used to reduce control design. Perfect disaggregation cannot be attained in general. In this case, approximate disaggregation may be obtained as a dual of approximate aggregation using an algorithm recently proposed. The resulting reduced design is suboptimal     

Design concept evaluation considering information reliability,uncertainty, and subjectivity: An integrated rough-Z-number-enhanced MCGDM methodology

Design concept evaluation plays a vital role in new product development due to its critical impact on successive design activities as well as the novelty and competence of the final product. Lots of decision-making techniques have been developed for the design concept evaluation under various contexts. However, existing methods mainly focus on the evaluation under precise environments or fuzzy set scenarios. Whereas in reality, most risk assessments are derived from experts’ subjective judgments. The reliability of the evaluation is rarely taken into consideration. To bridge this gap, this study proposes a rough-Z-number-enhanced MCGDM (multi-criteria group decision-making) to resolve the design concept evaluation considering information reliability, uncertainty, and subjectivity. A rough-Z-number is introduced to incorporate into the MCGDM framework to represent the individual evaluation and aggregate group risk assessments. A rough-Z-number-based AHP (analytic hierarchy process) is presented to determine the criteria weights. A rough-Z-number-based MABAC (multi-attributive border approximation area comparison) is proposed to rank the design concepts. Experiments and comparative analyses demonstrate the advantage of the rough-Z-number extended MCGDM in complex and uncertain decision-making environments. With the rough-Z-number-based enhancement, the information reliability, uncertainty, and subjectivity in design concept evaluation are well characterized.     

Product design, semantics and emotional response

This paper explores theoretical issues in ergonomics related to semantics and the emotional content of design. The aim is to find answers to the following questions: how to design products triggering "happiness" in one's mind; which product attributes help in the communication of positive emotions; and finally, how to evoke such emotions through a product. In other words, this is an investigation of the "meaning" that could be designed into a product in order to "communicate" with the user at an emotional level. A literature survey of recent design trends, based on selected examples of product designs and semantic applications to design, including the results of recent design awards, was carried out in order to determine the common attributes of their design language. A review of Good Design Award winning products that are said to convey and/or evoke emotions in the users has been done in order to define good design criteria. These criteria have been discussed in relation to user emotional responses and a selection of these has been given as examples.     

Product design,semantics and emotional response

This paper explores theoretical issues in ergonomics related to semantics and the emotional content of design. The aim is to find answers to the following questions: how to design products triggering ‘happiness’ in one's mind; which product attributes help in the communication of positive emotions; and finally, how to evoke such emotions through a product. In other words, this is an investigation of the ‘meaning’ that could be designed into a product in order to ‘communicate’ with the user at an emotional level. A literature survey of recent design trends, based on selected examples of product designs and semantic applications to design, including the results of recent design awards, was carried out in order to determine the common attributes of their design language. A review of Good Design Award winning products that are said to convey and/or evoke emotions in the users has been done in order to define good design criteria. These criteria have been discussed in relation to user emotional responses and a selection of these has been given as examples.     

Structured logical design of information systems: A methodology,documentation and experience

A methodology for the logical design of Information Systems is presented. This methodology emphasizes structure design. It is based on a precise and extended concept of system logical design, which leads to consider management and organizational factors that have been ignored by most methods. A well-defined procedure for generating the “best” design and attaining a sound and complete system logical specification is the main practical contribution. The methodology has several years of successful testing by many people in practice. The use of computerized techniques in supporting the systems logical design process is also reported.     

On the multi‐resonant antennas: Theory,history, and new development

A survey of multi‐resonant antennas is comprehensively presented, with emphasis on theoretical framework, design approaches, and practical examples. This article begins with a brief history of the multi‐resonant dipole theory, and then concentrates on the design approaches that have been developed to typical, basic antenna elements, for example, electric dipole antenna, slotline antenna, loop antenna, complementary dipole antenna, and microstrip patch antenna. Design examples for different practical applications are then raised. In final, the multi‐resonant antenna design approach is summarized and compared to some relevant antenna design techniques.     

Recursive Observer Design, Homogeneous Approximation, and Nonsmooth Output Feedback Stabilization of Nonlinear Systems

We present a nonsmooth output feedback framework for local and/or global stabilization of a class of nonlinear systems that are not smoothly stabilizable nor uniformly observable. A systematic design method is presented for the construction of stabilizing, dynamic output compensators that are nonsmooth but HÖlder continuous. A new ingredient of the proposed output feedback control scheme is the introduction of a recursive observer design algorithm, making it possible to construct a reduced-order observer step-by-step, in a naturally augmented manner. Such a nonsmooth design leads to a number of new results on output feedback stabilization of nonlinear systems. One of them is the global stabilizability of a chain of odd power integrators by HÖlder continuous output feedback. The other one is the local stabilization using nonsmooth output feedback for a wide class of nonlinear systems in the Hessenberg form studied in a previous paper, where global stabilizability by nonsmooth state feedback was already proved to be possible.     

Specification-led design for interface simulation. Collecting use-data, interactive help, writing manuals, analysis, comparing alternative designs, etc.

This paper shows how to combine a substantial part of the product development cycle of interactive devices into a single, coordinated approach. Much can be derived automatically from a suitable specification of the interactive device. Normal product development has a device specified and built, then has its manuals written, then it is used and tested. At this late stage design problems may be identified, but it is now too late: usability studies become academic in so far as the particular product is concerned, since it is already effectively in production. It would be better if the testing and manual writing could rapidly be obtained from the initial specification, before any investment has been made in fabrication. This paper offers a design approach that achieves this, and it shows how the various views of the design can be used to help improve each other; for instance, the automatically generated user manual can be fed back to suggest improvements in the design. A microwave cooker is used as a real example. This paper provides full and unabridged details of everything it discusses by usingMathematica as a rapid prototyping environment. Any similar device can be analysed in the same way, directly from the paper (which is available on the World Wide Web).     

Data-driven,using design of dynamic experiments,versus model-driven optimization of batch crystallization processes

A new data-driven experimental design methodology, design of dynamic experiments (DoDE), is proposed as a means of developing a response surface model that can be used to effectively optimize batch crystallization processes. This data-driven approach is especially useful for complex processes for which it is difficult or impossible to develop a knowledge-driven model in a timely fashion for the optimization of an industrial process. Design of dynamic experiments [1] generalizes the formulation of time-invariant design variables from design of experiments, allowing for consideration of time-variant design variables in the experimental design. When combined with response surface modeling and an appropriate optimization algorithm, a data-driven optimization methodology is produced, which we call DoDE optimization. The method is used here to determine the optimal cooling rate profile, which integrates to give the optimum temperature profile, for a batch crystallization process. To examine the effectiveness of the DoDE optimization method, the data-driven optimum temperature profile is compared to the optimum temperature profile obtained using a model-based optimization technique for the potassium nitrate–water batch crystallization model developed by Miller and Rawlings [2]. The temperature profiles calculated using DoDE optimization yield response values within a few percent of the true model-based optimum values. A sensitivity analysis is performed on one case study to evaluate the distribution of the response variable from each method in the presence of parameter and initial seed distribution variability. It is demonstrated that there is partial overlap in the distributions when only variability in the model parameters is evaluated and there is substantial overlap when variability is included in both the model and initial seed distribution parameters. From this evidence, it can be concluded that the DoDE optimization method has the potential to be a useful data-driven optimization tool for batch crystallization processes where a first-principles model is not available or cannot be developed due to time and/or cost constraints.     

Overlapping decompositions, expansions, contractions, and stabilityof hybrid systems

Inclusion and extension principles are defined and studied for hybrid systems. The controller design problem for hybrid systems is then considered within the framework of the extension principle. It is shown that if the extension principle is used, then any controller designed in the expanded spaces is contractible to the original spaces for implementation. The stability of hybrid systems is also considered. A number of definitions of stability for hybrid systems are given and it is shown that if a system, which includes another system, is stable, then the included system is also stable. Furthermore, it is shown that, if a controller designed for the expanded system achieves stability, then the contracted controller also achieves stability for the original system. Decentralized controller design with overlapping decompositions is also discussed within the framework of extension. An example is provided to illustrate the proposed approach     

Generation and evaluation of product concepts by integrating extended axiomatic design,quality function deployment and design structure matrix

Existing product concept generation and evaluation methods are mainly based on designers' experience to determine design schemes in the process of product development, which is time-consuming and ineffective. This paper proposes an approach to generate and evaluate design concepts by integrating the extended axiomatic design, quality function deployment and design structure matrix. Different design domains are mapped for matrix operations to generate feasible concepts based on design criteria. A domain mapping matrix is built to determine technical measures, functional requirements and design parameters based on customer requirements. The proposed approach provides a structured method to quantify, validate and qualify design concepts. A case study of the design of a hand rehabilitation device demonstrates the effectiveness of the proposed method.     

Design,analysis, set-up fabrication,control, and a novel analytical approach of a levitation prototype for a symmetric shaped object

This paper highlights the design, electromagnetic analysis, system modelling, set-up fabrication, and finally control of an attraction type lab developed levitation prototype. The objectives of this work are parameters' evaluation, for example, force, inductance, and current-air-gap characteristics using a novel analytical model, electromagnetic results, and practical experiments. The FE model has been built using standard packages. A novel permeance function-based approach is developed for the analytical evaluation of parameters. These are verified by actual experiments too with excellent correlation between the sets of results. Agreement between analytical and practical values also show that the modelling is perfect and reliable which further leads to accurate design, fabrication, and implementation of the controller. A simple but reliable controller has been designed, analyzed, and implemented. The performances have been significantly improved. Finally, the steel object has been successfully and steadily levitated in robust condition.     

Centralized and decentralized supervisory controller design to enforce boundedness,liveness, and reversibility in Petri nets

Supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets is considered. The Petri nets considered may have non-unity weight arcs and both controllable and uncontrollable transitions. Algorithms for a centralized controller design approach are first developed. The developed algorithms always find a controller whenever it exists. This controller enforces boundedness, liveness, and reversibility; it also avoids deadlock. Furthermore, it is shown that the controller obtained is the least restrictive controller among all controllers which enforce desired properties. A decentralized controller design approach, based on overlapping decompositions, is then introduced. Algorithms to design decentralized controllers based on this approach are also developed. These controllers, when they exist, also guarantees boundedness, liveness, reversibility and deadlock freeness. The decentralized controllers have two main advantages over the centralized ones. First, they have reduced on-line computation and communication requirements. Second, the computational time required to design decentralized controllers is considerably less than that required for centralized controllers.     

Semantics,dynamics tradeoff in relational database design

This paper gives some objections to the artificial separation of the semantics and dynamics aspects of the application during the database design process. It is suggested that both aspects of the application should play a role throughout the design stages (logical and physical) in order to produce a workable schema that captures the real usage picture of the intended application. A simple method that “trades” semantics and dynamics is proposed to provide a common yardstick to measure the “goodness” of the database design. To narrow the scope of the problem a bit, we will concentrate on the database design for the relational model.     

Service,quality and human factors

As pressures on the service economy from globalisation increase, new techniques may be appropriate for designing service systems. This paper examines the tradition of service quality and argues that its unique characteristics, such as the joint production of offerings by operators and customers, could benefit from the techniques of human factors. The interaction between human factors and quality is reviewed and four issues are extracted that should be directly applicable to service encounters. These are interface design, the understanding of error causation, a design for operator well-being and human/automation function allocation. A framework is proposed for considering technology explicitly in the design of service systems.