中文
相关论文

相关论文: IEC 61499 vs. 61131: A Comparison Based on Misperc…

200 篇论文

The term "performance portability" has been informally used in computing to refer to a variety of notions which generally include: 1) the ability to run one application across multiple hardware platforms; and 2) achieving some notional…

性能 · 计算机科学 2016-11-23 S. J. Pennycook , J. D. Sewall , V. W. Lee

Various current trends such as ever growing population and accelerated aging effects have effectively promoted the growth of Wireless Body Area Network (WBAN). Being the specialized standard of WBAN, the burgeoning IEEE 802.15.6 is on its…

网络与互联网体系结构 · 计算机科学 2017-01-11 Xiaonan Su , Changle Li , Xiaoming Yuan

Embodied AI systems, comprising AI models and physical plants, are increasingly prevalent across various applications. Due to the rarity of system failures, ensuring their safety in complex operating environments remains a major challenge,…

As artificial intelligence plays an increasingly substantial role in decisions affecting humans and society, the accountability of automated decision systems has been receiving increasing attention from researchers and practitioners.…

机器学习 · 计算机科学 2023-07-04 Furkan Gursoy , Ioannis A. Kakadiaris

Objective: This paper proposes a framework to support the scientific research of standards so that they can be better measured, evaluated, and designed. Methods: Beginning with the notion of common models, the framework describes the…

其他计算机科学 · 计算机科学 2023-08-17 Enrico Coiera

This paper explores how generative AI can help automate and improve key steps in systems engineering. It examines AI's ability to analyze system requirements based on INCOSE's "good requirement" criteria, identifying well-formed and poorly…

系统与控制 · 电气工程与系统科学 2025-02-07 Oz Levy , Ilya Dikman , Natan Levy , Michael Winokur

Integrated Sensing and Communications (ISAC) enables efficient spectrum utilization and reduces hardware costs for beyond 5G (B5G) and 6G networks, facilitating intelligent applications that require both high-performance communication and…

When decisions about developing standards are left to individual firms, there are many advantages including a flexible response to market evolution, accommodation to rapid technology change, and avoidance of costly coordination. However,…

计算机与社会 · 计算机科学 2007-05-23 Zixiang Alex Tan

Deductive verification is an effective method to ensure that a given system exposes the intended behavior. In spite of its proven usefulness and feasibility in selected projects, deductive verification is still not a mainstream technique.…

软件工程 · 计算机科学 2026-01-26 Lea Salome Brugger , Xavier Denis , Peter Müller

The growing need for trustworthy machine learning has led to the blossom of interpretability research. Numerous explanation methods have been developed to serve this purpose. However, these methods are deficiently and inappropriately…

机器学习 · 计算机科学 2022-03-29 Yipei Wang , Xiaoqian Wang

The high costs for the management of the modern and complex industrial control systems make it necessary to enhance the current maintenance processes. Therefore, the need arises to clearly define the goals of the maintenance, in order to…

软件工程 · 计算机科学 2014-05-01 Roberto Nappi

Consistency in product quality is of critical importance in manufacturing. However, achieving a target product quality typically involves balancing a large number of manufacturing attributes. Existing manufacturing practices for dealing…

The ISO 26262 standard from 2016 represents the state of the art for a safety-guided development of safety-critical electric/electronic vehicle systems. These vehicle systems include advanced driver assistance systems and vehicle guidance…

软件工程 · 计算机科学 2018-04-30 Till Menzel , Gerrit Bagschik , Markus Maurer

The multidisciplinarity of robotics creates a need for robust integration methodologies that can facilitate the adoption of state-of-the-art research components in an industrial application. Unfortunately, there are no clear, community…

Horizontal (automatic) and vertical (control) processes have been observed and reported for a long time in translation production. Schaeffer and Carl's Monitor Model integrates these two processes into one framework, assuming that priming…

计算与语言 · 计算机科学 2023-02-09 Michael Carl

Recent advances in large pretrained models have led to their widespread integration as core components in modern software systems. The trend is expected to continue in the foreseeable future. Unlike traditional software systems governed by…

软件工程 · 计算机科学 2025-07-18 Dongming Jin , Zhi Jin , Linyu Li , Xiaohong Chen

The Information Systems (IS) and Software Engineering (SE) fields share a remarkable number of similarities in their historical evolution to date. These similarities are briefly outlined below. An analysis of 10 years (2001-2010) of…

软件工程 · 计算机科学 2024-02-07 Brian Fitzgerald

The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes…

软件工程 · 计算机科学 2022-05-25 David Harel , Assaf Marron , Joseph Sifakis

Industrial Control System (ICS) testbeds serve as a platform for evaluating and validating control system performances, cybersecurity tools and technologies. In order to build or enhance an ICS testbed, it is vital to have a deeper…

系统与控制 · 电气工程与系统科学 2022-11-30 Souradeep Bhattacharya , Burhan Hyder , Manimaran Govindarasu

Progress in the field of artificial intelligence has been accelerating rapidly in the past two decades. Various autonomous systems from purely digital ones to autonomous vehicles are being developed and deployed out on the field. As these…

计算机与社会 · 计算机科学 2019-06-20 Ville Vakkuri , Kai-Kristian Kemell , Joni Kultanen , Mikko Siponen , Pekka Abrahamsson