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

Simulation of frontal orbital advancement

Virtual Reality 1999年第3期4卷 235-240页

作者： Grabowski, H.A. Hassfeld, S. Krempien, R. Munchenberg, J. Brief, J. Rembokp, U. Wörn, H. Institute for Process Control and Robotics University of Karlsruhe Germany Clinic for Cranio-Maxillo-Fociol-Surgery University of Heidelberg Germany Department of Radiology University of Heidelberg Germany Institute for Process Control and Robotics Department of Computer Science University of Karlsruhe 76128 Karlsruhe Germany

In this paper, we present a system for performing a complex surgical intervention using virtual reality (VR) technology. With the aid of the system, the intervention can be planned and simulated exactly before performing it in reality and important additional information can be achieved during the simulation. Before working in VR, finite element models of the patient's head are generated form CT-images. Based on these models, additional work is done in VR, where the patient's skull is cut into several pieces, which are then re-positioned. Based on moving and shifting the obtained pieces, the goal is to increase the volume inside the skull, which is called intracranial volume. Until now, it was not possible to measure the achieved increase of the intracranial volume. However, by using our system is it now possible to calculate this volume online during each step of our virtual intervention. The obtained results are used for the surgical intervention in reality. © Springer-Verlag London Ltd.

关键词： Finite element models Geometric modelling Mesh generation Virtual cutting Volume measurement VR-based surgery

来源：评论

学校读者我要写书评

暂无评论

Self-Triggered Consensus Filtering over Asynchronous Communication Sensor Networks

引用

computer Modeling in Engineering & Sciences 2023年第2期134卷 857-871页

作者： Huiwen Xue Jiwei Wen Akshya Kumar Swain Xiaoli Luan Key Laboratory of Advanced Process Control for Light Industry(Ministry of Education) Jiangnan UniversityWuxi214000China Department of Electrical Computer and Software EngineeringUniversity of AucklandAuckland0632New Zealand

In this paper,a self-triggered consensus filtering is developed for a class of discrete-time distributed filtering *** from existing event-triggered filtering,the self-triggered one does not require to continuously judge the trigger condition at each sampling instant and can save computational burden while achieving good state *** triggering policy is presented for pre-computing the next execution time for measurements according to the filter’s own data and the latest released data of its neighbors at the current ***,a challenging problem is that data will be asynchronously transmitted within the filtering network because each node self-triggers ***,a co-design of the self-triggered policy and asynchronous distributed filter is developed to ensure consensus of the state ***,a numerical example is given to illustrate the effectiveness of the consensus filtering approach.

关键词： Self-triggered policy sensor networks distributed consensus filtering

来源：评论

学校读者我要写书评

暂无评论

Symbolic model-based testing for industrial automation software

Symbolic model-based testing for industrial automation softw...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：