A certain class of starlike functions

This paper presents a new class of functions analytic in the open unit disc, and closely related to the class of starlike functions. Besides being an introduction to this field, it provides an interesting connections defined class with well known classes. The paper deals with several ideas and techniques used in geometric function theory. The order of starlikeness in the class of convex functions of negative order is also considered here.     

Integrated Data Management for a Fleet of Search‐and‐rescue Robots

Search‐and‐rescue operations have recently been confronted with the introduction of robotic tools that assist the human search‐and‐rescue workers in their dangerous but life‐saving job of searching for human survivors after major catastrophes. However, the world of search and rescue is highly reliant on strict procedures for the transfer of messages, alarms, data, and command and control over the deployed assets. The introduction of robotic tools into this world causes an important structural change in this procedural toolchain. Moreover, the introduction of search‐and‐rescue robots acting as data gatherers could potentially lead to an information overload toward the human search‐and‐rescue workers, if the data acquired by these robotic tools are not managed in an intelligent way. With that in mind, we present in this paper an integrated data combination and data management architecture that is able to accommodate real‐time data gathered by a fleet of robotic vehicles on a crisis site, and we present and publish these data in a way that is easy to understand by end‐users. In the scope of this paper, a fleet of unmanned ground and aerial search‐and‐rescue vehicles is considered, developed within the scope of the European ICARUS project. As a first step toward the integrated data‐management methodology, the different robotic systems require an interoperable framework in order to pass data from one to another and toward the unified command and control station. As a second step, a data fusion methodology will be presented, combining the data acquired by the different heterogenic robotic systems. The computation needed for this process is done in a novel mobile data center and then (as a third step) published in a software as a service (SaaS) model. The SaaS model helps in providing access to robotic data over ubiquitous Ethernet connections. As a final step, we show how the presented data‐management architecture allows for reusing recorded exercises with real robots and rescue teams for training purposes and teaching search‐and‐rescue personnel how to handle the different robotic tools. The system was validated in two experiments. First, in the controlled environment of a military testing base, a fleet of unmanned ground and aerial vehicles was deployed in an earthquake‐response scenario. The data gathered by the different interoperable robotic systems were combined by a novel mobile data center and presented to the end‐user public. Second, an unmanned aerial system was deployed on an actual mission with an international relief team to help with the relief operations after major flooding in Bosnia in the spring of 2014. Due to the nature of the event (floods), no ground vehicles were deployed here, but all data acquired by the aerial system (mainly three‐dimensional maps) were stored in the ICARUS data center, where they were securely published for authorized personnel all over the world. This mission (which is, to our knowledge, the first recorded deployment of an unmanned aerial system by an official governmental international search‐and‐rescue team in another country) proved also the concept of the procedural integration of the ICARUS data management system into the existing procedural toolchain of the search and rescue workers, and this in an international context (deployment from Belgium to Bosnia). The feedback received from the search‐and‐rescue personnel on both validation exercises was highly positive, proving that the ICARUS data management system can efficiently increase the situational awareness of the search‐and‐rescue personnel.     

Controllability of second-order infinite-dimensional systems

In the paper, the approximate controllability of linear abstract second-order infinite-dimensional dynamical systems is considered. It is proved using the frequency-domain method, that approximate controllability of second-order system can be verified by the approximate controllability conditions for the corresponding simplified first-order system. General results are then applied for approximate controllability investigation of a vibratory dynamical system modeling flexible mechanical structure. Some special cases are also considered. Moreover, remarks and comments on the relationships between different concepts of controllability are given. The paper extends earlier results on approximate controllability of second-order abstract dynamical systems.     

Certification of software for real-time safety-critical systems: state of the art

This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according to RTCA DO-178B “Software Considerations in Airborne Systems and Equipment Certification” and touches on tool qualification according to RTCA DO-254 “Design Assurance Guidance for Airborne Electronic Hardware.” Specifically, certification issues as related to real-time operating systems and programming languages are reviewed, as well as software development tools and complex electronic hardware tool qualification processes are discussed. Results of an independent industry survey done by the authors are also presented.     

Finite rotations in the description of continuum deformation

Finite rotations in continuum mechanics are described by means of either a proper orthogonal tensor or finite rotation vectors. Some algebraic relations concerning the finite rotations are reviewed. Formulae expressing them in terms of displacements are given. Along each of the curvilinear coordinate lines the finite rotations are shown to satisfy some systems of the linear first-order differential equations. Each system of the equations is presented in four different but equivalent forms associated with an intermediate stretched basis or with an intermediate rotated basis. Integrability conditions of the system of equations provide various alternative forms of compatibility conditions in continuum mechanics. The displacement field is expressed through the stretch and rotation fields in the form of three successive line integrals. The formula describes the displacements to within a constant finite translation and a constant finite rotation. The procedure proposed here generalizes the formula derived by Cesàro (1906) within the classical linear theory of elasticity.     

Motion planning in velocity affine mechanical systems

We address the motion planning problem in specific mechanical systems whose linear and angular velocities depend affinely on control. The configuration space of these systems encompasses the rotation group, and the motion planning involves the system orientation. Derivation of the motion planning algorithm for velocity affine systems has been inspired by the continuation method. Performance of this algorithm is illustrated with examples of the kinematics of a serial nonholonomic manipulator, the plate-ball kinematics and the attitude control of a rigid body.     

Numerical modelling of radiative heat transfer in an internal indirect reforming-type SOFC

The present paper describes numerical modelling of the radiative heat transfer process in the module chamber of an internal indirect reforming-type SOFC. The ability to do internal reforming is one of the characteristics of high-temperature fuel cells, SOFC. As in any high-temperature system, radiative heat transfer is important. In this article, heat transfer between the fuel reformer surface and all other surfaces facing the reformer surfaces is modelled. Governing equations for radiative heat transfer are described using Hottel's zone method. The resulting radiation–conduction conjugate heat transfer problems are numerically solved with a combination of Gauss–Seidel and Newton–Raphson methods. The steam reforming reaction occurring inside the fuel reformer is described using Achenbach model. The obtained results indicate that, for the development of effective indirect internal reforming, the position of the reformer in the module chamber and emissivity of the surfaces of the reformer, cell and other elements in the SOFC module all play a key role.     

Solid-state spun fibers and yarns from 1-mm long carbon nanotube forests synthesized by water-assisted chemical vapor deposition

We report continuous carbon nanotube (CNT) fibers and yarns dry-drawn directly from water-assisted chemical vapor deposition (CVD) grown forests with about 1-mm height. As-drawn CNT fibers exist as aerogel and can be transformed into more compact fibers through twisting or densification with a volatile organic liquid. CNT fibers are characterized by scanning electron microscopy, X-ray photoelectron spectroscopy, Raman microscopy, and wide-angle X-ray diffraction. Mechanical properties and electrical conductivity of the post-treated CNT fibers are investigated. The resulting fibers show the work of rupture of 30 J/g and DC electrical conductivity of 5.0 × 10⁴ S/m.