Results (1507)
Search Parameters:
Keyword: CatCritical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics
Trusted systems are becoming more integrated into everyday life. Security and reliability are at the forefront of trusted system design and are often directed at hardware-only solutions, especially for safety critical systems. This is because hardware has a well-established process for achieving strong, precise, and reliable systems. These attributes have been achieved in the area…
Read MoreTrajectory Tracking Control Optimization with Neural Network for Autonomous Vehicles
For mission-critical and time-sensitive navigation of autonomous vehicles, controller design must exhibit excellent tracking performance with respect to the speed of convergence to reference command and steady-state accuracy. In this article, a novel design integration of the neural network with the traditional control system is proposed to adaptively obtain optimized controller parameters resulting in improved…
Read MoreEnhancing and Monitoring Patient Outcomes Through Customized Learning
Chronic diseases such as heart disease, cancer, diabetes, and asthma continue to increase in the general public within the modern era. With careful observation of the symptoms potential diseases may be detected early and managed properly. For that to happen, the awareness of the symptoms and proper knowledge about the diseases may be needed for…
Read MorePhotodecoloration of Methyl Orange Solution Assisted by ZrS3 Powders
Zirconium trisulfide ZrS3 is a representative of transition metal polysulfides containing sulfur as S–1 in polysulfide, usually disulfide S22– groups. Semiconductive zirconium trisulfide which absorbs visible light near UV edge was considered as a possible photocatalyst. We experimentally studied photodecoloration of methyl orange in presence of ZrS3. It was shown for the first time that…
Read MoreConducted and Radiated Interference on Interconnection’s Lines
There exists a profound difficulty of communication between the people that works in the EMC area in circuit terms and the people that works in field terms. In this paper we show that when the matter is predominantly distributed along a certain direction in space, as for transmission lines, the electromagnetic field can be divided…
Read MoreFuzzy Logic Implementation for Enhanced WCDMA Network Using Selected KPIs
The paper focused on the implementation of fuzzy logic technology for improved Wideband Code Division Multiple Access (WCDMA) network using selected Key Performance Indicators (KPIs). Empirical and analytical methods were principally deployed for the study analyses. Empirical analyses were conducted on two designated networks which are MTN and AIRTEL observed with high network traffic to…
Read MoreHypervolume-Based Multi-Objective Reinforcement Learning: Interactive Approach
In this paper, we propose a procedure of interactive multi-objective reinforcement learning for multi-step decision problems based on the preference of a decision maker. The proposed method is constructed based on the multi-objective reinforcement learning which is applied to multi-step multi-objective optimization problems. The existing literature related to the multi-objective reinforcement learning indicate that the…
Read MoreExtending the Life of Legacy Robots: MDS-Ach via x-Ach
Our work demonstrates how to use contemporary software tools on older or “legacy” robots while keeping compatibility with the original control, tools, and calibration procedures. This is done by implementing a lightweight middle-ware called MDS-Ach connected directly to the hardware communications layer of the robot’s control system. The MDS-Ach middle-ware, which relies on the x-Ach…
Read MoreAutomation System for Regulation Optimization in Power Transformer Design
Large power transformers generally include a customer request for a technically appropriate regulation unit. The selection process of the regulation unit consists of defining the required input data, performing mathematical calculations necessary to find the technical limit values that the regulation unit has to satisfy, and finally optimizing and selecting the appropriate regulation unit. The…
Read MoreBuilding an Online Interactive 3D Virtual World for AquaFlux and Epsilon
In today’s technology, 3D presentation is vital in conveying a realist and comprehensive understanding of a specific notion or demonstrating certain functionality for a specific device or tool, especially on the World Wide Web. Therefore, the importance of this field and how its continuous enhancement has become one of the dominant topics in web development…
Read MorePerfect Molding Challenges and The Limitations “A Case Study”
Driven by today’s market demand, semiconductor is pushing towards the zero-defect direction. The improvement demanded in semiconductor manufacturing is becoming increasingly challenging. In this paper, common molding defects comprise of voids, incomplete fills, and piping holes are studied systematically, focusing on three key areas: 1) Potential mold flow weakness; 2) Molding temperature stability; as well…
Read MoreMulti-Objective Path Optimization of a Satellite for Multiple Active Space Debris Removal Based on a Method for the Travelling Serviceman Problem
Space debris removal is currently a critical issue for space development. It has been reported that five pieces of debris should be removed each year to avoid further increase in the amount of debris in orbit. One approach for the removal of multiple pieces of debris is to launch multiple satellites that can each remove…
Read MoreCNN-based Automatic Coating Inspection System
The application of protective coatings is the primary method of protecting marine and offshore structures from corrosion. Coating breakdown and corrosion (CBC) assessment is a major aspect of coating failure management. Evaluation methods can result in unnecessary maintenance costs and a higher risk of failure. To achieve a comprehensive collection of data for CBC assessment,…
Read MoreStudy on CD ROADM Contention Blocking
Service providers are transferring their static optical transport networks from semi-permanent connections to agile automatic switched optical networks (ASON) with dynamic optical connection provisioning and restoration. To achieve this goal, service providers are looking for flexible optical network ROADMs with CDC capabilities. Although many contention scenarios during network connection provisioning and restoration have been illustrated,…
Read MoreAn Integrated & Secure System for Wearable Devices
Health services are under increasing pressure to reduce large waiting times for appointments. The delayed diagnosis of a human illnesses could have profound consequences for the patient. The large waiting times may be attributed to lack of data, the accuracy of the data or the timeliness of the availability of the data. In addition to…
Read MoreAdaptation of Electronic Book Publishing Technology by The Publishers in Southeast Nigeria
This paper investigates the electronic book production and distribution practices adopted by the Publishers in Southeast Nigeria because of the global growing interest in writing new book titles in digital form as well as converting paper titles to digital content. To investigate this study, the researcher formulated three research questions to guide the study. A…
Read MoreRobot Self-Detection System
The paper presents design and implementation of a mobile robot, located in an accommodation. As opposed to other known solutions, the presented one is entirely based on standard, cheap and accessible devices and tools. An algorithm for transformation of the 2D coordinates of the robot into 3D coordinates is described. The design and implementation of…
Read MoreA Practical Approach for Extending DSMLs by Composing their Metamodels
Domain specific modeling (DSM) has become popular in the software development field during these last years. It allows to design an application using a domain specific modeling language (DSML) and to generate an end-solution software product directly from models. However providing a new DSML is a complex and costly job. This can be reduced by…
Read MoreAn Empirical Study of Icon Recognition in a Virtual Gallery Interface
This paper reports on an empirical study (an extension of a pilot study) that analyses the design of icons in a German 3-D virtual art gallery interface. It evaluates the extent to which a sample of typical computer users from a range of ages, educational attainments and employments can interpret the meaning of icons from…
Read MoreClosed Approach of a Decoder Mobile for the 406 Mhz Distress Beacon
This article presents the design and realization of decoder mobile for distress beacon 406 MHz. The use of the sparse Fourier transforms in the processing of distress beacon signals. The characteristics of these decoders are mobility, able to decode all the frequencies of the beacons. It locates with great precision the location of the emitting…
Read MoreiSensA – A System for Collecting and Integrating Sensor Data
The idea of monitoring several types of parameters in various environments has been motivating significant research works in Internet of Things (IoT). This paper presents the design and construction of iSensA, a system for integrating and collecting information from sensors. The solution implements a multi-sensor monitoring system and then expands the monitoring concept to an…
Read MoreAttitude Control Simulation of a Legged Aerial Vehicle Using the Leg Motions
To gather information rapidly in disaster sites, a lot of search/rescue robots have been developed. It is difficult to correspond to the complicated environment composed of fields requiring various locomotion strategies, because most of these robots have only one type of locomotion device. To increase the available search routes under such conditions with the aim…
Read MoreExploring the use of Manual Liquid Based Cytology, Cell Block with Immunomarkers p16/ki67, VIA and HPV DNA Testing as a Strategy for Cervical Cancer Screening in LMIC
Cervical cancer is the 4th most common cancer in women in low to middle income group countries (LMIC). Various methods for screening cervical cancer are practiced, such as the Conventional Pap Smear (CPS), Liquid Based Cytology with its ancillary techniques like Cell Block with immunocytochemistry. VIA is another method which is being advocated as a…
Read MoreActual Use and Continuous Use of Retail Mobile App: A Model Comparison Perspective
A mobile retail app is a growing innovation in a retailing setting and there is an argument on the prominent status of a mobile application in contrast with a mobile website and web applications. The study used quantitative data to run multiple regression analysis with keen attention to linear regression assumption and compare four models…
Read Morecv4sensorhub – A Multi-Domain Framework for Semi-Automatic Image Processing
Although there are many research domains with very good software support and workflow automation, there are even more which do not have it: software development is too expensive to create domain specific applications for every research topic. This leaves many domain experts to work for example with general purpose image processing and statistics tools. Many…
Read More
