A smartphone-based virtual white cane

The objective of our research was to develop assistive technology for visually impaired people, with a high appreciation for the human potential to achieve, to learn, and to achieve goals. In this document, we describe a virtual white cane made of a combination of a Smartphone and a laser pointer. In our device, the laser pointer beam reflection is captured by the Smartphone camera. The distance from the virtual white cane to the reflection is computed through active triangulation. Then, a personalized vibration, the magnitude of which corresponds to distance, is generated in the Smartphone. In this way, the users receive information that could prevent collisions with obstacles in the environment. Our contributions include the development of a virtual white cane around a Smartphone and other off-the-shelf accessories and a methodology to provide personalized vibratory feedback to the user. Our experiments show that to navigate, our instrument is better option, in terms of travel time, that the use of the hands. However, the travel time is still better using a traditional white cane than our instrument.     

At the turn of the 21st century: reflections on our science

As the new century began, I took over as editor of the journal. By all accounts I inherited a robust journal - thanks to my predecessor. I made little adjustments on process and expanded the Editorial Board to reflect important emerging topics in human factors. The journal I "inherited" was in good shape, and I hope I left it a little better. In this paper, I reflect on the state of our science after making over 500 decisions over eight years (four as editor and four as associate editor). My reflections include issues concerning our theories, methodologies, and practice. These are offered as food for thought and in the hope that as we all reflect on the state of our science, we strive to make it better, more robust, and more relevant and that it has a greater influence on the world we live in. Time will tell.     

Taylor series approach to fuzzy multiobjective linear fractional programming

This paper presents the use of a Taylor series for fuzzy multiobjective linear fractional programming problems (FMOLFP). The Taylor series is a series expansion that a representation of a function. In the proposed approach, membership functions associated with each objective of fuzzy multiobjective linear fractional programming problem transformed by using a Taylor series are unified. Thus, the problem is reduced to a single objective. Practical applications and numerical examples are used in order to show the efficiency and superiority of the proposed approach.     

Microstructure and properties of K2O doped superconducting YBa2Cu3O7−x

K doped YBa₂Cu₂O _x powders have been obtained by incorporating K₂CO₃ to previously coprecipitated amorphous hydroxide mixtures. Synthesis was performed at 900C and an orthorhombic 1 2 3 phase was the final product. Sintering of isopressed bars was carried out from 920 to 940C. K doping up to 5 at % led to the development of dense bodies with good superconducting behaviour. Oxygen pick-up during the cooling step following sintering was well accomplished despite the high density of the samples. Transition temperatures 90 K were measured. Doping above that percentage led to samples with lower density values. The presence of non-superconducting phases, such as CuO and a green phase, was very significant, and suppressed the superconducting transition.     

Synthesis, Structure and Antitumour Properties of a New 1,2-Propylenediaminetetraacetate-Ruthenium(III) Compound

A novel complex formed by ruthenium (III) and the sequestering ligand 1,2-propylenediaminetetraacetic acid (PDTA) has been synthetized and characterized. The structure of the monomeric compound, studied by X-ray diffraction , shows an almost symmetric octahedral geometry around the metal ion, with two chlorine atoms in a cis conformation. The antitumour activity against a variety of murine and human cancers is reported.     

A Survey of Airworthiness and Certification for UAS

The Italian SMAT project is a civilian program supported by Piemonte Region developed for the territorial monitoring and surveillance and for the prevention of natural hazards. In a different way from the previous surveillance programs, the SMAT project is based on the use of several unmanned platforms that are able to cooperate through ground coordination and control station. The flight in non-segregated airspace, needed in order to accomplish the territorial monitoring mission, is a main issue to be investigated and defined, because of the current lack of a common consensus and agreement on the regulations of UAS. The present work outlines the international initiatives that deal with the development of the regulatory framework on airworthiness and certification of UAS and their potential impact on the SMAT project.     

Electrical behaviour of doped-yttria stabilized zirconia ceramic materials

Single-phase sintered ceramic materials (ZrO₂)_1?x {(Y₂O₃) _y (RE₂O₃)_{1-y x} }_x (RE=Nd, Ce, Dy, Er), were synthesized and electrical conductivity and transport number measurements were made as a function of temperature between 500 and 1200° C. The activation energies of conduction were determined, and it was found that the charge carriers in these solid solutions are oxygen ions. The fabricated electrolyte discs were used in cells of the type \(P_{O_2 }\) , Pt/zirconia solid solution/ \(P_{\mathop O\limits^{'} _2 }\) , platinum where \(P_{O_2 }\) =air (0.21 atm) and \(P_{\mathop O\limits^{'} _2 }\) =1 atm or argon-O₂ mixtures. Below 700° C, the e.m.f. deviated from the theoretical values for completely ionic conduction; good agreement was observed above this temperature.     

Formal methods integration for the specification of dependable distributed systems

This paper describes a real-world case study in the specification and analysis of dependable distributed systems. The case study is an automated transport system with safety requirements. In order to manage the complexity of the problem of specifying the dynamic behavior of the whole system, a compositional approach is used, based on the integration of the trace logic of the Communicating Sequential Processes (CSP) theory, and stochastic Petri nets (SPNs). It is argued that the integration of different formal methods is a useful approach in the definition of practical engineering methodologies for the specification, design and analysis of complex dependable distributed systems.