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

Time-free solution to SAT problem by P systems with active membranes and standard cell division rules

NATURAL COMPUTING 2015年第4期14卷 673-681页

作者： Song, Bosheng Song, Tao Pan, Linqiang Huazhong Univ Sci & Technol Sch Automat Key Lab Image Informat Proc & Intelligent Control Wuhan 430074 Hubei Peoples R China

P systems are a class of distributed and parallel computing models inspired by the structure and the functioning of a single cell and complexes of cells. The computational efficiency of P systems with active membranes has been investigated widely with the assumption that the application of rules is completed in exactly one time unit. However, in biological facts, different biological processes may take different times to complete, and the execution time of certain biological process could vary because of external uncontrollable conditions. With this biological motivation, in this work, we solve SAT problem by a family of P systems with active membranes in a time-free manner in the sense that the correctness of the solution does not depend on the precise timing of the involved rules. In such a solution, standard cell division rules for elementary membranes are applied: the newly generated membranes have the same label with their parent membrane. This result answers an open problem formulated in Song et al. (Theor Comput Sci 529:61-68, 2014).

关键词： Membrane computing P system Time-free solution NP-complete problem

来源：评论

学校读者我要写书评

暂无评论

Computational efficiency and universality of timed P systems with active membranes

引用

THEORETICAL COMPUTER SCIENCE 2015年第C期567卷 74-86页

作者： Song, Bosheng Pan, Linqiang Huazhong Univ Sci & Technol Sch Automat Key Lab Image Informat Proc & Intelligent Control Wuhan 430074 Hubei Peoples R China

P systems are a class of computational models inspired by the structure and the functioning of a living cell. In the semantics of P systems, there exists a global clock, which marks the time for the system, and the execution time of each rule takes exactly one time unit. However, in living cells, the execution time of different biochemical reactions is dependent on many uncontrollable factors, and it is hard to know precisely the specific execution time of a reaction. In this work, with this biological inspiration, we consider the class of P systems with active membranes that are "robust" against the execution time of rules. Specifically, we give a time-free uniform solution to the SAT problem using P systems with active membranes, where the constructed P system can solve a family of instances with an arbitrarily given size, and the execution time of the involved rules has no influence on the correctness of the solution. We also prove that any Turing computable set of numbers can be generated by a time-free P system with active membranes in the sense that the set of numbers generated by the given P system with active membranes does not depend on the execution time of rules. (C) 2014 Elsevier B.V. All rights reserved.

关键词： Membrane computing P system Time-free solution Active membrane SAT Universality

来源：评论

学校读者我要写书评

暂无评论

Color and Luminance Separated Enhancement for Low-Light images with Brightness Guidance

引用

SENSORS 2024年第9期24卷 2711页

作者： Zhang, Feng Liu, Xinran Gao, Changxin Sang, Nong Huazhong Univ Sci & Technol Sch Artificial Intelligence & Automat Key Lab Image Proc & Intelligent Control Wuhan 430074 Peoples R China

Existing retinex-based low-light image enhancement strategies focus heavily on crafting complex networks for Retinex decomposition but often result in imprecise estimations. To overcome the limitations of previous methods, we introduce a straightforward yet effective strategy for Retinex decomposition, dividing images into colormaps and graymaps as new estimations for reflectance and illumination maps. The enhancement of these maps is separately conducted using a diffusion model for improved restoration. Furthermore, we address the dual challenge of perturbation removal and brightness adjustment in illumination maps by incorporating brightness guidance. This guidance aids in precisely adjusting the brightness while eliminating disturbances, ensuring a more effective enhancement process. Extensive quantitative and qualitative experimental analyses demonstrate that our proposed method improves the performance by approximately 4.4% on the LOL dataset compared to other state-of-the-art diffusion-based methods, while also validating the model's generalizability across multiple real-world datasets.

关键词： low-light image enhancement diffusion models Retinex decomposition strategy brightness guidance

来源：评论

学校读者我要写书评

暂无评论

An Independent Component Analysis Based Estimation of Ambulatory Blood Pressure from the Radial Pulse Waveform

引用

JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE 2015年第7期12卷 1234-1241页

作者： Zhang, Zheng Chen, Zhihua He, Long Huazhong Univ Sci & Technol Sch Automat Key Lab Image Informat Proc & Intelligent Control Wuhan 430074 Hubei Peoples R China

Continuous ambulatory blood pressure (ABP) records may be an important independent determinant to the better prevention and diagnosis of cardiovascular disease. The purpose of this study is to develop and validate a novel application of independent component analysis (ICA) based auto-regression forecasting model (ICA-ARF) to noninvasively, continuously and conveniently derive ABP from the radial artery pressure waveform (RAPWF) in humans. RAPWF is acquired using a pressure transducer worn on the wrist, so it may perturbed by many factors, such as the tightness of wrist strap, the location of sensor and so on. To eliminate the effect of correlativity among measurement factors, ICA method is used to decompose the raw signal and extract the independent component which is affected by blood pressure (BP) only. Based on the spectrum density of independent component, an auto-regression forecasting model is set up to derive BR An experiment to validate the prediction model is done and the results show an excellent correlation and agreement between directly measured BP which is measured by Omron electronic BP monitor (Type: HEM-7012). When the ICA-ARF is used, the error reduces from 7.4 mmHg to 2.55 mmHg. The novel methods have important implications for the simplification of noninvasive CASP measurement and 24-hour ambulatory BP monitoring and assessment of central aortic blood pressure.

关键词： Ambulatory Blood Pressure Radial Artery Pressure Waveform Independent Component Analysis Auto-Regression Forecasting Model

来源：评论

学校读者我要写书评

暂无评论

On String Languages Generated by Spiking Neural P Systems with Astrocytes

引用

FUNDAMENTA INFORMATICAE 2015年第3期136卷 231-240页

作者： Kong, Yuan Zhang, Zheng Liu, Yang Huazhong Univ Sci & Technol Sch Automat Key Lab Image Informat Proc & Intelligent Control Wuhan 430074 Hubei Peoples R China

Spiking neural P systems with astrocytes (SNPA systems, for short) are a class of distributed parallel computing devices inspired from the way spikes pass along the synapses between neurons. In this work, we investigate the computational power of SNPA systems as language generators. Specifically, representations of recursively enumerable languages and of regular languages are given by means of SNPA systems without forgetting rules. Furthermore, a simple finite language is produced which can be generated by SNPA systems, while it cannot be generated by usual spiking neural P systems. These results show that the astrocytes are a powerful ingredient for spiking neural P systems as language generators.

关键词： Membrane computing spiking neural P system astrocyte

来源：评论

学校读者我要写书评

暂无评论

Computation of Upper Bounds for the Solution of Continuous Algebraic Riccati Equations

引用

CIRCUITS SYSTEMS AND SIGNAL processing 2013年第3期32卷 1477-1488页

作者： Zhang, Wei Su, Housheng Wang, Jia Shanghai Univ Engn Sci Lab Intelligent Control & Robot Shanghai 201620 Peoples R China Huazhong Univ Sci & Technol Dept Control Sci & Engn Key Lab Educ Minist Image Proc & Intelligent Control Wuhan 430074 Peoples R China

This paper is considered with the computation of upper bounds for the solution of continuous algebraic Riccati equations (CARE). A parameterized upper bound for the solution of CARE is proposed by utilizing some linear algebraic techniques. Based on this bound, more precise estimation can be achieved by means of carefully choosing the bound's parameters. Iterative algorithm is also developed to obtain more sharper solution bounds. Comparing with some existing results in the literature, the proposed bounds are less restrictive and more effective. The effectiveness and advantages of the proposed approach are illustrated via a numerical example.

关键词： Continuous algebraic Riccati equation (CARE) Lyapunov equation Matrix bound Iterative algorithm

来源：评论

学校读者我要写书评

暂无评论

A New Cooperation Framework With a Fair Clearing Scheme for Energy Storage Sharing

引用

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2022年第9期18卷 5893-5904页

作者： He, Xuan Xiao, Jiang-Wen Cui, Shi-Chang Liu, Xiao-Kang Wang, Yan-Wu Huazhong Univ Sci & Technol Key Lab Image Proc & Intelligent Control Sch Artificial Intelligence & Automat Wuhan 430074 Peoples R China

This article proposes a new cooperation framework of energy storage sharing that comprises prosumers, energy storage providers (ESPs), and a middle agent to achieve social energy optimality. In this framework, the prosumers share multiple energy storages of the ESPs via the agent. An energy sharing optimization problem minimizing the total energy cost is formulated involving the energy storage operation, the shiftable load schedule, and the energy trading with the utility. To solve the problem, a fast alternating direction multiplier method (ADMM) with restart which converges faster than traditional ADMM is adopted. Furthermore, a clearing scheme, named as an ideal profit realization ratio distribution model is introduced to distribute the participants' net profits fairly. Simulation results show that the energy costs can be substantially reduced, and the net profit distribution is relatively fairer compared with the widely used Nash bargaining scheme, which ensures the feasibility of our framework in real applications.

关键词： Energy storage Costs Informatics Games Degradation Convex functions Resource management Clearing scheme energy cooperation energy storage sharing prosumer

来源：评论

学校读者我要写书评

暂无评论

control strategy power management, efficiency-optimization and operating-safety of a 5-kW solid oxide fuel cell system

引用

ELECTROCHIMICA ACTA 2015年 177卷 237-249页

作者： Zhang, Lin Jiang, Jianhua Cheng, Huan Deng, Zhonghua Li, Xi Huazhong Univ Sci & Technol Sch Automat Key Lab Educ Minist Image Proc & Intelligent Control Wuhan 430074 Peoples R China

The slow power tracking, operating safety, especially the fuel exhaustion, and high efficiency considerations are the key issues for integrated solid oxide fuel cell (SOFC) systems during power step up transients, resulting in the relatively poor dynamic capabilities and make the transient load following very challenging and must be enhanced. To this end, this paper first focus on addressing the efficiency optimization associated with simultaneous power and thermal management of a 5-kW SOFC system. Particularly, a traverse optimization process including cubic convolution interpolation algorithm are proposed to obtain optimal operating points (OOPs) with the maximum efficiency. Then this paper investigate the current implications on system step-up transient performance, then a two stage preconditioning current strategy and a feedback power reference control scheme is proposed for load stepup transients to balance fast load following and fuel starvation, after that safe thermal transient is validated. Simulation results show the efficacy of the control design by demonstrating the fast load following ability while maintaining the safe operation, thus safe;efficient and fast load transition can be achieved. (C) 2015 Elsevier Ltd. All rights reserved.

关键词： Solid oxide fuel cell(SOFC) Optimal operating points(OOPs) pre-conditioning current strategy feedback power reference control scheme load step-up transients

来源：评论

学校读者我要写书评

暂无评论

Distributed Privacy-Preserving Secondary control for DC Microgrids via State Decomposition

引用

IEEE TRANSACTIONS ON SUSTAINABLE ENERGY 2024年第2期15卷 726-734页

作者： Yuan, Qi-Fan Wang, Yan-Wu Liu, Xiao-Kang Liu, Zhi-Wei Huazhong Univ Sci & Technol Sch Artificial Intelligence & Automat Key Lab Image Proc & Intelligent Control Wuhan 430074 Peoples R China

In this article, a distributed secondary controller is proposed for an islanded DC microgrid to preserve privacy information of the local power sources, while achieving current sharing among the generators and voltage regulation of the DC bus. Based on the state decomposition mechanism, the original secondary control signal of each generator is decomposed into two parts: one takes over the role of communicating with neighbors, while the other affects the evolution of the former one and is invisible to the neighbors. Besides, random noises are introduced to mask the true value of the transmitted signals. Under the proposed controller, the current data of the local generators can be kept confidential, as well as the associated privacy power information. In this way, the power security risks caused by privacy information leakage can be avoided. Lastly, both simulation and experiment tests are imposed to verify the effectiveness of the proposed control scheme.

关键词： Privacy Microgrids Voltage control Generators Power control Matrix converters Security DC microgird distributed secondary control privacy preservation state decomposition current sharing voltage regulation

来源：评论

学校读者我要写书评

暂无评论

On Languages Generated by Cell-Like Spiking Neural P Systems

IEEE TRANSACTIONS ON NANOBIOSCIENCE

引用

IEEE TRANSACTIONS ON NANOBIOSCIENCE 2016年第5期15卷 455-467页

作者： Wu, Tingfang Zhang, Zhiqiang Pan, Linqiang Huazhong Univ Sci & Technol Sch Automat Key Lab Image Informat Proc & Intelligent Control Wuhan 430074 Hubei Peoples R China

Cell-like spiking neural P systems are a variant of standard spiking neural P systems, which have a cell-like instead of neural-like architecture. It has been proved that cell-like spiking neural P systems can generate Turing computable sets of numbers. In this work, the computational power of cell-like spiking neural P systems as language generators is investigated. Characterization of finite languages is obtained with cell-like spiking neural P systems when the number of spikes produced is less than the number of spikes consumed, and characterization of recursively enumerable languages is obtained by cell-like spiking neural P systems when there is no restriction on the number of produced spikes. The relationships of the languages generated by cell-like spiking neural P systems with regular, non-context-free and non-semilinear languages are also investigated.

关键词： Bio-inspired computing membrane computing register machine spiking neural P system Turing universality

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：