Effect of temperature on humido-sensitive conducting polymer actuators

Temperature dependence of water vapor sorption and electro-active polymer actuating behavior of free-standing films made of poly(3,4-ethylenedioxythiophene) doped with poly(4-styrenesulfonate) (PEDOT/PSS) was investigated by means of sorption isotherm and electromechanical analyses. The non-porous PEDOT/PSS film, having a specific surface area of 0.13 m² g^?1, sorbed water vapor of 1080 cm³(STP) g^?1, corresponding to 87 wt%, at relative water vapor pressure of 0.95. A temperature rise from 25 °C to 40 °C lowered sorption degree, indicative of an exothermic process, where isosteric heat of sorption decreased with increasing water vapor sorption and the value reached 43.9 kJ mol^?1, being consistent with the heat of water condensation (44 kJ mol^?1). Upon application of 10 V, the film underwent contraction of 2.46% at 5 °C caused by desorption of water vapor due to Joule heating, which slightly decreased to 2.10% at 45 °C. The speed of contraction was one order of magnitude faster than that of expansion and less dependent on the temperature since water vapor sorbed in the film were forced to desorb by Joule heating. In contrast, the higher the temperature the faster the film expansion because diffusion coefficient increased as the temperature became higher.     

A biped static balance control and torque pattern learning under unknown periodic external forces

This paper addresses a biped balancing task in which an unknown external force is exerted, using the so-called ‘ankle strategy’ model. When an external force is periodic, a human adaptively maintains the balance, next learns how much force should be produced at the ankle joint from its repeatability, and finally memorized it as a motion pattern. To acquire motion patterns with balancing, we propose a control and learning method: as the control method, we adopt ground reaction force feedback to cope with an uncertain external force, while, as the learning method, we introduce a motion pattern generator that memorizes the torque pattern of the ankle joint by use of Fourier series expansion. In this learning process, the period estimation of the external force is crucial; this estimation is achieved based on local autocorrelation of joint trajectories. Computer simulations and robot experiments show effective control and learning results with respect to unknown periodic external forces.     

Semi-autonomous serially connected multi-crawler robot for search and rescue

In this paper, we develop a semi-autonomous serially connected multi-crawler robot for search and rescue. In large-scale disasters, such as earthquakes and tornadoes, the application of rescue robots to search for survivors under rubble would be beneficial. Snake-like robots (robots composed of serially connected units) are an effective candidate for such robots. Their long body enables them to overcome obstacles, and they can move into narrow spaces because of their thin shape. However, conventional snake-like robots have significant problems with operability. The numerous degrees of freedom of their bodies require complex operation to overcome obstacles, and training is required for the operators. Thus, survivors or community members cannot operate conventional robots to search for victims, despite the availability of such rescue robots. Here, we address this problem and develop a semi-autonomous serially connected multi-crawler robot designed for non-trained operators, such as community members or rescued survivors. It can be controlled easily by a conventional two-channel user interface with levers for turning and straight line motion. To demonstrate the effectiveness of our proposed mechanism, a prototype robot was developed and experiments were conducted. The results confirm that the proposed robot had both higher operability and higher mobility than conventional robots.     

Parameterizing cut sets in a graph by the number of their components

For a connected graph G=(V,E), a subset U⊆V is a disconnected cut if U disconnects G and the subgraph G[U] induced by U is disconnected as well. A cut U is a k-cut if G[U] contains exactly k(≥1) components. More specifically, a k-cut U is a (k,?)-cut if V?U induces a subgraph with exactly ?(≥2) components. The Disconnected Cut problem is to test whether a graph has a disconnected cut and is known to be NP-complete. The problems k-Cut and (k,?)-Cut are to test whether a graph has a k-cut or (k,?)-cut, respectively. By pinpointing a close relationship to graph contractibility problems we show that (k,?)-Cut is in P for k=1 and any fixed constant ?≥2, while it is NP-complete for any fixed pair k,?≥2. We then prove that k-Cut is in P for k=1 and NP-complete for any fixed k≥2. On the other hand, for every fixed integer g≥0, we present an FPT algorithm that solves (k,?)-Cut on graphs of Euler genus at most g when parameterized by k+?. By modifying this algorithm we can also show that k-Cut is in FPT for this graph class when parameterized by k. Finally, we show that Disconnected Cut is solvable in polynomial time for minor-closed classes of graphs excluding some apex graph.     

Editorial

Higher-Order and Symbolic Computation -     

Codevelopmental learning between human and humanoid robot using a dynamic neural-network model.

This paper examines characteristics of interactive learning between human tutors and a robot having a dynamic neural-network model, which is inspired by human parietal cortex functions. A humanoid robot, with a recurrent neural network that has a hierarchical structure, learns to manipulate objects. Robots learn tasks in repeated self-trials with the assistance of human interaction, which provides physical guidance until the tasks are mastered and learning is consolidated within the neural networks. Experimental results and the analyses showed the following: 1) codevelopmental shaping of task behaviors stems from interactions between the robot and a tutor; 2) dynamic structures for articulating and sequencing of behavior primitives are self-organized in the hierarchically organized network; and 3) such structures can afford both generalization and context dependency in generating skilled behaviors.     

Bottom-up pyramid cellular acceptors with three-dimensional layers

In 1997, C.R. Dyer and A. Rosenfeld introduced an acceptor on a two-dimensional pattern (or tape), called the pyramid cellular acceptor, and demonstrated that many useful recognition tasks are executed by pyramid cellular acceptors in time proportional to the logarithm of the diameter of the input. They also introduced a bottom-up pyramid cellular acceptor which is a restricted version of the pyramid cellular acceptor, and proposed some interesting open problems of the bottom-up pyramid cellular acceptors. On the other hand, we think that the study of threedimensional automata has been meaningful as the computational model of three-dimensional information processing such as computer vision, robotics, and so forth. In this paper, we investigate about bottom-up pyramid cellular acceptors with three-dimensional layers, and show their some accepting powers. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Making Java work for microcontroller applications

The authors investigate complete system development using a Java machine aimed at FPGA devices. A new design strategy targets a single FPGA chip, within which the dedicated Java microcontroller-FemtoJava-is synthesized     

Minimum cost source location problem with vertex-connectivity requirements in digraphs

Given a digraph (or an undirected graph) G=(V,E) with a set V of vertices v with nonnegative real costs w(v), and a set E of edges and a positive integer k, we deal with the problem of finding a minimum cost subset SV such that, for each vertex vV−S, there are k vertex-disjoint paths from S to v. In this paper, we show that the problem can be solved by a greedy algorithm in time in a digraph (or in time in an undirected graph), where n=|V| and m=|E|. Based on this, given a digraph and two integers k and ℓ, we also give a polynomial time algorithm for finding a minimum cost subset SV such that for each vertex vV−S, there are k vertex-disjoint paths from S to v as well as ℓ vertex-disjoint paths from v to S.     

Group weighted finite transducers

We consider weighted finite transducers over arbitrary groups, that is finite transducers having a counter in which, at any step, a value of the group is stored but no information regarding the content of this counter is available until the computation is finished. The computation is valid if the counter value is the neutral element of the group. We generalize here some results from [8] and [17]. Received: 28 January 2001 / 5 June 2001