The changing face and role of CACSD

Computer Aided Control Engineering involves three parallel streams: Simulation and modelling, Control system design (off-line), and Controller implementation. In industry the bottleneck problem has always been modelling, and this remains the case - that is where control (and other) engineers put most of their technical effort. Although great advances in software tools have been made, the cost of modelling remains very high - too high for some sectors. Object-oriented modelling, enabling truly re-usable models, seems to be the key enabling technology here. Software tools to support control systems design have two aspects to them: aiding and managing the work-flow in particular projects (whether of a single engineer or of a team), and provision of numerical algorithms to support control-theoretic and systems-theoretic analysis and design. The numerical problems associated with linear systems have been largely overcome, so that most problems can be tackled routinely without difficulty - though problems remain with (some) systems of extremely large dimensions. Recent emphasis on control of hybrid and/or constrained systems is leading to the emerging importance of geometric algorithms (ellipsoidal approximation, polytope projection, etc). Constantly increasing computational power is leading to renewed interest in design by optimisation, an example of which is MPC. The explosion of embedded control systems has highlighted the importance of autocode generation, directly from modelling/simulation products to target processors. This is the 'new kid on the block', and again much of the focus of commercial tools is on this part of the control engineer's job. Here the control engineer can no longer ignore computer science (at least, for the time being). © 2006 IEEE.

The changing face and role of CACSD

Computer Aided Control Engineering involves three parallel streams: Simulation and modelling, Control system design (off-line), and Controller implementation. In industry the bottleneck problem has always been modelling, and this remains the case - that is where control (and other) engineers put most of their technical effort. Although great advances in software tools have been made, the cost of modelling remains very high - too high for some sectors. Object-oriented modelling, enabling truly re-usable models, seems to be the key enabling technology here. Software tools to support control systems design have two aspects to them: aiding and managing the work-flow in particular projects (whether of a single engineer or of a team), and provision of numerical algorithms to support control-theoretic and systems-theoretic analysis and design. The numerical problems associated with linear systems have been largely overcome, so that most problems can be tackled routinely without difficulty - though problems remain with (some) systems of extremely large dimensions. Recent emphasis on control of hybrid and/or constrained systems is leading to the emerging importance of geometric algorithms (ellipsoidal approximation, polytope projection, etc). Constantly increasing computational power is leading to renewed interest in design by optimisation, an example of which is MPC. The explosion of embedded control systems has highlighted the importance of autocode generation, directly from modelling/simulation products to target processors. This is the 'new kid on the block', and again much of the focus of commercial tools is on this part of the control engineer's job. Here the control engineer can no longer ignore computer science (at least, for the time being). ©2006 IEEE.

A polymer waveguide-based 40 Gb/s optical bus backplane for board-level optical interconnects

Optical interconnects are increasingly considered for use in high-performance electronic systems. Multimode polymer waveguides are a promising technology for the formation of optical backplanes as they enable cost-effective integration of optical links onto standard printed circuit boards. In this paper, we present a 40 Gb/s optical backplane demonstrator based on the use of polymer multimode waveguides and a regenerative shared bus architecture. The system allows bus extension by cascading multiple polymeric bus modules through 3R regenerator units enabling the connection of an arbitrary number of electrical cards onto the bus. The proof-ofprinciple demonstrator reported here is formed with low-cost, commercially-available active devices and electronic components mounted on conventional FR4 substrates and achieves error-free 4×10 Gb/s optical interconnection between any two card interfaces on the bus. © 2013 IEEE.

Amorphous silicon thin film transistor biosensing system

Electronic systems are a very good platform for sensing biological signals for fast point-of-care diagnostics or threat detection. One of the solutions is the lab-on-a-chip integrated circuit (IC), which is low cost and high reliability, offering the possibility for label-free detection. In recent years, similar integrated biosensors based on the conventional complementary metal oxide semiconductor (CMOS) technology have been reported. However, post-fabrication processes are essential for all classes of CMOS biochips, requiring biocompatible electrode deposition and circuit encapsulation. In this work, we present an amorphous silicon (a-Si) thin film transistor (TFT) array based sensing approach, which greatly simplifies the fabrication procedures and even decreases the cost of the biosensor. The device contains several identical sensor pixels with amplifiers to boost the sensitivity. Ring oscillator and logic circuits are also integrated to achieve different measurement methodologies, including electro-analytical methods such as amperometric and cyclic voltammetric modes. The system also supports different operational modes. For example, depending on the required detection arrangement, a sample droplet could be placed on the sensing pads or the device could be immersed into the sample solution for real time in-situ measurement. The entire system is designed and fabricated using a low temperature TFT process that is compatible to plastic substrates. No additional processing is required prior to biological measurement. A Cr/Au double layer is used for the biological-electronic interface. The success of the TFT-based system used in this work will open new avenues for flexible label-free or low-cost disposable biosensors. © 2013 Materials Research Society.

一种实时异构系统的集成动态调度算法

提出了一种实时异构系统的集成动态调度算法.该算法通过一个新的任务分配策略以及软实时任务的服务质量QoS(quality of service)降级策略,不仅以统一方式完成了对实时异构系统中硬、软实时任务的集成动态调度,而且提高了算法的调度成功率.同时,还进行了大量的模拟研究.这些模拟以传统的近视算法为基准,将其应用在实时异构系统集成动态调度时的调度成功率与新算法进行比较,模拟结果表明,在多种任务参数取值下,新算法的调度成功率均高于传统的近视算法.

实时数据库缓冲区管理算法的设计和实现

分析了实时数据库的事务特征,对以往的研究成果进行了总结,以满足事务的按时完成比率(SuccessRatio)为目标,为实时系统设计了一种使用反馈控制思想的基于优先级的实时数据库缓冲区管理算法FCLRU2 dl,并将该算法与常用的实时数据库事务调度算法和并发控制策略配合进行了测试和评估,证明了算法的优越性。实验中得到的另一个结论是在特定的事务调度算法和并发控制策略下,实时数据库不需要全部位于内存中,可以不是内存数据库。

THEORETICAL CALCULATION FOR SHUBNIKOV-DEHAAS OSCILLATIONS IN DEEP MESA STRUCTURES

We have used the rectangular confinement potential to describe Shubnikov-deHaas oscillations produced by one-dimensional electrons confined in deep mesa structures. The edge distortion of the confinement potential caused by electrostatic image forces is taken into account. The model contains no fitting parameters and relates well with experimental data. The comparison with earlier reported parabolic model is presented,

Enantiomeric PLA-PEG block copolymers and their stereocomplex micelles used as rifampin delivery

A novelty approach to self-assembling stereocomplex micelles by enantiomeric PLA-PEG block copolymers as a drug delivery carrier was described. The particles were encapsulated by enantiomeric PLA-PEG stereocomplex to form nanoscale micelles different from the microspheres or the single micelles by PLLA or PDLA in the reported literatures. First, the block copolymers of enantiomeric poly(L-lactide)-poly(ethylene-glycol) (PLLA-PEG) and poly(D-lactide)-poly(ethylene-glycol) (PDLA-PEG) were synthesized by the ring-opening polymerization of L-lactide and D-lactide in the presence of monomethoxy PEG, respectively. Second, the stereocomplex block copolymer micelles were obtained by the self-assembly of the equimolar mixtures of enantiomeric PLA-PEG copolymers in water. These micelles possessed partially the crystallized hydrophobic cores with the critical micelle concentrations (cmc) in the range of 0.8-4.8 mg/l and the mean hydrodynamic diameters ranging from 40 to 120 nm. The micelle sizes and cmc values obviously depended on the hydrophobic block PLA content in the copolymer.Compared with the single PLLA-PEG or PDLA PEG micelles, the cmc values of the stereocomplex micelles became lower and the sizes of the stereocomplex micelles formed smaller. And lastly, the stereocomplex micelles encapsulated with rifampin were tested for the controlled release application.

Flexibility and Efficiency in a Computer Program for Designing Circuits

This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem solver with built-in-control-structure concepts. This problem solver and its knowledge base in the applicaitn areas of design and electronics are descrbed. The prgram embodying it is being used to explore the solutionof some modest problems in circuit design. It is concluded that shallow reasoning about problem-solver plans is necessary for flexibility, and can be implemented with reasonable efficiency.

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.

Global value Chains, rising power firms and economic and social upgrading

© Emerald Group Publishing Limited.Purpose – The purpose of this paper is to introduce the global value chain (GVC) approach to understand the relationship between multinational enterprises (MNEs) and the changing patterns of global trade, investment and production, and its impact on economic and social upgrading. It aims to illuminate how GVCs can advance our understanding about MNEs and rising power (RP) firms and their impact on economic and social upgrading in fragmented and dispersed global production systems. Design/methodology/approach – The paper reviews theGVCliterature focusing on two conceptual elements of the GVC approach, governance and upgrading, and highlights three key recent developments in GVCs: concentration, regionalization and synergistic governance. Findings – The paper underscores the complicated role of GVCs in shaping economic and social upgrading for emerging economies, RP firms and developing country firms in general. Rising geographic and organizational concentration in GVCs leads to the uneven distribution of upgrading opportunities in favor of RP firms, and yet economic upgrading may be elusive even for the most established suppliers because of power asymmetry with global buyers. Shifting end markets and the regionalization of value chains can benefit RP firms by presenting alternative markets for upgrading. Yet, without further upgrading, such benefits may be achieved at the expense of social downgrading. Finally, the ineffectiveness of private standards to achieve social upgrading has led to calls for synergistic governance through the cooperation of private, public and social actors, both global and local. Originality/value – The paper illuminates how the GVC approach and its key concepts can contribute to the critical international business and RP firms literature by examining the latest dynamics in GVCs and their impacts on economic and social development in developing countries.

Exploiting virtual prototyping for reliability assessment

Products manufactured by the electronics sector are having a major impact in telecommunications, transportation space applications, biomedical applications, consumer products, intelligent hand held devices, and of course,the computer. Demands from end-users in terms of greater product functionality, adoption of environmentally friendly materials, and further miniaturization continually pose several challenges to electronics companies. In the context of electronic product design and manufacture, virtual prototying software tools are allowing companies to dramatically reduce the number of phsysical prototypes and design iterations required in product development and hence reduce costs and time to market. This paper details of the trends in these technolgies and provides an example of their use for flip-chip assembly technology.

Modelling the effect of temperature on product reliability

Reliability of electronic parts is a major concern for many manufacturers, since early failures in the field can cost an enormous amount to repair - in many cases far more than the original cost of the product. A great deal of effort is expended by manufacturers to determine the failure rates for a process or the fraction of parts that will fail in a period of time. It is widely recognized that the traditional approach to reliability predictions for electronic systems are not suitable for today's products. This approach, based on statistical methods only, does not address the physics governing the failure mechanisms in electronic systems. This paper discusses virtual prototyping technologies which can predict the physics taking place and relate this to appropriate failure mechanisms. Simulation results illustrate the effect of temperature on the assembly process of an electronic package and the lifetime of a flip-chip package.