The structure determination for the time-optimal system design algorithm

An external contractor receives a payment from a manufacturer for periodically performing preventive maintenance and for performing minimal repairs whenever process failures occur. Suppose a new technology will be available in the future, but the timing is uncertain. We propose specifying one or multiple time points in a maintenance contract, at which the manufacturer can adopt (switch to) the new technology, if it becomes available, and change the preventive maintenance schedule for the remaining time in the contract period. A model is developed to determine the value of using these (switch) points in a maintenance contract to the manufacturer. The numerical results show that, with a higher arrival rate of the new technology, the value becomes greater, and thus, the optimal switch point should be set earlier. Furthermore, if the new technology reduces maintenance costs, using switch points adds more value to a cost-plus-margin method than either the fixed payment or cost-plus-fixed-fee methods. On the other hand, if adopting the new technology results in higher maintenance costs, the value using switch points is higher for the fixed payment method.

The problem of analog system design for a minimal computer time has been formulated as the functional minimization problem of the control theory. The design process in this case is formulated as the controllable dynamic system. The optimal sequence of the control vector switch points was determined as a principal characteristic of the minimal-time system design algorithm. The different forms of the Lyapunov function were proposed to analyze the behavior of design process. The special function that is a combination of Lyapunov function and its time derivative was proposed to predict the optimal control vector structure.

Welcome to the DATE 08 Conference Proceedings. DATE combines the world's favourite electronic systems design conference and Europe's leading international exhibition for electronic design, automation and test, from system level hardware and software implementation right down to integrated circuit design. The DATE 08 event features a technical program with 77 sessions covering the latest developments in system design and embedded software, IC design/test methodologies and EDA tools, together with an exhibition with the leading EDA, silicon and IP providers showing their new products and services. Challenges that you all face or soon will face in your daily practice are the increasing design complexity of highly integrated systems, the introduction of reconfigurability and embedded software, and the control of power and variability in nanometer IC designs. All these issues will be addressed in this year's DATE event. For the 11th successive year DATE has prepared an exciting technical programme, with the help of the more than 400 members of the Technical Programme Committee, who dedicated their time to thoroughly review the 839 submissions in 37 topics, ranging from system level down to circuit design and covering all the most relevant application domains. The submissions are organised in 4 major areas: D --- Design Methods, Tools, Algorithms and Languages A --- Application Design T --- Test Methods, Tools and Innovative Experiences E --- Embedded Software After a thorough review and selection process (with an average of 5 reviews per paper), finally 198 regular papers were selected for presentation at the conference. Additionally, there are 46 Interactive Presentations that are organised in 5 IP sessions. Together with the invited special sessions (panels, embedded tutorials and hot topic sessions), this has resulted in a high-quality technical program. The technical program provides a wide but high-quality coverage of design, design automation and test topics, from the system level to the integrated circuit level. Compared with previous years, submissions in the Embedded Software track has increased by 50%, showing a clear trend towards a comprehensive system design focus with integrated hardware and software solutions. DATE has established itself firmly as a true Electronic System Design Conference. This year the conference is held in Germany, at the ICM in Munich and spans an entire working week from Monday March 10 to Friday March 14. On Monday, eleven pre-conference tutorials will be given. The three-full day tutorials cover topics of great interest for system design. The first tutorial deals with techniques to automatically realising embedded system from high-level functional models. The second tutorial addresses the different issues related to communication based design and architectures in automotive electronic systems. The third tutorial discusses several key concepts on system-level design and application mapping for wireless and multimedia MPSoC architectures. Furthermore, eight half-day tutorials are also given, which cover a wide spectrum of topics on specification, modelling, design and test. The main conference opens on Tuesday March 11, with two very interesting and complementary keynote speeches. Dominique Vernay, Chief Technical Officer for Thales, will talk about the challenges of embedded systems design, and Giovanni de Micheli, Professor at EPFL, will present his views on designing micro/nano systems for a safer and healthier tomorrow. On the same day, the Executive Track offers a series of business panels with executives discussing hot topics in design: the perils of 45 nanometers, the changes in EDA strategies from IDM, to fablite to fabless, and embedded systems level design strategies. DATE 08 will again offer two specific days related to special themes. On Wednesday March 12, a special full-day track is devoted to Automotive Electronics---Software and Architecture. This special-day track will focus on the challenges faced by the automotive supply chain with particular attention to system and software architecture design. It provides a comprehensive analysis of the evolution of automotive architectures, including ECUs, sensors and communication standards and discusses how new methods, tools and standards for interoperability and component-based design can deal with the increasing complexity of software systems and their need for reliability and guaranteed timely behaviour. In addition, it addresses to what degree existing standards, including AUTOSAR and FLEXRAY and model-based development, can support the development of safety and time-critical software. On Thursday March 13, a second special full-day track focuses on Dependable Embedded Systems. This track will address both conceptual and applied issues for design, analysis and validation of dependable embedded systems. The utility of embedded systems and services is based, in large part, on our depending on their sustained functionality in spite of the encountered operational or malicious disruptions. As the number of transient and also permanent disruptions (given the decreasing device geometries, higher device density, lower voltage latching, faster clocks etc) is expected to increase substantially, this will not only be a key issue for the hardware community but also the systems community in general. Solutions using a combination of hardware and software might be more effective than hardware-only or software-only solutions. This track focuses on both conceptual and applied issues for design, analysis and validation of dependable embedded systems. Besides these special tracks, the main conference is organized in six parallel tracks of sessions, three devoted to design methods, tools, algorithms and languages, one to application design, one to test methods, tools and innovative experiences, and finally one to embedded software. The presentations of the selected regular papers in these parallel tracks are complemented by nine Special Sessions and two Invited Industrial Sessions. The special sessions are organized in the form of panels, hot topics, and embedded tutorials. The topics to be covered include quantitative evaluation for embedded systems design, design and manufacturing at 32 and 22nm, software for wireless networked embedded systems, test challenges for low power devices, quantitative productivity measurement in IC design, and 3D Integration. The two invited industrial sessions deal with industrial system designs in transportation and information technologies. To emphasise that DATE is the major event for the designers, DATE 08 features also invited sessions where Europe's famous consumer industry presents their best designs and design practices. Friday March 14 is the day for the DATE workshops. DATE 08 offers workshops on current and emerging important issues in design, test, EDA and software to complement the regular conference. They provide a unique opportunity for the various research and design communities to spend a day discussing the latest and the best, sharing their experiences and visions. This year's workshop program includes eight workshop themes. Four workshops are related to software engineering, ranging from dependable software to modelling, analysis and development tools. Four other workshop themes cover a variety of topics such as the impact of process variations on design and test, the merging world of Nano-Electro-Mechanical Systems, new directions in high level synthesis, and heterogeneous reconfigurable hardware. Each workshop features presentations, invited or submitted, from highly distinguished academic and industrial researchers. Finally, throughout the conference days, DATE offers a comprehensive overview of commercial design and verification tools in its large exhibition hall. Exhibitors include EDA vendors, silicon, FPGA and IP providers showing their new products and services. In addition, there is an Exhibition Theatre featuring talks from engineering managers of the leading electronic manufacturers on first-hand design experiences of commercial EDA tools. New this year is the European projects village where different European and large government funded projects will be able to show their ongoing research and results to the design community and have the opportunity for internal meetings and discussions. The DATE week will be also an opportunity for students and universities to show their research work, through the PhD Forum on Monday evening and the University Booth where hardware and software demonstrations will be shown by different universities on a rotation schedule. The DATE 08 event's program will be particularly attractive to industrial designers, at analog, IC, FPGA and embedded system level, as well as software designers, to researchers and academics as well as to design managers, and an increasing attendance is expected. We therefore invite you to take full advantage of the many opportunities offered to you by DATE 08, to extend your knowledge and/or business in electronic system's design and to exploit the abundant networking possibilities offered to socialise with colleagues, including fringe meetings and a memorable social party with bands and dancing. We hope that you will all enjoy the DATE 08 Conference and Exhibition.

Energy Efficient Motion Control for a Light Rail Vehicle Using The Big Bang Big Crunch Algorithm

Identifying the optimal switching point between different invasive alien species (IAS) management policies is a very complex task and policy makers are in need of modelling tools to assist them. In this paper we develop an optimal control bioeconomic model to estimate the type of optimal policy and switching point of control efforts against a spreading IAS. We apply the models to the case study of Colorado potato beetle in the UK. The results demonstrate that eradication is optimal for small initial sizes of invasion at discovery. High capacity of the agency to reduce spread velocity for several years leads to smaller total overall costs of invasion and makes eradication optimal for larger sizes of initial invasion. In many cases, it is optimal to switch from control to acceptance within the time horizon. The switching point depends on the capacity of the agency, initial size of invasion, spread velocity of the IAS and the ratio of unit cost of damage and removal. We encourage the integration of the dispersal patterns of the invader and the geometry of the invasion in the theoretical development of the economics of IAS invasion management.

Research on the building energy efficiency design strategy of Chinese universities based on green performance analysis

In the presented investigation some problems of Intelligent Building Blocks (BBs) integration are considered with emphasis on the Hybrid Intelligent Control System (HICS) design. The main target is to guaranty relevant operability of the complex system into each possible operation situation in autonomous mode. A design method is adopted using Case-Base Reasoning (CBR) approach. Each case has by—tuple description, involving arbitrary situation and corresponding control system design (strategy, structure, building blocks, algorithms and tuning parameters). The design procedure aims to incorporate all available information for the current situation—internal state (environment and equipment conditions), economic circumstances (throughput, quality, objective function), limitations (resources, ecological), environmental interconnections (disturbances, variability). A reconfiguration approach is accepted using situation-based control combined with a sequential improvement. The properties of IBB integration are studied giving prominence to knowledge oriented of them—ontology, case- and rule-based reasoning, intelligent agents and multi-agent systems (MAS). The loose integration is accepted in this investigation. A number of simulation results are presented and discussed for variety of Hybrid Intelligent Control Systems (HICS), which confirm the effectiveness of the proposed approach for complex, non-linear, faulty systems with large variability of feasible situations.

In this manuscript, an energy-efficient train operation between successive stations is studied. Cruising and coasting, two basic motion phases of train, should be taken into consideration in order to decrease energy consumption. Determining the optimal switching points from one motion phase into another is key in the energy saving. It is shown that, genetic algorithm and simulated annealing, when employed in a hybrid algorithm, complement each other in finding such switching points. For a performance verification of the hybrid optimization approach, multiple test tracks with different lengths are considered. Also certain real life constraints are taken into account such as punctuality and maximum speed limit. Obtained results are compared to the single genetic algorithm and it is shown that the hybrid algorithm built as a cascade combination of genetic algorithm and simulated annealing can reach optimum solution with better accuracy and lower time consumption.

ObjectiveTo analyse the anatomical conditions of transverse sacroiliac screw (TSS) about the S1 and S2 segments in order to develop and validate a locked navigational template for TSS placement.MethodsA total of 22 patients with sacral fractures were involved in this study from May 2018 to February 2019. Patients were divided into two groups according to the surgery procedure: locked template group and conventional group. The CT data of 90 normal sacra were analysed. The long axis, short axis and lengths of TSS, cancellous corridors were measured through 3D modelling. A patient-specific locked navigation template based on simulated screws was designed and 3D printed and then used to assist in TSS placement. The operative time and radiation times were recorded. The Matta criteria and grading score were evaluated. The entry point deviation of the actual screw placement relative to the simulated screw placement was measured, and whether the whole screw was in the cancellous corridor was ob`served.ResultsS1 screws with a diameter of 7.3 mm could be inserted into 69 pelvises, and S2 screws could be inserted in all pelvises. The S1 cancellous corridor had a long axis of 25.44 ± 3.32 mm in males and 22.91 ± 2.46 mm in females, a short axis of 14.21 ± 2.19 mm in males and 12.15 ± 3.22 mm in females, a corridor length of 153.07 ± 11.99 mm in males and 151.11 ± 8.73 mm in females, and a proportional position of the optimal entry point in the long axis of the cancellous corridor of 35.96 ± 10.31% in males and 33.28 ± 7.2% in females. There were significant differences in the corridor long axis and corridor short axis between sexes (p < 0.05), and there were no significant differences in corridor length and proportional position of the optimal entry point in the long axis of the cancellous corridor between sexes (p > 0.05). The S2 cancellous corridor had a long axis of 17.58 ± 2.36 mm in males and 16 ± 2.64 mm in females, a short axis of 14.21 ± 2.19 mm in males and 13.14 ± 2.2 mm in females, a corridor length of 129.95 ± 0.89 mm in males and 136.5 ± 7.96 mm in females, and a proportional position of the optimal entry point in the long axis of the cancellous corridor of 46.77 ± 9.02% in males and 42.25 ± 11.95% in females. There were significant differences in the long axis, short axis and corridor length (p < 0.05). There was no significant difference in the proportional position of the optimal entry point in the long axis of the cancellous corridor (p > 0.05). A total of 20 transversal sacroiliac screws were successfully implanted into 10 patients with the assistance of locked navigation templates, and a total of 24 transversal sacroiliac screws were successfully implanted into 12 patients under C-arm fluoroscopy. There was a significant difference in surgical time (88 ± 14.76 min vs 102.5 ± 17.12 min, p = 0.048), radiation times (11.5 ± 1.78 vs 54.83 ± 6.59, p < 0.05) and screw grading between two groups (nineteen screws in grade 0, one screw in grade 1 and 0 screws in grade 2 vs fourteen screws in grade 0, 8 screws in grade 1 and 2 screws in grade 2, p = 0.005). All screw entry point deviations were shorter than the short axis of the cancellous corridor, and all screws were located completely within the cancellous corridor.ConclusionApproximately 76% of males and females can accommodate screws with diameters of 7.3 mm in S1, and all persons can accommodate the same screw in S2. From the standard lateral perspective of the sacrum, the optimal entry point of the transverse screw is in the first 1/3 of the cancellous corridor for S1 and the centre of the cancellous corridor for S2. The patient-specific locked navigation template assisted in TSS placement with less operative time, less intraoperative fluoroscopy and higher safety of screw placement compared with traditional surgery.

Human-autonomous has begun to develop into complex system control and advanced intelligent control, and is widely applied to various fields such as national defense, scientific research and economics. The design scheme of an English network teaching system based on artificial intelligence and WBIETS system is proposed in this paper. The transmission and real-time scheduling of English network teaching resources is realized through network supporting layer. The fuzzy clustering algorithm is used for English teaching resource scheduling. In the process of information retrieval, the MAC link reconfiguration model is used for information fusion. The artificial intelligence algorithm is used in the cloud computing environment to carry out the adaptive retrieval and fuzzy control of the English network teaching resources information, and the optimization design of the resource scheduling algorithm is realized. The ActiveX component object model is used to allocate and optimize English network teaching resources, and complete the software development and design of the system. Test results show that the design of the English network teaching system with the proposed method is good for the real-time performance of the English teaching resource scheduling, the resource clustering and distribution ability is strong, the output error rate is reduced, and the artificial intelligence configuration ability of English network teaching is improved.

A design strategy which integrates model reduction by modal cost analysis and a multi-objective controller design is proposed The necessary modeling and control algorithms are easily programmed in Matlab standard software. Hence, this method is very practical for controller design for large space structures. The design algorithm also presents a solution for the very important problem of "tuning" multiple loop controllers (MIMO). In stead of the single change that is used in standard Root Locus and gain and phase margin theories, the new method tunes multiple loop controllers from "low" to "high" gain in a systematic way in the design procedure. This design strategy is applied to NASA's Mini-Mast system at Langley Research Center.

The required time of aircraft turnaround support activity directly affects the aircraft combat effectiveness. Aiming at the problem that the shortest time of support activity is hard to realize under the limited aircraft support resources conditions, the time optimization algorithm based on Branch and Cut Method (BCM) of the aircraft turnaround support activity is given in this paper. The purpose is to achieve the required shortest time of the aircraft turnaround support activity. The constraints are logical relationship between the limited support personnel and the support jobs. The shortest time process is calculated and compiled into computer program. The time optimal simulation system of aircraft turnaround support activity is designed and developed. Finally, a certain type of aircraft real support job is analyzed. The results show that the calculated result is accurate and reliable. It is in line with the actual security and can provide guidance for aircraft turnaround support and decision-making. The reliability and automation level of support activities are enhanced. It has a good application value in engineering.

A genetic algorithm for solving the problem of optimal beam material distribution along length at a given restriction on maximum sagging value is suggested. A review of literature sources is conducted and it was shown that existing solutions cover partial cases only in which the position of the point with maximum sagging was defined previously. In the paper presented I-section beam with constant proportions is considered, i.e., beam width, caps, and web thickness are proportional to beam height in the current cross-section. A statically determined beam is being considered. The load applied to a beam can be arbitrary, including cases of non-symmetrical loads and differently oriented ones. The position of point(s) at which beam sagging is maximum are unknown at the beginning of optimization and are found in the process solution. The problem is solved in the linear definition. Beam mass was assumed to be an optimization criterion. The method of finite differences is used for beam sagging finding, i.e., for the solution of the differential equation of the bending beam with a variable cross-section. Discretization allows transforming the problem of design into the problem of beam height determination at a system of reference points. At this stage, found values of beam height must satisfy restrictions on reference point displacements. The suggested technique allows controlling beam displacement quite flexibly because restrictions on point displacement are considered separately and do not depend on each other. The suggested objective function is the linear superposition of beam mass and the possible penalty in case of beam maximum sagging over exceeding predefined values. The application of a genetic algorithm allows getting sets of beam thicknesses those, which guaranty reaching the minimum of the objective function. The model problem is solved. It is shown that the suggested algorithm allows effectively solves problems of optimal design of beams with restrictions on the maximum sagging value. The suggested approach can be developed for strength restrictions, statically undetermined structures, etc.

In this paper, a design algorithm for quantitative robust optimal control of uncertain multivariable feedback systems is developed. By use of the frequency-domain approach, the two-degree-of-freedom Wiener–Hopf optimal control method and the quantitative feedback theory are employed to derive the linear quadratic optimal system design with quantitative performance robustness. Two frequency-dependent weighting matrices are shaped and two-degree-of-freedom compensators are designed to achieve quantitative robust optimal control. The proposed design algorithm is then applied to an AFTI/F-16 flight control system design to illustrate the design algorithm. © 1998 John Wiley & Sons, Ltd.

Про проектування малочутливих прискорювально-фокусуючих систем методами практичної стійкості