Enhanced security in internet voting protocol using blind signature and dynamic ballots

In this paper, we introduce an internet voting protocol which satisfies desired security requirements of electronic voting. In the newly proposed protocol, we allow the adversaries to get more power than in any previous works. They can be coercers or vote buyers outside, and corrupted parties inside our system. These adversaries also have ability to collude with each other to ruin the whole system. Our main contribution is to design an internet voting protocol which is unsusceptible to most of sophisticated attacks. We employ the blind signature technique and the dynamic ballots instead of complex cryptographic techniques to preserve privacy in electronic voting. Moreover, we also aim at the practical system by improving the blind signature scheme and removing physical assumptions which have often been used in the previous works.     

Development of a quadruped walking robot AiDIN-III using biologically inspired kinematic analysis

This paper presents a bio-inspired mechanism design for a quadruped walking robot. The approach is derived from the observation on the behaviors of quadruped locomotion, skeletal structure, and the study on the stability of walking based on morphological analysis. In the first, we define the design parameters such as the dimensions of the body and limbs, the center of mass position, and locomotion mechanisms based on surveys on the literatures from biologists. Then, by using the parameters, we propose an useful framework for determining the design parameters of a quadruped walking robot. For implementations, we manufacture a dog-type self-contained quadruped walking robot, named AiDIN-III (Artificial Digitigrade for Natural Environment version III) and the effectiveness of the proposed idea is validated via experimental works.     

Electromyographic evaluation of a bed assistive device for abdominal surgery patients in postoperative care

OBJECTIVE: Muscle activity with and without the use of commercially available patient assistive devices during bed rising and lowering was quantified. BACKGROUND: Limited research is available in understanding or evaluating the physical benefits of assistive devices for patient use following major abdominal surgery. METHODS: Twenty healthy participants (9 men, 11 women) took part in a laboratory study to test the effects of device configuration (five levels) and bed elevation angle (0 degree and 30 degrees) on mean and peak upper and lower rectus abdominis and external oblique concentric and eccentric muscle activity. RESULTS: Reduced muscle activity was associated with the use of an assistive device, as compared with manual bed rising (unassisted). Positioning the devices at a higher anchor height and/or increasing the bed elevation angle further reduced muscle activity. Objective and subjective differences between the two assistive devices evaluated in the study were found. CONCLUSION: These results suggest that self-assistive devices may speed recovery because of reduced loads on damaged tissues. APPLICATION: Potential applications of this research include the assessment of other commercially available lift aids or comparisons of self-assistive lift aids with hospital-housed lift aids used to speed recovery rates.     

Semplore: A scalable IR approach to search the Web of Data

The Web of Data keeps growing rapidly. However, the full exploitation of this large amount of structured data faces numerous challenges like usability, scalability, imprecise information needs and data change. We present Semplore, an IR-based system that aims at addressing these issues. Semplore supports intuitive faceted search and complex queries both on text and structured data. It combines imprecise keyword search and precise structured query in a unified ranking scheme. Scalable query processing is supported by leveraging inverted indexes traditionally used in IR systems. This is combined with a novel block-based index structure to support efficient index update when data changes. The experimental results show that Semplore is an efficient and effective system for searching the Web of Data and can be used as a basic infrastructure for Web-scale Semantic Web search engines.     

Metal Single-Site Molecular Complex–MXene Heteroelectrocatalysts Interspersed Graphene Nanonetwork for Efficient Dual-Task of Water Splitting and Metal–Air Batteries

Development of multifunctional electrocatalysts with high efficiency and stability is of great interest in recent energy conversion technologies. Herein, a novel heteroelectrocatalyst of molecular iron complex (Fe_MC)-carbide MXene (Mo₂TiC₂T_x) uniformly embedded in a 3D graphene-based hierarchical network (GrH) is rationally designed. The coexistence of Fe_MC and MXene with their unique interactions triggers optimum electronic properties, rich multiple active sites, and favorite free adsorption energy for excellent trifunctional catalytic activities. Meanwhile, the highly porous GrH effectively promotes a multichannel architecture for charge transfer and gas/ion diffusion to improve stability. Therefore, the Fe_MC–MXene/GrH results in superb performances towards oxygen reduction reaction (ORR), oxygen evolution reaction (OER), and hydrogen evolution reaction (HER) in alkaline medium. The practical tests indicate that Zn/Al–air batteries derived from Fe_MC–MXene/GrH cathodic electrodes produce high power densities of 165.6 and 172.7 mW cm⁻², respectively. Impressively, the liquid-state Zn–air battery delivers excellent cycling stability of over 1100 h. In addition, the alkaline water electrolyzer induces a low cell voltage of 1.55 V at 10 mA cm⁻² and 1.86 V at 0.4 A cm⁻² in 30 wt.% KOH at 80 °C, surpassing recent reports. The achievements suggest an exciting multifunctional electrocatalyst for electrochemical energy applications.     

Monitoring the Ratio of Two Normal Variables Using EWMA Type Control Charts

In many fields, there is the need to monitor quality characteristics defined as the ratio of two random variables. The design and implementation of control charts directly monitoring the ratio stability is required for the continuous surveillance of these quality characteristics. In this paper, we propose two one‐sided exponentially weighted moving average (EWMA) charts with subgroups having sample size n > 1 to monitor the ratio of two normal random variables. The optimal EWMA smoothing constants, control limits, and ARLs have been computed for different values of the in‐control ratio and correlation between the variables and are shown in several figures and tables to discuss the statistical performance of the proposed one‐sided EWMA charts. Both deterministic and random shift sizes have been considered to test the two one‐sided EWMA charts' sensitivity. The obtained results show that the proposed one‐sided EWMA control charts are more sensitive to process shifts than other charts already proposed in the literature. The practical application of the proposed control schemes is discussed with an illustrative example. Copyright © 2015 John Wiley & Sons, Ltd.     

Mechanical property enhancement of aligned multi-walled carbon nanotube sheets and composites through press-drawing process

A solid-state drawing and winding process was done to create thin aligned carbon nanotube (CNT) sheets from CNT arrays. However, waviness and poor packing of CNTs in the sheets are two main weaknesses restricting their reinforcing efficiency in composites. This report proposes a simple press-drawing technique to reduce wavy CNTs and to enhance dense packing of CNTs in the sheets. Non-pressed and pressed CNT/epoxy composites were developed using prepreg processing with a vacuum-assisted system. Effects of pressing on the mechanical properties of the aligned CNT sheets and CNT/epoxy composites were examined. Pressing with distributed loads of 147, 221, and 294 N/m showed a substantial increase in the tensile strength and the elastic modulus of the aligned CNT sheets and their composites. The CNT sheets under a press load of 221 N/m exhibited the best mechanical properties found in this study. With a press load of 221 N/m, the pressed CNT sheet and its composite, respectively, enhanced the tensile strength by 139.1 and 141.9%, and the elastic modulus by 489 and 77.6% when compared with non-pressed ones. The pressed CNT/epoxy composites achieved high tensile strength (526.2 MPa) and elastic modulus (100.2 GPa). Results show that press-drawing is an important step to produce superior CNT sheets for development of high-performance CNT composites.     

Integratable non-clogging microconcentrator based on counter-flow principle for continuous enrichment of CaSki cells sample

This study addresses the need to reduce the risk of clogging when preparing samples for cell concentration, i.e., the CaSki Cell-lines (epidermoid cervical carcinoma cells). Aiming to develop a non-clogging microconcentrator, we proposed a new counter-flow concentration unit characterized by the directions of penetrating flows being at an obtuse angle to the main flow, due to employment of streamlined turbine blade-like micropillars. Based on the optimization results of the counter-flow unit profile, a fractal arrangement for the counter-flow concentration unit was developed. A counter-flow microconcentrator chip was then designed and fabricated, with both the processing layer and collecting layer arranged in terms of the honeycomb structure. Visualized experiments using CaSki cell samples on the microconcentrator chip demonstrated that no cell-clogging phenomena occurred during the test and that no cells were found in the final filtrate. The test results show an excellent concentration performance for the microconcentrator chip, while a concentrating ratio of >4 with the flow rate being below 1.0 ml/min. As only geometrical structure is employed in the passive device, the counter-flow microconcentrator can be easily integrated into advanced microfluidic systems. Owing to the merit of non-clogging and continuous processing ability, the counter-flow microconcentrator is not only suitable for the sample preparation within biomedical field, but also applicable in water-particle separation.     

Combination of convex theories: Modularity,deduction completeness,and explanation

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories.