In the field of network security, using machinelearning to detect network anomalies and attacks is becoming increasingly popular. However, the availability of a security model based on machinelearning may vary depen...
详细信息
C523 vertical lathe control circuit uses a relay control method, which has some disadvantages including large size, complex wiring, high failure rate, and maintenance difficulties. To solve these problems, a C523 vert...
详细信息
Deep learning models have recently shown good performance in the hyperspectral remote sensing image classification tasks. In particular, a capsule network (CapsNet) was introduced as a powerful alternative to convolut...
详细信息
The current trend of software education in Korea does not focus on improving computational thinking skills, but rather focuses on students consuming educational technologies developed by the private education industry...
详细信息
The Internet has emerged as an indispensable tool in both our personal and professional life in our modern day. As a direct consequence of this, the number of customers who make their purchases over the Internet is qu...
详细信息
Fairness of machinelearning (ML) software has become a major concern in the recent past. Although recent research on testing and improving fairness have demonstrated impact on real-world software, providing fairness ...
详细信息
ISBN:
(纸本)9781665457019
Fairness of machinelearning (ML) software has become a major concern in the recent past. Although recent research on testing and improving fairness have demonstrated impact on real-world software, providing fairness guarantee in practice is still lacking. Certification of ML models is challenging because of the complex decision-making process of the models. In this paper, we proposed Fairify, an SMT-based approach to verify individual fairness property in neural network (NN) models. Individual fairness ensures that any two similar individuals get similar treatment irrespective of their protected attributes e.g., race, sex, age. Verifying this fairness property is hard because of the global checking and non-linear computation nodes in NN. We proposed sound approach to make individual fairness verification tractable for the developers. The key idea is that many neurons in the NN always remain inactive when a smaller part of the input domain is considered. So, Fairify leverages white-box access to the models in production and then apply formal analysis based pruning. Our approach adopts input partitioning and then prunes the NN for each partition to provide fairness certification or counterexample. We leveraged interval arithmetic and activation heuristic of the neurons to perform the pruning as necessary. We evaluated Fairify on 25 real-world neural networks collected from four different sources, and demonstrated the effectiveness, scalability and performance over baseline and closely related work. Fairify is also configurable based on the domain and size of the NN. Our novel formulation of the problem can answer targeted verification queries with relaxations and counterexamples, which have practical implications.
Requirements traceability (RT) is crucial for requirement management and impact analysis of requirement change in software development. The applications of machinelearning (ML) technologies to RT have received much a...
详细信息
The Industrial Internet of Things (IIoT) leverages thousands of interconnected sensors and computing devices to monitor and control large and complex industrial processes. machinelearning (ML) applications in IIoT us...
详细信息
ISBN:
(纸本)9798350301137
The Industrial Internet of Things (IIoT) leverages thousands of interconnected sensors and computing devices to monitor and control large and complex industrial processes. machinelearning (ML) applications in IIoT use data acquired from multiple sensors to perform tasks such as predictive maintenance. While remembering useful learning from the past, these applications need to adapt learning for evolving sensor data stemming from changes in industrial processes and environmental conditions. This paper presents a continual learning pipeline to learn from the evolving data while replaying selected parts of the old data. The pipeline is configured to produce ML experiences (e.g., training a baseline neural network model), improve the baseline model with the new data while replaying part of the old data, and infer/predict using a specific model version given a stream of IIoT sensor data. We have evaluated our approach from an AI engineering perspective using three industrial case studies, i.e., predicting tool wear, remaining useful lifetime, and anomalies from sensor data acquired from CNC machining and broaching operations. Our results show that configuring experiences for replay-driven continual learning allows dynamic maintenance of ML performance on evolving data while minimizing the excessive accumulation of legacy sensor data.
Computer Vision (CV) is used in a broad range of Cyber-Physical Systems such as surgical and factory floor robots and autonomous vehicles including small Unmanned Aerial Systems (sUAS). It enables machines to perceive...
详细信息
ISBN:
(纸本)9798350301137
Computer Vision (CV) is used in a broad range of Cyber-Physical Systems such as surgical and factory floor robots and autonomous vehicles including small Unmanned Aerial Systems (sUAS). It enables machines to perceive the world by detecting and classifying objects of interest, reconstructing 3D scenes, estimating motion, and maneuvering around objects. CV algorithms are developed using diverse machinelearning and deep learning frameworks, which are often deployed on limited resource edge devices. As sUAS rely upon an accurate and timely perception of their environment to perform critical tasks, problems related to CV can create hazardous conditions leading to crashes or mission failure. In this paper, we perform a systematic literature review (SLR) of CV-related challenges associated with CV, hardware, and softwareengineering. We then group the reported challenges into five categories and fourteen sub-challenges and present existing solutions. As current literature focuses primarily on CV and hardware challenges, we close by discussing implications for softwareengineering, drawing examples from a CV-enhanced multi-sUAS system.
Building heating and cooling power consumption optimization is an important field to reduce and optimize power consumption and to reach green building. To optimize the loads, the building can be constructed utilizing ...
详细信息
暂无评论