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

Electronic Stuctures: Mechanically Guided Post‐Assembly of 3D Electronic Systems (Adv. Funct. Mater. 48/2018)

Advanced Functional Materials 2018年第48期28卷

作者： Bong Hoon Kim Fei Liu Yongjoon Yu Hokyung Jang Zhaoqian Xie Kan Li Jungyup Lee Ji Yoon Jeong Arin Ryu Yechan Lee Do Hoon Kim Xueju Wang KunHyuck Lee Jong Yoon Lee Sang Min Won Nuri Oh Jeonghyun Kim Ju Young Kim Seong‐Jun Jeong Kyung‐In Jang Seungmin Lee Yonggang Huang Yihui Zhang John A. Rogers Department of Materials Science and Engineering Simpson Querrey Institute and Feinberg Medical School Center for Bio‐Integrated Electronics Northwestern University Evanston IL 60208 USA Center for Mechanics and Materials Center for Flexible Electronics Technology AML Department of Engineering Mechanics Tsinghua University Beijing 100084 China Frederick Seitz Materials Research Laboratory University of Illinois at Urbana‐Champaign Urbana IL 61801 USA Department of Civil and Environmental Engineering Mechanical Engineering and Materials Science and Engineering Northwestern University Evanston IL 60208 USA AML Department of Engineering Mechanics Center for Mechanics and Materials Tsinghua University Beijing 100084 China Division of Materials Science and Engineering Hanyang University Seoul 04763 Republic of Korea Department of Electronics Convergence Engineering Kwangwoon University Seoul 01897 Republic of Korea Multidisciplinary Sensor Research Group Electronics and Telecommunications Research Institute (ETRI) Daejeon 34129 Republic of Korea Department of Organic Materials and Fiber Engineering Department of Information Communication Materials and Chemistry Convergence Technology Soongsil University 369 Sangdo‐ro Dongjak‐gu Seoul 06978 Republic of Korea Department of Robotics Engineering Daegu Gyeongbuk Institute of Science and Technology (DGIST) Daegu 42988 Republic of Korea Department of Energy Electronics Convergence Kookmin University Seoul 02707 Republic of Korea Department of Civil and Environmental Engineering Mechanical Engineering Materials Science and Engineering Northwestern University Evanston IL 60208 USA Department of Materials Science and Engineering Department of Biomedical Engineering Department of Chemistry Department of Neurological Surgery Department of Mechanical Engineering Department of Electrical Engineering and Computer Science Simpson Querrey Institute and Feinberg Medical School Center for Bio‐Integrated Electronics Northwestern University Evanston IL 60208 USA

来源：评论

学校读者我要写书评

暂无评论

Complex system optimization for economic emission load dispatch

Complex system optimization for economic emission load dispa...

引用

UKACC International Conference on Control (CONTROL)

作者： Haiping Ma Zhile Yang Pengcheng You Minrui Fei Department of Electrical Engineering Shaoxing University Shaoxing China Department of Control Zhejiang University Hangzhou China School of Electronics Electrical Engineering and Computer Science Queen's University Belfast Belfast UK Shanghai Key Laboratory of Power Station Automation Technology Shanghai University Shanghai China

This paper proposes a complex system optimization method to solve economic emission load dispatch. First, a real-world economic emission load dispatch is modeled as a complex system problem, and the optimization objectives include economic load dispatch, emission load dispatch and transmission network loss. Then a called BBO/complex method is introduced, which extends biogeography-based optimization to a multi-archipelago environment to suit the structure of complex systems. Finally, the proposed method is applied to the economic emission load dispatch, and the results show that it can obtain good performance for economic emission load dispatch studied in this paper, and it is a competitive algorithm for solving complex system optimization problem.

关键词： Complex systems Propagation losses Economics Power systems Optimization methods Linear programming

来源：评论

学校读者我要写书评

暂无评论

Event-based state estimation of discrete-state hidden Markov models

Event-based state estimation of discrete-state hidden Markov...

引用

作者： Shi, Dawei Elliott, Robert J. Chen, Tongwen State Key Laboratory of Intelligent Control and Decision of Complex Systems School of Automation Beijing Institute of Technology Beijing100081 China School of Mathematical Sciences University of Adelaide SA5005 Australia Haskayne School of Business University of Calgary CalgaryAB Canada Department of Electrical and Computer Engineering University of Alberta EdmontonABT6G 1H9 Canada

The state estimation problem for hidden Markov models subject to event-based sensor measurement updates is considered in this work, using the change of probability approach. We assume the measurement updates are transmitted through wired or wireless communication networks. For the scenarios with reliable and unreliable communication channels, analytical expressions for the probability distributions of the states conditioned on all the past point- and set-valued measurement information are obtained. Also, we show that the scenario with a lossy channel, but without the event-trigger, can be treated as a special case of the reliable channel results. Based on these results, closed-form expressions for the estimated communication rates under the original probability measure are presented, which are shown to be the ratio between a weighted 1-norm and the 1-norm of the unnormalized conditional probability distributions of the states under the new probability measures constructed. Implementation issues are discussed, and the effectiveness of the results is illustrated by numerical examples and comparative simulations. © 2015 Elsevier Ltd. All rights reserved.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

Load Forecast of Resource Scheduler in Cloud Architecture

Load Forecast of Resource Scheduler in Cloud Architecture

引用

2016 IEEE International Conference on Progress in Informatics and Computing

作者： Huahui Lyu Ping Li Ruihong Yan Anum Masood Bin Sheng Yaoying Luo Information Department China Southern Power Grid Department of Mathematics and Information Technology The Education University of Hong Kong Department of Computer Science and Engineering Shanghai Jiao Tong University The State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Department of electrical engineering and automation Shanghai Jiao Tong University

Cloud architectures have become increasing common in the IT industry and academic circle. However, most cloud architectures only focus on availability but ignore economic effectiveness. Based on Eucalyptus, this paper proposes an effective way to balance high availability and economic profits. We designed a forecast mechanism using three new modules: the forecast module, adjustment module, and collection module. The forecast module uses a set of machine learning techniques to improve forecast accuracy. We carried out a comparative experiment and the experimental results prove the efficiency of the proposed forecast mechanism.

关键词： forecast mechanism virtual machine cloud architecture machine learning

来源：评论

学校读者我要写书评

暂无评论

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

User-friendly formal specification languages - conclusions d...

引用

International Conference on Emerging Technologies and Factory automation (ETFA)

作者： Antti Pakonen Cheng Pang Igor Buzhinsky Valeriy Vyatkin VTT Technical Research Centre of Finland Ltd. Espoo Finland Department of Electrical Engineering and Automation Aalto University Espoo Finland Computer Technologies Laboratory ITMO University St. Petersburg Russia

ISBN: (纸本)9781509013159

Formal methods - such as model checking - have definite advantages over more commonplace verification techniques. By providing proof of the analyzed systems' correctness, they are especially useful in domains that are under regulatory supervision, like the nuclear industry. The foremost challenge for wider adoption of model checking is the effort and the expertise required for formalizing functional requirements into verifiable properties. A particular challenge in verifying the application software of industrial process control systems is taking into account the different sequencing and timing issues that arise from, e.g., the dynamic behavior of the plant processes being controlled. In this paper, we review specification languages that are aimed at making formal methods more accessible. We have collected 1079 sample formal properties from practical model checking projects in the nuclear industry, and identified repeatedly occurring property types. We present our findings, and based on the sample data, evaluate the applicability of different approaches on user-friendly property specification.

关键词： Model checking Industries Timing Process control Specification languages Safety Visualization

来源：评论

学校读者我要写书评

暂无评论

Smart Grid Data Analysis and Prediction Modeling

Smart Grid Data Analysis and Prediction Modeling

引用

2016 IEEE International Conference on Progress in Informatics and Computing

作者： Hang Yang Ping Li Anum Masood Yuning Xiao Bin Sheng Qichen Yu Information Department China Southern Power Grid Department of Mathematics and Information Technology The Education University of Hong Kong Department of Computer Science and Engineering Shanghai Jiao Tong University Department of Computer Science COMSATS Institute of Information Technology The State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Department of electrical engineering and automation Shanghai Jiao Tong University

With the rapiddevelopment of power grid, prediction ofelectric quantity changes has become increasingly important. High-performance power grid systems can improve economic effectiveness and operational efficiency through accurate prediction. This paper proposes a prediction model based on temperature, humidity,time, and the number of people. On account of the standards of support vector machine(SVM) and the HBase platform,we have implemented a forecasting model and designed simulative experiments. The experimental results show that time and variation in the number of people has a remarkable influence on prediction, while temperature and humidityhardly have any effects.

关键词： power prediction data mining HBase data storage machine learning SVM

来源：评论

学校读者我要写书评

暂无评论

A Continuous Second-Order Sliding Mode Guidance against Highly Maneuverable Targets

A Continuous Second-Order Sliding Mode Guidance against High...

引用

The Society of Instrument and Control Engineers Annual Conference 2015

作者： WANG Yongkun LIU Zhongxin SUN Mingwei CHEN Zengqiang Department of Automation Nankai University Tianjin Key Laboratory of Intelligent Robotics College of Computer and Control Engineering Nankai University

ISBN: (纸本)9784907764487

Conventional proportional navigation or augmented proportional navigation guidance laws are widely used for intercepting maneuverable targets;however, they are effective only in intercepting a target with a constant velocity or a known acceleration. In this paper, a continuous second-order sliding mode guidance law is designed to intercept a highly maneuverable target in connection with the super-twisting algorithm. Meanwhile, the target maneuver information, regarded as unpredictable disturbance, is coped with by an extended state observer(ESO) and then is compensated in the guidance law. In the proposed guidance scheme, no information about target motion is needed. The closed-loop error can be guaranteed to be bounded by using Lyapunov method. The simulation results demonstrate the effectiveness and robustness of the proposed guidance method against a highly maneuverable target.

关键词： guidance law second-order sliding mode super-twisting algorithm extended state observer target maneuver

来源：评论

学校读者我要写书评

暂无评论

ACP-based social computing and parallel intelligence： Societies 5.0 and beyond

引用

CAAI Transactions on Intelligence Technology 2016年第4期1卷 377-393页

作者： XiaoWang Lingxi Li Yong Yuan Peijun Ye Fei-Yue Wang The State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing 100190 China Qingduo Academy of Intelligent Industries Qingduo 266100 China Department of Electrical and Computer Engineering Purdue School of Engineering and Technology Indiana University-Purdue University Indianapolis Indianapolis IN 46202 USA

Social computing, as the technical foundation of future computational smart societies, has the potential to improve the effectiveness of opensource big data usage, systematically integrate a variety of elements including time, human, resources, scenarios, and organizations in the current cyber-physical-social world, and establish a novel social structure with fair information, equal rights, and a flat configuration. Meanwhile, considering the big modeling gap between the model world and the physical world, the concept of parallel intelligence is introduced. With the help of software-defined everything, parallel intelligence bridges the big modeling gap by means of constructing artificial systems where computational experiments can be implemented to verify social policies, economic strategies, and even military operations. Artificial systems play the role of ＂social laboratories＂ in which decisions are computed before they are executed in our physical society. Afterwards, decisions with the expected outputs are executed in parallel in both the artificial and physical systems to interactively sense, compute, evaluate and adjust system behaviors in real-time, leading system behaviors in the physical system converging to those proven to be optimal in the artificial ones. Thus, the smart guidance and management for our society can be achieved.

关键词： Social computing Societies 5.0 Parallel intelligence Knowledge automation Cyber-physical-social system Artificial societies Computational ex-periments Parallel execution

来源：评论

学校读者我要写书评

暂无评论

Control of wheeled mobile robots singularly perturbed by using the slipping and skidding variations: Curvilinear coordinates approach (Part II)

引用

IFAC-PapersOnLine 2015年第19期48卷 100-105页

作者： Peña Fernández, C.A. Cerqueira, J.J.F. Lima, A.M.N. Robotics Laboratory Department of Electrical Engineering Federal University of Bahia Rua Aristides Novis 02 Federacao Salvador Bahia40210-630 Brazil Center of Electrical and Computer Engineering Department of Electrical Engineering Federal University of Campina Grande Rua Agripio Veloso 882 Universitário Campina Grande Paraíba58429-970 Brazil

In work reported here, it is proposed a method to reduce the effects of slipping and skidding in WMRs not exactly satisfying kinematic constraints. It is studied the case for WMRs whose kinematic constraints are violated owing to deformability or flexibility. To this end, it is considered the static-state linearization whose robustness will be based on singular perturbation methods and an auxiliary control law that is modeled on a suitable transformation for curvilinear coordinates. In results will be seen that the tracking error converges to small ball of the origin whose radius can be adjusted by a known function that depends on the slipping and skidding variations. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Perturbation techniques Kinematics Mobile robots Skidding Auxiliary control Curvilinear coordinate Kinematic constraints Singular perturbation method Singular perturbations methods Singularly perturbed slipping variation Wheeled mobile robot

来源：评论

学校读者我要写书评

暂无评论

Model predictive control for PV maximum power point tracking of single-phase submultilevel inverter

Model predictive control for PV maximum power point tracking...

引用

Power and Energy Conference at Illinois (PECI)

作者： Morcos Metry Sertac Bayhan Robert S. Balog Haitham Abu Rub Qatar Foundation Hamad Bin Khalifa University Doha Qatar Renewable Energy & Advanced Power Electronics Research Laboratory Department of Electrical & Computer Engineering Texas A&M University College Station USA Electrical & Computer Engineering Program Texas A&M University at Qatar Doha Qatar Department of Electronics & Automation Gazi University Ankara Turkey

Dynamic behavior of solar energy resource entails the need of robust controllers that can converge to the maximum power point (MPP) to maximize energy harvest. This paper explores an improved Perturb and Observe (P&O) technique that combines a fixed step model predictive controller (MPC), to speed up the control loop, applied to a boost converter. The proposed MPC Maximum Power Point Tracking (MPPT) technique is of higher efficacy and robustness over conventional MPPT. The improved MPC-MPPT is tested for the first time on an MPC strategy of seven-level subMultilevel Inverter (sMI) using three power arms cascaded with the H-bridge inverter. Such topology brings about many sizable benefits such as reduced number of power switches and their gate drivers when compared to the traditional multilevel inverter. MPC is also used as the control strategy for the sMI to eliminate complexities in the space vector pulse width modulation (SVPWM) and overcome the weaknesses of the inner control loop performance.

关键词： Maximum power point trackers Cost function Predictive models Inverters Switches Predictive control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：