A Simulation Method for Design and Development of Magnetic Shape Memory Actuators

The systems/products and their design processes have become more and more complicated due to the fact that their requirements in terms of function, durability, reliability and energy efficiency have been increased significantly and that their leading time has to be short and their materials cost has to be low. To meet these requirements, individual parts and subsystems have to offer increased functionality and efficiency themselves. It has been found that smart materials, such as piezo ceramics or various shape memory alloys as well as less known dielectric elastomers or magnetic shape memory alloys, offer ideal preconditions to fulfil such requirements. Among the various shape memory alloys, the Magnetic Shape Memory (MSM) alloy is a kind of smart material that can elongate and contract in a magnetic field. Based on the MSM alloy a new type of smart electromagnetic actuators have been designed and developed. This kind of actuator exhibits the features above. Typically, the MSM material is a monocrystalline Ni-Mn-Ga alloy, which has the ability to change its size or shape very fast and many million times repeatedly. State-of-the-art alloys are able to achieve a magnetic field induced strain of up to 12%. The magneto-mechanical characteristic of MSM alloys is being constantly improved. However, as far as the author is aware, there are no efficient and commercially available tools for engineers to design MSM-based actuators. To achieve this, simulation tools for design are indispensable. This thesis is dedicated to this task. In this PhD thesis, new design and simulation techniques for MSM-based actuators have been studied. In particular, three simulation methods have been proposed. These three methods extend standard magneto-static FEM simulation techniques by taking into account the magneto-mechanical coupling and the magnetic anisotropy of the MSM materials. They differ in terms of the necessary a priori alloy characterisation (i.e., measurement effort), computational complexity and consequent computing time. The magneto-mechanical characteristics of the MSM material are a necessary and fundamental ingredient for this type of simulation. However, the characterisation of the MSM materials is a very challenging task and requires specific modifications to standard measurement approaches. So, in this thesis, some specific measurement methods of the magneto-mechanical characteristics of the MSM materials have been proposed, designed and developed. It is described how existing measurement instruments can be modified to measure the unique magneto-mechanical characteristics of MSM, so they are applicable and with practical values. Various tests have been carried out to validate the new methods and the necessary characterisations of the properties of MSM materials have been performed, such as the measurement of the permeability of MSM under a defined stress during elongation. The new measurement results have been analysed and the findings have been used to design and develop the simulation methods. The three simulation methods can be used to predict and optimise the current-elongation behaviour of an MSM element under the load of a mechanical stress while excited by a magnetic field. Extensive experiments have been carried out to validate these three simulation methods. The results show that the three methods are relatively simple but, at the same time, very effective means to model, predict and optimise the properties of an MSM actuator using finite element tools. In addition, the experiment results have also shown that the simulation methods can be used to gain some deep insights into the magneto-mechanical interaction between the MSM element and the electromagnetic actuator. In this thesis an evolutionary algorithm which works together with the simulation methods has been developed to achieve individual optimised solutions in very short times. In summary, from the experiment results, it has been found that the measurements and simulation methods proposed and developed in this thesis; enable designers to perform simulations for a high-quality actuator design based on the magneto-mechanical properties of MSM alloys. This is the first time that a MSM can be characterised for simulation purposes in a fast and precise way to predict MSM and electromagnetic actuator interactions and identify and optimise the design parameters of such actuators. However, these simulation methods are strongly dependent on the measurement of the magneto-mechanical characteristics of magnetic shape memory alloys, whose precision can be further improved. To reach commercial success as well higher precision in the simulation prediction, further achievements in the field of material science (e.g. smoothness of mechanical curves) are also necessary

SEED: efficient clustering of next-generation sequences.

MotivationSimilarity clustering of next-generation sequences (NGS) is an important computational problem to study the population sizes of DNA/RNA molecules and to reduce the redundancies in NGS data. Currently, most sequence clustering algorithms are limited by their speed and scalability, and thus cannot handle data with tens of millions of reads.ResultsHere, we introduce SEED-an efficient algorithm for clustering very large NGS sets. It joins sequences into clusters that can differ by up to three mismatches and three overhanging residues from their virtual center. It is based on a modified spaced seed method, called block spaced seeds. Its clustering component operates on the hash tables by first identifying virtual center sequences and then finding all their neighboring sequences that meet the similarity parameters. SEED can cluster 100 million short read sequences in <4 h with a linear time and memory performance. When using SEED as a preprocessing tool on genome/transcriptome assembly data, it was able to reduce the time and memory requirements of the Velvet/Oasis assembler for the datasets used in this study by 60-85% and 21-41%, respectively. In addition, the assemblies contained longer contigs than non-preprocessed data as indicated by 12-27% larger N50 values. Compared with other clustering tools, SEED showed the best performance in generating clusters of NGS data similar to true cluster results with a 2- to 10-fold better time performance. While most of SEED's utilities fall into the preprocessing area of NGS data, our tests also demonstrate its efficiency as stand-alone tool for discovering clusters of small RNA sequences in NGS data from unsequenced organisms.AvailabilityThe SEED software can be downloaded for free from this site: http://manuals.bioinformatics.ucr.edu/home/[email protected] informationSupplementary data are available at Bioinformatics online

Functional Testing Approaches for "BIFST-able" tlm_fifo

Evolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of functional units. This paper explores different functional testing approaches for the implementation of Built-in Functional Self Test facilities in the TLM primitive channel tlm_fifo. In particular, it focuses on three different test approaches based on a finite state machine model of tlm_fifo, functional fault models, and march tests respectivel

SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

In this paper, we aim at the automated unit coverage-based testing for embedded software. To achieve the goal, by analyzing the industrial requirements and our previous work on automated unit testing tool CAUT, we rebuild a new tool, SmartUnit, to solve the engineering requirements that take place in our partner companies. SmartUnit is a dynamic symbolic execution implementation, which supports statement, branch, boundary value and MC/DC coverage. SmartUnit has been used to test more than one million lines of code in real projects. For confidentiality motives, we select three in-house real projects for the empirical evaluations. We also carry out our evaluations on two open source database projects, SQLite and PostgreSQL, to test the scalability of our tool since the scale of the embedded software project is mostly not large, 5K-50K lines of code on average. From our experimental results, in general, more than 90% of functions in commercial embedded software achieve 100% statement, branch, MC/DC coverage, more than 80% of functions in SQLite achieve 100% MC/DC coverage, and more than 60% of functions in PostgreSQL achieve 100% MC/DC coverage. Moreover, SmartUnit is able to find the runtime exceptions at the unit testing level. We also have reported exceptions like array index out of bounds and divided-by-zero in SQLite. Furthermore, we analyze the reasons of low coverage in automated unit testing in our setting and give a survey on the situation of manual unit testing with respect to automated unit testing in industry.Comment: In Proceedings of 40th International Conference on Software Engineering: Software Engineering in Practice Track, Gothenburg, Sweden, May 27-June 3, 2018 (ICSE-SEIP '18), 10 page

A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit

A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software involved. The development methodology proposed in this paper adapts agile principles and patterns to support the building of embedded control systems, focusing on the issues relating to a system's constraints and safety. Strong unit testing, to ensure correctness, including the satisfaction of timing constraints, is the foundation of the proposed methodology. A platform-based design approach is used to balance costs and time-to-market in relation to performance and functionality constraints. It is concluded that the proposed methodology significantly reduces design time and costs, as well as leading to better software modularity and reliability

From FPGA to ASIC: A RISC-V processor experience

This work document a correct design flow using these tools in the Lagarto RISC- V Processor and the RTL design considerations that must be taken into account, to move from a design for FPGA to design for ASIC