Pervaporation via silicon-based membranes: Correlation and prediction of performance in pervaporation and gas permeation

Pervaporation (PV) is a membrane technology that holds great promise for industrial applications. To better understand the PV mechanism, PV dehydrations of various types of organic solvents (methanol, ethanol, iso-propanol, tert-butanol, and acetone) were performed on five types of organosilica and two types of silicon carbide-based membranes, all with different pore sizes. Water permeance was dependent on the types of organic aqueous solutions, which suggested that organic solvents penetrated the pores and hindered the permeation of water. In addition, water permeance of various types of membranes in PV was well correlated with hydrogen permeance in single-gas permeation. Furthermore, a clear correlation was obtained between the permeance ratio in PV and that in single-gas permeation, which was confirmed via the modified-gas translation model. These correlations make it possible to use single-gas permeation properties to predict PV performance.     

What kind of floor am I standing on? Floor surface identification by a small humanoid robot through full-body motions

This study addresses a floor identification method for small humanoid robots that work in such daily environments as homes. The fundamental difficulty lays in a method to understand the physical properties of floors. To achieve floor identification with small humanoid robots, we used inertial sensors that can be easily installed on such robots, and dynamically selected a full-body motion that physically senses floors to achieve accurate floor identification. We collected a training data-set over 10 different kinds of common floors in home environments. We achieved 85.7% precision with our proposed method. We also demonstrate that our robot could appropriately change its locomotion behaviours depending on the floor identification results.     

Anode‐voltage‐control circuit for compensation of luminance deterioration

Abstract— An external driving circuit that has realized long lifetime, power‐consumption control, and peak luminance for organic light‐emitting diode (OLED) displays have been developed. This circuit realizes an effective method for constant‐anode‐voltage (CV) driving refered to as clamped inverter (CI) driving. The feature of CV driving is to achieve low‐power consumption compared with constant‐anode‐current (CC) driving and to control the power consumption and peak luminance according to the image because display luminance can be easily changed by controlling the anode voltage. On the other hand, CV driving has the problem that luminance deterioration appears to be serious compared with that of CC driving because the current of the OLED element decreases according to usage time. To cope with this, a lifetime compensation circuit that has increased the anode voltage so that it compensates for the luminance deterioration has been developed. This circuit can compensate not only the decrease in current but also the decrease in luminance at a constant current that CC driving cannot. However, increasing the anode voltage causes an increase in stress on the OLED element. The influence of stress on OLED lifetime was verified. As a result, it was confirmed that this circuit can extend the lifetime by 32% even if the anode voltage is increased, causing stress on the OLED structure.     

Detection of a brain aneurysm and a way to search for a brain aneurysm aimed at the development of a system to simulate an operation

In this article, a system is proposed for a simulated operation which would help a trainee surgeon to perform a medical operation to ensure that a cerebral aneurysm does not burst. The physician will have acquired empirical medical technologies from operations in traditional clinical teaching. However, there is a problem with safety and the burden to the patient. Therefore, recently a new training approach for a simulated medical operation using virtual reality has been explored. With the aim of developing a simulated system for a medical operation for a cerebral aneurysm, we considered the necessary functions such as detecting the brain aneurysm that is the target of the operation, and searching for a suitable blood vessel to make a plan for the operation.     

Construction of a robot control system which understands a voice and pointing actions

This research was aimed at making a robot that can go and get an object designated by the user. We produced a robot control system that uses pointing and voice control. This control system is composed of two systems. One system is the object instruction system that uses pointing, and the other is the object instruction system that uses voice. The approximate position of a designated object is recognized by the object instruction system that uses pointing, and information about the object and instructions about the operation are conveyed by the object instruction system that uses voice. This time, the object instruction system that uses pointing has been designed and verified as the first step. A calculation resource to calculate the approximate position of the designated object is obtained when the user points directly at the object. A robot can be moved around a designated object by using this system. The object instruction system that uses voice will be constructed in future work.     

Development of ‘UR-System 2’: a training system for recovery of motor function of plegic upper limb after stroke

We developed a new training system, called ‘UR-System 2’, for the recovery of motor function of a plegic upper limb after stroke. UR-System 2, which was redesigned based on knowledge gained from clinical tests using UR-System 1, was newly equipped with a function for testing the motor function of patients, such as isolated movement. In order to verify the effectiveness of UR-System 2, we conducted the following procedures: we verified the safety of training in healthy persons; we gathered standard data on pronation and supination of healthy forearms during tests; and, we verified that the test function was effective in evaluating the recovery effect of isolated movement in two hemiplegic patients.     

Secondary electron emission and surface charging evaluation of alumina ceramics and sapphire

The breakdown of alumina rf windows is mostly caused by multipactor, as well as by material defects and contamination. Since multipator induces localized surface heating, leading to surface melting, it is necessary to observe secondary electron emission (SEE) coefficients of alumina ceramics under high temperature conditions. The SEE coefficients of commercial alumina ceramics and sapphire were measured by a scanning electron microscopy (SEM) with a single short-pulsed electron beam (100 pA, 1 ms) at room temperature and at 650degC. Additive materials used for sintering alumina, such as SiO ₂ and MgO, were also investigated. Surface charging evaluations have also become important because the accumulated charges are discharged at the threshold Held, resulting in surface discharge. The surface charging evaluations were carried out by multi-pulse measurements with the injection of successive pulses on the sample. As a result, reductions in the SEE coefficients with temperature were confirmed, except for sapphire. The multi-pulse measurement results indicated that surface charging of the sapphire was higher than that of other samples. This may be one of the factors that causes sapphire not to be durable for rf window applications, compared with alumina ceramics. Although there are few exceptions, it was found that the SEE coefficients of alumina ceramics increased with the purity and the average grain size     

Paraconsistent Computation Tree Logic

It is known that paraconsistent logical systems are more appropriate for inconsistency-tolerant and uncertainty reasoning than other types of logical systems. In this paper, a paraconsistent computation tree logic, PCTL, is obtained by adding paraconsistent negation to the standard computation tree logic CTL. PCTL can be used to appropriately formalize inconsistency-tolerant temporal reasoning. A theorem for embedding PCTL into CTL is proved. The validity, satisfiability, and model-checking problems of PCTL are shown to be decidable. The embedding and decidability results indicate that we can reuse the existing CTL-based algorithms for validity, satisfiability, and model-checking. An illustrative example of medical reasoning involving the use of PCTL is presented.     

αs-casein inhibits the pressure-induced aggregation of β-lactoglobulin through its molecular chaperone-like properties

In this work, the effects of α_s-casein (α_s-CN) on the pressure-induced aggregation of β-lactoglobulin (β-Lg) were studied. α_s-CN depressed the pressure-induced aggregation of β-Lg, and this function was dependent on the concentration of α_s-CN and the pressure holding time. Furthermore, α_s-CN altered the aggregation process of β-Lg by suppressing the transition of the aggregate from the soluble phase to the insoluble phase and, as a result, the fraction of insoluble aggregates was decreased. During this process, α_s-CN formed stable complexes with the denatured β-Lg and the formation of complexes prevented further aggregation of β-Lg and solubilized aggregated β-Lg to a small degree of polymerization. These results indicate that α_s-CN exhibits a chaperone-like activity under high pressure, and provide an insight into the possible mechanism by which α_s-CN accomplishes the task of stabilizing proteins to resist the pressure-induced aggregation of β-Lg.