Search results for "LMIs"
showing 10 items of 447 documents
Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
2015
Opetuksen tehostamiseen suunnattu työkalu ComTest osaa luoda yksikkötestejä koodin kommentteihin kirjoitettujen ohjeiden perusteella. Sopimuspohjaisessa suunnittelussa olion metodeille asetetaan ehtoja, joiden on oltava voimassa ennen operaation suorittamista tai sen jälkeen. Tällaiset ehdot voidaan automaattisesti kirjoittaa osaksi koodin kommentteja. Code Contracts on laajennos .NET-kieliin, jonka avulla sopimuspohjainen suunnittelu saadaan osaksi sovelluskehitystä. Tutkimuksessa selvitetään, miten ComTest ja Code Contracts liittyvät toisiinsa. ComTest, a tool mainly directed to make teaching more efficient, is able to create Unit Tests based on directions written in the code comments. In…
Improved Extraction Efficiency of Antioxidant Bioactive Compounds from Tetraselmis chuii and Phaedoactylum tricornutum Using Pulsed Electric Fields
2020
Pulsed electric fields (PEF) is a promising technology that allows the selective extraction of high-added value compounds by electroporation. Thus, PEF provides numerous opportunities for the energy efficient isolation of valuable microalgal bioactive substances (i.e., pigments and polyphenols). The efficiency of PEF-assisted extraction combined with aqueous or dimethyl sulfoxide (DMSO) solvents in recovering pigments and polyphenols from microalgae Tetraselmis chuii (T. chuii) and Phaeodactylum tricornutum (P. tricornutum) was evaluated. Two PEF treatments were applied: (1 kV/cm/400 pulses, 3 kV/cm/45 pulses), with a specific energy input of 100 kJ/kg. The total antioxidant capacity (TAC) …
Lignin Inter-Diffusion Underlying Improved Mechanical Performance of Hot-Pressed Paper Webs
2021
Broader use of bio-based fibres in packaging becomes possible when the mechanical properties of fibre materials exceed those of conventional paperboard. Hot-pressing provides an efficient method to improve both the wet and dry strength of lignin-containing paper webs. Here we study varied pressing conditions for webs formed with thermomechanical pulp (TMP). The results are compared against similar data for a wide range of other fibre types. In addition to standard strength and structural measurements, we characterise the induced structural changes with X-ray microtomography and scanning electron microscopy. The wet strength generally increases monotonously up to a very high pressing tempera…
An overview of natural antimicrobials role in food
2017
The present paper aims to review the natural food preservatives with antimicrobial properties emphasizing their importance for the future of food manufacturing and consumers' health. The extraction procedures applied to natural antimicrobials will be considered, followed by the description of some natural preservatives' antimicrobial mechanism of action, including (i) membrane rupture with ATP-ase activity inhibition, (ii) leakage of essential biomolecules from the cell, (iii) disruption of the proton motive force and (iiii) enzyme inactivation. Moreover, a provenance-based classification of natural antimicrobials is discussed by considering the sources of origin for the major natural prese…
Spectroscopic analysis of hot-water- and dilute-acid-extracted hardwood and softwood chips
2017
Hot-water and dilute sulfuric acid pretreatments were performed prior to chemical pulping for silver/white birch (Betula pendula/B. pubescens) and Scots pine (Pinus sylvestris) chips to determine if varying pretreatment conditions on the original wood material were detectable via attenuated total reflectance (ATR) infrared spectroscopy. Pretreatment conditions varied with respect to temperature (130 °C and 150 °C) and treatment time (from 30 min to 120 min). The effects of the pretreatments on the composition of wood chips were determined by ATR infrared spectroscopy. The spectral data were compared to those determined by common wood chemistry analyses to evaluate the suitability of ATR spe…
Patented intelligence: Cloning human decision models for Industry 4.0
2018
Industry 4.0 is a trend related to smart factories, which are cyber-physical spaces populated and controlled by the collective intelligence for the autonomous and highly flexible manufacturing purposes. Artificial Intelligence (AI) embedded into various planning, production, and management processes in Industry 4.0 must take the initiative and responsibility for making necessary real-time decisions in many cases. In this paper, we suggest the Pi-Mind technology as a compromise between completely human-expert-driven decision-making and AI-driven decision-making. Pi-Mind enables capturing, cloning and patenting essential parameters of the decision models from a particular human expert making …
Time-varying Sampled-data Observer with Asynchronous Measurements
2019
International audience; In this paper a time-varying observer for a linear continuous-time plant with asynchronous sampled measurements is proposed. The observer is contextualized in the hybrid systems framework providing an elegant setting for the proposed solution. In particular some theoretical tools are provided, in terms of LMIs, certifying asymptotic stability of a certain compact set where the estimation error is zero. We consider sampled asynchronous measurements that occur at arbitrary times in a certain window with an upper and lower bound. The design procedure, that we propose for the selection of the time-varying gain, is based on a constructive algorithm that is guaranteed to f…
Evaluation Framework for Analyzing the Applicability of Criteria Lists for the Selection of Requirements Management Tools Supporting Distributed Coll…
2016
Effective requirements management and enabling tools are critical for successfully developing and maintaining services and products. The identification and selection of an appropriate requirements management tool can be a costly, time-consuming, and error-prone undertaking especially in the context of software product line requirements management, requiring the tools to support both product and platform development activities that often involve geographically distributed, collaborating, and competing stakeholders. Criteria lists have been developed to facilitate the selection. This research (1) creates an evaluation framework to review the applicability of the lists for the selection of req…
Towards a Security Competence of Software Developers
2020
Software growth has been explosive as people depend heavily on software on daily basis. Software development is a human-intensive effort, and developers' competence in software security is essential for secure software development. In addition, ubiquitous computing provides an added complexity to software security. Studies have treated security competences of software developers as a subsidiary of security engineers' competence instead of software engineers' competence, limiting the full knowledge of the security competences of software developers. This presents a crucial challenge for developers, educators, and users to maintain developers' competences in security. As a first step in pushi…
Angiotensin II type 1 receptor antagonists in animal models of vascular, cardiac, metabolic and renal disease
2016
AbstractWe have reviewed the effects of angiotensin II type 1 receptor antagonists (ARBs) in various animal models of hypertension, atherosclerosis, cardiac function, hypertrophy and fibrosis, glucose and lipid metabolism, and renal function and morphology. Those of azilsartan and telmisartan have been included comprehensively whereas those of other ARBs have been included systematically but without intention of completeness. ARBs as a class lower blood pressure in established hypertension and prevent hypertension development in all applicable animal models except those with a markedly suppressed renin–angiotensin system; blood pressure lowering even persists for a considerable time after d…