Verification of the vertex powers of varifocal rigid contact lenses

 

Experimental verification of theoretical prediction of fiber to fiber contacts in electrospun multilayer nano-microfibrous assemblies: effect of fiber diameter and network porosity

Average number of fiber-to-fiber contacts in a fibrous structure is a prerequisite to investigate the mechanical, optical and transport properties of stochastic nanomicrofibrous networks. In this research work, based on theoretical analysis presented for the estimation of the number of contacts between fibers in electrospun random multilayer nanofibrous assembles, experimental verification for theoretical dependence of fiber diameter and network porosity on the fiber to fiber contacts has been provided. The analytical model formulated is compared with the existing theories to predict the average number of fiber contacts of nanofiber structures. The effect of fiber diameters and network porosities on average number of fiber contacts of nano-microfiber mats has been investigated. A comparison is also made between the experimental and theoretical number of inter-fiber contacts of multilayer electrospun random nanomicrofibrous networks. It has been found that both the fiber diameter and the network porosity have significant effects on the properties of fiber-to-fiber contacts.

Motion analysis of a robotic assisted surgery and microsurgery system - experimental verification

Motion analysis of a parallel robot assisted minimally invasive surgery/microsurgery system (PRAMiSS) and the control structures enabling it to achieve milli/micromanipulations under the constraint of moving through a fixed penetration point or so-called remote centre-of-motion (RCM) are presented in this article. Two control algorithms are proposed suitable for minimally invasive surgery (MIS) with submillimeter accuracy and for minimally invasive micro-surgery (MIMS) with submicrometer accuracy. The RCM constraint is performed without having any mechanical constraint. Control algorithms also apply orientation constraint preventing the tip to orient relative to the soft tissues due to the robot movements. Experiments were conducted to verify accuracy and effectiveness of the proposed control algorithms for MIS and MIMS operations. The experimental results demonstrate accuracy and performance of the proposed position control algorithms.

Verifiable auditing for outsourced database in cloud computing

The notion of database outsourcing enables the data owner to delegate the database management to a cloud service provider (CSP) that provides various database services to different users. Recently, plenty of research work has been done on the primitive of outsourced database. However, it seems that no existing solutions can perfectly support the properties of both correctness and completeness for the query results, especially in the case when the dishonest CSP intentionally returns an empty set for the query request of the user. In this paper, we propose a new verifiable auditing scheme for outsourced database, which can simultaneously achieve the correctness and completeness of search results even if the dishonest CSP purposely returns an empty set. Furthermore, we can prove that our construction can achieve the desired security properties even in the encrypted outsourced database. Besides, the proposed scheme can be extended to support the dynamic database setting by incorporating the notion of verifiable database with updates.

Verification Of The Standard Vector Data Model For Interoperability Of River-Geospatial Information

Recently, two international standard organizations, ISO and OGC, have done the work of standardization for GIS. Current standardization work for providing interoperability among GIS DB focuses on the design of open interfaces. But, this work has not considered procedures and methods for designing river geospatial data. Eventually, river geospatial data has its own model. When we share the data by open interface among heterogeneous GIS DB, differences between models result in the loss of information. In this study a plan was suggested both to respond to these changes in the information envirnment and to provide a future Smart River-based river information service by understanding the current state of river geospatial data model, improving, redesigning the database. Therefore, primary and foreign key, which can distinguish attribute information and entity linkages, were redefined to increase the usability. Database construction of attribute information and entity relationship diagram have been newly redefined to redesign linkages among tables from the perspective of a river standard database. In addition, this study was undertaken to expand the current supplier-oriented operating system to a demand-oriented operating system by establishing an efficient management of river-related information and a utilization system, capable of adapting to the changes of a river management paradigm.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Human face verification based on multidimensional Polynomial Powers of Sigmoid (PPS)

In this paper, we described how a multidimensional wavelet neural networks based on Polynomial Powers of Sigmoid (PPS) can be constructed, trained and applied in image processing tasks. In this sense, a novel and uniform framework for face verification is presented. The framework is based on a family of PPS wavelets,generated from linear combination of the sigmoid functions, and can be considered appearance based in that features are extracted from the face image. The feature vectors are then subjected to subspace projection of PPS-wavelet. The design of PPS-wavelet neural networks is also discussed, which is seldom reported in the literature. The Stirling Universitys face database were used to generate the results. Our method has achieved 92 % of correct detection and 5 % of false detection rate on the database.

VERIFICATION of THE PRESENCE of CAPSULE GENE SEQUENCES IN NASOPHARYNGEAL ISOLATES of NONTYPEABLE HAEMOPHILUS INFLUENZAE FROM HEALTHY CHILDREN AT A BRAZILIAN DAY CARE CENTER

Cinqüenta e oito cepas de Haemophilus influenzae foram isoladas da nasofaringe de crianças saudáveis que freqüentam uma creche, e através da técnica de Southern blot foi pesquisada nas cepas acapsuladas a presença de seqüências do gene capsular. Sete cepas (12%) caracterizadas sorologicamente como acapsuladas mostraram homologia com seqüências específicas da cápsula. Uma cepa foi caracterizada com uma linhagem H. influenzae tipo b cápsula deficiente.