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

An X Language-Driven Framework for Systematic Development of Digital Twin Healthcare systems

ACM Transactions on Multimedia computing, Communications, and Applications 1000年

作者： Kunyu Xie Lin Zhang Yuan Yang Xiaohe Li Ridha Khedri Zhen Chen M. Jamal Deen Simulation Technology Innovation Center Hangzhou International Innovation Institute of Beihang University Hangzhou 311115 Zhejiang China School of Automation Science and Electrical Engineering Beihang University Beijing 100191 China State Key Laboratory of Intelligent Manufacturing Systems Technology Beijing 100191 China School of Automation Science and Electrical Engineering Beihang University Beijing 100191 China Shenzhen Third People’s Hospital & Second Hospital Affiliated to Southern University of Science and Technology Shenzhen 518112 Guangdong China Dept. of Computing and Software McMaster University Hamilton Ontario Canada L8S 4K1 Department of Electrical and Computer Engineering McMaster University Hamilton ON L8S 4L8 Canada

The rapid advancements in big data and the Internet of Things (IoT) have significantly accelerated the digital transformation of medical institutions, leading to the widespread adoption of Digital Twin Healthcare (DTH). The Cloud DTH Platform (CDTH) serves as a cloud-based framework that integrates DTH models, healthcare resources, patient data, and medical services. By leveraging real-time data from medical devices, the CDTH platform enables intelligent healthcare services such as disease prediction and medical resource optimization. However, the platform functions as a system of systems (SoS), comprising interconnected yet independent healthcare services. This complexity is further compounded by the integration of both black-box AI models and domain-specific mechanistic models, which pose challenges in ensuring the interpretability and trustworthiness of DTH models. To address these challenges, we propose a Model-Based systems engineering (MBSE)-driven DTH modeling methodology derived from systematic requirement and functional analyses. To implement this methodology effectively, we introduce a DTH model development approach using the X language, along with a comprehensive toolchain designed to streamline the development process. Together, this methodology and toolchain form a robust framework that enables engineers to efficiently develop interpretable and trustworthy DTH models for the CDTH platform. By integrating domain-specific mechanistic models with AI algorithms, the framework enhances model transparency and reliability. Finally, we validate our approach through a case study involving elderly patient care, demonstrating its effectiveness in supporting the development of DTH models that meet healthcare and interpretability requirements.

关键词： Digital Twin Model-based system engineering X Language Medical Cyber-Physical systems Digital Twin Healthcare Design

来源：评论

学校读者我要写书评

暂无评论

Secure Collaborative Learning for Self-Adaptive systems on Connected Autonomous Vehicles

引用

ACM Transactions on Autonomous and Adaptive systems 1000年

作者： Xiaotong Wu Yuwen Liu Xiaoxiao Chi Rong Jiang Xiaokang Zhou Wajid Rafique Maqbool Khan Alibaba Business School Hangzhou Normal University China College of Computer Science and Technology China University of Petroleum (East China) China Department of Computing Macquarie University Australia Yunnan Key Laboratory of Service Computing Yunnan University of Finance and Economics China Faculty of Business Data Science Kansai University Japan and RIKEN Center for Advanced Intelligence Project Japan Department of Electrical and Software Engineering University of Calgary Canada Software Competence Center Hagenberg Austria

As an advanced carrier of on-board sensors, connected autonomous vehicle (CAV) can be viewed as an aggregation of self-adaptive systems with monitor-analyze-plan-execute (MAPE) for vehicle-related services. Meanwhile, machine learning (ML) has been applied to enhance analysis and plan functions of MAPE so that self-adaptive systems have optimal adaption to changing conditions. However, most of ML-based approaches don’t utilize CAVs’ connectivity to collaboratively generate an optimal learner for MAPE, because of sensor data threatened by gradient leakage attack (GLA). In this article, we first design an intelligent architecture for MAPE-based self-adaptive systems on Web 3.0-based CAVs, in which a collaborative machine learner supports the capabilities of managing systems. Then, we observe by practical experiments that importance sampling of sparse vector technique (SVT) approaches cannot defend GLA well. Next, we propose a fine-grained SVT approach to secure the learner in MAPE-based self-adaptive systems, that uses layer and gradient sampling to select uniform and important gradients. At last, extensive experiments show that our private learner spends a slight utility cost for MAPE (e.g., \(0.77\%\) decrease in accuracy) defending GLA and outperforms the typical SVT approaches in terms of defense (increased by \(10\%\sim 14\%\) attack success rate) and utility (decreased by \(1.29\%\) accuracy loss).

关键词： collaborative learning optimal adaption vehicle application data security self-adaptive system

来源：评论

学校读者我要写书评

暂无评论

Advances in Neuro-Information Processing 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Mario Köppen Nikola Kasabov George Coghill

ISBN: (数字)9783642030406

ISBN: (纸本)9783642030390

The two volume set LNCS 5506 and LNCS 5507 constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Neural Information Processing, ICONIP 2008, held in Auckland, New Zealand, in November 2008. The 260 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 special organized sessions. 116 papers are published in the first volume and 112 in the second volume. The contributions deal with topics in the areas of data mining methods for cybersecurity, computational models and their applications to machine learning and pattern recognition, lifelong incremental learning for intelligent systems, application of intelligent methods in ecological informatics, pattern recognition from real-world information by svm and other sophisticated techniques, dynamics of neural networks, recent advances in brain-inspired technologies for robotics, neural information processing in cooperative multi-robot systems.

关键词： computer Communication Networks Computation by Abstract Devices Artificial Intelligence Models and Principles Special Purpose and Application-Based systems Simulation and Modeling

来源：评论

学校读者我要写书评

暂无评论

Modern Adaptive Fuzzy Control systems 1

引用

丛书名： Studies in Fuzziness and Soft computing

1000年

作者： Ardashir Mohammadzadeh Chunwei Zhang Mohammad Hosein Sabzalian Oscar Castillo Rathinasamy Sakthivel Fayez F. M. El-Sousy

来源：评论

学校读者我要写书评

暂无评论

Toward a Theoretical Foundation of Policy Optimization for Learning Control Policies

引用

Control, Robotics, and Autonomous systems 1000年第1期6卷 123-158页

作者： Bin Hu Kaiqing Zhang Na Li Mehran Mesbahi Maryam Fazel Tamer Başar 1Coordinated Science Laboratory and Department of Electrical and Computer Engineering University of Illinois Urbana-Champaign Urbana Illinois USA email: binhu7@illinois.edubasar1@illinois.edu 3Current affiliation: Department of Electrical and Computer Engineering and Institute for Systems Research University of Maryland College Park Maryland USA email: kaiqing@umd.edu 2Laboratory for Information and Decision Systems and Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge Massachusetts USA 4School of Engineering and Applied Sciences Harvard University Cambridge Massachusetts USA email: nali@seas.harvard.edu 5Department of Aeronautics and Astronautics University of Washington Seattle Washington USA email: mesbahi@uw.edu 6Department of Electrical and Computer Engineering University of Washington Seattle Washington USA email: mfazel@uw.edu

Gradient-based methods have been widely used for system design and optimization in diverse application domains. Recently, there has been a renewed interest in studying theoretical properties of these methods in the context of control and reinforcement learning. This article surveys some of the recent developments on policy optimization, a gradient-based iterative approach for feedback control synthesis that has been popularized by successes of reinforcement learning. We take an interdisciplinary perspective in our exposition that connects control theory, reinforcement learning, and large-scale optimization. We review a number of recently developed theoretical results on the optimization landscape, global convergence, and sample complexityof gradient-based methods for various continuous control problems, such as the linear quadratic regulator (LQR), control, risk-sensitive control, linear quadratic Gaussian (LQG) control, and output feedback synthesis. In conjunction with these optimization results, we also discuss how direct policy optimization handles stability and robustness concerns in learning-based control, two main desiderata in control engineering. We conclude the survey by pointing out several challenges and opportunities at the intersection of learning and control.

关键词： policy optimization reinforcement learning feedback control synthesis

来源：评论

学校读者我要写书评

暂无评论

Advances in Neural Networks - ISNN 2006 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Jun Wang Zhang Yi Jacek M. Zurada Bao-Liang Lu Hujun Yin

ISBN: (数字)9783540344384

ISBN: (纸本)9783540344377

This book and its sister volumes constitute the Proceedings of the Third International Symposium on Neural Networks (ISNN 2006) held in Chengdu in southwestern China during May 28–31, 2006. After a successful ISNN 2004 in Dalian and ISNN 2005 in Chongqing, ISNN became a well-established series of conferences on neural computation in the region with growing popularity and improving quality. ISNN 2006 received 2472 submissions from authors in 43 countries and regions (mainland China, Hong Kong, Macao, Taiwan, South Korea, Japan, Singapore, Thailand, Malaysia, India, Pakistan, Iran, Qatar, Turkey, Greece, Romania, Lithuania, Slovakia, Poland, Finland, Norway, Sweden, Demark, Germany, France, Spain, Portugal, Belgium, Netherlands, UK, Ireland, Canada, USA, Mexico, Cuba, Venezuela, Brazil, Chile, Australia, New Zealand, South Africa, Nigeria, and Tunisia) across six continents (Asia, Europe, North America, South America, Africa, and Oceania). Based on rigorous reviews, 616 high-quality papers were selected for publication in the proceedings with the acceptance rate being less than 25%. The papers are organized in 27 cohesive sections covering all major topics of neural network research and development. In addition to the numerous contributed papers, ten distinguished scholars gave plenary speeches (Robert J. Marks II, Erkki Oja, Marios M. Polycarpou, Donald C. Wunsch II, Zongben Xu, and Bo Zhang) and tutorials (Walter J. Freeman, Derong Liu, Paul J. Werbos, and Jacek M. Zurada).

关键词： Artificial Intelligence Computation by Abstract Devices computer Communication Networks Algorithm Analysis and Problem Complexity Discrete Mathematics in computer Science Pattern Recognition

来源：评论

学校读者我要写书评

暂无评论

Trustworthy Software Development Processes 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Qing Wang Vahid Garousi Raymond Madachy Dietmar Pfahl

ISBN: (数字)9783642016806

ISBN: (纸本)9783642016790

This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 2009. ICSP 2009 was the third conference of the ICSP series, continuing the software process workshops from 25 years ago. The theme of ICSP 2009 was “Processes to Develop Trustworthy Software.” Software development takes place in a dynamic context of frequently changing technologies and limited resources. Teams worldwide are under increasing pressure to deliver trustworthy software products more quickly and with higher levels of quality. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part or all of their activities, re- ing existing software in new or modified applications and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new or modified processes are emerging including lean and agile methods, plan-based product line development, and increased integration with systems engineering processes. Papers present research and real-world experience in many areas of software and systems processes impacting trustworthy software including: new software devel- ment approaches; software quality; integrating software and business processes; CMMI and other process improvement initiatives; simulation and modeling of so- ware processes; techniques for software process representation and analysis; and process tools and metrics.

关键词： Software engineering/Programming and Operating systems Software engineering Simulation and Modeling Models and Principles Algorithm Analysis and Problem Complexity Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

computer Vision – ACCV 2012 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Kyoung Mu Lee Yasuyuki Matsushita James M. Rehg Zhanyi Hu

ISBN: (数字)9783642374449

ISBN: (纸本)9783642374432

The four-volume set LNCS 7724--7727 constitutes the thoroughly refereed post-conference proceedings of the 11th Asian Conference on computer Vision, ACCV 2012, held in Daejeon, Korea, in November 2012. The total of 226 contributions presented in these volumes was carefully reviewed and selected from 869 submissions. The papers are organized in topical sections on object detection, learning and matching; object recognition; feature, representation, and recognition; segmentation, grouping, and classification; image representation; image and video retrieval and medical image analysis; face and gesture analysis and recognition; optical flow and tracking; motion, tracking, and computational photography; video analysis and action recognition; shape reconstruction and optimization; shape from X and photometry; applications of computer vision; low-level vision and applications of computer vision.

关键词： Image Processing and computer Vision Pattern Recognition Artificial Intelligence Health Informatics

来源：评论

学校读者我要写书评

暂无评论

End-to-End Explainable Fake News Detection Via Evidence-Claim Variational Causal Inference

引用

ACM Transactions on Information systems 1000年

作者： Jinguang Wang Shengsheng Qian Jun Hu Wenxiang Dong Xudong Huang Richang Hong School of Public Security and Emergency Management Anhui University of Science and Technology China and State Key Laboratory of Digital Intelligent Technology for Unmanned Coal Mining Anhui University of Science and Technology China State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences China and School of Artificial Intelligence University of Chinese Academy of Sciences China School of Computing National University of Singapore Singapore Institute of Dataspace Hefei Comprehensive National Science Center China School of Computer Science and Information Engineering Hefei University of Technology China

Explainable Fake News Detection (EFND) is a new challenge that aims to verify news authenticity and provide clear explanations for its decisions. Traditional EFND methods often treat the tasks of classification and explanation as separate, ignoring the fact that explanation content can assist in enhancing fake news detection. To overcome this gap, we present a new solution: the End-to-end Explainable Fake News Detection Network (\(EExpFND\)). Our model includes an evidence-claim variational causal inference component, which not only utilizes explanation content to improve fake news detection but also employs a variational approach to address the distributional bias between the ground truth explanation in the training set and the prediction explanation in the test set. Additionally, we incorporate a masked attention network to detail the nuanced relationships between evidence and claims. Our comprehensive tests across two public datasets show that \(EExpFND\) sets a new benchmark in performance. The code is available at https://***/r/EExpFND-F5C6.

关键词： Social media Explainable fake news detection Causal inference

来源：评论

学校读者我要写书评

暂无评论

Computational Science — ICCS 2003 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Peter M. A. Sloot David Abramson Alexander V. Bogdanov Yuriy E. Gorbachev Jack J. Dongarra Albert Y. Zomaya

ISBN: (数字)9783540448600

ISBN: (纸本)9783540401940

Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. Computational science plays a vital role in fundamental advances in biology, physics, chemistry, astronomy, and a host of other disciplines. This is through the coordination of computation, data management, access to instrumentation, knowledge synthesis, and the use of new devices. It has an impact on researchers and practitioners in the sciences and beyond. The sheer size of many challenges in computational science dictates the use of supercomputing, parallel and distri- ted processing, grid-based processing, advanced visualization and sophisticated algorithms. At the dawn of the 21st century the series of International Conferences on Computational Science (ICCS) was initiated with a ?rst meeting in May 2001 in San Francisco. The success of that meeting motivated the organization of the - cond meeting held in Amsterdam April 21–24, 2002, where over 500 participants pushed the research ?eld further. The International Conference on Computational Science 2003 (ICCS 2003) is the follow-up to these earlier conferences. ICCS 2003 is unique, in that it was a single event held at two di?erent sites almost opposite each other on the globe – Melbourne, Australia and St. Petersburg, Russian Federation. The conference ran on the same dates at both locations and all the presented work was published in a single set of proceedings, which you hold in your hands right now.

关键词： Theory of Computation Programming Techniques computer systems Organization and Communication Networks Mathematics of computing Information systems and Communication Service computer Imaging, Vision, Pattern Recognition and Graphics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：