Shear‐Induced Fabrication of Multiple Parallel Alginate Gel Filaments Using Alginate–Polyethylene Glycol Blend

A rigid assembly of alginates is formed in aqueous media primarily via hydrogen bonding between guluronic units. A flow of aqueous alginate solution in a co‐flow capillary can form alginate gel fibers by contact with Ca²⁺ ions in sheath flow. Mixing with polyols [e.g., polyethylene glycol (PEG)] facilitates the shaping of the alginate assembly because PEG disrupts the assembly of the extended alginate chains to instead form alginate–PEG complexes that exhibit shear‐thinning behavior. The shear‐induced fibrous domains of the globular alginate–PEG complexes can be partitioned by a PEG‐rich phase, resulting in multiple parallel alginate gel filaments when the strong ionic‐field‐induced PEG‐rich phase is adjusted and an alginate–PEG complex phase is used as the aqueous two‐phase separation system.     

Evaluation of experimentally obtained permeance based on module simulation: How should permeance be evaluated?

Permeance and permeance ratio in binary separation generally are obtained from experimental data using an analytical permeance equation consisting of the logarithmic average of the partial pressure difference (hereafter, approximate permeance equation). The aim of the present study was to clarify the applicable range for this equation. First, the separation performance of a membrane module was calculated with various given membrane properties (permeance, permeance ratio) and operation conditions (pressure, flow rate) via numerical computation. The obtained concentrations and flow rates in the retentate and permeate were used to calculate permeances via approximate permeance equation, and the validity was discussed by comparing permeances used for numerical computation with obtained ones. The present work clarifies the validity of the approximate permeance equation, and yields a general guideline stipulating that the partial pressure difference across the membrane at the inlet and outlet should maintain more than 60% to obtain the correct permeance.     

Multivariable control experiments of non-linear chemical processes using non-linear feedback transformation

The decoupling and linearization control theory based on non-linear feedback transformation for non-linear systems was applied to two non-linear and interactive chemical control processes. The first is a level and temperature control process and the second a level and pH control process. To compensate for the mismatch between the real process and the process model, external PI controllers, which track the outputs from the reference model, were added. The experimental results showed that even if the process is both non-linear and interactive and the process model is not exactly known, a satisfactory control performance can be obtained by applying this theory.     

Scalable and robust multi-people head tracking by combining distributed multiple sensors

In this paper, we present a robust 3D human-head tracking method. 3D head positions are essential for robots interacting with people. Natural interaction behaviors such as making eye contacts require head positions. Past researches with laser range finder (LRF) have been successful in tracking 2D human position with high accuracy in real time. However, LRF trackers cannot track multiple 3D head positions. On the other hand, trackers with multi-viewpoint images can obtain 3D head position. However, vision-based trackers generally lack robustness and scalability, especially in open environments where lightening conditions vary by time. To achieve 3D robust real-time tracking, here we propose a new method that combines LRF tracker and multi-camera tracker. We combine the results from trackers using the LRF results as maintenance information toward multi-camera tracker. Through an experiment in a real environment, we show that our method outperforms toward existing methods, both in its robustness and scalability.     

Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic

Reasoning in medical and tutoring systems requires expressions relating not only to time-dependency, paraconsistency, constructiveness, and resource-sensitivity, but also order-sensitivity. Our objective in this study is to construct a decidable rst-order logic for appropriately expressing this reasoning. To meet this objective, we introduce a rst-order temporal paraconsistent non-commutative logic as a Gentzen-type sequent calculus. This logic has no structural rules but has some bounded temporal operators and a paraconsistent negation connective. The main result of this study is to show this logic to be decidable. Based on this logic, we present some illustrative examples for reasoning in medical and tutoring systems.     

Social acceptance toward a childcare support robot system: web-based cultural differences investigation and a field study in Japan

This paper investigates people’s social acceptance of a childcare support robot system and compares it with existing childcare technologies (anesthesia during labor and baby food, i.e. processed food and formula milk) through web-based questionnaires between Japan and USA and a field study in Japan. We investigated social acceptance through four scales: intention to use, safety and trustworthiness, negative attitudes, and decreasing workload. For this paper, our participants included 400 people (200 from each country) in Japan and USA located through a web-based survey who answered questionnaires about the four scales to investigate their social acceptance of childcare support technologies. Our web-based survey results indicate that our system’s concept was evaluated lower than current childcare support technologies in both Japan and USA. We also conducted a field trial with 30 additional people in Japan and through their actual experiences investigated their evaluations of the prototype of our childcare support robot system.     

Automatic calibration of laser range finder positions for pedestrian tracking based on social group detections

Laser range finders (LRF’s) are non-invasive sensors which can be used for high-precision and anonymous tracking of pedestrians in social environments. Such sensor networks can be used in robotics to assist in navigation and human–robot interaction. Typically, multiple LRF’s are used together for such tasks, and the relative positions of these sensors must be precisely calibrated. We propose a technique for estimating relative LRF positions using observations of social groups in the pedestrian flow as keypoint features for determining coarse estimates of relative sensor offsets. The most likely offset is estimated using a generalized Hough transform and used to identify sets of possible shared observations of individual pedestrians between pairs of sensors. Outliers are rejected using the RANSAC technique, and the resulting shared observations from each sensor pair are combined into a constraint matrix for the sensor network, which is solved using least-squares minimization. Results show calibration accuracy of sensor positions within 34?mm and 0.51°, and an analysis of pedestrian data collected from ubiquitous networks in three public and commercial spaces shows that the proposed calibration technique enables pedestrian tracking within 11?cm accuracy.     

Impact of PHITS spallation models on the neutronics design of an accelerator-driven system

The impact of different spallation models and parametrisation of nucleon–nucleus interactions in the particle transport code PHITS on the nuclear characteristics of an accelerator-driven system (ADS) is investigated. Cut-off neutrons below 20 MeV calculated using the default option of the current spallation model (i.e. Liège intranuclear cascade (INC) model version 4.6, INCL4.6) are found to be 14% less than those calculated by the old spallation model (i.e. Bertini INC model). This decrease increases the proton beam current that drives the 800-MW thermal power and impacts various ADS parameters, including material damage, nuclear heating of the proton beam window and the inventory of spallation products. To validate these options based on the ADS neutronics design, we conduct benchmark calculations of the total and non-elastic cross sections, thick target neutron yields and activation reaction rate distributions. The results suggest that Pearlstein–Niita systematics, which is a default option of the nucleon–nucleus interaction parametrisation, would be the best option and that Bertini INC is better suited for cut-off neutrons than INCL4.6. However, because of the difficulty in making a definite conclusion on the spallation models, we conclude that relatively large uncertainty in the cut-off neutrons, which is the difference between the two spallation models (i.e. 14%), should be considered.     

Conceptual modeling in full computation‐tree logic with sequence modal operator

In this paper, we propose a method for modeling concepts in full computation‐tree logic with sequence modal operators. An extended full computation‐tree logic, CTLS*, is introduced as a Kripke semantics with a sequence modal operator. This logic can appropriately represent hierarchical tree structures in cases where sequence modal operators in CTLS* are applied to tree structures. We prove a theorem for embedding CTLS* into CTL*. The validity, satisfiability, and model‐checking problems of CTLS* are shown to be decidable. An illustrative example of biological taxonomy is presented using CTLS* formulas. © 2011 Wiley Periodicals, Inc.