Piezoceramic based active sensing methods have been researched to monitor preload on bolt connections. However, there is a saturation problem involved with this type of method. The transmitted energy ...is sometimes saturated before the maximum preload which is due to it coming into contact with flat surfaces. When it comes to flat contact surfaces, the true contact area will easily saturate with the preload. The design of a new type of bolt looseness monitoring sensor, a smart washer, is to mitigate the saturation problem. The smart washer is composed of two annular disks with contact surfaces that are machined into convex and concave respectively, to eliminate the complete flat contact surfaces and to reduce the saturation effect. One piezoelectric patch is bonded on the non-contact surface of each annular disk. These two mating annular disks form a smart washer. One of the two piezoelectric patches serves as an actuator to generate an ultrasonic wave that propagates through the contact surface; the other one serves as a sensor to detect the propagated waves. The wave energy propagated through the contact surface is proportional to the true contact area which is determined by the bolt preload. The time reversal method is used to extract the peak of the focused signal as the index of the transmission wave energy; then, the relationship between the signal peak and bolt preload is obtained. Experimental results show that the focused signal peak value changes with the bolt preload and presents an approximate linear relationship when the saturation problem is experienced. The proposed smart washer can monitor the full range of the rated preload.
This study aims to examine the properties of composites that different carbon materials with different measurements can reinforce. Using a melt compounding method, this study combines polypropylene ...(PP) and graphene nano-sheets (GNs) or carbon fiber (CF) to make PP/GNs and PP/CF conductive composites, respectively. The DSC results and optical microscopic observation show that both GNs and CF enable PP to crystalize at a high temperature. The tensile modulus of PP/GNs and PP/CF conductive composites remarkably increases as a result of the increasing content of conductive fillers. The tensile strength of the PP/GNs conductive composites is inversely proportional to the loading level of GNs. Containing 20 wt% of GNs, the PP/GNs conductive composites have an optimal conductivity of 0.36 S/m and an optimal EMI SE of 13 dB. PP/CF conductive composites have an optimal conductivity of 10−6 S/m when composed of no less than 3 wt% of CF, and an optimal EMI SE of 25 dB when composed of 20 wt% of CF.
It has been known for about sixty years that proton and heavy ion therapy is a very powerful radiation procedure for treating tumors. It has an innate ability to irradiate tumors with greater doses ...and spatial selectivity compared with electron and photon therapy and, hence, is a tissue sparing procedure. For more than twenty years, powerful lasers have generated high energy beams of protons and heavy ions and it has, therefore, frequently been speculated that lasers could be used as an alternative to radiofrequency (RF) accelerators to produce the particle beams necessary for cancer therapy. The present paper reviews the progress made towards laser driven hadron cancer therapy and what has still to be accomplished to realize its inherent enormous potential.
Formal methods are crucial in program specification and verification. Instead of building cases to test functionalities, formal methods specify functionalities as properties and mathematically prove ...them. Nevertheless, the applicability of formal methods is limited in most development processes due to the requirement of mathematical knowledge for developers. To promote the application of formal methods, we formulate formalism-driven development (FDD), which is an iterative and incremental development process that guides developers to adopt proper formal methods throughout the whole development lifespan. In FDD, system graphs, a variant of transition systems optimized for usability, are designed to model system structures and behaviors with representative properties. System graphs are built iteratively and incrementally via refinement. Properties of system graphs are specified in propositional and temporal logics and verified by model-checking techniques with interpretation over transition system. In addition, skeleton programs are generated based on system graphs and expose implementable interfaces for executing external algorithms and emitting observable effects. Furthermore, we present Seniz, a framework that practicalizes and automates FDD. In this paper, we explicate the concepts and taxonomy of FDD and discuss its practice.
As information technologies evolve, it has become necessary to examine the changes which have taken place in the top business scopes for both investors and entrepreneurs. To provide an understanding ...for the trends of the top business scopes in the current market, this article conducts a concurrent text and time series methodology to analyze the stocks in the New York Stock Exchange (NYSE) and the National Association of Securities Dealers Automated Quotations (NASDAQ) from 2012 to 2017. There is evidence that artificial intelligence and blockchains gained increasing importance for companies during that period. The authors contend that their findings in this paper question the status quo of promising business scopes for companies in the U.S. market.
As brain-computer interfaces (BCI) must provide reliable ways for end users to accomplish a specific task, methods to secure the best possible translation of the intention of the users are constantly ...being explored. In this paper, we propose and test a number of convolutional neural network (CNN) structures to identify and classify single-trial P300 in electroencephalogram (EEG) readings of an auditory BCI. The recorded data correspond to nine subjects in a series of experiment sessions in which auditory stimuli following the oddball paradigm were presented via earphones from six different virtual directions at time intervals of 200, 300, 400 and 500 ms. Using three different approaches for the pooling process, we report the average accuracy for 18 CNN structures. The results obtained for most of the CNN models show clear improvement over past studies in similar contexts, as well as over other commonly-used classifiers. We found that the models that consider data from the time and space domains and those that overlap in the pooling process usually offer better results regardless of the number of layers. Additionally, patterns of improvement with single-layered CNN models can be observed.
Green tea extract (GTE) is one of the most popular beverages globally, traditionally prepared from Camelia sinensis leaves. Therefore, it is beneficial to define the impact of GTE and its ingredients ...on the human organism. Epigallocatechin-3-O-gallate (EGCG) is the most abundant catechin in green tea leaves, belonging to the group of tannins and flavonoids, demonstrating pharmacological activity, but so far, it has not been applied as a drug. This is because EGCG does not present sufficient stability and quickly decomposes through epimerization or autooxidation mechanisms under the influence of light, temperature, changes in pH, or the presence of oxygen. Another limiting factor is EGCG’s low bioavailability after oral administration. Nevertheless, the growing market of dietary supplements together with increasing growing consumption of green tea extracts should prompt us to pay more attention to the safety of both EGCG itself, as well as its influence on other simultaneously used drugs. Previously published data confirm the relationship between healthcare professionals’ access to professional knowledge and their willingness to engage in patient education. For this reason, in this review article, we report the formulations of EGCG and GTE, discuss the data on the safety of EGCG and its possible interactions with drugs, as well as gather various recommendations from medical specialists. Particular attention should be paid to the consumption of green tea during pregnancy and breastfeeding, as well as in the elderly. Patients taking clozapine, digoxin, and warfarin should avoid consuming GTE extracts and dietary supplements containing EGCG. Professional consultation seems especially important for patients treated with statins, calcium channel blockers, or sildenafil.