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

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

来源：评论

学校读者我要写书评

暂无评论

An AlN-based piezoelectric micro-machined ultrasonic transducer (pMUT) array

An AlN-based piezoelectric micro-machined ultrasonic transdu...

引用

IEEE Conference on Nanotechnology

作者： Qifeng Zhu Tao Chen Huicong Liu Lining Sun Tao Wang Chengkuo Lee Xianhao Le Jin Xie Jiangsu Provincial Key Labratory of Advanced Robotics Soochow University Suzhou China Department of Electrical and Computer Engineering National University of Singapore Singapore State Key Laboratory of Fluid Power and Mechatronic Systems Zhejiang University Hangzhou China

The development of wireless energy transfer is critical to the promotion of implantable medical devices (IMDs). In this paper, an aluminum nitride (AlN) based piezoelectric micromachined ultrasonic transducer (pMUT) array is designed, fabricated and characterized, which can be a potential power supply for IMDs. The pMUT array is ideally suitable for integration with wireless-powered system since it is fabricated from miniaturized AlN membrane array of 4×4 units. Both the simulation and experiment are conducted to characterize the pMUT device. The transmitting sensitivity of the fabricated pMUT array is measured as 83 nm/V at a resonant frequency of 527 kHz.

关键词： Aluminum nitride III-V semiconductor materials Resonant frequency Sensitivity Ultrasonic transducers Acoustics Cavity resonators

来源：评论

学校读者我要写书评

暂无评论

Attitude synchronization of multiple rigid bodies in SE(3) over proximity networks

Attitude synchronization of multiple rigid bodies in SE(3) o...

引用

第35届中国控制会议

作者： Juan Deng Zhixin Liu Lin Wang John S.Baras Key Laboratory of Systems and Control Academy of Mathematics and Systems ScienceCAS Department of Automation Shanghai Jiao Tong Universityand the Key Laboratory of System Control and Information ProcessingMinistry of Education Department of Electrical and Computer Engineering and the Institute for Systems Research University of MarylandCollege Park

ISBN: (纸本)9781509009107

This paper investigates the attitude synchronization of a group of moving rigid bodies whose states including positions and rotation matrices evolve in the Lie group SE(3).The commonly used circular neighborhood is adopted,and the neighbor graphs are described by proximity *** order to avoid introducing discussions on the abrupt changes of neighbor graphs,a dwell time is *** distributed sampled-data control law for the angular velocity is *** the assumptions on the initial states,we provide sufficient conditions for the attitude synchronization of multiple rigid body *** with the existing results,our condition depends only on the neighborhood radius,the moving velocity and the dwell time.

关键词： rigid body SE(3) attitude synchronization sampled-data control proximity network

来源：评论

学校读者我要写书评

暂无评论

Editorial

引用

International Journal of Social robotics 2015年第1期7卷 1-2页

作者： Ge, Shuzhi Sam Khatib, Oussama and the Robotics Research Lab Department of Electrical & Computer Engineering The National University of Singapore Singapore Singapore University of Electronic Science and Technology of China Chengdu China Artificial Intelligence Laboratory Department of Computer Science Stanford University StanfordCA United States

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：