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

The propositional normal default logic and the finite/infinite injury priority method

Science China(information Sciences) 2017年第9期60卷 99-108页

作者： Wei LI Yuefei SUI Yuhui WANG State Key Laboratory of Software Development Environment Beihang University Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of Sciences School of Computer and Control Engineering University of Chinese Academy of Sciences

In propositional normal default logic, given a default theory(?, D) and a well-defined ordering of D, there is a method to construct an extension of(?, D) without any injury. To construct a strong extension of(?, D) given a well-defined ordering of D, there may be finite injuries for a default δ∈ D. With approximation deduction ?s in propositional logic, we will show that to construct an extension of(?, D) under a given welldefined ordering of D, there may be infinite injuries for some default δ∈ D.

关键词： default extension strong extension finite/infinite injury priority method recursively enumerable sets

来源：评论

学校读者我要写书评

暂无评论

SAR image Despeckling Using Scale Mixtures of Gaussians in the Nonsubsampled Contourlet Domain

引用

Chinese Journal of Electronics 2015年第1期24卷 205-211页

作者： CHANG Xia JIAO Licheng LIU Fang SHA Yuheng Institute of Image Processing and Understanding School of Mathematics and Information Science Beifang University of Nationalities Key Laboratory of Intelligent Perception and Image Understanding of Ministry of Education of China International Research Center for Intelligent Perception and Computation Xidian University School of Computer Science and Technology Xidian University

The edge and contour details in SAR images are important for subsequent processing tasks. The multiscale geometric analysis method — Nonsubsampled contourlet transform(NSCT) is able to capture the geometric information of SAR images effectively. Describing the aggregation behavior of the neighborhoods coefficients, the scale mixtures of Gaussians model has exhibited favorable performances. A novel SAR image despeckling method is presented by constructing the scale mixtures of Gaussians model of NSCT. This method models the SAR images using the multiscale and multidirection information in NSCT domain. The dependency relationship of NSCT neighborhoods coefficients are also taken into consideration in our model. The speckle noise coefficients are shrinkaged by statistical prior estimation based on SAR image model constructed. Experimental results demonstrate that our method is advantageous at directional information preservation and the speckle restraint.

关键词： Synthetic aperture radar(SAR) image despeckling Stationary wavelet transform Nonsubsampled contourlet transform Scale mixtures of Gaussians model.

来源：评论

学校读者我要写书评

暂无评论

Short-Term Residential Load Forecasting via Pooling-Ensemble Model with Smoothing Clustering

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2024年第7期5卷 3690-3702页

作者： Xiao, Jiang-Wen Fang, Hongliang Wang, Yan-Wu Huazhong University of Science and Technology Ministry of Education School of Artificial Intelligence and Automation The Key Laboratory of Image Processing and Intelligent Control Wuhan430074 China

Short-term residential load forecasting is essential to demand side response. However, the frequent spikes in the load and the volatile daily load patterns make it difficult to accurately forecast the load. To deal with these problems, this article proposes a smoothing clustering method for daily load clustering and a pooling-ensemble model for one day ahead load forecasting. The whole short-term load forecasting framework in this article contains three steps. Specifically and first, the states of the residents are obtained by clustering the daily load curves with the proposed smoothing clustering method. Second, a weighted mixed Markov model is built to predict the probability distribution of the load state in the next day. Third, multiple predictors in the pooling-ensemble model are selected for different states and the load is forecasted by weighing the results of the multiple predictors based on the predicted states. Results of the case studies and comparison studies on two public datasets verify the advantages of the smoothing clustering method and the pooling-ensemble model. © 2020 IEEE.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

Non-Rigid Body Interpolation Based on Generalized Morphologic Morphing

引用

International Journal of image and Graphics 2003年第2期3卷 325-344页

作者： Liu, Wenyu Li, H.U.A. Zhu, Guangxi Department of Electronics and Information Engineering State Education Commission Laboratory for Image Processing and Intelligent Control Huazhong University of Science and Technology Wuhan Hubei430074 China

This paper presents a new technique for non-rigid body interpolation based on generalized morphologic morphing. Non-rigid body interpolation can be divided into non-rigid body metamorphosis and local rigid body rotation. By constructing mappings between the two convex subsets, this approach can solve the metamorphosis problem of two non-homotopic objects. Based on the model of the normal vector sphere for polyhedrons, a fast morphologic summation algorithm for two convex polyhedrons is also proposed;this method avoids much excrescent computation and is faster than most classical implementation. This paper provides the proof of the principle of metamorphosis and discusses the different results of the metamorphosis process for the different objects. It is shown through the experiments that this approach can be applied to automatic font composition and interpolation between two key-frames in 3D computer animation as well as in many other practical applications. © 2003 World Scientific Publishing Company.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

controllable deoxyribonucleic acids sub-tile self-assembly by deoxyribonucleic acids strand displacement

引用

Journal of Computational and Theoretical Nanoscience 2015年第10期12卷 3774-3780页

作者： Wang, Yanfeng Zhao, Taotao Shi, Xiaolong Li, Mengmeng Cui, Guangzhao School of Electrical and Information Engineering Henan Key Lab of Information-Based Electrical Appliances Zhengzhou University of Light Industry Zhengzhou China Key Laboratory of Image Information Processing and Intelligent Control School of Automation Huazhong University of Science and Technology Wuhan China

Here we report a controllable four DNA sub-tiles, self-assembling into 4-arm DNA tiles, under control of a DNA strand displacement based on DNA sequential circuit. The motif is encoded, compiled and simulated successively in Visual DSD software. The simulation results show that the four kinds of sub-tiles in the motif combine to their neighbors one after another with a certain time delay and finally form into 4-arm DNA tiles. The formation of the 4th arm of a 4-arm DNA tile indicates that all the 4-arm DNA tiles have been assembled, which implies high productivity of the 4-arm DNA tiles. We also analyze the time responses of the DNA sequence circuit by adjusting the concentration proportions of reactants and/or ordering bind and unbind rates of toeholds in simulation. These simulation results demonstrate that high concentration proportions of reactants and/or toeholds reacting at ascending order rates can shorten the time response more sharply than that low concentration proportion of reactants and/or in a descending order. The motif furthers the integration for DNA sub-tile self-assembly and DNA strand displacement. Copyright © 2015 American Scientific Publishers.

关键词： DNA

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Terminal Guidance for Hypervelocity Vehicles Impact in Specific Direction and Speed

Nonlinear Terminal Guidance for Hypervelocity Vehicles Impac...

引用

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

作者： Kun Hu Lei Liu Yongji Wang Zhishen Wang Key Laboratory of Ministry of Education for Image Processing & Intelligent Control Department of Control Science & Engineering Huazhong University of Science & Technology

ISBN: (纸本)9781467355322

The terminal guidance problem of a hypervelocity gliding vehicle to intercept a stationary target in the planar scenario is considered. In addition to impact position accuracy, the guidance law must meet the impact angle and speed demand. This problem is formulated as an infinite-time horizon nonlinear regulator problem, and solved with the state-dependent Riccati equation (SDRE) control technique. We convert the system to a linear-like structure with state-dependent coefficient (SDC) matrices and derive a closed-loop state-feedback control law using the SDRE method. A new state is introduced concerning the impact speed constraint. By rotating the coordinate system, the guidance scheme is extended to satisfy arbitrary impact angle. The state weighting matrix is chosen as the function of time-to-go to include the distance information between the vehicle and target. The numerical simulations are carried out for different impact angles and speeds, the results of which verify the effectiveness of the proposed guidance approach.

关键词： Terminal Guidance, Nonlinear Regulator, State-dependent Riccati Equation

来源：评论

学校读者我要写书评

暂无评论

A NOTE ON STABILITY OF THE SPLIT-STEP BACKWARD EULER METHOD FOR LINEAR STOCHASTIC DELAY INTEGRO-DIFFERENTIAL EQUATIONS

引用

Journal of Systems Science & Complexity 2012年第5期25卷 873-879页

作者： Feng JIANG Yi SHEN Xiaoxin LIAO Department of Control Science and Engineering Huazhong University of Science and Technology School of Statistics and Mathematics Zhongnan University of Economics and Law Department of Control Science and Engineering the Key Laboratory of Ministry of Eduction for Image Processing and Intelligent ControlHuazhong University of Science and Technology

In the literature （Tan and Wang, 2010）, Tan and Wang investigated the convergence of the split-step backward Euler （SSBE） method for linear stochastic delay integro-differential equations （SDIDEs） and proved the mean-square stability of SSBE method under some condition. Unfortu- nately, the main result of stability derived by the condition is somewhat restrictive to be applied for practical application. This paper improves the corresponding results. The authors not only prove the mean-square stability of the numerical method but also prove the general mean-square stability of the numerical method. Furthermore, an example is given to illustrate the theory.

关键词： General mean-square stability mean-square stability split-step backward Euler method stochastic delay integro-differential equations.

来源：评论

学校读者我要写书评

暂无评论

Event-triggered Consensus Of Nonlinear Multi-Agent Systems With Nonlinear Interconnections

Event-triggered Consensus Of Nonlinear Multi-Agent Systems W...

引用

第三十二届中国控制会议

作者： YIN Xiuxia YUE Dong Department of Control Science and Engineering and the Key Laboratory of Ministry of Education for Image Processing and Intelligent Control Huazhong University of Science and Technology

ISBN: (纸本)9781479900305

This paper investigates the consensus problem for a set of nonlinear multi-agent systems with nonlinear interconnections. First, in order to reduce the communication burden in the multi-agent network, a distributed event-triggered consensus control is designed by taking into account the effect of the nonlinear interconnections. Then, based on the Lyapunov functional method and the Kronecker product technique, sufficient conditions are obtained to guarantee the consensus in the form of linear matrix inequality (LMI). Finally, a simulation example is proposed to illustrate the effectiveness of the developed theory.

关键词： Consensus, Multi-Agent System (MAS), Nonlinear Interconnection, Event-Triggered control, LMI.

来源：评论

学校读者我要写书评

暂无评论

A WOA-based algorithm for parameter optimization of support vector regression and its application to condition prognostics 36

A WOA-based algorithm for parameter optimization of support ...

引用

第36届中国控制会议

作者： LI Sai FANG Huajing School of Automation Key Laboratory of Image Processing and Intelligent ControlMinistry of EducationHuazhong University of Science and Technology

ISBN: (纸本)9781538629185

Condition monitoring is very important for system safety and condition-based *** series prediction capabilities of machine learning like support vector regression(SVR) can be utilized for ***,choosing optimal parameters for SVR is an important step in SVR model design,which heavily affects the performance of ***,a whale optimization algorithm(WOA) based algorithm is proposed for SVR parameters *** proposed algorithm has been evaluated through some benchmark ***,the proposed method with moving window technology is used to condition prognostics of the Tennessee Eastman *** and engineering application show that the SVR-WOA method is effective,by noting that the computation time is shortened in some application scenarios.

关键词： Support vector regression Whale optimization algorithm Parameter optimization Condition prognostics

来源：评论

学校读者我要写书评

暂无评论

A battery management system with two-stage equalization 29

A battery management system with two-stage equalization

引用

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

作者： Shengping Hong Jianhua Jiang Xi Li School of Automation Key Laboratory of Education Ministry for Image Processing and Intelligent ControlHuazhong University of Science & Technology

ISBN: (纸本)9781509046584

This paper presents a lithium-ion battery pack equalization system and method. The batteries are divided into several groups, which are connected in parallel with the bidirectional DC-DC converters respectively, and the output of DC-DC converters ends are connected in series with each other as a DC bus. The scheme divides equalization of the cells into two stages: intra-group equalization and inter-group equalization, and the two stages are respectively realized by battery time-sharing-access structure and stack energy-sharing structure. Then equalization strategy of the distributed battery energy storage system under two stages is proposed, especially the Single Cell Battery Access Timing Algorithm and MPC Algorithm. The simulation results show that the proposed battery management structure and control strategy can realize fast and accurate SOC equalization.

关键词： Battery management system(BMS) cell equalization battery time-sharing-access structure stack energy-sharing structure Single Cell Battery Access Timing Algorithm MPC Algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：