Search results for: Lyapunov-Krasovskii functional

Authors: Wirot Likittrakulwong, Pisit Poolprasert, Tossaporn Incharoen

Abstract:

Germinated paddy rice (GPR) has the potential to be used as a feed ingredient. However, their properties have not been fully investigated. This paper examined the nutrient digestibility and the relationship to immune activity in Roman hens fed with GPR. It was found that true and apparent metabolizable energy (ME) values of GPR were 3.20 and 3.28 kcal/g air dry, respectively. GPR exhibited high content of phytonutrients, especially GABA. GPR showed similar protein profiles in comparison to non-germinated paddy rice. For immune activity, the feed with GPR enhanced the immune activity of Roman hens under high stocking density stress as evidenced by the activity of superoxide dismutase (SOD) and lysozyme activity. In this study, GPR is proved to be a good source of functional ingredient for chicken feed.

Keywords: germinated paddy rice, nutrient digestibility, immune activity, functional property

Procedia PDF Downloads 132

Authors: Grienggrai Rajchakit

Abstract:

This paper is concerned with the exponential stability of switched linear systems with interval time-varying delays. The time delay is any continuous function belonging to a given interval, in which the lower bound of delay is not restricted to zero. By constructing a suitable augmented Lyapunov-Krasovskii functional combined with Leibniz-Newton's formula, a switching rule for the exponential stability of switched linear systems with interval time-varying delays and new delay-dependent sufficient conditions for the exponential stability of the systems are first established in terms of LMIs. Finally, some examples are exploited to illustrate the effectiveness of the proposed schemes.

Keywords: exponential stability, hybrid systems, time-varying delays, lyapunov-krasovskii functional, leibniz-newton's formula

Procedia PDF Downloads 519

Authors: Shen Jian, Hu Jie, Ma Jin, Peng Ying Hong, Fang Yi, Liu Wen Hai

Abstract:

Biologically inspired design inspires inventions and new technologies in the field of engineering by mimicking functions, principles, and structures in the biological domain. To deal with the obstacles of cross-domain knowledge acquisition in the existing biologically inspired design process, functional semantic clustering based on functional feature semantic correlation and environmental constraint clustering composition based on environmental characteristic constraining adaptability are proposed. A knowledge cell clustering algorithm and the corresponding prototype system is developed. Finally, the effectiveness of the method is verified by the visual prosthetic device design.

Keywords: knowledge clustering, knowledge acquisition, knowledge based engineering, knowledge cell, biologically inspired design

Procedia PDF Downloads 402

Authors: Rosa Palmeri, Julieta I. Monteleone, Antonio C. Barbera, Carmelo Maucieri, Aldo Todaro, Virgilio Giannone, Giovanni Spagna

Abstract:

In recent years, considerable interest has been shown in the functional properties of foods, and a relevant role has been played by phenolic compounds, able to scavenge free radicals. A more sustainable agriculture has to emerge to guarantee food supply over the next years. Wheat, corn, and rice are the most common cereals cultivated, but also other cereal species, such as barley can be appreciated for their peculiarities. Barley (Hordeum vulgare L.) is a C3 winter cereal that shows high resistance at drought and salt stresses. There are growing interests in barley as ingredient for the production of functional foods due to its high content of phenolic compounds and Beta-glucans. In this respect, the possibility of separating specific functional fractions from food industry by-products looks very promising. Olive leaves represent a quantitatively significant by-product of olive grove farming, and are an interesting source of phenolic compounds. In particular, oleuropein, which provide important nutritional benefits, is the main phenolic compound in olive leaves and ranges from 17% to 23% depending upon the cultivar and growing season period. Together with oleuropein and its derivatives (e.g. dimethyloleuropein, oleuropein diglucoside), olive leaves further contain tyrosol, hydroxytyrosol, and a series of secondary metabolities structurally related to them: verbascoside, ligstroside, hydroxytyrosol glucoside, tyrosol glucoside, oleuroside, oleoside-11-methyl ester, and nuzhenide. Several flavonoids, flavonoid glycosides, and phenolic acids have also described in olive leaves. The aim of this work was the production of functional food with higher content of polyphenols and the evaluation of their shelf life. Organic durum wheat and barley grains contain higher levels of phenolic compounds were used for the production of crackers. Olive leaf extract (OLE) was obtained from cv. ‘Biancolilla’ by aqueous extraction method. Two baked goods trials were performed with both organic durum wheat and barley flours, adding olive leaf extract. Control crackers, made as comparison, were produced with the same formulation replacing OLE with water. Total phenolic compound, moisture content, activity water, and textural properties at different time of storage were determined to evaluate the shelf-life of the products. Our the preliminary results showed that the enriched crackers showed higher phenolic content and antioxidant activity than control. Alternative uses of olive leaf extracts for crackers production could represent a good candidate for the addition of functional ingredients because bakery items are daily consumed, and have long shelf-life.

Keywords: barley, functional foods, olive leaf, polyphenols, shelf life

Procedia PDF Downloads 272

Authors: Mareli Fischer, Kevin G. F. Thomas

Abstract:

Although Attention-Deficit/Hyperactivity Disorder (ADHD) is one of the most prevalent childhood neurobehavioural disorders, little empirical research has been published on its clinical presentation in Africa, and, globally, few studies evaluate ADHD intervention programs that emphasize parent training. Hence, Stage 1 of this research programme aimed to describe the functional impairment of South African children with ADHD, and also sought to investigate the influence of sociodemographic variables (e.g., sex, age, socioeconomic status, family environment) and clinical variables (e.g., ADHD subtype and comorbidity) on the degree of that impairment. We used the Mini International Neuropsychiatric Interview for Children and Adolescents as a diagnostic tool, and the Child Behavior Checklist, the Strengths and Difficulties Questionnaire, and the Impairment Rating Scale as measures of functional impairment. Results from this stage of the research indicated that South African children and adolescents who meet diagnostic criteria for ADHD experience most functional impairment in the school domain, as well as in the area of social functioning. None of the measured sociodemographic variables had a significant detrimental or protective effect on how ADHD symptoms impacted on functioning. In terms of comorbidity, the presence of Major Depressive Disorder, Conduct Disorder, and Oppositional Defiant Disorder were all associated with significantly impaired overall functioning. Stage 2 of the research programme aimed to design, implement, and evaluate a child-specific intervention that targeted the primary areas of impairment identified in Stage 1. Existing literature suggests that a positive parent-training programme, in the group format, is one of the best options for cost-effective and successful ADHD intervention. Hence, the intervention took that form. Parents were taught basic behaviour analysis concepts within a supportive group context. Evaluation of the intervention’s efficacy used many of the same measures as in Stage 1, but also featured semi-structured interviews with participants and naturalistic observation of parent-child interaction. We will discuss preliminary results of that evaluation. Studying functional impairment and designing intervention plans in this way will pave the way for evidence-based treatment plans for children and adolescents diagnosed with ADHD.

Keywords: attention deficit/hyperactivity disorder, children, intervention, parenting groups

Procedia PDF Downloads 407

Authors: Changyin Zhou

Abstract:

Ba constructions are a special type of constructions in Chinese. Their syntactic behaviors are closely related to their event structural properties. The existing study which treats the semantic function of Ba as causative meets difficulty in treating the discrepancy between Ba constructions and their corresponding constructions without Ba in expressing causativity. This paper holds that Ba in Ba constructions is a functional category expressing affectedness. The affectedness expressed by Ba can be positive or negative. The functional category Ba expressing negative affectedness has the semantic property of being 'expected'. The precondition of Ba construction is the boundedness of the event concerned. This paper, holding the parallelism between motion events and change-of-state events, proposes a syntactic model based on the notions of boundedness and affectedness, discusses the transformations between Ba constructions and the related resultative constructions, and derivates the various Ba constructions concerned.

Keywords: affectedness, Ba constructions, boundedness, event structure, resultative constructions

Procedia PDF Downloads 397

Authors: Maryam Amiri, Leyli Mohammad-Khanli

Abstract:

Cloud computing is becoming increasingly popular and more business applications are moving to cloud. In this regard, services that provide similar functional properties are increasing. So, the ability to select a service with the best non-functional properties, corresponding to the user preference, is necessary for the user. This paper presents an Evaluation Framework of Service Trustworthiness (EFST) that evaluates the trustworthiness of equivalent services without need to additional invocations of them. EFST extracts user preference automatically. Then, it assesses trustworthiness of services in two dimensions of qualitative and quantitative metrics based on the experiences of past usage of services. Finally, EFST determines the overall trustworthiness of services using Fuzzy Inference System (FIS). The results of experiments and simulations show that EFST is able to predict the missing values of Quality of Service (QoS) better than other competing approaches. Also, it propels users to select the most appropriate services.

Keywords: user preference, cloud service, trustworthiness, QoS metrics, prediction

Procedia PDF Downloads 250

Authors: Elham Farahmand, Fatimah Ibrahim, Samira Hosseini, Ivan Djordjevic, Leo. H. Koole

Abstract:

Compositions of different molar ratios of polymethylmethacrylate-co-methacrylic acid (PMMA-co-MAA) were synthesized via free- radical polymerization. Polymer coated surfaces have been produced on silicon wafers. Coated samples were analyzed by atomic force microscopy (AFM). The results have shown that the roughness of the surfaces have increased by increasing the molar ratio of monomer methacrylic acid (MAA). This study reveals that the gradual increase in surface roughness is due to the fact that carboxylic functional groups have been generated by MAA segments. Such surfaces can be desirable platforms for fabrication of the biosensors for detection of the viruses and diseases.

Keywords: polymethylmethacrylate-co-methacrylic acid (PMMA-co-MAA), polymeric material, atomic force microscopy, roughness, carboxylic functional groups

Procedia PDF Downloads 556

Authors: Surbhi Rani, Sunita Gakkhar

Abstract:

The four-dimensional food web system consisting of two prey species for a generalist middle predator and a top predator is proposed and investigated. The middle predator is predating both the prey species with a modified Holling type-II functional response. The food web model is found to be well-posed, bounded, and dissipative. The proposed model's essential dynamical features are studied in terms of local stability. The four species' survival is explored, and persistence conditions are established. The numerical simulations reveal the persistence in the form of a chaotic attractor or stable focus. The conclusion is that providing additional food to the middle predator may help to control the food chain's chaos.

Keywords: predator-prey model, existence of equilibrium points, local stability, chaos, numerical simulations

Procedia PDF Downloads 78

Authors: Abdelfatah Elsenosy, Mahmoud Ebrahim

Abstract:

Background: Distal radius fractures are commonly encountered in orthopedic practice, especially in elderly patients. A number of clinical papers have supported the idea that anatomic restoration of the distal end of the radius is essential to gain superior results. Aim and objectives: The aim of the study is to systematically review the literature for the management of distal end radius in elderly persons (conservative treatment versus percutaneous wire fixation) as regards radiological and functional outcomes. Subjects and methods: Studies were identified from the Medline, Cochrane, EMBASE, and Google Scholar databases were searched until 2019 using combinations of the following search terms: distal radius fracture, conservative treatment, non-operative treatment, and nonsurgical treatment, surgical treatment, operative, elderly, and older. Reference lists of relevant studies were manually searched. Results: There was no statistical significance difference between CI and PKF groups’ frequency of complication in all of the selected studies. Based on the results, we recommend more analysis regarding every parameter of the radiographic and functional results and specific complications related to each fixation need to be accomplished, which requires more Randomized controlled trials (RCTs) with high quality. Conclusion: Surgical treatment seems to be more effective distal radius fracture compared with conservative treatment when the radiographic outcomes were analyzed, and no significant differences were detected in the functional outcomes and complication rate.

Keywords: radius, fracture, surgical, RCTs, conservative, radiographic, outcomes, orthopedic

Procedia PDF Downloads 125

Authors: Madhulika Pathak, Polani Seshagiri, Vani Venkatappa

Abstract:

Blastocyst hatching is an indispensable process for successful implantation. One of the major reasons for implantation failure in IVF clinic is poor quality of embryo, which are not development/hatching-competent. Therefore, attempts are required to develop or enhance the culture system with a molecule recapitulating the autocrine/paracrine factors containing the environment of in-vivo endometrial milieu. We have tried to explore the functional molecules involved in the hamster hatching phenomenon. Blastocyst hatching is governed by several molecules that are entwined and regulate this process, among which cytokines are known to be expressed and are still least explored. Two of such cytokines we have used for our study are IL-1β and its natural antagonist IL-1ra to understand the functional dynamics of cytokines involved in the hatching process. Using hamster, an intriguing experimental model for hatching behavior, we have shown the mRNA (qPCR) and protein (ICC) expression of IL-1β, IL-1ra and IL-1 receptor type 1 throughout all the stages of morula, blastocyst and hatched blastocyst. Post-asserting the expression, the functional role is shown by supplementation studies, where IL-1β supplementation showed enhancement in hatching level (IL-1β treated: 84.1 ± 4.2% vs control: 63.7 ± 3.1 %, N=11), further confirmed by the diminishing effect of IL-1ra on hatching rate (IL-1ra treated: 27.5 ± 11.1% vs control: 67.9 ± 3.1%). The exogenous supplementation of IL-1ra decreased the survival rate of embryos and affected the viability in dose-dependent manner, establishing the importance of IL-1β in blastocyst cell survival. Previously, the cathepsin L and B were established as the proteases that were involved in the hamster hatching process. The inducing effect of IL-1β was correlated with enhanced mRNA level, as analyzed by qPCR, for both CAT L (by 1.9 ± 0.5 fold) and CAT B (by 3.5 ± 0.1) fold which was diminished in presence of IL-1ra (Cat L by 88 percent and Cat B by 94 percent. Moreover, using a specific fluorescent substrate-based assay kit, the enzymatic activity of these proteases was found to be increased in presence of IL-1β (Cat L by 2.1 ± 0.1 fold and CAT B by 2.3 ± 0.7 fold) and was curtailed in presence of IL-1ra. These observations provide functional insights with respect to the involvement of cytokines in the hatching process. This has implications in understanding the hatching biology and improving the embryo development quality in IVF clinics.

Keywords: Blastocyst, Cytokines, Hatching, Interleukin

Procedia PDF Downloads 111

Authors: Ketaki D. Belsare, Nicholas F. Polizzi, Lior Shtayer, William F. DeGrado

Abstract:

Nature utilizes metalloproteins to perform chemical transformations with activities and selectivities that have long been the inspiration for design principles in synthetic and biological systems. The chemical reactivities of metalloproteins are directly linked to local environment effects produced by the protein matrix around the metal cofactor. A complete understanding of how the protein matrix provides these interactions would allow for the design of functional metalloproteins. The de novo computational design of proteins have been successfully used in design of active sites that bind metals like di-iron, zinc, copper containing cofactors; however, precisely designing active sites that can bind small molecule ligands (e.g., substrates) along with metal cofactors is still a challenge in the field. The de novo computational design of a functional metalloprotein that contains a purposefully designed substrate binding site would allow for precise control of chemical function and reactivity. Our research strategy seeks to elucidate the design features necessary to bind the cofactor protoporphyrin IX (hemin) in close proximity to a substrate binding pocket in a four helix bundle. First- and second-shell interactions are computationally designed to control orientation, electronic structure, and reaction pathway of the cofactor and substrate. The design began with a parameterized helical backbone that positioned a single histidine residue (as an axial ligand) to receive a second-shell H-bond from a Threonine on the neighboring helix. The metallo-cofactor, hemin was then manually placed in the binding site. A structural feature, pi-bulge was introduced to give substrate access to the protoporphyrin IX. These de novo metalloproteins are currently being tested for their activity towards hydroxylation and epoxidation. The de novo designed protein shows hydroxylation of aniline to 4-aminophenol. This study will help provide structural information of utmost importance in understanding de novo computational design variables impacting the functional activities of a protein.

Keywords: metalloproteins, protein design, de novo protein, biocatalysis

Procedia PDF Downloads 125

Authors: Hedia El Ourabi, Marc Alexandre Tomiuk, Ahmed Khalil Ben Ayed

Abstract:

The aim of this study is to investigate the effects of the labeling cues traceability (T), health claim (HC), and verification of health claim (VHC) on consumer affective response and sensory appeal toward a wide array of functional food carriers (FFC). Predominantly, research in the food area has tended to examine the effects of these information cues independently on cognitive responses to food product offerings. Investigations and findings of potential interaction effects among these factors on effective response and sensory appeal are therefore scant. Moreover, previous studies have typically emphasized single or limited sets of functional food products and categories. In turn, this study considers five food product categories enriched with omega-3 fatty acids, namely: meat products, eggs, cereal products, dairy products and processed fruits and vegetables. It is, therefore, exhaustive in scope rather than exclusive. An investigation of the potential simultaneous effects of these information cues on the affective responses and sensory appeal of consumers should give rise to important insights to both functional food manufacturers and policymakers. A mixed (2 x 3) x (2 x 5) between-within subjects factorial ANOVA design was implemented in this study. T (two levels: completely traceable or non-traceable) and HC (three levels: functional health claim, or disease risk reduction health claim, or disease prevention health claim) were treated as between-subjects factors whereas VHC (two levels: by a government agency and by a non-government agency) and FFC (five food categories) were modeled as within-subjects factors. Subjects were randomly assigned to one of the six between-subjects conditions. A total of 463 questionnaires were obtained from a convenience sample of undergraduate students at various universities in the Montreal and Ottawa areas (in Canada). Consumer affective response and sensory appeal were respectively measured via the following statements assessed on seven-point semantic differential scales: ‘Your evaluation of [food product category] enriched with omega-3 fatty acids is Unlikeable (1) / Likeable (7)’ and ‘Your evaluation of [food product category] enriched with omega-3 fatty acids is Unappetizing (1) / Appetizing (7).’ Results revealed a significant interaction effect between HC and VHC on consumer affective response as well as on sensory appeal toward foods enriched with omega-3 fatty acids. On the other hand, the three-way interaction effect between T, HC, and VHC on either of the two dependent variables was not significant. However, the triple interaction effect among T, VHC, and FFC was significant on consumer effective response and the interaction effect among T, HC, and FFC was significant on consumer sensory appeal. Findings of this study should serve as impetus for functional food manufacturers to closely cooperate with policymakers in order to improve on and legitimize the use of health claims in their marketing efforts through credible verification practices and protocols put in place by trusted government agencies. Finally, both functional food manufacturers and retailers may benefit from the socially-responsible image which is conveyed by product offerings whose ingredients remain traceable from farm to kitchen table.

Keywords: functional foods, labeling cues, effective appeal, sensory appeal

Procedia PDF Downloads 134

Authors: Aline M. Dantas, Alexander T. Sack, Elisabeth Bruggen, Peiran Jiao, Teresa Schuhmann

Abstract:

Risk-taking behavior has been associated with the activity of specific prefrontal regions of the brain, namely the right dorsolateral prefrontal cortex (DLPFC) and the ventromedial prefrontal cortex (VMPFC). While the deactivation of the rDLPFC has been shown to lead to increased risk-taking behavior, the functional relationship between VMPFC activity and risk-taking behavior is yet to be clarified. Correlational evidence suggests that the VMPFC is involved in valuation processes that involve risky choices, but evidence on the functional relationship is lacking. Therefore, this study uses brain stimulation to investigate the role of the VMPFC during risk-taking behavior and replicate the current findings regarding the role of the rDLPFC in this same phenomenon. We used continuous theta-burst stimulation (cTBS) to inhibit either the VMPFC or DLPFC during the execution of the computerized Maastricht Gambling Task (MGT) in a within-subject design with 30 participants. We analyzed the effects of such stimulation on risk-taking behavior, participants’ choices of probabilities and average values, and response time. We hypothesized that, compared to sham stimulation, VMPFC inhibition leads to a reduction in risk-taking behavior by reducing the appeal to higher-value options and, consequently, the attractiveness of riskier options. Right DLPFC (rDLPFC) inhibition, on the other hand, should lead to an increase in risk-taking due to a reduction in cognitive control, confirming existent findings. Stimulation of both the rDLPFC and the VMPFC led to an increase in risk-taking behavior and an increase in the average value chosen after both rDLPFC and VMPFC stimulation compared to sham. No significant effect on chosen probabilities was found. A significant increase in response time was observed exclusively after rDLPFC stimulation. Our results indicate that inhibiting DLPFC and VMPFC separately leads to similar effects, increasing both risk-taking behavior and average value choices, which is likely due to the strong anatomical and functional interconnection of the VMPFC and rDLPFC.

Keywords: decision-making, risk-taking behavior, brain stimulation, TMS

Procedia PDF Downloads 72

Authors: María Fernanda Quiceno Vallejo, Patricia del Portillo, María Mercedes Zambrano, Jeisson Alejandro Triana, Dayana Calderon, Juan Manuel Anzola

Abstract:

Microorganisms from tropical ecosystems can be novel in terms of adaptations and conservation. Given the macrodiversity of Colombian ecosystems, it is possible that this diversity is also present in Colombian soils. Tropical soil bacteria could offer a potentially novel source of bioactive compounds. In this study we analyzed a metagenomic fosmid library constructed with tropical bacterial DNAs with the aim of understanding its underlying diversity and functional potential. 8640 clones from the fosmid library were sequenced by NANOPORE MiniOn technology, then analyzed with bioinformatic tools such as Prokka, AntiSMASH and Bagel4 in order to identify functional biosynthetic pathways in the sequences. The strains showed ample difference when it comes to biosynthetic pathways. In total we identified 4 pathways related to aryl polyene synthesis, 12 related to terpenes, 22 related to NRPs (Non ribosomal peptides), 11 related PKs (Polyketide synthases) and 7 related to RiPPs (bacteriocins). We designed primers for the metagenomic clones with the most BGCs (sample 6 and sample 2). Results show the biotechnological / pharmacological potential of tropical ecosystems. Overall, this work provides an overview of the genomic and functional potential of Colombian soil and sets the groundwork for additional exploration of tropical metagenomic sequencing.

Keywords: bioactives, biosyntethic pathways, bioinformatic, bacterial gene clusters, secondary metabolites

Procedia PDF Downloads 139

Authors: Sergey N. Ermoliev, Margarita A. Belousova, Aida D. Goncharenko

Abstract:

Application of the diagnostic complex of highly informative functional methods (electromyography, reodentography, laser Doppler flowmetry, reoperiodontography, vital computer capillaroscopy, optical tissue oximetry, laser fluorescence diagnosis) allows to perform a multifactorial analysis of the dental status and to prescribe complex etiopathogenetic treatment. Introduction. It is necessary to create a complex of innovative highly informative and safe functional diagnostic methods for improvement of the quality of patient treatment by the early detection of stomatologic diseases. The purpose of the present study was to investigate the etiology and pathogenesis of functional disorders identified in the pathology of hard tissue, dental pulp, periodontal, oral mucosa and chewing function, and the creation of new approaches to the diagnosis of dental diseases. Material and methods. 172 patients were examined. Density of hard tissues of the teeth and jaw bone was studied by intraoral ultrasonic densitometry (USD). Electromyographic activity of masticatory muscles was assessed by electromyography (EMG). Functional state of dental pulp vessels assessed by reodentography (RDG) and laser Doppler flowmetry (LDF). Reoperiodontography method (RPG) studied regional blood flow in the periodontal tissues. Microcirculatory vascular periodontal studied by vital computer capillaroscopy (VCC) and laser Doppler flowmetry (LDF). The metabolic level of the mucous membrane was determined by optical tissue oximetry (OTO) and laser fluorescence diagnosis (LFD). Results and discussion. The results obtained revealed changes in mineral density of hard tissues of the teeth and jaw bone, the bioelectric activity of masticatory muscles, regional blood flow and microcirculation in the dental pulp and periodontal tissues. LDF and OTO methods estimated fluctuations of saturation level and oxygen transport in microvasculature of periodontal tissues. With LFD identified changes in the concentration of enzymes (nicotinamide, flavins, lipofuscin, porphyrins) involved in metabolic processes Conclusion. Our preliminary results confirmed feasibility and safety the of intraoral ultrasound densitometry technique in the density of bone tissue of periodontium. Conclusion. Application of the diagnostic complex of above mentioned highly informative functional methods allows to perform a multifactorial analysis of the dental status and to prescribe complex etiopathogenetic treatment.

Keywords: electromyography (EMG), reodentography (RDG), laser Doppler flowmetry (LDF), reoperiodontography method (RPG), vital computer capillaroscopy (VCC), optical tissue oximetry (OTO), laser fluorescence diagnosis (LFD)

Procedia PDF Downloads 239

Authors: Surinder Sood, Debajyoti Mukherjee

Abstract:

Formal verification techniques have become widely popular in pre-silicon verification as an alternate to constrain random simulation based techniques. This paper proposed a novel formal verification-based coverage augmentation technique in verifying complex RTL functional verification faster. The proposed approach relies on augmenting coverage analysis coming from simulation and formal verification. Besides this, the functional qualification framework not only helps in improving the coverage at a faster pace but also aids in maturing and qualifying the formal verification infrastructure. The proposed technique has helped to achieve faster verification sign-off, resulting in faster time-to-market. The design picked had a complex control and data path and had many configurable options to meet multiple specification needs. The flow is generic, and tool independent, thereby leveraging across the projects and design will be much easier

Keywords: COI (cone of influence), coverage, formal verification, fault injection

Procedia PDF Downloads 90

Authors: Lakhoua Najeh

Abstract:

Aims of the work: After a presentation of the functionality of an example of a mechatronic system which is a paint mixer system, we present the concepts of modeling and safe operation. This paper briefly discusses how to model and protect the functioning of a mechatronic system relying mainly on functional analysis and safe operation techniques. Methods: For the study of an example of a mechatronic system, we use methods for external functional analysis that illustrate the relationships between a mechatronic system and its external environment. Thus, we present the Safe-Structured Analysis Design Technique method (Safe-SADT) which allows the representation of a mechatronic system. A model of operating safety and automation is proposed. This model enables us to use a functional analysis technique of the mechatronic system based on the GRAFCET (Graphe Fonctionnel de Commande des Etapes et Transitions: Step Transition Function Chart) method; study of the safe operation of the mechatronic system based on the Safe-SADT method; automation of the mechatronic system based on a software tool. Results: The expected results are to propose a model and safe operation of a mechatronic system. This methodology enables us to analyze the relevance of the different models based on Safe-SADT and GRAFCET in relation to the control and monitoring functions and to study the means allowing exploiting their synergy. Conclusion: In order to propose a general model of a mechatronic system, a model of analysis, safety operation and automation of a mechatronic system has been developed. This is how we propose to validate this methodology through a case study of a paint mixer system.

Keywords: mechatronic systems, system modeling, safe operation, Safe-SADT

Procedia PDF Downloads 209

Authors: Guity Karim, Valiollah Ayareh

Abstract:

Probiotic dairy products are those that contain biologically active components that may affect beneficially one or more target functions in the body, beyond their adequate nutritional effects. As far as chocolate milk is a popular dairy product in the country especially among children and youth, production of a symbiotic (probiotic + peribiotic) new product using chocolate milk, Bifidobacterium lactis (DSM, Netherland) and inulin (Bene, Belgium) would help to promote the nutritional and functional properties of this product. Bifidobacterium Lactis is used as a probiotic in a variety of foods, particularly dairy products like yogurt and as a probiotic bacterium has benefit effects on the human health. Inulin as a peribiotic agent is considered as functional food ingredient. Experimental studies have shown its use as bifidogenic agent. Chocolate milk with different percent of fat (1 and 2 percent), 6 % of sugar and 0.9 % cacao was made, sterilized (UHT) and supplemented with Bifidobacterium lactis and inulin (0.5 %) after cooling . A sample was made without inulin as a control. Bifidobacterium lactis population was enumerated at days 0, 4, 8 and 12 together with measurement of pH, acidity and viscosity of the samples. Also sensory property of the product was evaluated by a 15 panel testers. The number of live bacterial cells was maintained at the functional level of 106-108 cfu/ml after keeping for 12 days in refrigerated temperature (4°C). Coliforms were found to be absent in the products during the storage. Chocolate milk containing 1% fat and inulin has the best effect on the survival and number of B. lactis at day 8 and after that. Moreover, the addition of inulin did not affect the sensorial quality of the product. In this work, chocolate has been evaluated as a potential protective carrier for oral delivery of B. lactis and inulin.

Keywords: chocolate milk, synbiotic, bifidobacterium lactis, inulin

Procedia PDF Downloads 322

Authors: Tarul Garg, P. N. Agrawal

Abstract:

We propose to define the q-analogue of the α-Bernstein Kantorovich operators and then introduce the q-bivariate generalization of these operators to study the approximation of functions of two variables. We obtain the rate of convergence of these bivariate operators by means of the total modulus of continuity, partial modulus of continuity and the Peetre’s K-functional for continuous functions. Further, in order to study the approximation of functions of two variables in a space bigger than the space of continuous functions, i.e. Bögel space; the GBS (Generalized Boolean Sum) of the q-bivariate operators is considered and degree of approximation is discussed for the Bögel continuous and Bögel differentiable functions with the aid of the Lipschitz class and the mixed modulus of smoothness.

Keywords: Bögel continuous, Bögel differentiable, generalized Boolean sum, K-functional, mixed modulus of smoothness

Procedia PDF Downloads 350

Authors: Hycham Aboutaleb, Bruno Monsuez

Abstract:

Current systems complexity has reached a degree that requires addressing conception and design issues while taking into account all the necessary aspects. Therefore, one of the main challenges is the way complex systems are specified and designed. The exponential growing effort, cost and time investment of complex systems in modeling phase emphasize the need for a paradigm, a framework and a environment to handle the system model complexity. For that, it is necessary to understand the expectations of the human user of the model and his limits. This paper presents a generic framework for designing complex systems, highlights the requirements a system model needs to fulfill to meet human user expectations, and defines the refined functional as well as non functional requirements modeling tools needs to meet to be useful in model-based system engineering.

Keywords: system modeling, modeling language, modeling requirements, framework

Procedia PDF Downloads 503

Authors: O. Arbouche, Y. Benallou, K. Amara

Abstract:

We report a first-principles study of structural, electronic and magnetic properties of ternary plumbides (rare earth-transition metal-Plumb) Dy2Ni2Pb crystallizes with the orthorhombic structure of the Mn2AlB2 type (space group Cmmm), were studied by means of the full-relativistic version of the full-potential augmented plane wave plus local orbital method within the frame work of spin-polarized density functional theory (SP-DFT). The electronic exchange-correlation energy is described by generalized gradient approximation (GGA). We have calculated the lattice parameters, bulk modulii and the first pressure derivatives of the bulk modulii, total densities of states and magnetic properties. The calculated total magnetic moment is found to be equal to 9.52 μB.

Keywords: spin-polarized, magnetic properties, Dy2Ni2Pb, Density functional theory

Procedia PDF Downloads 267

Authors: Mahawish Masud, Muhammad Iqbal, M. U. Khan, Farooque Azam

Abstract:

Manual writing of test cases from functional requirements is a time-consuming task. Such test cases are not only difficult to write but are also challenging to maintain. Test cases can be drawn from the functional requirements that are expressed in natural language. However, manual test case generation is inefficient and subject to errors.  In this paper, we have presented a systematic procedure that could automatically derive test cases from user stories. The user stories are specified in a restricted natural language using a well-defined template.  We have also presented a detailed methodology for writing our test ready user stories. Our tool “Test-o-Matic” automatically generates the test cases by processing the restricted user stories. The generated test cases are executed by using open source Selenium IDE.  We evaluate our approach on a case study, which is an open source web based application. Effectiveness of our approach is evaluated by seeding faults in the open source case study using known mutation operators.  Results show that the test case generation from restricted user stories is a viable approach for automated testing of web applications.

Keywords: automated testing, natural language, restricted user story modeling, software engineering, software testing, test case specification, transformation and automation, user story, web application testing

Procedia PDF Downloads 361

Authors: Tamer El-Messery, Teresa Sanchez-Moya, Ruben Lopez-Nicolas, Gaspar Ros, Esmat Aly

Abstract:

Olive leaves (OLs), the main by-product of the olive oil industry, have a considerable amount of phenolic compounds. The exploitation of these compounds represents the current trend in food processing. In this study, OLs polyphenols were microencapsulated with polycaprolactone (PCL) and utilized in formulating novel functional yoghurt. PCL-microcapsules were characterized by scanning electron microscopy, and Fourier transform infrared spectrometry analysis. Their total phenolic (TPC), total flavonoid (TFC) contents, and antioxidant activities (DPPH, FRAP, ABTS), and polyphenols bioaccessibility were measured after oral, gastric, and intestinal steps of in vitro digestion. The four yoghurt formulations (containing 0, 25, 50, and 75 mg of PCL-microsphere/100g yoghurt) were evaluated for their pH, acidity, syneresis viscosity, and color during storage. In vitro digestion significantly affected the phenolic composition in non-encapsulated extract while had a lower impact on encapsulated phenolics. Higher protection was provided for encapsulated OLs extract, and their higher release was observed at the intestinal phase. Yoghurt with PCL-microsphere had lower viscosity, syneresis, and color parameters, as compared to control yoghurt. Thus, OLs represent a valuable and cheap source of polyphenols which can be successfully applied, in microencapsulated form, to formulate functional yoghurt.

Keywords: yoghurt quality attributes, olive leaves, phenolic and flavonoids compounds, antioxidant activity, polycaprolactone as microencapsulant

Procedia PDF Downloads 111

Authors: Manlika Ratchagit

Abstract:

This paper is concerned with robust mean square stability of uncertain stochastic switched discrete time-delay systems. The system to be considered is subject to interval time-varying delays, which allows the delay to be a fast time-varying function and the lower bound is not restricted to zero. Based on the discrete Lyapunov functional, a switching rule for the robust mean square stability for the uncertain stochastic discrete time-delay system is designed via linear matrix inequalities. Finally, some examples are exploited to illustrate the effectiveness of the proposed schemes.

Keywords: robust mean square stability, discrete-time stochastic systems, hybrid systems, interval time-varying delays, Lyapunov functional, linear matrix inequalities

Procedia PDF Downloads 458

Authors: Manlika Rajchakit

Abstract:

This paper is concerned with robust mean square stability of uncertain stochastic switched discrete time-delay systems. The system to be considered is subject to interval time-varying delays, which allows the delay to be a fast time-varying function and the lower bound is not restricted to zero. Based on the discrete Lyapunov functional, a switching rule for the robust mean square stability for the uncertain stochastic discrete time-delay system is designed via linear matrix inequalities. Finally, some examples are exploited to illustrate the effectiveness of the proposed schemes.

Keywords: robust mean square stability, discrete-time stochastic systems, hybrid systems, interval time-varying delays, lyapunov functional, linear matrix inequalities

Procedia PDF Downloads 403

Authors: Janis Zarins, Kristaps Blums, Oskars Radzins, Renars Deksnis, Atis Svare, Santa Salaka

Abstract:

Wide tumor resection remains the first choice method for tumors of the oral cavity. Nevertheless, remained tissue defect impacts patients functional and aesthetical outcome, which could be improved using microvascular tissue transfers. Mandibular reconstruction is challenging due to the complexity of composite tissue defects and occlusal relationships for normal eating, chewing, and pain free jaw motions. Individual 3-D virtual planning would provide better symmetry and functional outcome. The main goal of preoperative planning is to develop a customized surgical approach with patient specific cutting guides of the mandible, osteotomy guides of the fibula, pre-bended osteosynthesis plates to perform more precise reconstruction, to decrease the surgery time and reach the best outcome. Our study is based on the analysis of 32 patients operated on between 2019 to 2021. All patients underwent mandible reconstruction with vascularized fibula flaps. Patients characteristics, surgery profile, survival, functional outcome, and quality of life was evaluated. Preoperative planning provided a significant decrease of surgery time and the best arrangement of bone closely similar as before the surgery. In cases of bone asymmetry, deformity and malposition, a new mandible was created using 3D planning to restore the appearance of lower jaw anatomy and functionality.

Keywords: mandibular, 3D planning, cutting guides, fibula flap, reconstruction

Procedia PDF Downloads 98

Authors: Balakumar Pitchai, Xiang Llan Ang, Sunil Prajapati, Varatharajan Rajavel, Sundram Karupiah, Mohd Baidi Bahari

Abstract:

The study examined the pretreatment and post-treatment effects of low-doses of fenofibrate and rosuvastatin in gentamicin-induced acute nephrotoxicity in rats. Gentamicin (100 mg/kg/day, i.p.) was administered to rats for 8 days. In the pretreatment protocol, low-dose fenofibrate (30 mg/kg/day, p.o.) or low-dose rosuvastatin (2 mg/kg/day, p.o.) treatments were started a day before the administration of gentamicin and continued for 8 days. In the post-treatment protocol, rats administered gentamicin were treated with low-dose fenofibrate (30 mg/kg/day, p.o.) or low-dose rosuvastatin (2 mg/kg/day, p.o.) for 6 days after the completion of 8 days protocol of gentamicin administration. Gentamicin-associated acute nephrotoxicity in rats was assessed in terms of biochemical analysis and renal histopathological studies. Gentamicin-administered rats showed marked renal functional changes as assessed in terms of a significant increase in serum creatinine and urea levels as compared to normal rats. The renal dysfunction noted in gentamicin administered rats was accompanied with elevated serum uric acid level as compared to normal rats while there was no significant change in lipid profile. Low-dose fenofibrate pretreatment in gentamicin-administered rats afforded a significant renal functional improvements and renoprotection while its post-treatment showed no significant renoprotection. On the other hand, pretreatment with low-dose rosuvastatin partially reduced gentamicin-induced increase in serum creatinine level, but its post-treatment did not afford renal functional improvements in gentamicin-administered rats. However, all pre and post-treatments with low-doses of fenofibrate or rosuvastatin significantly reduced the elevated serum uric acid concentration in gentamicin-administered rats. Renal histopathological analysis showed a discernible incidence of acute tubular necrosis in gentamicin-administered rats which were markedly reduced by low-dose fenofibrate or low-dose rosuvastatin pretreatments; but, not by their post-treatments. In conclusion, low-dose fenofibrate pretreatment considerably prevented gentamicin-induced acute tubular necrosis and renal functional abnormalities in rats while its post-treatment resulted in no significant renoprotective action. In spite of effective prevention of gentamicin-induced acute tubular necrosis, the pretreatment with low-dose rosuvastatin had only a partial and fractional protection on renal functional abnormalities. The post-treatment with low-dose rosuvastatin was ineffective in affording a renoprotection in gentamicin-administered rats.

Keywords: gentamicin-nephrotoxicity, low-dose fenofibrate, low-dose rosuvastatin, renoprotection

Procedia PDF Downloads 174

Authors: Etienne Herrick

Abstract:

As an economically and ecologically feasible method for farmers to introduce greater diversity into their crop rotations, cover cropping presents a valuable opportunity for improving the sustainability of food production. Planted in-between cash crop growing seasons, cover crops serve to enhance agroecosystem functioning, rather than being destined for sale or consumption. In fact, cover crops may hold the capacity to deliver multiple ecosystem functions or services simultaneously (multifunctionality). Building upon this line of research will not only benefit society at present, but also support its continued survival through its potential for restoring depleted soils and reducing the need for energy-intensive and harmful external inputs like fertilizers and pesticides. This study utilizes a trait-based approach to explore the influence of inter- and intra-specific interactions in summer cover crop mixtures and monocultures on functional trait expression and ecosystem services. Functional traits that enhance ecosystem services related to agricultural production include height, specific leaf area (SLA), root, shoot ratio, leaf C and N concentrations, and flowering phenology. Ecosystem services include biomass production, weed suppression, reduced N leaching, N recycling, and support of pollinators. Employing a trait-based approach may allow for the elucidation of mechanistic links between plant structure and resulting ecosystem service delivery. While relationships between some functional traits and the delivery of particular ecosystem services may be readily apparent through existing ecological knowledge (e.g. height positively correlating with weed suppression), this study will begin to quantify those relationships so as to gain further understanding of whether and how measurable variation in functional trait expression across cover crop mixtures and monocultures can serve as a reliable predictor of variation in the types and abundances of ecosystem services delivered. Six cover crop species, including legume, grass, and broadleaf functional types, were selected for growth in six mixtures and their component monocultures based upon the principle of trait complementarity. The tricultures (three-way mixtures) are comprised of a legume, grass, and broadleaf species, and include cowpea/sudex/buckwheat, sunnhemp/sudex/buckwheat, and chickling vetch/oat/buckwheat combinations; the dicultures contain the same legume and grass combinations as above, without the buckwheat broadleaf. By combining species with expectedly complimentary traits (for example, legumes are N suppliers and grasses are N acquirers, creating a nutrient cycling loop) the cover crop mixtures may elicit a broader range of ecosystem services than that provided by a monoculture, though trade-offs could exist. Collecting functional trait data will enable the investigation of the types of interactions driving these ecosystem service outcomes. It also allows for generalizability across a broader range of species than just those selected for this study, which may aid in informing further research efforts exploring species and ecosystem functioning, as well as on-farm management decisions.

Keywords: agroecology, cover crops, functional traits, multifunctionality, trait complementarity

Procedia PDF Downloads 224

Authors: Blaise Fyama, Elie Museng, Grace Mukoma

Abstract:

In this article we present a java implementation of video telephony using the SIP protocol (Session Initiation Protocol). After a functional analysis of the SIP protocol, we relied on the work of Italian researchers of University of Parma-Italy to acquire adequate libraries for the development of our own communication tool. In order to optimize the code and improve the prototype, we used, in an incremental approach, test techniques based on a static analysis based on the evaluation of the complexity of the software with the application of metrics and the number cyclomatic of Mccabe. The objective is to promote the emergence of local start-ups producing IP video in a well understood local context. We have arrived at the creation of a video telephony tool whose code is optimized.

Keywords: static analysis, coding complexity metric mccabe, Sip, uml

Procedia PDF Downloads 91