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

作者： Fazekas, C.S. Kozmann, G.Y. Hangos, K.M. Department of Information Systems University of Veszprém Veszprém Hungary Research Institute for Technical Physics and Materials Sciences Department of Biomedical Engineering Budapest Hungary Computer and Automation Research Institute Systems and Control Laboratory Budapest Hungary

ISBN: (纸本)008045108X

A multi-level model, that provides a hierarchically structured description of a complex, multi-scale limb system is proposed in this paper for predicting and analyzing movement patters generated by various activation signals. The levels, the sub-models on each level and their interconnections are developed and described following a systematic modelling procedure. The computational properties (degree of freedom and differential index) of the developed model have been analyzed and a sub-model has been transformed to meet the index-one requirement for solving the resulting differential algebraic equation (DAE) model by standard methods implemented in MATLAB. The model is extensively verified against engineering expectations using parameter values found in the literature, and a good agreement was found. Parameter sensitivity analysis has also been performed. Copyright © 2005 IFAC.

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

Intelligent Control systems 1

引用

丛书名： Applied Optimization

1000年

作者： Katalin M. Hangos Rozália Lakner Miklós Gerzson

来源：评论

学校读者我要写书评

暂无评论

Parallel saturation based model checking

Parallel saturation based model checking

引用

2011 10th International Symposium on Parallel and distributed Computing, ISPDC 2011

作者： Voros, András Szabo, Tamás Jámbor, Attila Darvas, Dániel Horváth, Akos Bartha, Tamás Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9780769545400

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. In this paper, we examine an existing parallel model checking algorithm and we propose improvements to eliminate some computational bottlenecks. Our measurements show that the resulting new algorithm has better scalability and performance than both the former parallel approach and the sequential algorithm. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Social Energy:Mining Energy From the Society

引用

IEEE/CAA Journal of Automatica Sinica 2017年第3期4卷 466-482页

作者： Jun Jason Zhang David Wenzhong Gao Yingchen Zhang Xiao Wang Xiangyang Zhao Dongliang Duan Xiaoxiao Dai Jun Hao Fei-Yue Wang Department of Electrical and Computer Engineering Ritchie School of Engineering and Computer ScienceUniversity of Denver IEEE National Renewable Energy Laboratory Qingdao Academy of Intelligent Industries(QAII) QingdaoShandongChinaand SKL-MCCSCASIA School of Automation Science and Electrical Engineering Beihang University Department of Electrical and Computer Engineering College of Engineering and Applied ScienceUniversity of Wyoming State Key Laboratory of Management and Control for Complex Systems Institute of AutomationChinese Academy of Sciences(SKL-MCCSCASIA) Research Center of Computational Experiments and Parallel Systems National University of Defense Technology

The inherent nature of energy,i.e.,physicality,sociality and informatization,implies the inevitable and intensive interaction between energy systems and social *** this perspective,we define "social energy" as a complex sociotechnical system of energy systems,social systems and the derived artificial virtual systems which characterize the intense intersystem and intra-system *** recent advancement in intelligent technology,including artificial intelligence and machine learning technologies,sensing and communication in Internet of Things technologies,and massive high performance computing and extreme-scale data analytics technologies,enables the possibility of substantial advancement in socio-technical system optimization,scheduling,control and *** this paper,we provide a discussion on the nature of energy,and then propose the concept and intention of social energy systems for electrical power.A general methodology of establishing and investigating social energy is proposed,which is based on the ACP approach,i.e., "artificial systems"(A), "computational experiments"(C) and "parallel execution"(P),and parallel system methodology.A case study on the University of Denver(DU) campus grid is provided and studied to demonstrate the social energy *** the concluding remarks,we discuss the technical pathway,in both social and nature sciences,to social energy,and our vision on its future.

关键词： ACP distribution locational marginal pricing intelligent operation in power systems parallel control parallel intelligence parallel management social energy socio-technical energy systems

来源：评论

学校读者我要写书评

暂无评论

A Review on Swarm Intelligence and Evolutionary Algorithms for Solving Flexible Job Shop Scheduling Problems

引用

IEEE/CAA Journal of Automatica Sinica 2019年第4期6卷 904-916页

作者： Kaizhou Gao Zhiguang Cao Le Zhang Zhenghua Chen Yuyan Han Quanke Pan IEEE the Macao Institute of Systems Engineering at Macao University of Science and Technology 999078 China School of Computer at Liaocheng Univeristy Liaocheng252059China the Department of Industrial Systems Engineering and Management National University of SingaporeSingapore Centre for Maritime Studies National University of SingaporeSingapore the Institute for Infocomm Research(I2R) the Agency for ScienceTechnology and Research(A*STAR)Singapore the School of Computer at Liaocheng Univeristy Liaocheng 252059China School of Mechatronic Engineering and Automation Shanghai UniversityShanghai 200072China

Flexible job shop scheduling problems(FJSP)have received much attention from academia and industry for many *** to their exponential complexity,swarm intelligence(SI)and evolutionary algorithms(EA)are developed,employed and improved for solving *** than 60%of the publications are related to SI and *** paper intents to give a comprehensive literature review of SI and EA for solving ***,the mathematical model of FJSP is presented and the constraints in applications are ***,the encoding and decoding strategies for connecting the problem and algorithms are *** strategies for initializing algorithms?population and local search operators for improving convergence performance are ***,one classical hybrid genetic algorithm(GA)and one newest imperialist competitive algorithm(ICA)with variables neighborhood search(VNS)for solving FJSP are ***,we summarize,discus and analyze the status of SI and EA for solving FJSP and give insight into future research directions.

关键词： Evolutionary algorithm flexible job shop scheduling review swarm intelligence

来源：评论

学校读者我要写书评

暂无评论

Management of Functioning and Development of Complex Integrated Power Supply System of Smart City

Management of Functioning and Development of Complex Integra...

引用

2020 International Multi-Conference on Industrial Engineering and Modern Technologies, FarEastCon 2020

作者： Bushuev, V. Solovyev, D. Shilova, L. Joint Institute for High Temperatures of the Russian Academy of Sciences Department of Distributed Generation Moscow Russia National Research Moscow State University of Civil Engineering Department of Information Systems Technology and Automation in Construction Moscow Russia

ISBN: (纸本)9781728169514

The paper reveals the problems of management organizing of functioning and development of smart metropolis (Smart City) integrated with the power supply system. A lot of attention is paid to ways of solving these problems through the implementation of Smart Grid technologies and practices taking into account the SoS (system of systems) approach. In the context of this research work, the Smart Grid is considered as one of the first SoS subsystems of the Smart City. A concept of a new electrical network is also presented in the paper. This electrical network has qualitatively unique characteristics of adaptability, stability, and throughput, allowing to ensure reliable and uninterrupted power supply to consumers in the new conditions of rapid and stochastic changes in generation and consumption volumes, as well as the multidirectional nature of information and electricity flows (from the consumer to the network). © 2020 IEEE.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

Handling User Preferences and Added Value in Discovery of Semantic Web Services

Handling User Preferences and Added Value in Discovery of Se...

引用

IEEE International Conference on Web Services (ICWS)

作者： Laszlo Kovacs Andras Micsik Peter Pallinger Department of Distributed Systems MTA SZTAKIComputer and Automation Research Institute Hungarian Academy of Sciences (ATOMKI) Budapest Hungary

This paper presents the discovery engine implemented for the INFRAWEBS project, which combines a traditional IR-based pre-filtering step and a logic-based matching implemented in Prolog. The logic-based step of discovery uses a novel technique based on Prolog-style unification of terms. This approach performs well in finding matches of intersection type, and it also provides possibilities to compare, rank and explain these matches. Furthermore, it can support matching and ranking based on users' preferences compared to the added value offered by services.

关键词： Semantic Web Engines Impedance matching Web services distributed computing automation Logic Information retrieval Application software Ontologies

来源：评论

学校读者我要写书评

暂无评论

Optimal DoS Attack Strategy against Remote State Estimation Over Lossy Networks 29

Optimal DoS Attack Strategy against Remote State Estimation ...

引用

第29届中国控制与决策会议

作者： Menglin Li Jiahu Qin Ling Shi Xinghuo Yu Huijun Gao Department of Automation University of Science and Technology of China Department of Electronic and Computer Engineering Hong Kong University of Science and Technology School of Engineering RMIT University Research Institute of Intelhgent Control and Systems Harbin Institute of Technology

ISBN: (纸本)9781509046584

This paper considers a Denial-of-Service(DoS) attack scheduling ***,a sensor employs the wireless fink to send the data packet to the remote estimator at each time step,while an energy-constrained attacker launches DoS attacks against the remote state estimation,and designs an optimal attack strategy to maximize damage to the remote estimation *** packet will drop if the channel is *** most of the existing works on DoS attacks,it is assumed that the wireless channel is perfect,i.e.,the packet dropout never occurs in the absence of ***,this is far from the practical *** encompass the lossy nature of wireless networks,we study the scenario of lossy networks in which the packet may drop even without attack,and construct the optimal attack strategy that maximizes the average expected estimation error at the remote estimator over lossy *** simulations are provided to demonstrate the effectiveness of the theoretical results.

关键词： Cyber-Physical systems DoS attack lossy networks energy constraint remote state estimation

来源：评论

学校读者我要写书评

暂无评论

Robust model matching for geometric fault detection filters

Robust model matching for geometric fault detection filters

引用

作者： Seiler, Peter Bokor, József Vanek, Balint Balas, Gary J. Aerospace and Engineering Mechanics Department University of Minnesota United States Systems and Control Laboratory Computer and Automation Research Institute Hungarian Academy of Sciences Hungary

ISBN: (纸本)9781457700804

Geometric fault detection and isolation filters are known for having excellent fault isolation properties. However, they are generally assumed to be sensitive to model uncertainty and noise. This paper proposes a robust model matching method to incorporate model uncertainty into the design of geometric fault detection filters. Several existing methods for robust filter synthesis are described to solve the robust model matching problem. It is then shown that the robust model matching problem has an interesting self-optimality property for multiplicative input uncertainty models. Finally, a simple example is presented to study the effect of parametric uncertainty and unmodeled dynamics on the performance of a geometric filter. © 2011 AACC American Automatic Control Council.

关键词： Bandpass filters

来源：评论

学校读者我要写书评

暂无评论

Dual-Objective Mixed Integer Linear Program and Memetic Algorithm for an Industrial Group Scheduling Problem

引用

IEEE/CAA Journal of Automatica Sinica 2021年第6期8卷 1199-1209页

作者： Ziyan Zhao Shixin Liu MengChu Zhou Abdullah Abusorrah State Key Laboratory of Synthetical Automation for Process Industries and the College of Information Science and Engineering Northeastern UniversityShenyang 110819China Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewark NJ 07102 USA Center of Research Excellence in Renewable Energy and Power Systems King Abdulaziz UniversityJeddah 21481Saudi Arabia Department of Electrical and Computer Engineering Faculty of Engineeringand Center of Research Excellence in Renewable Energy and Power SystemsKing Abdulaziz UniversityJeddah 21481Saudi Arabia

Group scheduling problems have attracted much attention owing to their many practical *** work proposes a new bi-objective serial-batch group scheduling problem considering the constraints of sequence-dependent setup time,release time,and due *** is originated from an important industrial process,i.e.,wire rod and bar rolling process in steel production *** objective functions,i.e.,the number of late jobs and total setup time,are minimized.A mixed integer linear program is established to describe the *** obtain its Pareto solutions,we present a memetic algorithm that integrates a population-based nondominated sorting genetic algorithm II and two single-solution-based improvement methods,i.e.,an insertion-based local search and an iterated greedy *** computational results on extensive industrial data with the scale of a one-week schedule show that the proposed algorithm has great performance in solving the concerned problem and outperforms its *** high accuracy and efficiency imply its great potential to be applied to solve industrial-size group scheduling problems.

关键词： Insertion-based local search iterated greedy algorithm machine learning memetic algorithm nondominated sorting genetic algorithm II(NSGA-II) production scheduling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：