Analytical and finite-element study of optimal strain distribution in various beam shapes for energy harvesting applications

Due to the increasing demand for harvesting energy from environmental vibration, for use in self-powered electronic applications, cantilever-based vibration energy harvesting has attracted great interest from various parties and become one of the most common approaches to convert redundant mechanical energy into electrical energy. As the output voltage produces from a piezoelectric material depends greatly on the geometric shape and the size of the beam, there is a need to model and compare the performance of cantilever beams of differing geometries. This paper presents the study of strain distribution in various shapes of cantilever beams, including a convex and concave edge profile elliptical beams that have been overseen in most of the prior literature. Both analytical and finite element models are derived and the resultant strain distributions in the beam are computed based on MATLAB solver and ANSYS finite element analysis tools. An optimum geometry for a vibration-based energy harvester system is verified. Lastly, experimental results comparing the power density for a triangular and rectangular piezoelectric beams are also presented to validate the finding of the study and the claim as suggested in the literature is verified

Early Aspects at ICSE 2007: Workshop on Aspect-Oriented Requirements Engineering and Architecture Design

The “Early Aspects @ ICSE’07” is the 11th workshop in the series of Early Aspects workshops [1] which focuses on aspect identification during the requirements engineering and architecture derivation activities. The specific aim of the present workshop is twofold: (a) to initiate creation of an Early Aspects application demonstration and comparisons benchmark; and (b) to solicit submission of new research

Formal Analysis of Linear Control Systems using Theorem Proving

Control systems are an integral part of almost every engineering and physical system and thus their accurate analysis is of utmost importance. Traditionally, control systems are analyzed using paper-and-pencil proof and computer simulation methods, however, both of these methods cannot provide accurate analysis due to their inherent limitations. Model checking has been widely used to analyze control systems but the continuous nature of their environment and physical components cannot be truly captured by a state-transition system in this technique. To overcome these limitations, we propose to use higher-order-logic theorem proving for analyzing linear control systems based on a formalized theory of the Laplace transform method. For this purpose, we have formalized the foundations of linear control system analysis in higher-order logic so that a linear control system can be readily modeled and analyzed. The paper presents a new formalization of the Laplace transform and the formal verification of its properties that are frequently used in the transfer function based analysis to judge the frequency response, gain margin and phase margin, and stability of a linear control system. We also formalize the active realizations of various controllers, like Proportional-Integral-Derivative (PID), Proportional-Integral (PI), Proportional-Derivative (PD), and various active and passive compensators, like lead, lag and lag-lead. For illustration, we present a formal analysis of an unmanned free-swimming submersible vehicle using the HOL Light theorem prover.Comment: International Conference on Formal Engineering Method

GRANAT/WATCH catalogue of cosmic gamma-ray bursts: December 1989 to September 1994

We present the catalogue of gamma-ray bursts observed with the WATCH all-sky monitor on board the GRANAT satellite during the period December 1989 to September 1994. The cosmic origin of 95 bursts comprising the catalogue is confirmed either by their localization with WATCH or by their detection with other GRB experiments. For each burst its time history and information on its intensity in the two energy ranges 8-20 keV and 20-60 keV are presented. Most events show hardening of the energy spectrum near the burst peak. In part of the bursts an X-ray precursor or a tail is seen at 8-20 keV. We have determined the celestial positions of the sources of 47 bursts. Their localization regions (at 3-sigma confidence level) are equivalent in area to circles with radii ranging from 0.2 to 1.6 deg. The burst sources appear isotropically distributed on the sky on large angular scales.Comment: 18 pages (including 3 tables and 7 figures), LaTeX, l-aa style. Accepted by Astronomy and Astrophysics Suppl. Serie

Assessment of cardiovascular risk in primary care.

No abstrac

Effect of Arabidopsis extracts on the Status of Liver Histology of Alloxan-induced Diabetic Mice

Arabidopsis is a member of the Brassicaceae family, which includes important crops. It has no agronomic significance, but offers important advantages for basic research in genetics and molecular biology . Insulin-like growth factor 1 (IGF-1), known as “somatomedin C”,” found in Arabidopsis thaliana seeds. Anti-diabetic medical plants are general known to exert their beneficial effects on diabetes via various modes and mechanism depending on the phytochemicals and bioactive agents endowed in such plants. In this study the Arabidopsis thaliana ethanolic seed extract has hyperglycemic. In conclusion, the present results showed that Arabidopsis consumption reversed most of the histological changes in the diabetic mice. This effect was due to the hypoglycemic effect of the Arabidopsis and improving the insulin resistance. In addition, in diabetes there was an increase in the oxidative stress which was significantly reduced by Arabidopsis consumption owing to its antioxidant effect. Key words: Arabidopsis thaliana, Brassicaceae family, ethanolic seed extract, Insulin-like, hyperglycemic

The relationship between regional pain with or without neuropathic symptoms and chronic widespread pain.

This study was performed to test whether the risk of developing chronic widespread pain (CWP) in those with regional pain was augmented in those with symptoms of neuropathic pain (NP). Persons free of CWP completed the Douleur Neuropathique 4 (scores ≥3 indicating NP); demographics; Hospital Anxiety and Depression scale; Pittsburgh Sleep Quality Index; and pain medications. Participants were classified as having no pain, regional pain with no symptoms of NP (NP-), or regional pain with symptoms of NP (NP). At the 12-month follow-up, participants with CWP were identified. Logistic regression estimated the odds ratio, with 95% confidence intervals, of CWP in the NP- and NP groups compared with no pain, and NP compared with NP-. Partial population attributable risks estimated the proportion of CWP attributable to baseline NP- or NP exposure. One thousand one hundred sixty-two participants completed the baseline DN4 and provided pain data at follow-up: 523 (45.0%) had no baseline pain, 562 (48.4%) NP-, and 77 (6.6%) NP. One hundred fifty-three (13.2%) had CWP at 12 months: 19 (3.6%) no pain, 108 (19.2%) NP-, and 26 (33.8%) NP. NP- (2.9 [1.9-4.3]) and NP (2.1 [1.1-4.0]) predicted CWP after adjusting for demographics, Hospital Anxiety and Depression scale, Pittsburgh Sleep Quality Index, and medications. The partial population attributable risk was 41.3% (25.2-54.0) for NP- and 6.0% (0.1-11.6) for NP. The NP group were not more likely to develop CWP when compared directly with NP- (1.5 [0.8-2.8]). Neuropathic pain was relatively rare and predicted a small number of new-onset CWP cases. Using these estimates, treatments targeting NP would at best prevent 6% of CWP cases