检索结果-内蒙古大学图书馆

An Ontological Analysis of Safety-Critical software and Its Anomalies

学校读者我要写书评

暂无评论

An Ontological Analysis of Safety-Critical Software and Its ...

IEEE International Conference on software Quality, Reliability and Security (QRS)

作者： Hezhen Liu Zhi Jin Zheng Zheng Chengqiang Huang Xun Zhang Reliability Technology Lab Huawei Technologies Co. Ltd Shenzhen China Ministry of Education Key Laboratory of High Confidence Software Technologies (Peking University) Beijing China Institute of Software School of Computer Science Peking University Beijing China School of Automation Science and Electrical Engineering Beihang University Beijing China

The progressively dominant role of software in safety-critical systems raise concerns about the software dependability. There are limited mature practices and guides for assessing software dependability and analyzing system-level hazards triggered by software anomalies. A problem is that faults, errors, and failures that represent software anomalies, albeit with different natures, are usually used indistinctly to predict software dependability, leading to unsolid results. The lack of such consensual conceptualization also leads to poor interoperability between supporting tools, and, consequently, difficulties in anomaly management and software maintenance. Anomaly analysis and management is more tough for safety-critical software due to its higher complexity and the safety-critical nature. The complex context of safety-critical software causes difficulties in determining the evolution/propagation path of software anomalies and the impact on system safety. To capture the nature of safety-critical software and support an understanding of mechanisms of software anomalies and associated hazards, we propose three reference ontologies: Safety-critical software Ontology, software Fault Ontology and software-failure-induced Hazard Ontology, which are built based on international standards, guides, and relevant conceptual models. We also discuss the relationships among them. That will facilitate a better understanding of the software anomaly mechanisms and the design of intervening/mitigation solutions. We demonstrate how these ontologies can help analyze software problems of real-world safety-critical systems.

关键词： software maintenance software quality Ontologies software Hazards software reliability Complexity theory

Model-enhanced Vector Index

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Zhang, Hailin Wang, Yujing Chen, Qi Chang, Ruiheng Zhang, Ting Miao, Ziming Hou, Yingyan Ding, Yang Miao, Xupeng Wang, Haonan Pang, Bochen Zhan, Yuefeng Sun, Hao Deng, Weiwei Zhang, Qi Yang, Fan Xie, Xing Yang, Mao Cui, Bin School of Computer Science Key Lab of High Confidence Software Technologies Peking University China Microsoft United States Aerospace Information Research Institute Key Laboratory of Target Cognition and Application Technology Chinese Academy of Sciences China Institute of Information Engineering Chinese Academy of Sciences China Carnegie Mellon University United States National University of Singapore Singapore National Engineering Laboratory for Big Data Analysis and Applications Peking University China

Embedding-based retrieval methods construct vector indices to search for document representations that are most similar to the query representations. They are widely used in document retrieval due to low latency and decent recall performance. Recent research indicates that deep retrieval solutions offer better model quality, but are hindered by unacceptable serving latency and the inability to support document updates. In this paper, we aim to enhance the vector index with endto- end deep generative models, leveraging the differentiable advantages of deep retrieval models while maintaining desirable serving efficiency. We propose Modelenhanced Vector Index (MEVI), a differentiable model-enhanced index empowered by a twin-tower representation model. MEVI leverages a Residual Quantization (RQ) codebook to bridge the sequence-to-sequence deep retrieval and embeddingbased models. To substantially reduce the inference time, instead of decoding the unique document ids in long sequential steps, we first generate some semantic virtual cluster ids of candidate documents in a small number of steps, and then leverage the well-adapted embedding vectors to further perform a fine-grained search for the relevant documents in the candidate virtual clusters. We empirically show that our model achieves better performance on the commonly used academic benchmarks MSMARCO Passage and Natural Questions, with comparable serving latency to dense retrieval solutions. Copyright © 2023, The Authors. All rights reserved.

关键词： Embeddings

Multi-Scale Separable Network for Ultra-High-Definition Video Deblurring

学校读者我要写书评

暂无评论

Multi-Scale Separable Network for Ultra-High-Definition Vide...

International Conference on Computer Vision (ICCV)

作者： Senyou Deng Wenqi Ren Yanyang Yan Tao Wang Fenglong Song Xiaochun Cao Institute of Information Engineering Chinese Academy of Sciences Beijing P.R. China State Key Lab. for Novel Software Technology Nanjing University Huawei Noah’s Ark Lab

ISBN: (纸本)9781665428132

Although recent research has witnessed a significant progress on the video deblurring task, these methods struggle to reconcile inference efficiency and visual quality simultaneously, especially on ultra-high-definition (UHD) videos (e.g., 4K resolution). To address the problem, we propose a novel deep model for fast and accurate UHD Video Deblurring (UHDVD). The proposed UHDVD is achieved by a separable-patch architecture, which collaborates with a multi-scale integration scheme to achieve a large receptive field without adding the number of generic convolutional layers and kernels. Additionally, we design a residual channel-spatial attention (RCSA) module to improve accuracy and reduce the depth of the network appropriately. The proposed UHDVD is the first real-time deblurring model for 4K videos at 35 fps. To train the proposed model, we build a new dataset comprised of 4K blurry videos and corresponding sharp frames using three different smartphones. Comprehensive experimental results show that our network performs favorably against the state-of-the-art methods on both the 4K dataset and public benchmarks in terms of accuracy, speed, and model size.

关键词： Visualization Computer vision Costs Convolution Computer architecture Streaming media Real-time systems

DPA-2:a large atomic model as a multitask learner

学校读者我要写书评

暂无评论

npj Computational Materials 2024年第1期10卷 185-199页

作者： Duo Zhang Xinzijian Liu Xiangyu Zhang Chengqian Zhang Chun Cai Hangrui Bi Yiming Du Xuejian Qin Anyang Peng Jiameng Huang Bowen Li Yifan Shan Jinzhe Zeng Yuzhi Zhang Siyuan Liu Yifan Li Junhan Chang Xinyan Wang Shuo Zhou Jianchuan Liu Xiaoshan Luo Zhenyu Wang Wanrun Jiang Jing Wu Yudi Yang Jiyuan Yang Manyi Yang Fu-Qiang Gong Linshuang Zhang Mengchao Shi Fu-Zhi Dai Darrin M.York Shi Liu Tong Zhu Zhicheng Zhong Jian Lv Jun Cheng Weile Jia Mohan Chen Guolin Ke Weinan E Linfeng Zhang Han Wang AI for Science Institute BeijingP.R.China DP Technology BeijingP.R.China Academy for Advanced Interdisciplinary Studies Peking UniversityBeijingP.R.China State Key Lab of Processors Institute of Computing TechnologyChinese Academy of SciencesBeijingP.R.China University of Chinese Academy of Sciences BeijingP.R.China HEDPS CAPTCollege of EngineeringPeking UniversityBeijingP.R.China Ningbo Institute of Materials Technology and Engineering Chinese Academy of SciencesNingboP.R.China CAS Key Laboratory of Magnetic Materials and Devices and Zhejiang Province Key Laboratory of Magnetic Materials and Application Technology Chinese Academy of SciencesNingboP.R.China School of Electronics Engineering and Computer Science Peking UniversityBeijingP.R.China Shanghai Engineering Research Center of Molecular Therapeutics&New Drug Development School of Chemistry and Molecular EngineeringEast China Normal UniversityShanghaiP.R.China Laboratory for Biomolecular Simulation Research Institute for Quantitative Biomedicine and Department of Chemistry and Chemical BiologyRutgers UniversityPiscatawayNJUSA Department of Chemistry Princeton UniversityPrincetonNJUSA College of Chemistry and Molecular Engineering Peking UniversityBeijingP.R.China Yuanpei College Peking UniversityBeijingP.R.China School of Electrical Engineering and Electronic Information Xihua UniversityChengduP.R.China State Key Laboratory of Superhard Materials College of PhysicsJilin UniversityChangchunP.R.China Key Laboratory of Material Simulation Methods&Software of Ministry of Education College of PhysicsJilin UniversityChangchunP.R.China International Center of Future Science Jilin UniversityChangchunP.R.China Key Laboratory for Quantum Materialsof Zhejiang Province Department of PhysicsSchool of ScienceWestlake UniversityHangzhouP.R.China Atomistic Simulations Italian Institute of TechnologyGenovaItaly State Key Laboratory of Physical Chemistry of Solid Surface iChEMCollege of Chemistry and Chemical EngineeringXiame

The rapid advancements in artificial intelligence(AI)are catalyzing transformative changes in atomic modeling,simulation,and ***-driven potential energy models havedemonstrated the capability to conduct large-scale,long-duration simulations with the accuracy of ab initio electronic structure ***,the model generation process remains a bottleneck for large-scale *** propose a shift towards a model-centric ecosystem,wherein a large atomic model(LAM),pretrained across multiple disciplines,can be efficiently fine-tuned and distilled for various downstream tasks,thereby establishing a new framework for molecular *** this study,we introduce the DPA-2 architecture as a prototype for ***-trained on a diverse array of chemical and materials systemsusing a multi-task approach,DPA-2demonstrates superior generalization capabilities across multiple downstream tasks compared to the traditional single-task pre-training and fine-tuning *** approach sets the stage for the development and broad application of LAMs in molecular and materials simulation research.

关键词： DPA establishing thereby

Image super-resolution via dynamic network

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Tian, Chunwei Zhang, Xuanyu Zhang, Qi Yang, Mingming Ju, Zhaojie School of Software Northwestern Polytechnical University Xi’an710129 China National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology Xi’an710129 China Research & Development Institute Northwestern Polytechnical University Shenzhen China School of Economics and Management Harbin Institute of Technology at Weihai Weihai264209 China Tencent AI lab Shenzhen China School of Computing University of Portsmouth PortsmouthPO1 3HE United Kingdom

Convolutional neural networks depend on deep network architectures to extract accurate information for image super-resolution. However, obtained information of these convolutional neural networks cannot completely express predicted high-quality images for complex scenes. In this paper, we present a dynamic network for image super-resolution (DSRNet), which contains a residual enhancement block, wide enhancement block, feature refinement block and construction block. The residual enhancement block is composed of a residual enhanced architecture to facilitate hierarchical features for image super-resolution. To enhance robustness of obtained super-resolution model for complex scenes, a wide enhancement block achieves a dynamic architecture to learn more robust information to enhance applicability of an obtained super-resolution model for varying scenes. To prevent interference of components in a wide enhancement block, a refinement block utilizes a stacked architecture to accurately learn obtained features. Also, a residual learning operation is embedded in the refinement block to prevent long-term dependency problem. Finally, a construction block is responsible for reconstructing high-quality images. Designed heterogeneous architecture can not only facilitate richer structural information, but also be lightweight, which is suitable for mobile digital devices. Experimental results show that our method is more competitive in terms of performance, recovering time of image super-resolution and complexity. The code of DSRNet can be obtained at https://***/hellloxiaotian/DSRNet. Copyright © 2023, The Authors. All rights reserved.

关键词： Network architecture

Context-aware Telco outdoor localization

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Zhang, Yige Rao, Weixiong Yuan, Mingxuan Zeng, Jia Hui, Pan School of Software Engineering Tongji University Shanghai China Huawei Noahs Ark Lab Hong Kong Department of Computer Science and Engineering Hong Kong University of Science and Technology Department of Computer Science University of Helsinki

Recent years have witnessed the fast growth in telecommunication (Telco) techniques from 2G to upcoming 5G. Precise outdoor localization is important for Telco operators to manage, operate and optimize Telco networks. Differing from GPS, Telco localization is a technique employed by Telco operators to localize outdoor mobile devices by using measurement report (MR) data. When given MR samples containing noisy signals (e.g., caused by Telco signal interference and attenuation), Telco localization often suffers from high errors. To this end, the main focus of this paper is how to improve Telco localization accuracy via the algorithms to detect and repair outlier positions with high errors. Specifically, we propose a context-aware Telco localization technique, namely RLoc, which consists of three main components: a machine-learning-based localization algorithm, a detection algorithm to find flawed samples, and a repair algorithm to replace outlier localization results by better ones (ideally ground truth positions). Unlike most existing works to detect and repair every flawed MR sample independently, we instead take into account spatio-temporal locality of MR locations and exploit trajectory context to detect and repair flawed positions. Our experiments on the real MR data sets from 2G GSM and 4G LTE Telco networks verify that our work RLoc can greatly improve Telco location accuracy. For example, RLoc on a large 4G MR data set can achieve 32.2 meters of median errors, around 17.4% better than state-of-the-art. © 2021, CC BY.

关键词： Statistics

Intelligent Monitoring of IoT Devices using Neural Networks

学校读者我要写书评

暂无评论

Intelligent Monitoring of IoT Devices using Neural Networks

International Conference on Intelligence in Next Generation Networks (ICIN)

作者： Ashima Chawla Pradeep Babu Trushnesh Gawande Erik Aumayr Paul Jacob Sheila Fallon Software Research Institute Athlone Institute of Technology Athlone Ireland Cloud Pipeline Engineering Workday Dublin Ireland Application Development Platform Ericsson Athlone Ireland Network Management Lab Ericsson Athlone Ireland

ISBN: (数字)9781728177052

ISBN: (纸本)9781728177069

The Internet of Things (IoT) has seen expeditious growth in recent times with 7 billion connected devices in 2020, thus leading to the vital importance of real-time monitoring of IoT devices. Through this paper, we demonstrate the idea of building a cloud-native application to monitor smart home devices. The application intends to provide valuable performance metrics from the perspective of end-users and react to anomalies in real-time. In this demo paper, we conduct the demonstration using Autoencoder (an unsupervised technique) based Deep Neural Networks (DNNs) to learn the normal operating conditions of power consumption of smart devices. When an anomaly is detected, the DNNs take proactive action and send appropriate commands back to the device. In addition, the users are provided with a real-time graphical representation of power consumption. This will help to save electricity on a domestic as well as industrial level. Finally, we discuss the future prospects of monitoring IoT devices.

关键词： Cloud computing Technological innovation Power demand Neural networks Real-time systems Internet of Things Monitoring

DVS: Deep Visibility Series and its application in Construction Cost Index Forecasting

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Zhan, Tianxiang He, Yuanpeng Li, Hanwen Xiao, Fuyuan College of Computer and Information Science College of Software Southwest University Chongqing400715 China School of Big Data and Software Engineering Chongqing University Chongqing401331 China National Eng. Lab. for Integrated Aero-Space-Ground-Ocean Big Data Application Technology China

Time series forecasting is a hot spot in recent years. Visibility Graph (VG) algorithm is used for time series forecasting in previous research, but the forecasting effect is not as good as deep learning prediction methods such as methods based on Artificial Neural Network (ANN), Convolutional Neural Network (CNN) and Long Short-Term Memory Network (LSTM). The visibility graph generated from specific time series contains abundant network information, but the previous forecasting method did not effectively use the network information to forecast, resulting in relatively large prediction errors. To optimize the forecasting method based on VG, this article proposes the Deep Visibility Series (DVS) module through the bionic design of VG and the expansion of the past research. By applying the bionic design of biological vision to VG, DVS has obtained superior forecasting accuracy. At the same time, this paper applies the DVS forecasting method to the construction cost index forecast, which has practical significance. Copyright © 2021, The Authors. All rights reserved.

关键词： Visibility

Towards more effective and economic sparsely-activated model

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Jiang, Hao Zhan, Ke Qu, Jianwei Wu, Yongkang Fei, Zhaoye Zhang, Xinyu Chen, Lei Dou, Zhicheng Qiu, Xipeng Guo, Zikai Lai, Ruofei Wu, Jiawen Hu, Enrui Zhang, Yinxia Jia, Yantao Yu, Fan Cao, Zhao Distributed and Parallel Software Lab Huawei China School of Computer Science Fudan University Department of Computer Science and Engineering Hong Kong University of Science and Technology Gaoling School of Artificial Intelligence Renmin University of China

The sparsely-activated models have achieved great success in natural language processing through large-scale parameters and relatively low computational cost, and gradually become a feasible technique for training and implementing extremely large models. Due to the limit of communication cost, activating multiple experts is hardly affordable during training and inference. Therefore, previous work usually activate just one expert at a time to alleviate additional communication cost. Such routing mechanism limits the upper bound of model performance. In this paper, we first investigate a phenomenon that increasing the number of activated experts can boost the model performance with higher sparse ratio. To increase the number of activated experts without an increase in computational cost, we propose SAM (Switch and Mixture) routing, an efficient hierarchical routing mechanism that activates multiple experts in a same device (GPU). Our methods shed light on the training of extremely large sparse models and experiments prove that our models can achieve significant performance gain with great efficiency improvement. Copyright © 2021, The Authors. All rights reserved.

关键词： Natural language processing systems