Search results for: difference equations
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 6285

Search results for: difference equations

4515 Effect of Using Baffles Inside Spiral Micromixer

Authors: Delara Soltani, Sajad Alimohammadi, Tim Persoons

Abstract:

Microfluidic technology reveals a new area of research in drug delivery, biomedical diagnostics, and the food and chemical industries. Mixing is an essential part of microfluidic devices. There is a need for fast and homogeneous mixing in microfluidic devices. On the other hand, mixing is difficult to achieve in microfluidic devices because of the size and laminar flow in these devices. In this study, a hybrid passive micromixer of a curved channel with obstacles inside the channel is designed. The computational fluid dynamic method is employed to solve governing equations. The results show that using obstacles can improve mixing efficiency in spiral micromixers. the effects of Reynolds number, number, and position of baffles are investigated. In addition, the effect of baffles on pressure drop is presented. this novel micromixer has the potential to utilize in microfluidic devices.

Keywords: CFD, micromixer, microfluidics, spiral, reynolds number

Procedia PDF Downloads 91
4514 The Complete Modal Derivatives

Authors: Sebastian Andersen, Peter N. Poulsen

Abstract:

The use of basis projection in the structural dynamic analysis is frequently applied. The purpose of the method is to improve the computational efficiency, while maintaining a high solution accuracy, by projection the governing equations onto a small set of carefully selected basis vectors. The present work considers basis projection in kinematic nonlinear systems with a focus on two widely used basis vectors; the system mode shapes and their modal derivatives. Particularly the latter basis vectors are given special attention since only approximate modal derivatives have been used until now. In the present work the complete modal derivatives, derived from perturbation methods, are presented and compared to the previously applied approximate modal derivatives. The correctness of the complete modal derivatives is illustrated by use of an example of a harmonically loaded kinematic nonlinear structure modeled by beam elements.

Keywords: basis projection, finite element method, kinematic nonlinearities, modal derivatives

Procedia PDF Downloads 237
4513 Investigation of the Effect of Eye Exercises and Convergence Exercise on Visual Acuity in School-Age Children with Hypermetropia

Authors: Gulay Aras, Isil Kutluturk Karagoz, Z. Candan Algun

Abstract:

Background: Hypermetropia in school-age is a pathology that responds to treatment. In the literature, there has been no study of exercise practice in hypermetropia treatment. Objective: The purpose of this study was to investigate the effects of eye exercises and convergence exercise on visual acuity in school-age children with hypermetropia. Methods: Forty volunteer school-age children with hypermetropia (30 girls, 30 boys, between 7-17 years of age) were included in the study. Sociodemographic information and clinical characteristics were evaluated. 40 participants were randomly divided into two groups: eye exercises and convergence exercises. Home exercise protocols were given to all groups for six weeks, and regular phone calls were made once a week. Individuals performed eye exercises 10 times, convergence exercises 5 min. for two sessions per day for six weeks. The right and left eyes of all the subjects participating in the study were assessed separately by the eye doctor with a Snellen chart. The participants' quality of life was assessed using Pediatric Quality of Life Inventory Version 4.0. Physical health total score (PHTS) and scale total score (STS), which were obtained by evaluating Psychosocial health total score (PSHTS) school, emotional and social functioning, were calculated separately in the scores. At the end of the exercise program, the assessment tests applied at the beginning of the study were reapplied to all individuals. Results: There was no statistically significant difference between the pre- and post-Snellen chart measurements and quality of life in the eye exercises group (p > 0,05). There was a statistically significant difference in visual acuity of right and left eyes (p=0,004, p=0,014) and quality of life in PHTS, PSHTS and STS in the convergence exercise group (p=0,001, p=0,017, p=0,001). Conclusions: In school-age children, convergence exercises were found to be effective on visual acuity and health-related quality of life. Convergence exercises are recommended for the treatment of school-aged children with hypermetropia.

Keywords: convergence exercise, eye exercises, hypermetropia, school-age children

Procedia PDF Downloads 249
4512 Comparison of Effects over the Autonomic Nervous System When Using Force Training and Interval Training in Indoor Cycling with University Students

Authors: Daniel Botero, Oscar Rubiano, Pedro P. Barragan, Jaime Baron, Leonardo Rodriguez Perdomo, Jaime Rodriguez

Abstract:

In the last decade interval training (IT) has gained importance when is compare with strength training (ST). However, there are few studies analyzing the impact of these training over the autonomic nervous system (ANS). This work has aimed to compare the activity of the autonomic nervous system, when is expose to an IT or ST indoor cycling mode. After approval by the ethics committee, a cross-over clinical trial with 22 healthy participants (age 21 ± 3 years) was implemented. The selection of participants for the groups with sequence force-interval (F-I) and interval-force (I-F) was made randomly with assignation of 11 participants for each group. The temporal series of heart rate was obtained before and after each training using the POLAR TEAM® heart monitor. The evaluation of the ANS was performed with spectral analysis of the heart rate variability (HRV) using the fast Fourier transform (Kubios software). A training of 8 weeks in each sequence (4 weeks with each training) with an intermediate period of two weeks of washout was implemented for each group. The power parameter of the HRV in the low frequency band (LF = 0.04-0.15Hz related to the sympathetic nervous system), high frequency (HF = 0.15-0.4Hz, related to the parasympathetic) and LF/HF (with reference to a modulation of parasympathetic over the sympathetic), were calculated. Afterward, the difference between the parameters before and after was realized. Then, to evaluate statistical differences between each training was implemented the method of Wellek (Wellek and Blettner, 2012, Medicine, 109 (15), 276-81). To determine the difference of effect over parasympathetic when FT and IT are used, the T test is implemented obtaining a T value of 0.73 with p-value ≤ 0.1. For the sympathetic was obtained a T of 0.33 with p ≤ 0.1 and for LF/HF the T was 1.44 with a p ≥ 0.1. Then, the carry over effect was evaluated and was not present. Significant changes over autonomic activity with strength or interval training were not observed. However, a modulation of the parasympathetic over the sympathetic can be observed. Probably, these findings should be explained because the sample is little and/or the time of training was insufficient to generate changes.

Keywords: autonomic nervous, force training, indoor cycling, interval training

Procedia PDF Downloads 225
4511 Machine Learning Techniques in Seismic Risk Assessment of Structures

Authors: Farid Khosravikia, Patricia Clayton

Abstract:

The main objective of this work is to evaluate the advantages and disadvantages of various machine learning techniques in two key steps of seismic hazard and risk assessment of different types of structures. The first step is the development of ground-motion models, which are used for forecasting ground-motion intensity measures (IM) given source characteristics, source-to-site distance, and local site condition for future events. IMs such as peak ground acceleration and velocity (PGA and PGV, respectively) as well as 5% damped elastic pseudospectral accelerations at different periods (PSA), are indicators of the strength of shaking at the ground surface. Typically, linear regression-based models, with pre-defined equations and coefficients, are used in ground motion prediction. However, due to the restrictions of the linear regression methods, such models may not capture more complex nonlinear behaviors that exist in the data. Thus, this study comparatively investigates potential benefits from employing other machine learning techniques as statistical method in ground motion prediction such as Artificial Neural Network, Random Forest, and Support Vector Machine. The results indicate the algorithms satisfy some physically sound characteristics such as magnitude scaling distance dependency without requiring pre-defined equations or coefficients. Moreover, it is shown that, when sufficient data is available, all the alternative algorithms tend to provide more accurate estimates compared to the conventional linear regression-based method, and particularly, Random Forest outperforms the other algorithms. However, the conventional method is a better tool when limited data is available. Second, it is investigated how machine learning techniques could be beneficial for developing probabilistic seismic demand models (PSDMs), which provide the relationship between the structural demand responses (e.g., component deformations, accelerations, internal forces, etc.) and the ground motion IMs. In the risk framework, such models are used to develop fragility curves estimating exceeding probability of damage for pre-defined limit states, and therefore, control the reliability of the predictions in the risk assessment. In this study, machine learning algorithms like artificial neural network, random forest, and support vector machine are adopted and trained on the demand parameters to derive PSDMs for them. It is observed that such models can provide more accurate estimates of prediction in relatively shorter about of time compared to conventional methods. Moreover, they can be used for sensitivity analysis of fragility curves with respect to many modeling parameters without necessarily requiring more intense numerical response-history analysis.

Keywords: artificial neural network, machine learning, random forest, seismic risk analysis, seismic hazard analysis, support vector machine

Procedia PDF Downloads 106
4510 One-Stage Conversion of Adjustable Gastric Band to One-Anastomosis Gastric Bypass Versus Sleeve Gastrectomy : A Single-Center Experience With a Short and Mid-term Follow-up

Authors: Basma Hussein Abdelaziz Hassan, Kareem Kamel, Philobater Bahgat Adly Awad, Karim Fahmy

Abstract:

Background: Laparoscopic adjustable gastric band was one of the most applied and common bariatric procedures in the last 8 years. However; the failure rate was very high, reaching approximately 60% of the patients not achieving the desired weight loss. Most patients sought another revisional surgery. In which, we compared two of the most common weight loss surgeries performed nowadays: the laparoscopic sleeve gastrectomy and laparoscopic one- anastomosis gastric bypass. Objective: To compare the weight loss and postoperative outcomes among patients undergoing conversion laparoscopic one-anastomosis gastric bypass (cOAGB) and laparoscopic sleeve gastrectomy (cSG) after a failed laparoscopic adjustable gastric band (LAGB). Patients and Methods: A prospective cohort study was conducted from June 2020 to June 2022 at a single medical center, which included 77 patients undergoing single-stage conversion to (cOAGB) vs (cSG). Patients were reassessed for weight loss, comorbidities remission, and post-operative complications at 6, 12, and 18 months. Results: There were 77 patients with failed LAGB in our study. Group (I) was 43 patients who underwent cOAGB and Group (II) was 34 patients who underwent cSG. The mean age of the cOAGB group was 38.58. While in the cSG group, the mean age was 39.47 (p=0.389). Of the 77 patients, 10 (12.99%) were males and 67 (87.01%) were females. Regarding Body mass index (BMI), in the cOAGB group the mean BMI was 41.06 and in the cSG group the mean BMI was 40.5 (p=0.042). The two groups were compared postoperative in relation to EBWL%, BMI, and the co-morbidities remission within 18 months follow-up. The BMI was calculated post-operative at three visits. After 6 months of follow-up, the mean BMI in the cOAGB group was 34.34, and the cSG group was 35.47 (p=0.229). In 12-month follow-up, the mean BMI in the cOAGB group was 32.69 and the cSG group was 33.79 (p=0.2). Finally, the mean BMI after 18 months of follow-up in the cOAGB group was 30.02, and in the cSG group was 31.79 (p=0.001). Both groups had no statistically significant values at 6 and 12 months follow-up with p-values of 0.229, and 0.2 respectively. However, patients who underwent cOAGB after 18 months of follow-up achieved lower BMI than those who underwent cSG with a statistically significant p-value of 0.005. Regarding EBWL% there was a statistically significant difference between the two groups. After 6 months of follow-up, the mean EBWL% in the cOAGB group was 35.9% and the cSG group was 33.14%. In the 12-month follow-up, the EBWL % mean in the cOAGB group was 52.35 and the cSG group was 48.76 (p=0.045). Finally, the mean EBWL % after 18 months of follow-up in the cOAGB group was 62.06 ±8.68 and in the cSG group was 55.58 ±10.87 (p=0.005). Regarding comorbidities remission; Diabetes mellitus remission was found in 22 (88%) patients in the cOAGB group and 10 (71.4%) patients in the cSG group with (p= 0.225). Hypertension remission was found in 20 (80%) patients in the cOAGB group and 14 (82.4%) patients in the cSG group with (p=1). In addition, dyslipidemia remission was found in 27(87%) patients in cOAGB group and 17(70%) patients in the cSG group with (p=0.18). Finally, GERD remission was found in about 15 (88.2%) patients in the cOAGB group and 6 (60%) patients in the cSG group with (p=0.47). There are no statistically significant differences between the two groups in the post-operative data outcomes. Conclusion: This study suggests that the conversion of LAGB to either cOAGB or cSG could be feasibly performed in a single-stage operation. cOAGB had a significant difference as regards the weight loss results than cSG among the mid-term follow-up. However, there is no significant difference in the postoperative complications and the resolution of the co-morbidities. Therefore, cOAGB could provide a reliable alternative but needs to be substantiated in future long-term studies.

Keywords: laparoscopic, gastric banding, one-anastomosis gastric bypass, Sleeve gastrectomy, revisional surgery, weight loss

Procedia PDF Downloads 61
4509 Assessment of Vermiculite Concrete Containing Bio-Polymer Aggregate

Authors: Aliakbar Sayadi, Thomas R. Neitzert, G. Charles Clifton, Min Cheol Han

Abstract:

The present study aims to assess the performance of vermiculite concrete containing poly-lactic acid beads as an eco-friendly aggregate. Vermiculite aggregate was replaced by poly-lactic acid in percentages of 0%, 20%, 40%, 60% and 80%. Mechanical and thermal properties of concrete were investigated. Test results indicated that the inclusion of poly-lactic acid decreased the PH value of concrete and all the poly-lactic acid particles were dissolved due to the formation of sodium lactide and lactide oligomers when subjected to the high alkaline environment of concrete. In addition, an increase in thermal conductivity value of concrete was observed as the ratio of poly-lactic acid increased. Moreover, a set of equations was proposed to estimate the water-cement ratio, cement content and water absorption ratio of concrete.

Keywords: poly-lactic acid (PLA), vermiculite concrete, eco-friendly, mechanical properties

Procedia PDF Downloads 404
4508 Modification of Newton Method in Two Point Block Backward Differentiation Formulas

Authors: Khairil I. Othman, Nur N. Kamal, Zarina B. Ibrahim

Abstract:

In this paper, we present modified Newton method as a new strategy for improving the efficiency of Two Point Block Backward Differentiation Formulas (BBDF) when solving stiff systems of ordinary differential equations (ODEs). These methods are constructed to produce two approximate solutions simultaneously at each iteration The detailed implementation of the predictor corrector BBDF with PE(CE)2 with modified Newton are discussed. The proposed modification of BBDF is validated through numerical results on some standard problems found in the literature and comparisons are made with the existing Block Backward Differentiation Formula. Numerical results show the advantage of using the new strategy for solving stiff ODEs in improving the accuracy of the solution.

Keywords: newton method, two point, block, accuracy

Procedia PDF Downloads 357
4507 Long-Term Effects of Psychosocial Interventions for Adolescents on Depression and Anxiety: A Systematic Review and Meta-Analysis

Authors: Denis Duagi, Ben Carter, Maria Farrelly, Stephen Lisk, June S. L. Brown

Abstract:

Background: Adolescence represents a distinctive phase of development, and variables linked to this developmental period could affect the efficiency of prevention and treatment for depression and anxiety, as well as the long-term prognosis. The objectives of this study were to investigate the long-term effectiveness of psychosocial interventions for adolescents on depression and anxiety symptoms and to assess the influence of different intervention parameters on the long-term effects. Methods: Searches were carried out on the 11ᵗʰ of August 2022 using five databases (Cochrane Library, Embase, Medline, PsychInfo, Web of Science), as well as trial registers. Randomized controlled trials of psychosocial interventions targeting specifically adolescents were included if they assessed outcomes at 1-year post-intervention or more. The Cochrane risk of bias-2 quality assessment tool was used. The primary outcome was depression, and studies were pooled using a standardised mean difference, with an associated 95% confidence interval, p-value, and I². The study protocol was pre-registered (CRD42022348668). Findings: A total of 57 reports (n= 46,678 participants) were included in the review. Psychosocial interventions led to small reductions in depressive symptoms, with a standardised mean difference (SMD) at 1-year of -0.08 (95%CI -0.20, -0.03, p=0.002, I²=72%), 18-months SMD=-0.12, 95% CI -0.22, -0.01, p=0.03, I²=63%) and 2-years SMD=-0.12 (95% CI -0.20, -0.03, p=0.01, I²=68%). Sub-group analyses indicated that targeted interventions produced stronger effects, particularly when delivered by trained mental health professionals (K=18, SMD=-0.24, 95% CI -0.38, -0.10, p=0.001, I²=60%). No effects were detected for anxiety at any assessment. Conclusion: Psychosocial interventions specifically targeting adolescents were shown to have small but positive effects on depression symptoms but not anxiety symptoms, which were sustained for up to 2 years. These findings highlight the potential population-level preventive effects if such psychosocial interventions become widely implemented in accessible settings such as schools.

Keywords: psychosocial, adolescent, interventions, depression, anxiety, meta-analysis, randomized controlled trial

Procedia PDF Downloads 71
4506 Inter-Generational Benefits of Improving Access to Justice for Women: Evidence from Peru

Authors: Iva Trako, Maris Micaela Sviatschi, Guadalupe Kavanaugh

Abstract:

Domestic violence is a major concern in developing countries, with important social, economic and health consequences. However, institutions do not usually address the problems facing women or ethnic and religious minorities. For example, the police do very little to stop domestic violence in rural areas of developing countries. This paper exploits the introduction of women’s justice centers (WJCs) in Peru to provide causal estimates on the effects of improving access to justice for women and children. These centers offer a new integrated public service model for women by including medical, psychological and legal support in cases of violence against women. Our empirical approach uses a difference in difference estimation exploiting variation over time and space in the opening of WJC together with province-by-year fixed effects. Exploiting administrative data from health providers and district attorney offices, we find that after the opening of these centers, there are important improvements on women's welfare: a large reduction in femicides and female hospitalizations for assault. Moreover, using geo-coded household surveys we find evidence that the existence of these services reduces domestic violence, improves women's health, increases women's threat points and, therefore, lead to household decisions that are more aligned with their interests. Using administrative data on the universe of schools, we find large gains on human capital for their children: affected children are more likely to enroll, attend school and have better grades in national exams, instead of working for the family. In sum, the evidence in this paper shows that providing access to justice for women can be a powerful tool to reduce domestic violence and increase education of children, suggesting a positive inter-generational benefit.

Keywords: access to justice, domestic violence, education, household bargaining

Procedia PDF Downloads 183
4505 Investigating the Flow Physics within Vortex-Shockwave Interactions

Authors: Frederick Ferguson, Dehua Feng, Yang Gao

Abstract:

No doubt, current CFD tools have a great many technical limitations, and active research is being done to overcome these limitations. Current areas of limitations include vortex-dominated flows, separated flows, and turbulent flows. In general, turbulent flows are unsteady solutions to the fluid dynamic equations, and instances of these solutions can be computed directly from the equations. One of the approaches commonly implemented is known as the ‘direct numerical simulation’, DNS. This approach requires a spatial grid that is fine enough to capture the smallest length scale of the turbulent fluid motion. This approach is called the ‘Kolmogorov scale’ model. It is of interest to note that the Kolmogorov scale model must be captured throughout the domain of interest and at a correspondingly small-time step. In typical problems of industrial interest, the ratio of the length scale of the domain to the Kolmogorov length scale is so great that the required grid set becomes prohibitively large. As a result, the available computational resources are usually inadequate for DNS related tasks. At this time in its development, DNS is not applicable to industrial problems. In this research, an attempt is made to develop a numerical technique that is capable of delivering DNS quality solutions at the scale required by the industry. To date, this technique has delivered preliminary results for both steady and unsteady, viscous and inviscid, compressible and incompressible, and for both high and low Reynolds number flow fields that are very accurate. Herein, it is proposed that the Integro-Differential Scheme (IDS) be applied to a set of vortex-shockwave interaction problems with the goal of investigating the nonstationary physics within the resulting interaction regions. In the proposed paper, the IDS formulation and its numerical error capability will be described. Further, the IDS will be used to solve the inviscid and viscous Burgers equation, with the goal of analyzing their solutions over a considerable length of time, thus demonstrating the unsteady capabilities of the IDS. Finally, the IDS will be used to solve a set of fluid dynamic problems related to flow that involves highly vortex interactions. Plans are to solve the following problems: the travelling wave and vortex problems over considerable lengths of time, the normal shockwave–vortex interaction problem for low supersonic conditions and the reflected oblique shock–vortex interaction problem. The IDS solutions obtained in each of these solutions will be explored further in efforts to determine the distributed density gradients and vorticity, as well as the Q-criterion. Parametric studies will be conducted to determine the effects of the Mach number on the intensity of vortex-shockwave interactions.

Keywords: vortex dominated flows, shockwave interactions, high Reynolds number, integro-differential scheme

Procedia PDF Downloads 137
4504 A Study of the Attitude Towards Marriage among Young Adults in Indian and Tibetan Society Which Impacted in Social Learning and Cross-Cultural Behavior

Authors: Meenakshi Chaubey

Abstract:

A principle proposed in the cross-cultural adaption of behavior among Indian and Tibetan societies in which there are not any great variations between their young adults on the mindset of day-to-day marriage, Marriage plays a dominant position in constructing the society, which in large part comprises underneath the domain of lifestyle. Way of life is a social behavior and norm located in human societies where an extensive range of phenomena can be transmitted thru social studying. It acts characteristic of the individual has been the diploma day-to-day which they have got cultivated a specific stage of class in arts, science, architecture. The existing studies preliminarily on young adults of each community, wherein we carried out a comparative observe of the mindset of daily marriage among Indian and Tibetan teens. Further, we studied statistics comprehensively on the mindset closer day by day the marriage between Indian adult males and Tibetan younger males. With the extension of a complete look, we considered the mindset of an everyday marriage of Indian girls and Tibetan young ladies. Studies 1 showed that there might be no sizable distinction within the attitude of the day-to-day marriage of Indian and Tibetan teenagers. It, in addition, showed that they followed each different marriage beliefs and customs. Studies 2 showed that there might be no important difference in the attitude toward the everyday marriage of Indian and Tibetan young males. It similarly showcased that day-to-day secular schooling gadget in Tibetan society complements their clinical approach and changes their point of view on distinct social issues along with marriage. Research three confirmed that there is no substantial difference in the mindset of the daily marriage of Indian and Tibetan younger females. It similarly spread out the strict authorities' recommendations that they may no longer be allowed day-to-day comply with their marriage practices, including polygamy and polyandry. Thus, the information showed that there's a shift of lifestyle from one network every day to some other community because of social every day, which affects the conduct and results of daily past cultural adaptation.

Keywords: culture, marriage, attitude, society, young adults, Indian, Tibetan

Procedia PDF Downloads 84
4503 Determination of Genetic Markers, Microsatellites Type, Liked to Milk Production Traits in Goats

Authors: Mohamed Fawzy Elzarei, Yousef Mohammed Al-Dakheel, Ali Mohamed Alseaf

Abstract:

Modern molecular techniques, like single marker analysis for linked traits to these markers, can provide us with rapid and accurate genetic results. In the last two decades of the last century, the applications of molecular techniques were reached a faraway point in cattle, sheep, and pig. In goats, especially in our region, the application of molecular techniques is still far from other species. As reported by many researchers, microsatellites marker is one of the suitable markers for lie studies. The single marker linked to traits of interest is one technique allowed us to early select animals without the necessity for mapping the entire genome. Simplicity, applicability, and low cost of this technique gave this technique a wide range of applications in many areas of genetics and molecular biology. Also, this technique provides a useful approach for evaluating genetic differentiation, particularly in populations that are poorly known genetically. The expected breeding value (EBV) and yield deviation (YD) are considered as the most parameters used for studying the linkage between quantitative characteristics and molecular markers, since these values are raw data corrected for the non-genetic factors. A total of 17 microsatellites markers (from chromosomes 6, 14, 18, 20 and 23) were used in this study to search for areas that could be responsible for genetic variability for some milk traits and search of chromosomal regions that explain part of the phenotypic variance. Results of single-marker analyses were used to identify the linkage between microsatellite markers and variation in EBVs of these traits, Milk yield, Protein percentage, Fat percentage, Litter size and weight at birth, and litter size and weight at weaning. The estimates of the parameters from forward and backward solutions using stepwise regression procedure on milk yield trait, only two markers, OARCP9 and AGLA29, showed a highly significant effect (p≤0.01) in backward and forward solutions. The forward solution for different equations conducted that R2 of these equations were highly depending on only two partials regressions coefficient (βi,) for these markers. For the milk protein trait, four marker showed significant effect BMS2361, CSSM66 (p≤0.01), BMS2626, and OARCP9 (p≤0.05). By the other way, four markers (MCM147, BM1225, INRA006, andINRA133) showed highly significant effect (p≤0.01) in both backward and forward solutions in association with milk fat trait. For both litter size at birth and at weaning traits, only one marker (BM143(p≤0.01) and RJH1 (p≤0.05), respectively) showed a significant effect in backward and forward solutions. The estimates of the parameters from forward and backward solution using stepwise regression procedure on litter weight at birth (LWB) trait only one marker (MCM147) showed highly significant effect (p≤0.01) and two marker (ILSTS011, CSSM66) showed a significant effect (p≤0.05) in backward and forward solutions.

Keywords: microsatellites marker, estimated breeding value, stepwise regression, milk traits

Procedia PDF Downloads 93
4502 Application of a SubIval Numerical Solver for Fractional Circuits

Authors: Marcin Sowa

Abstract:

The paper discusses the subinterval-based numerical method for fractional derivative computations. It is now referred to by its acronym – SubIval. The basis of the method is briefly recalled. The ability of the method to be applied in time stepping solvers is discussed. The possibility of implementing a time step size adaptive solver is also mentioned. The solver is tested on a transient circuit example. In order to display the accuracy of the solver – the results have been compared with those obtained by means of a semi-analytical method called gcdAlpha. The time step size adaptive solver applying SubIval has been proven to be very accurate as the results are very close to the referential solution. The solver is currently able to solve FDE (fractional differential equations) with various derivative orders for each equation and any type of source time functions.

Keywords: numerical method, SubIval, fractional calculus, numerical solver, circuit analysis

Procedia PDF Downloads 205
4501 Demand and Supply Management for Electricity Markets: Econometric Analysis of Electricity Prices

Authors: Ioana Neamtu

Abstract:

This paper investigates the potential for demand-side management for the system price in the Nordic electricity market and the price effects of introducing wind-power into the system. The model proposed accounts for the micro-structure of the Nordic electricity market by modeling each hour individually, while still accounting for the relationship between the hours within a day. This flexibility allows us to explore the differences between peak and shoulder demand hours. Preliminary results show potential for demand response management, as indicated by the price elasticity of demand as well as a small but statistically significant decrease in price, given by the wind power penetration. Moreover, our study shows that these effects are stronger during day-time and peak hours,compared to night-time and shoulder hours.

Keywords: structural model, GMM estimation, system of equations, electricity market

Procedia PDF Downloads 437
4500 Simultaneous Measurement of Displacement and Roll Angle of Object

Authors: R. Furutani, K. Ishii

Abstract:

Laser interferometers are now widely used for length and displacement measurement. In conventional methods, the optical path difference between two mirrors, one of which is a reference mirror and the other is a target mirror, is measured, as in Michelson interferometry, or two target mirrors are set up and the optical path difference between the two targets is measured, as in differential interferometry. In these interferometers, the two laser beams pass through different optical elements so that the measurement result is affected by the vibration and other effects in the optical paths. In addition, it is difficult to measure the roll angle around the optical axis. The proposed interferometer simultaneously measures both the translational motion along the optical axis and the roll motion around it by combining the retroreflective principle of the ball lens (BL) and the polarization. This interferometer detects the interferogram by the two beams traveling along the identical optical path from the beam source to BL. This principle is expected to reduce external influences by using the interferogram between the two lasers in an identical optical path. The proposed interferometer uses a BL so that the reflected light from the lens travels on the identical optical path as the incident light. After reaching the aperture of the He-Ne laser oscillator, the reflected light is reflected by a mirror with a very high reflectivity installed in the aperture and is irradiated back toward the BL. Both the first laser beam that enters the BL and the second laser beam that enters the BL after the round trip interferes with each other, enabling the measurement of displacement along the optical axis. In addition, for the measurement of the roll motion, a quarter-wave plate is installed on the optical path to change the polarization state of the laser. The polarization states of the first laser beam and second laser beam are different by the roll angle of the target. As a result, this system can measure the displacement and the roll angle of BL simultaneously. It was verified by the simulation and the experiment that the proposed optical system could measure the displacement and the roll angle simultaneously.

Keywords: common path interferometer, displacement measurement, laser interferometer, simultaneous measurement, roll angle measurement

Procedia PDF Downloads 89
4499 Comparison of Cyclone Design Methods for Removal of Fine Particles from Plasma Generated Syngas

Authors: Mareli Hattingh, I. Jaco Van der Walt, Frans B. Waanders

Abstract:

A waste-to-energy plasma system was designed by Necsa for commercial use to create electricity from unsorted municipal waste. Fly ash particles must be removed from the syngas stream at operating temperatures of 1000 °C and recycled back into the reactor for complete combustion. A 2D2D high efficiency cyclone separator was chosen for this purpose. During this study, two cyclone design methods were explored: The Classic Empirical Method (smaller cyclone) and the Flow Characteristics Method (larger cyclone). These designs were optimized with regard to efficiency, so as to remove at minimum 90% of the fly ash particles of average size 10 μm by 50 μm. Wood was used as feed source at a concentration of 20 g/m3 syngas. The two designs were then compared at room temperature, using Perspex test units and three feed gases of different densities, namely nitrogen, helium and air. System conditions were imitated by adapting the gas feed velocity and particle load for each gas respectively. Helium, the least dense of the three gases, would simulate higher temperatures, whereas air, the densest gas, simulates a lower temperature. The average cyclone efficiencies ranged between 94.96% and 98.37%, reaching up to 99.89% in individual runs. The lowest efficiency attained was 94.00%. Furthermore, the design of the smaller cyclone proved to be more robust, while the larger cyclone demonstrated a stronger correlation between its separation efficiency and the feed temperatures. The larger cyclone can be assumed to achieve slightly higher efficiencies at elevated temperatures. However, both design methods led to good designs. At room temperature, the difference in efficiency between the two cyclones was almost negligible. At higher temperatures, however, these general tendencies are expected to be amplified so that the difference between the two design methods will become more obvious. Though the design specifications were met for both designs, the smaller cyclone is recommended as default particle separator for the plasma system due to its robust nature.

Keywords: Cyclone, design, plasma, renewable energy, solid separation, waste processing

Procedia PDF Downloads 214
4498 The Gasoil Hydrofining Kinetics Constants Identification

Authors: C. Patrascioiu, V. Matei, N. Nicolae

Abstract:

The paper describes the experiments and the kinetic parameters calculus of the gasoil hydrofining. They are presented experimental results of gasoil hidrofining using Mo and promoted with Ni on aluminum support catalyst. The authors have adapted a kinetic model gasoil hydrofining. Using this proposed kinetic model and the experimental data they have calculated the parameters of the model. The numerical calculus is based on minimizing the difference between the experimental sulf concentration and kinetic model estimation.

Keywords: hydrofining, kinetic, modeling, optimization

Procedia PDF Downloads 438
4497 Study on Hybridization between Clarias gariepinus (Burchell 1822) and Heterobranchus bidorsalis (Geoffroy Saint Hilaire, 1809)

Authors: Wasiu Olaniyi, Ofelia Omitogun

Abstract:

Hybridization has been of importance in both research and commercial aquaculture due to its benefits such as increased growth rate, sex ratio manipulation, production of sterile species and many other desirable economic traits. In this study, we successfully produced hybrids between crosses of Clariid catfish species of Clarias gariepinus and Heterobranchus bidorsalis for stock improvement. Milt and eggs from parent broodstock of C. gariepinus and H. bidorsalis were collected for both intrageneric and interspecific hybridization, viz: same parent species crosses (♀C. gariepinus ×♂C. gariepinus; ♀H. bidorsalis × ♂H. bidorsalis) and inter-specific crosses (♀H. bidorsalis × ♂C. gariepinus; ♀C. gariepinus × ♂H. bidorsalis). These crosses were made in triplicates whereby the data on latency period, fertility, hatchability, deformity, and survival were recorded. A phenotypic form of distinction was registered in the hybrid ♀C. gariepinus × ♂H. bidorsalis that was smooth-greyed while its reciprocal cross was marpatic. The parent species C. gariepinus had greyed-marpatic color while the H. bidorsalis was yellowish-brown. Fertility data revealed the significant difference (p < 0.05) between the hybrid cross ♀C. gariepinus × ♂H. bidorsalis (88.00 ± 1.00%) compared to its reciprocal ♀H. bidorsalis × ♂C. gariepinus (71.67 ± 10.41%) which further had carried over effects to hatchability. The reciprocal ♀H. bidorsalis × ♂C. gariepinus recorded the highest deformity (11.67 ± 3.06%) that was significantly different (p < 0.05) from the rest of the crosses. Also, an outcome of equal sex ratio in the hybrids compared with the two parent species was shown. Specific growth rate (SGR) data revealed highest significant difference (p < 0.05) in the hybrid ♀C. gariepinus × ♂H. bidorsalis (2.64 ± 0.09%), followed by the cross of ♀C. gariepinus × ♂ C. gariepinus (1.91 ± 0.02%) while there were no significant differences (p > 0.05) between the reciprocal hybrid ♀H. bidorsalis × ♂C. gariepinus (2.20 ± 0.57%) and ♀H. bidorsalis × ♂H. bidorsalis (2.19 ± 0.19%). The SGR analysis proved that the crosses ♀C. gariepinus × ♂C. gariepinus had slow growth performance compared to its hybrid ♀C. gariepinus × ♂H. bidorsalis. Critical evaluation based on survival and specific growth performance showed the superiority of the hybrid ♀C. gariepinus × ♂H. bidorsalis. The least survival in reciprocal hybrid ♀H. bidorsalis × ♂C. gariepinus (27.33%) can be explained by significant deformity (11.67%) recorded due to maternal effects. Hence, the survival of hybrid ♀C. gariepinus × ♂H. bidorsalis was better.

Keywords: aquaculture, hybridization, Clarias gariepinus, Heterobranchus bidorsalis

Procedia PDF Downloads 164
4496 Performance Evaluation of Single Basin Solar Still

Authors: Prem Singh, Jagdeep Singh

Abstract:

In an attempt to investigate the performance of single basin solar still for climate conditions of Ludhiana a single basin solar still was designed, fabricated and tested. The energy balance equations for various parts of the still are solved by Gauss-Seidel iteration method. Computer model was made and experimentally validated. The validated computer model was used to estimate the annual distillation yield and performance ratio of the still for Ludhiana. The Theoretical and experimental distillation yield were 4318.79 ml and 3850 ml, respectively for the typical day. The predicted distillation yield was 12.5% higher than the experimental yield. The annual distillation yield per square meter aperture area and annual performance ratio for single basin solar still is 1095 liters and 0.43 liters, respectively. The payback period for micro-stepped solar still is 2.5 years.

Keywords: solar distillation, solar still, single basin, still

Procedia PDF Downloads 505
4495 Coupling Strategy for Multi-Scale Simulations in Micro-Channels

Authors: Dahia Chibouti, Benoit Trouette, Eric Chenier

Abstract:

With the development of micro-electro-mechanical systems (MEMS), understanding fluid flow and heat transfer at the micrometer scale is crucial. In the case where the flow characteristic length scale is narrowed to around ten times the mean free path of gas molecules, the classical fluid mechanics and energy equations are still valid in the bulk flow, but particular attention must be paid to the gas/solid interface boundary conditions. Indeed, in the vicinity of the wall, on a thickness of about the mean free path of the molecules, called the Knudsen layer, the gas molecules are no longer in local thermodynamic equilibrium. Therefore, macroscopic models based on the continuity of velocity, temperature and heat flux jump conditions must be applied at the fluid/solid interface to take this non-equilibrium into account. Although these macroscopic models are widely used, the assumptions on which they depend are not necessarily verified in realistic cases. In order to get rid of these assumptions, simulations at the molecular scale are carried out to study how molecule interaction with walls can change the fluid flow and heat transfers at the vicinity of the walls. The developed approach is based on a kind of heterogeneous multi-scale method: micro-domains overlap the continuous domain, and coupling is carried out through exchanges of information between both the molecular and the continuum approaches. In practice, molecular dynamics describes the fluid flow and heat transfers in micro-domains while the Navier-Stokes and energy equations are used at larger scales. In this framework, two kinds of micro-simulation are performed: i) in bulk, to obtain the thermo-physical properties (viscosity, conductivity, ...) as well as the equation of state of the fluid, ii) close to the walls to identify the relationships between the slip velocity and the shear stress or between the temperature jump and the normal temperature gradient. The coupling strategy relies on an implicit formulation of the quantities extracted from micro-domains. Indeed, using the results of the molecular simulations, a Bayesian regression is performed in order to build continuous laws giving both the behavior of the physical properties, the equation of state and the slip relationships, as well as their uncertainties. These latter allow to set up a learning strategy to optimize the number of micro simulations. In the present contribution, the first results regarding this coupling associated with the learning strategy are illustrated through parametric studies of convergence criteria, choice of basis functions and noise of input data. Anisothermic flows of a Lennard Jones fluid in micro-channels are finally presented.

Keywords: multi-scale, microfluidics, micro-channel, hybrid approach, coupling

Procedia PDF Downloads 167
4494 Numerical Analysis of 3D Electromagnetic Fields in Annular Induction Plasma

Authors: Abderazak Guettaf

Abstract:

The mathematical models of the physical phenomena interacting in inductive plasma were described by the physics equations of the continuous mediums. A 3D model based on magnetic potential vector and electric scalar potential (A, V) formulation is used. The finished volume method is applied to electromagnetic equation, to obtain the field distribution inside the plasma. The numerical results of the method developed on a basic model designed starting from a real three-dimensional model were exposed. From the mathematical model 3D spreading assumptions and boundary conditions, we evaluated the electric field in the load and we have developed a numerical code made under the MATLAB environment, all verifying the effectiveness and validity of this code.

Keywords: electric field, 3D magnetic potential vector and electric scalar potential (A, V) formulation, finished volumes, annular plasma

Procedia PDF Downloads 492
4493 Numerical Simulation of Rayleigh Benard Convection and Radiation Heat Transfer in Two-Dimensional Enclosure

Authors: Raoudha Chaabane, Faouzi Askri, Sassi Ben Nasrallah

Abstract:

A new numerical algorithm is developed to solve coupled convection-radiation heat transfer in a two dimensional enclosure. Radiative heat transfer in participating medium has been carried out using the control volume finite element method (CVFEM). The radiative transfer equations (RTE) are formulated for absorbing, emitting and scattering medium. The density, velocity and temperature fields are calculated using the two double population lattice Boltzmann equation (LBE). In order to test the efficiency of the developed method the Rayleigh Benard convection with and without radiative heat transfer is analyzed. The obtained results are validated against available works in literature and the proposed method is found to be efficient, accurate and numerically stable.

Keywords: participating media, LBM, CVFEM- radiation coupled with convection

Procedia PDF Downloads 407
4492 Divorce Advice and Parents' Council Support Groups: Help for Divorced Parents to Create Co-Parenting after Divorce

Authors: Paivi Hietanen

Abstract:

At family with children, divorce is a risk for a child to lose the relationship to the parent with whom the child doesn't live. A child has the right to the get care from both parents after the divorce. Even though your ex-spouse isn’t longer your companion, to the child he or she is still unique as a parent and parents must cooperate and support their child in the new family situation. To divorcee, it's necessary to understand the difference between the intimate relationship that ends and parenthood that continues. Cooperative parenting takes a lot of effort and flexibility for the parents to make joint custody work well. It is vital that parents get help to understand the situation from child points of view. When parent is facing divorce, and all the emotions that it brings along, can the child easily be forgotten. To help children, we must help parents to understand, that a relationship can end, parenthood cannot. As professionals, we should help the parents to see the significance and value of both parents to the child and try to support and protect parenthood-relationship between parents. The Federation of Mother and Child Homes and Shelters have developed group models to work with parents during or after divorce. These support groups are led by professionals, but peer support is also used. These support groups have been held over 10 years and there are found from 20 different cities in Finland. Eroneuvo event (divorce advice) service is intended for parents who are considering or have already divorced. The Vanhemman neuvo (parents' council) is a peer support group that helps parents with post-divorce parenting issues. From these groups, parents receive information and peer support for matters related to divorcing and how to support the child and do co-parenting. At the groups and in given information for divorced parents, is used a method called the 'Irreversible triangle'. It's a way to picture the intimate relationship and parenthood after the divorce and what is the difference between these two things. 'Irreversible triangle' is used to help parents and professionals to understand, what happens if a child loses the relationship to the other parent or if parents co-parenting doesn't work well. From the largely collected feedback, group members tell that they feel themselves relieved after taking part of the group. Parents also experience that talking with other parents helps to survive. Group members learn to co-operate with the other parent, and they'll also learn to see the best interest of the child after the divorce. Parents would highly recommend these groups to other parents.

Keywords: child's right, co-parenting, parenthood after the divorce, peer support

Procedia PDF Downloads 165
4491 A Mixed Methods Study to Examine Teachers’ Views towards Using Interactive White Boards (IWBs) in Tatweer Primary Schools in Saudi Arabia

Authors: Azzah Alghamdi

Abstract:

The Interactive White Boards (IWBs) as one of the innovative educational technologies have been extensively investigated in advanced countries such as the UK, US, and Australia. However, there is a significant lack of research studies, which mainly examine the use of IWBs in Saudi Arabia. Therefore, this study aims to investigate the attitudes of primary teachers towards using IWBs in both the teaching and learning processes. Moreover, it aims to investigate if there is any significant difference between male teachers and females regarding their attitudes towards using this technology. This study concentrated on teachers in primary schools, which participated in Tatweer project in the city of Jeddah, in Saudi Arabia. Mixed methods approach was employed in this study using a designed questionnaire, classroom observations, and a semi-structured interview. 587 teachers (286 men and 301 women) from Tatweer primary schools were completed the questionnaire as well as twenty teachers were interviewed including seven female teachers were observed in their classrooms. The findings of this study indicated that approximately 11% of the teachers within the sample (n=587) had negative attitudes towards the use of IWBs in the teaching and learning processes. However, the majority of them nearly 89% agreed about the benefits of using IWBs in their classrooms. Additionally, all the twenty teachers who were interviewed (including the seven observed female teachers) had positive attitudes towards the use of these technologies. Moreover, 87% of male teachers and 91% of female teachers who completed the questionnaire accepted the usefulness of using IWBs in improving their teaching and students' learning. Thus, this indicates that there was no significant difference between male and female teachers in Tatweer primary schools in terms of their views about using these innovative technologies in their lessons. The findings of the current study will help the Ministry of Education to improve the policies of using IWBs in Saudi Arabia. Indeed, examining teachers’ attitudes towards IWBs is a very important issue because they are the main users in classrooms. Hence, their views should be considered to addressing the powers and boundaries of using IWBs. Moreover, students will feel comfortable to use IWBs if their teachers accept and use them well.

Keywords: IWBs, Saudi teachers’ views, Tatweer schools, teachers' gender

Procedia PDF Downloads 228
4490 Heat Transfer Enhancement by Turbulent Impinging Jet with Jet's Velocity Field Excitations Using OpenFOAM

Authors: Naseem Uddin

Abstract:

Impinging jets are used in variety of engineering and industrial applications. This paper is based on numerical simulations of heat transfer by turbulent impinging jet with velocity field excitations using different Reynolds Averaged Navier-Stokes Equations models. Also Detached Eddy Simulations are conducted to investigate the differences in the prediction capabilities of these two simulation approaches. In this paper the excited jet is simulated in non-commercial CFD code OpenFOAM with the goal to understand the influence of dynamics of impinging jet on heat transfer. The jet’s frequencies are altered keeping in view the preferred mode of the jet. The Reynolds number based on mean velocity and diameter is 23,000 and jet’s outlet-to-target wall distance is 2. It is found that heat transfer at the target wall can be influenced by judicious selection of amplitude and frequencies.

Keywords: excitation, impinging jet, natural frequency, turbulence models

Procedia PDF Downloads 273
4489 Constructing the Joint Mean-Variance Regions for Univariate and Bivariate Normal Distributions: Approach Based on the Measure of Cumulative Distribution Functions

Authors: Valerii Dashuk

Abstract:

The usage of the confidence intervals in economics and econometrics is widespread. To be able to investigate a random variable more thoroughly, joint tests are applied. One of such examples is joint mean-variance test. A new approach for testing such hypotheses and constructing confidence sets is introduced. Exploring both the value of the random variable and its deviation with the help of this technique allows checking simultaneously the shift and the probability of that shift (i.e., portfolio risks). Another application is based on the normal distribution, which is fully defined by mean and variance, therefore could be tested using the introduced approach. This method is based on the difference of probability density functions. The starting point is two sets of normal distribution parameters that should be compared (whether they may be considered as identical with given significance level). Then the absolute difference in probabilities at each 'point' of the domain of these distributions is calculated. This measure is transformed to a function of cumulative distribution functions and compared to the critical values. Critical values table was designed from the simulations. The approach was compared with the other techniques for the univariate case. It differs qualitatively and quantitatively in easiness of implementation, computation speed, accuracy of the critical region (theoretical vs. real significance level). Stable results when working with outliers and non-normal distributions, as well as scaling possibilities, are also strong sides of the method. The main advantage of this approach is the possibility to extend it to infinite-dimension case, which was not possible in the most of the previous works. At the moment expansion to 2-dimensional state is done and it allows to test jointly up to 5 parameters. Therefore the derived technique is equivalent to classic tests in standard situations but gives more efficient alternatives in nonstandard problems and on big amounts of data.

Keywords: confidence set, cumulative distribution function, hypotheses testing, normal distribution, probability density function

Procedia PDF Downloads 174
4488 Useful Lifetime Prediction of Chevron Rubber Spring for Railway Vehicle

Authors: Chang Su Woo, Hyun Sung Park

Abstract:

Useful lifetime evaluation of chevron rubber spring was very important in design procedure to assure the safety and reliability. It is, therefore, necessary to establish a suitable criterion for the replacement period of chevron rubber spring. In this study, we performed characteristic analysis and useful lifetime prediction of chevron rubber spring. Rubber material coefficient was obtained by curve fittings of uni-axial tension, equi bi-axial tension and pure shear test. Computer simulation was executed to predict and evaluate the load capacity and stiffness for chevron rubber spring. In order to useful lifetime prediction of rubber material, we carried out the compression set with heat aging test in an oven at the temperature ranging from 50°C to 100°C during a period 180 days. By using the Arrhenius plot, several useful lifetime prediction equations for rubber material was proposed.

Keywords: chevron rubber spring, material coefficient, finite element analysis, useful lifetime prediction

Procedia PDF Downloads 567
4487 The Effect of a Test Pump Supplement on the Physiological and Functional Performance of Futsal Women

Authors: Samaneh Rahsepar, Mehrzad Moghadasi

Abstract:

To evaluate the effect of Test Pump supplement on the physiological and functional performance of futsal women, twenty female futsal subjects were divided into two groups: placebo (n = 10) and supplement (n = 10) and were given buccal tablets for 7 days and 12 g daily supplement each day. The placebo group used starch powder during this period. Speed, agility with ball, agility without ball and dribbling time were measured before and after supplementation. In addition, the rate of heart rate and blood pressure changes were measured before and after the YOYO test. The results showed that the test pump had no significant effect on improving speed, agility with ball, agility without ball, dribbling time and heart rate changes and diastolic blood pressure, and only affect the maximum oxygen consumption and systolic blood pressure (P <0.05). In general, the use of the test-pump supplement does not have a significant effect on the physiological and functional performance of futsal women. The results of this study showed that the use of supplementary pump tests on women's futsal heart rate changes after loading period had a significant difference between the two groups in resting heart rate with heart rate after exercise and 5 minutes after exercise. However, it did not have a significant effect on the increase in heart rate. Supplementation significantly increased systolic blood pressure after exercise compared to resting blood pressure, as well as a significant increase in systolic blood pressure after exercise compared to resting systolic blood pressure and 5 minutes after exercise in both groups from the loading period. On the other hand, there was a significant difference in systolic blood pressure in both placebo and supplemented groups.

Keywords: test pump supplement, women, speed, dribble, agility, maximum oxygen consumption, cardiovascular

Procedia PDF Downloads 175
4486 A Formal Microlectic Framework for Biological Circularchy

Authors: Ellis D. Cooper

Abstract:

“Circularchy” is supposed to be an adjustable formal framework with enough expressive power to articulate biological theory about Earthly Life in the sense of multi-scale biological autonomy constrained by non-equilibrium thermodynamics. “Formal framework” means specifically a multi-sorted first-order-theorywithequality (for each sort). Philosophically, such a theory is one kind of “microlect,” which means a “way of speaking” (or, more generally, a “way of behaving”) for overtly expressing a “mental model” of some “referent.” Other kinds of microlect include “natural microlect,” “diagrammatic microlect,” and “behavioral microlect,” with examples such as “political theory,” “Euclidean geometry,” and “dance choreography,” respectively. These are all describable in terms of a vocabulary conforming to grammar. As aspects of human culture, they are possibly reminiscent of Ernst Cassirer’s idea of “symbolic form;” as vocabularies, they are akin to Richard Rorty’s idea of “final vocabulary” for expressing a mental model of one’s life. A formal microlect is presented by stipulating sorts, variables, calculations, predicates, and postulates. Calculations (a.k.a., “terms”) may be composed to form more complicated calculations; predicates (a.k.a., “relations”) may be logically combined to form more complicated predicates; and statements (a.k.a., “sentences”) are grammatically correct expressions which are true or false. Conclusions are statements derived using logical rules of deduction from postulates, other assumed statements, or previously derived conclusions. A circularchy is a formal microlect constituted by two or more sub-microlects, each with its distinct stipulations of sorts, variables, calculations, predicates, and postulates. Within a sub-microlect some postulates or conclusions are equations which are statements that declare equality of specified calculations. An equational bond between an equation in one sub-microlect and an equation in either the same sub-microlect or in another sub-microlect is a predicate that declares equality of symbols occurring in a side of one equation with symbols occurring in a side of the other equation. Briefly, a circularchy is a network of equational bonds between sub-microlects. A circularchy is solvable if there exist solutions for all equations that satisfy all equational bonds. If a circularchy is not solvable, then a challenge would be to discover the obstruction to solvability and then conjecture what adjustments might remove the obstruction. Adjustment means changes in stipulated ingredients (sorts, etc.) of sub-microlects, or changes in equational bonds between sub-microlects, or introduction of new sub-microlects and new equational bonds. A circularchy is modular insofar as each sub-microlect is a node in a network of equation bonds. Solvability of a circularchy may be conjectured. Efforts to prove solvability may be thwarted by a counter-example or may lead to the construction of a solution. An automated theorem-proof assistant would likely be necessary for investigating a substantial circularchy, such as one purported to represent Earthly Life. Such investigations (chains of statements) would be concurrent with and no substitute for simulations (chains of numbers).

Keywords: autonomy, first-order theory, mathematics, thermodynamics

Procedia PDF Downloads 220