The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Relative correctness is the property of a program to be more-correct than another with respect to a specification, whereas traditional (absolute) correctness distinguishes between two classes of candidate programs with respect to a specification (correct and incorrect), relative correctness defines a partial ordering between candidate programs, whose maximal elements are the (absolutely) correct programs...
In this study, pioneering research was performed on GaN p-i-n diodes for the first ever assessment of surface temperature distribution by incorporating the use of infrared (IR) thermography, thermoreflectance thermal imaging, Raman thermometry, and thermal simulations. Each technique was advanced in order to obtain self-consistent results with higher accuracy. A two-temperature emissivity calibration...
Flexible substrates have been widely used for the fabrication of flexible or wearable electronics. The large deformation of flexible material in wearable electronics can reduce the reliability or cause premature failure of the electronics interconnects. Rapid adoption of flexible electronics for high reliability applications requires the development of methods for in-situ non-destructive measurement...
A well-done package enables a product to stand out from competitive brand packages and its form design is capable of creating the initial impression which generates associations regarding product images or consumers' responses to a product. This phenomenon is conspicuous in the packages of bottled products, such as perfume, beverage, shower gel and shampoo, bottled cosmetic and so forth. To create...
Usage of industrial networks of Internet with net-centric control is the driving trend of the future material manufacturing of goods and services. The bright future of this approach is out of doubt provided these complex net-centric systems will use adaptive approach to planning of manufacturing scenarios and function with high reliability. The issue here is that such systems are characterized by...
Distinguishing between RFID-tagged objects within different areas poses an important building block for many RFID-based applications. Existing localization techniques, however, often cannot reliably distinguish between tagged objects that are close to the border of adjacent areas. Against this backdrop, we present a hybrid approach based on an ANN and a HMM that leverages not only low-level RFID data...
Supporting Public Protection and Disaster Relief (PPDR) services are mandatory in modern wireless access networks. The sub-1GHz band is particularly suited to provide PPDR services due to the better propagation characteristics and attendant increase in link budget. In this work, we describe a novel transmit mode under a multi-operator non-orthogonal spectrum sharing framework, which can provide robust...
The networked manufacturing paradigm is a new and advanced development direction of the manufacturing industry. However, based on SOA (Service-Oriented Architecture), service failures and service errors are inevitable in the collaborative manufacturing service network. Aiming at solving this problem, this paper proposes a reliability optimization method for collaborative manufacturing service network...
A hierarchical control algorithm was developed to utilize photovoltaic system advanced inverter volt-VAr functions to provide distribution system voltage regulation and to mitigate 10-minute average voltages outside of ANSI Range A (0.95–1.05 pu). As with any hierarchical control strategy, the success of the control requires a sufficiently fast and reliable communication infrastructure. The communication...
This study presents the effect of supplying electrical ways in power electrical distribution system (PDS) to reliability indexes by alternating closed breakers in the water production plant. PDS in Mahasawat water treatment plant (MHS) is proposed as a case study. PowerFactory DIgSILENT program is used and simulated to find the result of alternative breakers to be closed or opened through Customer...
A method of improving the reliability of sensory data coming from measurement and control modules of distributed information-measuring systems and control actions formed by those modules is described. The proposed technical solutions by correcting additive, multiplicative and nonlinear error components of analog-to-digital converters provide the high reliability, survivability and. The preliminary...
Research data of accelerometer noise parameters were used to calculate possible resolution. The layout scheme has been developed for design creation. Engineering calculations allow evaluating the reliability and the ability for MEMS inclinometer operation under external influencing factors. Protection technology has been developed to ensure reliable inclinometer operation from external influencing...
This paper describes the system dynamics architecture of UTASiMo, a simulation-based task analysis tool that simulates the outcomes of task analysis for a system design and estimates task execution times, workload, and human error probability. UTASiMo combines discrete event, agent-based, and system dynamics simulation methods to automatically construct and simulate models that correspond to different...
Reliably discerning human activity from sensor data is a nontrivial task in ubiquitous computing, which is central to enabling smart environments. Ground-truth acquisition techniques for such environments can be broadly divided into observational and self-reporting approaches. In this paper we explore one self-reporting approach, using speech-enabled logging to generate ground-truth data. We report...
Following the Service-Oriented Architecture, Cloud services are exposed as Web APIs (Application Program Interface), which serve as the contracts between the service providers and service consumers. With increasing massive and broad applications of Cloud-based development, a large number of diversified APIs are emerging. Due to their wide impacts, any flaw in the cloud APIs may lead to serious consequences...
In a more competitive world, the retailers should understand the shopping behavior of the consumers. However the shopping behavior is a complex phenomenon and needs up gradation from time to time. Companies' competitiveness in such a scenario has, therefore become increasingly difficult. Their survival requires building competitive advantage by delivering brand related cues, which has influence on...
Handwriting analysis is an approach to modeling human activities are to judge the human as a device with a large number of internal mental states which they have. The research builds on the observation that although human behaviors such as handwriting, speech, hand gestures and even American Sign Language. Handwriting work as an indicator, which indicates personality and behavior of humans, for example,...
With recent widespread usage of state-of-the-art technology (e.g., various mobile devices), environmental sensing is getting popular. The sensors used for sensing are small and due to the mobility they become more error-prone, which results in data corruption or loss from sensor. Therefore, cleaning of the sensed data is of high importance to recover the lost or corrupted data. In this paper, we propose...
Live multimedia applications have experienced a dramatic growth due to the development of High Definition (HD) contents. Most of these streams are targeted at groups of people, who usually use Wi-Fi networks to access the platforms. In this context, a renewed interest in multicast applications has arisen, which usually suffer low data rates and reliability issues. Software Defined Networking (SDN)...
This paper reports an organized suite of experiments comparing a parallel matrix program in performance and reliability using a single-sided statistic multiplexed computing framework against MPI based on end-to-end computing framework.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.