A Deductive Approach towards Reasoning about Algebraic Transition Systems

Algebraic transition systems are extended from labeled transition systems by allowing transitions labeled by algebraic equations for modeling more complex systems in detail. We present a deductive approach for specifying and verifying algebraic transition systems. We modify the standard dynamic logic by introducing algebraic equations into modalities. Algebraic transition systems are embedded in modalities of logic formulas which specify properties of algebraic transition systems. The semantics of modalities and formulas is defined with solutions of algebraic equations. A proof system for this logic is constructed to verify properties of algebraic transition systems. The proof system combines with inference rules decision procedures on the theory of polynomial ideals to reduce a proof-search problem to an algebraic computation problem. The proof system proves to be sound but inherently incomplete. Finally, a typical example illustrates that reasoning about algebraic transition systems with our approach is feasible

Microchanneled chirped fibre Bragg gratings for simultaneous refractive index and temperature measurements

We report here the fabrication, charaterisation and refractive index sensing of two microchanneled chirped fiber Bragg gratings (MCFBGs) with different channel sizes (~550µm and ~1000µm). The chirped grating structures were UV-inscribed in optical fibre and the microchannels were created in the middle of the CFBGs by femtosecond (fs) laser assisted chemical etching method. The creation of microchannels in the CFBG structures gives an access to the external index liquid, thus inducing refractive index (RI) sensitivity to the structure. In comparison with previously reported FBG based RI sensors, for which the cladding layers usually were removed, the MCFBGs represent a more ideal solution for robust devices as the microchannel will not degrade the structure strength. The two MCFBGs were spectrally charaterised for their RI and temperature responses and both gratings exhibited unique thermal and RI sensitivities, which may be utilised for implementation of bio-chemical sensors with capability to eliminate temperature crosssensitivity

Multi-wavelength switchable fibre ring laser based on polarisation selective tilted fibre gratings capable of strain and temperature sensing

Using three fibre gratings with excessively tilted structures in the cavity, we have experimentally demonstrated a multiwavelength switchable erbium-doped fibre ring laser system. The three tilted gratings act as in-fibre polariser and polarisation dependent loss filters to induce the polarisation hole burning effect in the cavity for the operation of the laser at single, double, triple and quadruple wavelengths. The laser system has demonstrated good stability under room temperature conditions and also achieved a high degree of polarization (~30dB), high optical signal to noise ratio (up to 63dB) and high side mode suppression (~50dB). The system has also been investigated for temperature and strain sensing by subjecting the seeding fibre Bragg gratings (FBG) to temperature and strain variations. Since the loss band of the polarisation dependent loss filter is broader than the bandwidth of the seeding FBG, the laser output shifts in wavelength with the applied temperature and strain. The fibre ring laser has shown good responses to the temperature and strain, providing sensitivities of approximately 11.7 pm/°C and 0.85pm/µe respectively

Bioinspired and bristled microparticles for ultrasensitive pressure and strain sensors

Biological sensory organelles are often structurally optimized for high sensitivity. Tactile hairs or bristles are ubiquitous mechanosensory organelles in insects. The bristle features a tapering spine that not only serves as a lever arm to promote signal transduction, but also a clever design to protect it from mechanical breaking. A hierarchical distribution over the body further improves the signal detection from all directions. We mimic these features by using synthetic zinc oxide microparticles, each having spherically-distributed, high-aspect-ratio, and high-density nanostructured spines resembling biological bristles. Sensors based on thin films assembled from these microparticles achieve static-pressure detection down to 0.015 Pa, sensitivity up to 121 kPa−1, and a strain gauge factor \u3e104, showing supreme overall performance. Other properties including a robust cyclability \u3e2000, fast response time ~7 ms, and low-temperature synthesis compatible to various integrations further indicate the potential of this sensor technology in applying to wearable technologies and human interfaces

Self-sustained green neuromorphic interfaces

Incorporating neuromorphic electronics in bioelectronic interfaces can provide intelligent responsiveness to environments. However, the signal mismatch between the environmental stimuli and driving amplitude in neuromorphic devices has limited the functional versatility and energy sustainability. Here we demonstrate multifunctional, self-sustained neuromorphic interfaces by achieving signal matching at the biological level. The advances rely on the unique properties of microbially produced protein nanowires, which enable both bio-amplitude (e.g., \u3c100 mV) signal processing and energy harvesting from ambient humidity. Integrating protein nanowire-based sensors, energy devices and memristors of bio-amplitude functions yields flexible, self-powered neuromorphic interfaces that can intelligently interpret biologically relevant stimuli for smart responses. These features, coupled with the fact that protein nanowires are a green biomaterial of potential diverse functionalities, take the interfaces a step closer to biological integration

Power tapping function in near infra-red region based on 45° tilted fiber gratings

We report an efficient power tapping device working in near infra-red (800 nm) wavelength region based on UV-in- scribed 45° tilted fiber grating (45°-TFG) structure. Five 45°-TFGs were UV-inscribed in hydrogenated PS750 fiber using a custom-designed phase mask with different grating lengths of 3 mm, 5 mm, 9 mm, 12 mm and 15 mm, showing polarization dependent losses (PDLs) of 1 dB, 3 dB, 7 dB, 10 dB and 13 dB, respectively. The power side-tapping efficiency is clearly depending on the grating strength. It has been identified that the power tapping efficiency increases with the grating strength and deceases along the grating length. The side-tapped power profile has also been examined in azimuthal direction, showing a near-Gaussian distribution. These experimental results clearly demonstrated that 45°- TFGs may be used as in-fiber power tapping devices for applications requiring in-line signal monitoring

Transversal loading sensor based on tunable beat frequency of a dual-wavelength fiber laser

Microwave signal generation by using the photonic beating from a phase-shift fiber Bragg grating (PS-FBG)-based dual-wavelength laser is proposed and experimentally demonstrated. The dual-wavelength laser is formed by a linear cavity, in which a PS-FBG is used as a dual-wavelength selective component. Transversal loading on the PS-FBG enhances the birefringence of the optical fiber and consequently makes the transmission peak of the PS-FBG splitting into two sharp transmission peaks of orthogonal polarizations. The wavelength spacing between the two transmission peaks increases with the transversal loading on the PS-FBG, thus making the polarization beating frequency increase. This property is exploited in a transversal loading sensor

High-frequency fiber Bragg grating sensing interrogation system using Sagnac-loop-based microwave photonic filtering

A novel high-frequency fiber Bragg grating (FBG) sensing interrogation system by using fiber Sagnac-loop-based microwave photonic filtering is proposed and experimentally demonstrated. By adopting the microwave photonic filtering, the wavelength shift of sensing FBG can be converted into amplitude variation of the modulated electronic radio-frequency (RF) signal. In the experiment, the strain applied onto the sensing FBG has been demodulated by measuring the intensity of the recovered RF signal, and by modulating the RF signal with different frequencies, different interrogation sensitivities can be achieved

The Study of Portable Remote Multi-life-parameter Monitoring Network

Abstract-With the development of modern signal processing and computer network technology, it brings new challenges to remote health care structure. This paper discusses a prototype which realizes the functions of physiological signal collection and calculation, GPS global positioning, and data transmission through GPRS. The new type of portable multi-life-parameter physiologic monitoring terminal is based on embedded design method. It consists of physiological signal collection unit, GPS unit, data storage unit, data analysis unit, LCD (320*240) display unit and data communication unit. The physiological signal collection unit includes ECG, temperature, blood pressure and blood sugar part. The server system deals with physiological database, user information, interacting of physician-patient with audio and video, computer automatic diagnosis, wired or GPRS data transmission. We expect to solve the shortcoming of poor operability, large volume and high price of the traditional biological monitoring devices. Multi-life-parameter of the patients can be monitored remotely and wirelessly, with the advantages of good operability, strong scalability, small size, low cost, high reliability and real-time processing

Guanxintai Exerts Protective Effects on Ischemic Cardiomyocytes by Mitigating Oxidative Stress

Oxidative stress participates in numerous myocardial pathophysiological processes and is considered a therapeutic target for myocardial ischemia and heart failure. Guanxintai (GXT), a traditional Chinese medicine, is commonly used to treat cardiovascular disease on account of its numerous beneficial physiological activities, such as dilating coronary arteries, inhibiting platelet aggregation, and reducing the serum lipid content. However, the antioxidative properties of GXT and potential underlying mechanisms remain to be established. In the present study, we investigated the protective effects of GXT on ischemic cardiomyocytes and the associated antioxidative mechanisms, both in vivo and in vitro. Notably, GXT treatment reduced the degree of cardiomyocyte injury, myocardial apoptosis, and fibrosis and partially improved cardiac function after myocardial infarction. Furthermore, GXT suppressed the level of ROS as well as expression of NADPH oxidase (NOX) and phospho-p38 mitogen-activated protein kinase (MAPK) proteins. Our results collectively suggest that the protective effects of GXT on ischemic cardiomyocytes are exerted through its antioxidative activity of NOX inhibition