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

9th Haifa Verification Conference, HVC 2013

作者： Von Styp, Sabrina Yu, Liyong Software Modeling and Verification Department of Computer Science Germany Process Control Engineering RWTH Aachen University Germany

ISBN: (纸本)9783319030760

In industrial automation software controls systems whose failure can be critical and expensive. Testing this software is very crucial but so far done manually, an expensive and not very thorough method. Model-based testing is an emerging concept in computer science for automatically testing a real implementation. It uses a formal specification describing the system behaviour. This specification is the blue print against which an implementation is tested. This paper presents how to use model-based testing in industrial automation. In detail it shows how the known concepts such as sequential function charts, used in industrial automation to describe a system, can be translated to a format that is required for model-based testing, including an automatic derivation of test-cases and its execution. A concrete case study illustrates the strength of this approach. © 2013 Springer International Publishing Switzerland.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

A Review of Evaluation Metrics Algorithmic Used in Scholarly Research Recommender System 4

A Review of Evaluation Metrics Algorithmic Used in Scholarly...

引用

4th International Multidisciplinary Information Technology and Engineering Conference, IMITEC 2024

作者： Ovono, Gerald Zuva, Travos Otunniyi, Temidayo Faculty of Applied and Computer Sciences Department of Computer South Africa VaalUniversity of Technology Faculty of Engineering and Technology Department of Process Control and Computer Systems South Africa

ISBN: (纸本)9798350387988

The exponential growth of academic publications has made scholarly research recommender systems indispensable tools for researchers. These systems rely on diverse evaluation metrics to assess their effectiveness and relevance. This paper provides a comprehensive review and analysis of these metrics, categorizing them into accuracy, ranking, diversity, user-centric, coverage, temporal, and computational metrics. By employing a mixed-methods approach, combining systematic literature review and empirical analysis, we identify the prevalence and application of these metrics across various scholarly domains such as literature, conferences, and reviewers. Our findings highlight the widespread use of traditional metrics like precision, recall, and Fl-score, while emphasizing the growing importance of novel metrics such as unexpectedness and serendipity, especially in literature and conference recommendations. We also underscore the domain-specific nature of metric selection, with user-centric evaluations more prominent in literature recommendations, and ranking-focused metrics dominant in conference and reviewer recommendations. Furthermore, the study reveals a significant gap in the use of temporal and computational metrics, suggesting key areas for future research. This review offers valuable insights for researchers and practitioners, guiding them in metric selection and highlighting potential directions for enhancing the effectiveness, adaptability, and user satisfaction of scholarly recommender systems. © 2024 IEEE.

关键词： Algorithms Evaluation Metrics Novelty Recommender Systems Scholarly Research Serendipity

来源：评论

学校读者我要写书评

暂无评论

Room-temperature terahertz detection based on CVD graphene transistor

引用

Chinese Physics B 2015年第4期24卷 378-382页

作者：杨昕昕孙建东秦华吕利苏丽娜闫博李欣幸张志鹏方靖岳 Key Laboratory of Nanodevices and Applications Suzhou Institute of Nano-tech and Nano-bionicsChinese Academy of Sciences University of Chinese Academy of Sciences Key Laboratory of Advanced Process Control for Light Industry Department of Electronic Engineering Jiangnan University College of Science National University of Defense Technology

We report the fabrication and characterization of a single-layer graphene field-effect terahertz detector, which is cou- pled with dipole-like antennas based on the self-mixing detector model. The graphene is grown by chemical vapor deposi- tion and then transferred onto an SiO2/Si substrate. We demonstrate room-temperature detection at 237 GHz. The detector could offer a voltage responsivity of 0.1 V/W and a noise equivalent power of 207 nW/Hz 1/2. Our modeling indicates that the observed photovoltage in the p-type gated channel can be well fit by the self-mixing theory. A different photoresponse other than self-mixing may apply for the n-type gated channel.

关键词： graphene field effect transistor self-mixing terahertz detection

来源：评论

学校读者我要写书评

暂无评论

On Robust Stability of Limit Cycles for Hybrid Systems with Multiple Jumps

引用

IFAC-PapersOnLine 2015年第27期48卷 199-204页

作者： Lou, Xuyang Li, Yuchun Sanfelice, Ricardo G. Key Laboratory of Advanced Process Control for Light Industry Ministry of Education Jiangnan University Wuxi214122 China Department of Computer Engineering University of California Santa CruzCA95064 United States

In this paper, we address stability and robustness properties of hybrid limit cycles for a class of hybrid systems with multiple jumps in one period. The main results entail equivalent characterizations of stability of hybrid limit cycles for hybrid systems. The hybrid limit cycles may have multiple jumps in one period and the jumps are allowed to occur on sets. Conditions guaranteeing robustness of hybrid limit cycles are also presented. © 2015, IFAC (International Federation of Automatic control) Hosting by Elsevier Ltd. All rights reserved.

关键词： System stability Convergence of numerical methods Hybrid systems Robustness (control systems) Limit cycle Multiple jumps Robust stability Stability and robustness

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent control:A Graph-Theoretic Perspective

引用

Journal of Systems Science & Complexity 2021年第5期34卷 1973-2002页

作者： CHEN Fei REN Wei State Key Laboratory of Synthetical Automation for Process Industries Northeastern UniversityShenyang 110004China School of Control Engineering Northeastern University at QinhuangdaoQinhuangdao 066004China. Department of Electrical and Computer Engineering University of CaliforniaRiversideCA 92521USA

Progress in development of multi-agent control is *** approaches for multiagent control,estimation,and optimization are discussed in a systematic way with particular emphasis on the graph-theoretic *** is paid to the design of multi-agent systems via Laplacian dynamics,as well as the role of the graph Laplacian spectrum,the challenges of unbalanced digraphs,and consensus-based estimation of graph *** emergent issues,e.g.,distributed optimization,distributed average tracking,and distributed network games,are also reported,which have witnessed extensive development *** are over 200 references listed,mostly to recent contributions.

关键词： Consensus cooperative control distributed average tracking distributed optimization multi-agent system

来源：评论

学校读者我要写书评

暂无评论

Monotonicity of fuzzy rule bases: On differences between graded and non-graded approaches

Monotonicity of fuzzy rule bases: On differences between gra...

引用

Joint 7th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2011 and 17th French Days on Fuzzy Logic and applications, LFA 2011

作者： Daňková, Martina Ŝteňpnicňka, Martin De Baets, Bernard Institute for Research and Applications of Fuzzy Modeling University of Ostrava Ostrava Czech Republic Department of Applied Mathematics Biometrics and Process Control Ghent University Gent Belgium

ISBN: (纸本)9789078677000

This contribution provides an exhaustive explanation of the graded approach to the monotonicity property (of a fuzzy relation) and its non-graded version. Our framework is algebraic. We present a wide variety of examples to support our claims relating to the well defined notion and suitability for fuzzy rule base applications and moreover, to improve the readability of the related mathematical formulae. © 2011. The authors-Published by Atlantis Press.

关键词： Fuzzy rules

来源：评论

学校读者我要写书评

暂无评论

Propagation of Action Knowledge in Multi-Agent Systems

引用

IFAC Proceedings Volumes 1998年第15期31卷 601-606页

作者： H. Friedrich O. Rogalla R. Dillmann Institute for Process-Control and Robotics Department for Computer Science University of Karlsruhe

Currently, an inportant topic in robotic reasearch systems is the design and development of learning Multi-Agent Systems ( MAS ). One major advantage of these systems is the fact that several agent work towards a common goal, having different specializations for specific subtasks. Especially learning MAS in cooperation with a human teacher seem to be a very promising approach for complex manipulation and production tasks. Since agents can join and leave the system at any time, it is important that knowledge acquired by single agents can be transferred or propagated between agents, to ensure that knowledge is not lost, if agents leave the system. Therefore, techniques will be presented to represent extentable action knowledge for task solutions in an agent's knowledge base and additionally, algorithms for propagating this knowledge between agents efficiently and with minimum communication effort.

关键词： Multi-Agent Systems Learning Knowledge-Representation

来源：评论

学校读者我要写书评

暂无评论

Hardware implementation issues of multivariable fuzzy control systems 3

Hardware implementation issues of multivariable fuzzy contro...

引用

3rd International Conference on Industrial Fuzzy control and Intelligent Systems, IFIS 1993

作者： Patyra, M.J. Grantner, J. Department of Computer Engineering University of Minnesota DuluthMN55812 United States Department of Process Control Technical University of Budapest Budapest1111 Hungary

ISBN: (纸本)0780314859

We show two models for synchronous finite state machines (FSM) based on fuzzy logic: The crisp-state-fuzzy-output (CSFO) FSM, and the fuzzy-state-fuzzy-output (CSFO) FSM. As a result of the introduction of the FSM models, improved architectures for fuzzy logic controller have been defined. The new method for linguistic fuzzy model building of multi-input-multi-output controllers is proposed. Due to the applied theoretic approach to the fuzzy model building, the fuzzy logic controller architecture features massively parallel fuzzy data inferencing is obtained. This architecture provides almost constant performance, independent on the number of inputs, on the number of outputs, and on the number of processed rules. The approach can be utilised for logic controller hardware to work in the real-time environment. © 1993 IEEE.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Towards Energy-Efficiency: Integrating MATD3 Reinforcement Learning Method for Computational Offloading in RIS-Aided UAV-MEC Environments

引用

IEEE Internet of Things Journal 2025年

作者： Wu, Liangshun Zhang, Cong Zhang, Bin Du, Jianbo Qu, Junsuo Key Laboratory of Embedded System and Service Computing Tongji University Ministry of Education Shanghai201804 China Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai201210 China School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai200240 China Xi'an Key Laboratory of Advanced Control and Intelligent Process School of Automation Xi'an University of Posts & Telecommunications Xi'an710061 China Xinjiang University of Political Science and Law Tumushuke832003 China School of Remote Sensing and Information Engineering Wuhan University Wuhan430079 China Department of Computer City University of Hong Kong 999077 Hong Kong School of Communications and Information Engineering Xi'an University of Posts & Telecommunications Xi'an710061 China

With the proliferation of IoT devices, there is an escalating demand for enhanced computing and communication capabilities. Mobile Edge Computing (MEC) addresses this need by relocating computing resources to the network edge, thereby delivering swifter and more efficient services. This paper introduces a computation offloading and energy consumption optimization framework that leverages Reconfigurable Intelligent Surfaces (RIS), Unmanned Aerial Vehicles (UAVs), and MEC. The scheme aims to maximize energy efficiency through the optimization of task allocation, RIS phase shifts, and UAV trajectories. By employing the Multi-Agent Twin Delayed Deep Deterministic Policy Gradient (MATD3) reinforcement learning algorithm, the paper further refines UAV trajectories and RIS configurations. The simulation results indicate that the proposed method surpasses the traditional Concave-Convex Procedure (CCCP) algorithm in both UAV trajectory control and RIS configuration, demonstrating quicker convergence and enhanced stability. The method proves to be adaptable to diverse environments and tasks, showcasing notable benefits in RIS-assisted interference suppression, particularly with large RIS, thereby enhancing UAV data reception rates. Additionally, MATD3 exhibits faster and smoother convergence for extended task durations and smaller RIS scenarios. Simulation results reveal that UAVs tend to move closer to RIS, with energy efficiency falling as IoT tasks increase, affirming the proposed algorithm's high energy efficiency and effectiveness. © 2025 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

FEASIBILITY OF DECOUPLING IN CONVENTIONALLY controlLED DISTILLATION-COLUMNS - COMMENT

INDUSTRIAL & ENGINEERING CHEMISTRY FUNDAMENTALS

引用

INDUSTRIAL & ENGINEERING CHEMISTRY FUNDAMENTALS 1982年第1期21卷 99-99页

作者： TREIBER, S Process Computer Applications Department Shell Canada Limited Toronto Ontario Canada

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：