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

作者： Dupre, Luc Geuzaine, Christophe Department of Electrical Energy Systems and Automation Faculty of Engineering and Architecture Ghent University Sint Pietersnieuwstraat 41 B-9000 Ghent Belgium Department of Electrical Engineering and Computer Science Montefiore Institute University of Liège B-4000 Liège Belgium

The special issue of the International Journal of Numerical Modeling: Electronic Networks, Devices And Fields carried a report on the 9th International Symposium on Electric and Magnetic Fields (EMF 2013). The 9th edition was organized by the Department of Electrical engineering and computer Science of the Faculty of Applied Science of the University of Liège and by the Department of Electrical Energy, systems and Automation of the Faculty of engineering and architecture of Ghent University. EMF 2013 was attended by 108 participants from 19 countries and featured four keynote speakers. Twenty-two of the presented papers were selected for publication in this special issue, while the high scientific and technical quality of the symposium was well reflected in the quality of the manuscripts contained in this issue.

关键词： Magnetic fields

来源：评论

学校读者我要写书评

暂无评论

A Method to Check Liveness of WS3PR 33

A Method to Check Liveness of WS3PR

引用

第三十三届中国控制会议

作者： WANG ShouGuang LIU Miao ZHOU MengChu WU WenHui IEEE School of Information & Electronic Engineering Zhejiang Gongshang University State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong University School of Electro-Mechanical Engineering Xidian University The Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102USA

ISBN: (纸本)9781479947249

Petri nets are widely used to model flexible manufacturing systems(FMSs) because they can help analyze the properties and synthesize deadlock-free supervisory controllers of *** system of Simple Sequential Processes with Resources(WS3PR) is an important subclass of Petri nets that can well model many *** work first gives new algorithms to check liveness for a WS3 PR net via its subnet trees and *** the computation complexity for the proposed method is shown in this paper,to be polynomial under certain ***,sufficient conditions for deciding liveness of a WS3 PR are *** example is used to illustrate the results.

关键词： Liveness,flexible manufacturing system,deadlock,Petri net.

来源：评论

学校读者我要写书评

暂无评论

Flexible triangular formation keeping of marine robotic vehicles using range measurements 19

Flexible triangular formation keeping of marine robotic vehi...

引用

19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014

作者： Rego, Francisco Soares, Jorge M. Pascoal, António Aguiar, A. Pedro Jones, Colin Laboratory of Robotics and Systems in Engineering and Science Instituto Superior Técnico University of Lisbon Lisbon Portugal Department of Electrical and Computer Engineering Faculty of Engineering University of Porto Porto Portugal Institute of Mechanical Engineering School of Engineering École Polytechnique Fédérale de Lausanne Lausanne Switzerland Distributed Intelligent Systems and Algorithms Laboratory School of Architecture Civil and Environmental Engineering École Polytechnique Fédérale de Lausanne Lausanne Switzerland National Institute of Oceanography Dona Paula Goa India

ISBN: (纸本)9783902823625

This paper addresses the problem of keeping an autonomous marine vehicle in a moving triangular formation by regulating its position with respect to two leader vehicles. The follower vehicle has no prior knowledge of the path described by the leaders but has access to their heading angle and is able to measure inter-vehicle ranges. It is assumed that the distance between the leaders is constant and known. A control strategy is adopted that generates speed and heading commands so as to drive suitably defined along track and cross track errors to zero. The commands are used as input to local inner loops for yaw and speed control. The paper describes the algorithms derived for range-based control and assesses their performance in simulations using realistic models of the vehicles involved. Tests with three autonomous marine vehicles equipped with acoustic modems and ranging devices allow for the evaluation of the performance of the algorithms in a real-world situation. © IFAC.

关键词： Vehicle performance

来源：评论

学校读者我要写书评

暂无评论

Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules

Optimal scheduling of single-arm multi-cluster tools with tw...

引用

2014 IEEE International Conference on Automation Science and engineering, CASE 2014

作者： Yang, Fajun Wu, Naiqi Qiao, Yan Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou510006 China Institute of Systems Engineering Macau University of Science and Technology China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

A multi-cluster tool is composed of a number of single-cluster tools linked by buffering modules. The capacity of a buffering module can be one or two. Aiming at finding an optimal one-wafer cyclic schedule, this work explores the effect of two-space buffering modules on the performance of a multi-cluster tool. The tool is modeled by a kind of Petri nets. The dynamic behavior of robot waiting and tasks, process modules, and buffers is well captured by the net model. With the model, this work shows that there is always a one-wafer cyclic schedule that reaches the lower bound of the cycle time of a process-dominant tool. Furthermore, a constant-time algorithm is revealed to find such a schedule for the first time for such multi-cluster tools. An illustrative example is given to show the application and power of this new method. © 2014 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Dynamically tolerating and detecting asymmetric races

引用

Jisuanji Yanjiu yu Fazhan/computer Research and Development 2014年第8期51卷 1748-1763页

作者： Wang, Wenwen Wu, Chenggang Ratanaworabhan, Paruj Yuan, Xiang Wang, Zhenjiang Li, Jianjun Feng, Xiaobing Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China University of Chinese Academy of Sciences Beijing100049 China Faculty of Engineering Kasetsart University Bangkok10900 Thailand

Asymmetric races are a common type of data races. They are triggered when a thread accesses a shared variable in a critical section, and another thread accesses the same shared variable not in any critical section, or in a critical section guarded by a different lock. Asymmetric races in multi-threaded programs are usually harmful. To solve the problem introduced by asymmetric races, ARace is proposed. ARace utilizes shared variable protecting and write buffer to dynamically tolerate and detect asymmetric races. Shared variable protecting is used to protect shared variables that are read-only and read-before-write in critical sections, and these shared variables should not be modified out of critical sections;write buffer is used to buffer the writing operations to shared variables in critical sections. ARace can not only tolerate asymmetric races triggered by shared variable accesses in and out of critical sections, but also detect asymmetric races triggered by shared variable accesses in concurrent critical sections. ARace can be directly applied to binary code and requires neither additional compiler support nor hardware support. In addition, an implementation based on dynamic binary instrumentation is also proposed. The experimental results demonstrate that ARace guarantees the tolerance and detection of asymmetric races while incurring acceptable performance and memory overhead.

关键词：非对称数据竞争容忍和检测写缓冲区页保护动态二进制插桩

来源：评论

学校读者我要写书评

暂无评论

Multi-Cell Coordinated Scheduling and Power Allocation in Downlink LTE-A systems

Multi-Cell Coordinated Scheduling and Power Allocation in Do...

引用

IEEE Vehicular Technology Conference

作者： Jian Yu Geoffrey Ye Li Changchuan Yin Suwen Tang Xiaolong Zhu Beijing Key Laboratory of Network System Architecture and Convergence Beijing University of Posts and Telecommunications School of Electrical and Computer Engineering Georgia Institute of Technology Huawei Shanghai Research Institute

ISBN: (纸本)9781479944484

In this paper, we investigate multi-cell coordinated scheduling and power allocation in downlink long term evolution advanced (LTE-A) systems, where orthogonal frequency division multiple-access (OFDMA) is used. The proposed scheme performs joint scheduling, power allocation, and modulation and coding scheme (MCS) selection to maximize the overall weighted throughput with proportional fairness. Our scheme considers the practical constraints in LTE-A systems. Since the optimization problem is a combinatorial and non-convex one and is with high complexity, low-complexity and suboptimal algorithms are proposed, which separate the scheduling and power allocation into two subproblems. Simulation results show that the proposed scheme can improve the average system throughput by 10% and the 10th percentile throughput by 15% compared with the existing scheme.

关键词： Resource management Throughput Interference Signal to noise ratio Indexes Optimization Scheduling

来源：评论

学校读者我要写书评

暂无评论

An On-Chip Digital Environment Monitor for Field Test

An On-Chip Digital Environment Monitor for Field Test

引用

Asian Test Symposium (ATS)

作者： Seiji Kajihara Yousuke Miyake Yasuo Sato Yukiya Miura School of Computer Science & Systems Engineering Kyushu Institute of Technology Iizuka Japan Faculty of System Design Tokyo Metropolitan University Tokyo Japan

An on-chip environment monitor that can estimate a chip temperature and a power supply voltage has been developed to assist accurate circuit delay measurement by field test. The monitor consists of digital circuits and satisfies several features desired for the field test. This paper describes the architecture of the monitor and how to estimate the temperature and voltage in field, and finally shows simulation and TEG results on estimation accuracy.

关键词： Temperature measurement Temperature sensors Oscillators Voltage measurement Estimation Monitoring Aging

来源：评论

学校读者我要写书评

暂无评论

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming

Robust control reconfiguration of resource allocation system...

引用

作者： Li, Jun Zhou, Mengchu Guo, Tao Gan, Yahui Dai, Xianzhong Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education China School of Automation Southeast University Nanjing 210096 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

Supervisory control reconfiguration can handle the uncertainties including resource failures and task changes in discrete event systems. It was not addressed to exploit the robustness of closed-loop systems to accommodate some uncertainties in the prior studies. Such exploitation can cost-efficiently achieve reconfigurability and flexibility for real systems. This paper presents a robust reconfiguration method based on Petri nets (PNs) and integer programming for supervisory control of resource allocation systems (RASs) subject to varying resource allocation relationships. An allocation relationship is seen as a control specification while the execution processes requiring resources as an uncontrolled plant. First, a robust reconfiguration mechanism is proposed. It includes updating the P-invariant-based supervisor and evolving the state of the closed-loop system. The latter adapts to the control specification changes by the self-regulation of the closed-loop system's state. Next, two novel integer programming models for control reconfiguration are proposed, called a reconfiguration model with acceptability and reconfiguration one with specification correction. Since both models integrate the firability condition of transitions, no additional efforts are required for the state reachability analysis. Finally, a hospital emergency service system is used as an example to illustrate them. © 2014 Elsevier Ltd. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Solving DCOPs in self-optimising multi-agent systems by extending the local objective functions

Solving DCOPs in self-optimising multi-agent systems by exte...

引用

2013 Workshop on Embedded Self-Organizing systems, ESOS 2013

作者： Niemann, Sebastian Müller-Schloer, Christian Institute of Systems Engineering System and Computer Architecture Leibniz Universität Hannover Hannover Germany

Several applications of Organic Computing (OC) systems as well as Autonomic Computing (AC) systems are based on self-optimising multi-agent systems, i.e. distributed autonomous devices. One of the main challenges of these is to emerge towards a global optimal system state based only on local information for each agent. In order to reach a global optimal state some agents need to avoid selfish actions and instead consider the benefits of their actions for the whole system. Choosing the action of an agent is often based on solving optimisation problems, which can be modelled as a distributed constraint optimisation problem (DCOP). This paper presents a new asynchronous approach to solve DCOP by extending only the underlying local objective function of each agent. The main benefit of this approach is the avoidance of an additional complex decision making algorithm that may interfere with the original task of an agent and reduces the scalability of the system. Exemplary, a distributed constraint optimisation problem is considered to quantify the effectiveness and computation as well as communication cost of the discussed approach. © 2013 Workshop on Embedded Self-Organizing systems, ESOS 2013. All rights reserved.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Implementation and test of human-operated and human-like adaptive impedance controls on Baxter robot

Implementation and test of human-operated and human-like ada...

引用

15th Annual Conference on Advances in Autonomous Robotics systems, TAROS 2014

作者： Liang, Peidong Yang, Chenguang Wang, Ning Li, Zhijun Li, Ruifeng Burdet, Etienne Centre for Robotics and Neural Systems School of Computing and Mathematics Plymouth University United Kingdom MOE Key Lab. of Autonomous System and Network Control College of Automation Science and Engineering South China University of Technology China State Key Laboratory of Robotics and System Harbin Institute of Technology China Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Department of Bioengineering Imperial College of Science Technology and Medicine London United Kingdom

ISBN: (纸本)9783319104003

This paper presents an improved method to teleoperate impedance of a robot based on surface electromyography (EMG) and test it experimentally. Based on a linear mapping between EMG amplitude and stiffness, an incremental stiffness extraction method is developed, which uses instantaneous amplitude identified from EMG in a high frequency band, compensating for non-linear residual error in the linear mapping and preventing muscle fatigue from affecting the control. Experiments on one joint of the Baxter robot are carried out to test the approach in a disturbance attenuation task, and to compare it with automatic human-like impedance adaptation. The experimental results demonstrate that the new human operated impedance method is successful at attenuating disturbance, and results similarly to as automatic disturbance attenuation, thus demonstrating its efficiency. © 2014 Springer International Publishing.

关键词： Stiffness

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：