the residual stresses in composite laminates depend on several factors including the conditions of fabricating process, property of materials, direction and lay-ups of the layers. however the thermo-elastic behavior of composite is one of the most important parameters affecting the magnitude of residual stresses. the elastic properties and residual stresses do not remain constant under cyclic t...

over 170 million patients worldwide are chronically infected with hepatitis c virus ( hcv ); making it a globally important infection. dentists constantly handle sharp instruments infected with biological fluids and are therefore considered at high-risk of contracting hcv infection. needle-stick injuries seem to be the most common route of exposure to blood-borne pathogens in dental practice. m...

This paper is devoted to the study of implication (and co-implication) functions defined from idempotent uninorms. The expression of these implications, a list of their properties, as well as some particular cases are studied. It is also characterized when these implications satisfy some additional properties specially interesting in the framework of implication functions, like contrapositive s...

With the growing use of XML as a format for the permanent storage of data, the study of functional dependencies in XML (XFDs) is of fundamental importance in understanding how to effectively design XML databases without redundancy or update problems. In this article we investigate the implication problem, that is determining when a set of integrity constraints logically implies another integrit...

Abduction is usually defined in terms of classical logical consequence. In this paper we substitute this ’inferential parameter’ by the notion of strict implication. By doing so we hope to put more of the intended meaning of the abductive explanative relation into the background theory. By using strict rather than material implication static domain knowledge for abductive tasks can deal with so...

The overlap function, a particular kind of binary aggregate has been extensively utilized in decision-making, image manipulation, classification, and other fields. With regard to function theory, many scholars have also obtained achievements, such as pseudo-overlap quasi-overlap semi-overlap etc. above generalized functions contain commutativity continuity, which makes them some limitations pra...

Aerosol Optical Depth (AOD) is a crucial parameter for various environmental and climate studies. Merging multi-sensor AOD products an effective way to produce with more spatiotemporal integrity accuracy. This study proposed conditional generative adversarial network architecture (AeroCGAN) improve the estimation of AOD. It first adopted MODIS Multiple Angle Implication Atmospheric Correction (...

Automatic Test Pattern Generation (ATPG) primarily has to solve three fundamental Boolean problems: justification, propagation, and implication. In the past, various data structures (e.g. netlists, CNFs, decision diagrams) have been used to tackle these problems with none of them being specifically optimized for all these tasks. That is why we propose fast and optimized algorithms for justifica...