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

A software safety assessment method based on the combination of frequency analysis method and analytic hierarchy process

引用

AIP Conference Proceedings 2017年第1期1839卷

作者： Kehe Wu Jiahui Wei Haifeng Zhang Yingzhe Huo 1School of Control and Computer Engineering North China Electric Power University Beijing 102206 China 2State Grid Key Laboratory of Power Industrial Chip Design and Analysis Technology Beijing Smart-Chip Microelectronics Technology Co. Ltd. Beijing 100192 China 3Beijing Engineering Research Center of High-reliability IC with Power Industrial Grade Beijing Smart-Chip Microelectronics Technology Co. Ltd. Beijing 100192 China 4State Grid Liaoning Information and Communication Company Shenyang 110016 China

The aim of software safety assessment is to evaluate whether the software meets the safety requirements, and this measurement is very important to ensure and confirm the software safety. This paper presents a new software safety assessment method that is based on the combination of frequency analysis and Analytic Hierarchy Process. First, use frequency analysis method to select some appropriate assessment indicators; then use the Analytic Hierarchy Process to construct the assessment system and assign suitable weight values to indicators at all layers of system; finally rate the software safety. Through the example analysis, it is proved that this method can evaluate software safety very well.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Distributed edge control for multi-agent based on binocular vision system

引用

Journal of Computational Information Systems 2014年第7期10卷 2907-2915页

作者： Shao, Nuan Li, Huiguang Zou, Liying Liu, Le Key Lab. of Industrial Computer Control Engineering of Hebei Province Yanshan University Qinhuangdao 066004 China

For multiple Lagrange systems, the objective of distributed edge control problem is to drive all the followers converge to the edge of the convex hull spanned by the leaders. In this approach, we choose binocular vision system as sensing devices. Firstly, a pseudo-stereo visual model is proposed based on the concept of depth information sensitivity which can be used to provide the generalized coordinates of the leaders for all followers in the image coordinate system. Then, based on this new model, a distributed adaptive control algorithm is designed to compensate for the parametric uncertainties under a directed graph. Finally, the proposed control algorithm is applied to the multi-manipulators grasping control, simulation examples are provided to show the effectiveness of the controller. © 2014 Binary Information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Modeling parameter interactions in ranking SVM 15

Modeling parameter interactions in ranking SVM

引用

24th ACM International Conference on Information and Knowledge Management, CIKM 2015

作者： Zhang, Yaogong Xu, Jun Lan, Yanyan Guo, Jiafeng Xie, Maoqiang Huang, Yalou Cheng, Xueqi College of Computer and Control Engineering Nankai University China CAS Key Lab. of Network Data Science and Technology Institute of Computing Technology Chinese Academy of Sciences China College of Software Nankai University China

ISBN: (纸本)9781450337946

Ranking SVM, which formalizes the problem of learning a ranking model as that of learning a binary SVM on preference pairs of documents, is a state-of-the-art ranking model in information retrieval. The dual form solution of Ranking SVM model can be written as a linear combination of the preference pairs, i.e., w = Σ(i,j)αij(xi - xj), where αij denotes the Lagrange parameters associated with each pair (i,j). It is obvious that there exist significant interactions over the document pairs because two preference pairs could share a same document as their items. Thus it is natural to ask if there also exist interactions over the model parameters αij, which we may leverage to propose better ranking model. This paper aims to answer the question. Firstly, we found that there exists a low-rank structure over the Ranking SVM model parameters αij, which indicates that the interactions do exist. Then, based on the discovery, we made a modification on the original Ranking SVM model by explicitly applying a low-rank constraint to the parameters. Specifically, each parameter αij is decomposed as a product of two low-dimensional vectors, i.e., αij = (υi,υj), where vectors vi and vj correspond to document i and j, respectively. The learning process, thus, becomes to optimize the modified dual form objective function with respect to the low-dimensional vectors. Experimental results on three LETOR datasets show that our method, referred to as Factorized Ranking SVM, can outperform state-of-the-art baselines including the conventional Ranking SVM. © 2015 ACM.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Publisher Correction: MEMOTE for standardized genome-scale metabolic model testing

引用

Nature biotechnology 2020年第4期38卷 504页

作者： Christian Lieven Moritz E Beber Brett G Olivier Frank T Bergmann Meric Ataman Parizad Babaei Jennifer A Bartell Lars M Blank Siddharth Chauhan Kevin Correia Christian Diener Andreas Dräger Birgitta E Ebert Janaka N Edirisinghe José P Faria Adam M Feist Georgios Fengos Ronan M T Fleming Beatriz García-Jiménez Vassily Hatzimanikatis Wout van Helvoirt Christopher S Henry Henning Hermjakob Markus J Herrgård Ali Kaafarani Hyun Uk Kim Zachary King Steffen Klamt Edda Klipp Jasper J Koehorst Matthias König Meiyappan Lakshmanan Dong-Yup Lee Sang Yup Lee Sunjae Lee Nathan E Lewis Filipe Liu Hongwu Ma Daniel Machado Radhakrishnan Mahadevan Paulo Maia Adil Mardinoglu Gregory L Medlock Jonathan M Monk Jens Nielsen Lars Keld Nielsen Juan Nogales Intawat Nookaew Bernhard O Palsson Jason A Papin Kiran R Patil Mark Poolman Nathan D Price Osbaldo Resendis-Antonio Anne Richelle Isabel Rocha Benjamín J Sánchez Peter J Schaap Rahuman S Malik Sheriff Saeed Shoaie Nikolaus Sonnenschein Bas Teusink Paulo Vilaça Jon Olav Vik Judith A H Wodke Joana C Xavier Qianqian Yuan Maksim Zakhartsev Cheng Zhang Novo Nordisk Foundation Center for Biosustainability Technical University of Denmark Lyngby Denmark. Systems Biology Lab Amsterdam Institute of Molecular and Life Sciences (AIMMS) Vrije Universiteit Amsterdam Amsterdam the Netherlands. BioQUANT/COS Heidelberg University Heidelberg Germany. Ecole Polytechnique Fédérale de Lausanne Laboratory of Computational Systems Biotechnology Lausanne Switzerland. iAMB-Institute of Applied Microbiology ABBt-Aachen Biology and Biotechnology RWTH Aachen University Aachen Germany. Department of Bioengineering University of California La Jolla CA USA. Department of Chemical Engineering and Applied Chemistry University of Toronto Toronto Ontario Canada. Human Systems Biology Laboratory Instituto Nacional de Medicina Genomica & Coordinación de la Investigación Científica-Red de Apoyo a la Investigación UNAM Mexico City Mexico. Institute for Systems Biology Seattle WA USA. Computational Systems Biology of Infection and Antimicrobial-Resistant Pathogens Institute for Biomedical Informatics (IBMI) Tübingen Germany. Department of Computer Science University of Tübingen Tübingen Germany. German Center for Infection Research (DZIF) partner site Tübingen Tübingen Germany. Australian Institute for Bioengineering and Nanotechnology The University of Queensland Brisbane Queensland Australia. Argonne National Laboratory Lemont IL USA. Analytical Biosciences Division of Systems Biomedicine and Pharmacology Leiden Academic Centre for Drug Research Leiden University Leiden the Netherlands. Department of Systems Biology Centro Nacional de Biotecnología Consejo Superior de Investigaciones Científicas (CNB-CSIC) Madrid Spain. Centro de Biotecnología y Genómica de Plantas (CBGP UPM-INIA) Universidad Politécnica de Madrid (UPM) - Instituto Nacional de Investigación y Tecnología Agraria y Alimentaria (INIA) Madrid Spain. Department of Animal and Aquacultural Sciences Faculty of Biosciences Norwegian University of Life Sciences Oslo Norway

An amendment to this paper has been published and can be accessed via a link at the top of the paper.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An ADMM + Consensus Based Distributed Algorithm for Dynamic Economic Power Dispatch in Smart Grid

An ADMM + Consensus Based Distributed Algorithm for Dynamic ...

引用

第三十四届中国控制会议

作者： Hao Xing Zhiyun Lin Minyue Fu Department of Control Science and Engineering Zhejiang University State Key Laboratory of Industrial Control Technology College of Electrical Engineering Zhejiang University School of Electrical Engineering and Computer Science University of Newcastle

ISBN: (纸本)9781467374439

In this paper, we propose a distributed algorithm for the dynamic economic dispatch problem(DEDP) in a smart grid scenario. Different from the static economic dispatch problem(SEDP), the DEDP aims at minimizing the aggregate operating costs of a group of generators over a time period with ramp rate constraints. The proposed algorithm is based on the average consensus algorithm on undirected graphs and the alternating direction method of multipliers(ADMM). Our algorithm is distributed in the sense that no leader or master nodes are needed, while all the nodes(generators) conduct local computation and merely communicate with their neighbors. Convergence analysis shows that the proposed algorithm converges to the optimal solution.

关键词： Economic Dispatch,Dynamic Economic Dispatch,Distributed Convex Optimization,Smart Grid

来源：评论

学校读者我要写书评

暂无评论

Design and analysis of an adaptive RBF neural network controller for two-eye robot visual system

引用

Journal of Computational Information Systems 2014年第17期10卷 7517-7527页

作者： Li, Guoyou Li, Hengrui Zhang, Boqiang Key Laboratory of Industrial Computer Control Engineering of Hebei Province Yanshan University Qinhuangdao China

Aiming at solving the problem of control performance due to the inaccuracy in the two-eye robot visual servoing system modeling, an RBF neural network based on the adaptive algorithm is proposed, which is used to identify the uncertainties of the modeling. A dynamic control law is put forward for compensating the uncertainties of the modeling, an adaptive law is put forward to ensure the boundness of the neural network's weights and a kinematic control law is put forward which takes the errors between the actual position and the target position of the manipulators as input. The stability of the two control laws is demonstrated using the Lyapunov stability theorems, and the stability of the manipulator system which is under the proposed control laws is illustrated. The results, which are obtained from the Matlab simulation, verify the high performance of the control strategy.

关键词： Kinematics

来源：评论

学校读者我要写书评

暂无评论

Utility maximization for Electric Vehicle charging with admission control and scheduling

Utility maximization for Electric Vehicle charging with admi...

引用

IEEE International Conference on Communications (ICC)

作者： Zhe Wei Jianping He Min Xing Lin Cai Department of Electrical & Computer Engineering University of Victoria BC Canada State Key Laboratory of Industrial Control Technology Zhejiang University China

How to coordinate multiple Electric Vehicles' (EVs) charging demands to satisfy the requirements of the customers and also maximize the profit for the charging station is an important and challenging problem. Most of the existing works mainly focus on the interest of one side. In this paper, we develop a utility based multi-charger framework to ensure a win-win situation for both the customers and the charging station. We first propose an admission control algorithm to guarantee that the non-flexible charging requirements of all admitted EVs can be satisfied before their departure time. Then, we encourage all EVs to take more charging flexibility by setting an attractive price for the additional electricity to be taken by the EVs. To maximize the profit of the charging station, a utility based charging scheduling algorithm is proposed. Extensive simulations based on practical EV charging information have been conducted, which demonstrate the effectiveness of the proposed algorithms. The results show that the proposed approach can outperform the state-of-the-art one in terms of total utility, so that the charging station can enjoy a higher profit and the customers can enjoy more cost savings.

关键词： Charging stations Admission control Scheduling algorithms Optimal scheduling Algorithm design and analysis Scheduling Energy states

来源：评论

学校读者我要写书评

暂无评论

Fuzzy dynamic output-feedback control for markov jump fuzzy bilinear system

引用

ICIC Express Letters, Part B: Applications 2015年第10期6卷 2883-2890页

作者： Chang, Ru Fang, Yiming Liu, Le Key Lab of Industrial Computer Control Engineering of Hebei Province College of Electric Engineering Yanshan University China National Engineering Research Center for Equipment and Technology of Cold Strip Rolling No. 438 Hebei Ave QinhuangdaoP.R China

Fuzzy dynamic output-feedback control problem is investigated for a class of fuzzy bilinear systems with Markovian jumping parameters. The transition probability matrix is assumed to be partly unknown. Based on Takagi-Sugeno (T-S) fuzzy bilinear model, a nonlinear dynamic output-feedback controller is first constructed, and in terms of linear matrix inequalities techniques, the sufficient conditions on the stochastic stability of the closed-loop fuzzy bilinear jump system are presented and proved. Finally, a numerical example is provided to illustrate the effectiveness of the proposed method. ©, 2015 ICIC Express Letters *** Rights Reserved.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Distributed Kalman Filter for Relative Sensing Networks

Distributed Kalman Filter for Relative Sensing Networks

引用

第三十四届中国控制会议

作者： Shiyuan Lu Che Lin Zhiyun Lin Ronghao Zheng Gangfeng Yan College of Electrical Engineering Zhejiang University State Key Laboratory of Industrial Control Technology Zhejiang University School of Electrical Engineering and Computer Science University of Newcastle

ISBN: (纸本)9781467374439

This paper deals with the distributed estimation problem in a relative sensing network. Each node is governed by a homogeneous dynamic model and has the measurements of relative states between itself and its neighbors. A subset of nodes in the network, called anchor nodes, can additionally have the measurements of their own absolute states. The relative sensing network is modeled by a bidirectional graph. Information about the state and covariance is exchanged locally to implement a collaborative estimation scheme. A centralized optimal estimator is constructed and three distributed suboptimal estimators based on the Kalman ltering technique are then designed. The distributed estimators require local communication only and are applicable in large scale systems. Their performances are compared and discussed through simulations.

关键词： Relative sensing network,Distributed estimation,Kalman lter

来源：评论

学校读者我要写书评

暂无评论

control of epileptiform spikes based on nonlinear unscented Kalman filter

引用

Chinese Physics B 2014年第1期23卷 41-48页

作者：刘仙高庆李小俚 Key Lab of lndustrial Computer Control Engineering of Hebei Province Institute of Electrical Engineering Yanshan University Qinhuangdao 066004 China

A new control strategy based on nonlinear unscented Kalman filter(UKF) is proposed for a neural mass model that serves as a model for simulating real epileptiform stereo-electroencephalographic (SEEG) signals. The UKF is used as an observer to estimate the state from the noisy measurement because it has been proved to be effective for state estimation of nonlinear systems. A UKF controller is constructed via the estimated state and is illustrated to be effective for epileptiform spikes suppression of aforementioned model by numerical simulations.

关键词： unscented Kalman filter(UKF) control epileptiform spike closed-loop control neural mass model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：