期刊文献+
共找到1,850篇文章
< 1 2 93 >
每页显示 20 50 100
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
1
作者 Koichi Kobayashi Kunihiko Hiraishi 《Applied Mathematics》 2016年第15期1734-1747,共15页
In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the... In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the electricity price at each time. A PBN is widely used as a model of complex systems, and is appropriate as a model of real-time pricing systems. Using the PBN-based model, real-time pricing systems can be quantitatively analyzed. In this paper, we propose a verification method of real-time pricing systems using the PBN-based model and the probabilistic model checker PRISM. First, the PBN-based model is derived. Next, the reachability problem, which is one of the typical verification problems, is formulated, and a solution method is derived. Finally, the effectiveness of the proposed method is presented by a numerical example. 展开更多
关键词 Model Checking probabilistic boolean networks Real-Time Pricing
在线阅读 下载PDF
DAMAGE CLASSIFICATION BY PROBABILISTIC NEURAL NETWORKS BASED ON LATENT COMPONENTS FOR TIME-VARYING SYSTEM 被引量:2
2
作者 袁健 周燕 吕欣 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2009年第4期259-267,共9页
A new approach to damage classification for health monitoring of a time-varylng system is presented. The functional-series time-dependent auto regressive moving average (FS-TARMA) time series model is applied to the... A new approach to damage classification for health monitoring of a time-varylng system is presented. The functional-series time-dependent auto regressive moving average (FS-TARMA) time series model is applied to the vibration signal observed in the time-varying system for estimating the TAR/TMA parameters and the innovation variance. These parameters are the functions of the time, represented by a group of projection coefficients on the certain functional subspace with specific basis functions. The estimated TAR/TMA parameters and the innovation variance are further used to calculate the latent components (LCs) as the more informative data for health monitoring evaluation, based on an eigenvalue decomposition technique. LCs are then combined and reduced to numerical values (NVs) as feature sets, which are input to a probabilistic neural network (PNN) for the damage classification. For the evaluation of the proposed method, numerical simulations of the damage classification for a tlme-varylng system are used, in which different classes of damage are modeled by the mass or stiffness reductions. It is demonstrated that the method can identify the damages in the course of operation and the change of parameters on the time-varying background of the system. 展开更多
关键词 damage detection time-varying system feature extraction/reduction probabilistic neural networks
在线阅读 下载PDF
Remote Sensing Image Segmentation with Probabilistic Neural Networks 被引量:4
3
作者 LIU Gang 《Geo-Spatial Information Science》 2005年第1期28-32,49,共6页
This paper focuses on the image segmentation with probabilistic neural networks(PNNs).Back propagation neural networks(BpNNs)and multi perceptron neural networks(MLPs)are also considered in this study.Especially,this ... This paper focuses on the image segmentation with probabilistic neural networks(PNNs).Back propagation neural networks(BpNNs)and multi perceptron neural networks(MLPs)are also considered in this study.Especially,this paper investigates the implementation of PNNs in image segmentation and optimal processing of image segmentation with a PNN.The comparison between image segmentations with PNNs and with other neural networks is given.The experimental results show that PNNs can be successfully applied to image segmentation for good results. 展开更多
关键词 image segmentation probabilistic neural network(PNN)
在线阅读 下载PDF
Control of random Boolean networks via average sensitivity of Boolean functions 被引量:1
4
作者 陈士剑 洪奕光 《Chinese Physics B》 SCIE EI CAS CSCD 2011年第3期347-353,共7页
In this paper, we discuss how to transform the disordered phase into an ordered phase in random Boolean networks. To increase the effectiveness, a control scheme is proposed, which periodically freezes a fraction of t... In this paper, we discuss how to transform the disordered phase into an ordered phase in random Boolean networks. To increase the effectiveness, a control scheme is proposed, which periodically freezes a fraction of the network based on the average sensitivity of Boolean functions of the nodes. Theoretical analysis is carried out to estimate the expected critical value of the fraction, and shows that the critical value is reduced using this scheme compared to that of randomly freezing a fraction of the nodes. Finally, the simulation is given for illustrating the effectiveness of the proposed method. 展开更多
关键词 random boolean network CONTROL average sensitivity
原文传递
Morgan's problem of Boolean control networks 被引量:1
5
《Control Theory and Technology》 EI CSCD 2017年第4期316-326,共11页
This paper investigates the Morgan's problem of Boolean control networks. Based on the matrix expression of logical functions, two key steps are proposed to solve the problem. First, the Boolean control network is co... This paper investigates the Morgan's problem of Boolean control networks. Based on the matrix expression of logical functions, two key steps are proposed to solve the problem. First, the Boolean control network is converted into an output- decomposed form by constructing a set of consistent outputfriendly subspaces, and a necessary and sufficient condition for the existence of the consistent output-friendly subspaces is obtained. Secondly, a type of state feedback controllers are designed to solve the Morgan's problem if it is solvable. By solving a set of matrix equations, a necessary and sufficient condition for converting an output-decomposed form to an input-output decomposed form is given, and by verifying the output controllability matrix, the solvability of Morgan's problem is obtained. 展开更多
关键词 boolean control network Morgan's problem regular subspace y-friendly subspace semi-tensor product ofmatrices
原文传递
Quantum Logic Networks for Probabilistic Teleportation of an Arbitrary Three-Particle State 被引量:1
6
作者 QIAN Xue-Mir FANG Jian-Xing ZHU Shi-Qun XI Yong-Jun 《Communications in Theoretical Physics》 SCIE CAS CSCD 2005年第4X期611-614,共4页
The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an... The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed. 展开更多
关键词 probabilistic teleportation arbitrary three-particle state quantum logic networks
在线阅读 下载PDF
Asurvey onob vabilit of Boolean control networks 被引量:1
7
作者 Kuize Zhang 《Control Theory and Technology》 EI CSCD 2023年第2期115-147,共33页
Observability is a fundamental property of a partially observed dynamical system,which means whether one can use an input sequence and the corresponding output sequence to determine the initial state.Observability pro... Observability is a fundamental property of a partially observed dynamical system,which means whether one can use an input sequence and the corresponding output sequence to determine the initial state.Observability provides bases for many related problems,such as state estimation,identification,disturbance decoupling,controller synthesis,etc.Until now,fundamental improvement has been obtained in observability of Boolean control networks(BCNs)mainly based on two methods-Edward F.Moore's partition and our observability graph or their equivalent representations found later based on the semitensor product(STP)of matrices(where the STP was proposed by Daizhan Cheng),including necessary and sufficient conditions for different types of observability,extensions to probabilistic Boolean networks(PBNs)and singular BCNs,even to nondeterministic finite-transition systems(NFTSs);and the development(with the help of the STP of matrices)in related topics,such as com-putation of smallest invariant dual subspaces of BNs containing a set of Boolean functions,multiple-experiment observability verification/decomposition in BCNs,disturbance decoupling in BCNs,etc.This paper provides a thorough survey for these topics.The contents of the paper are guided by the above two methods.First,we show that Moore's partition-based method closely relates the following problems:computation of smallest invariant dual subspaces of BNs,multiple-experiment observ-ability verification/decomposition in BCNs,and disturbance decoupling in BCNs.However,this method does not apply to other types of observability or nondeterministic systems.Second,we show that based on our observability graph,four different types of observability have been verified in BCNs,verification results have also been extended to PBNs,singular BCNs,and NFTSs.In addition,Moore's partition also shows similarities between BCNs and linear time-invariant(LTI)control systems,e.g.,smallest invariant dual subspaces of BNs containing a set of Boolean functions in BCNs vs unobservable subspaces of LTI control systems,the forms of quotient systems based on observability decomposition in both types of systems.However,there are essential differences between the two types of systems,e.g.,"all plausible definitions of observability in LTI control systems turn out to be equivalent"(by Walter M.Wonham 1985),but there exist nonequivalent definitions of observability in BCNs;the quotient system based on observability decomposition always exists in an LTI control system,while a quotient system based on multiple-experiment observability decomposition does not always exist in a BCN. 展开更多
关键词 boolean control networks Observability-Moore's partition Observability graph Finite automaton-Semitensor product Disturbance decoupling Invariant subspace
原文传递
Self-Triggered Set Stabilization of Boolean Control Networks and Its Applications 被引量:1
8
作者 Rong Zhao Jun-e Feng Dawei Zhang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第7期1631-1642,共12页
Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control s... Set stabilization is one of the essential problems in engineering systems, and self-triggered control(STC) can save the storage space for interactive information, and can be successfully applied in networked control systems with limited communication resources. In this study, the set stabilization problem and STC design of Boolean control networks are investigated via the semi-tensor product technique. On the one hand, the largest control invariant subset is calculated in terms of the strongly connected components of the state transition graph, by which a graph-theoretical condition for set stabilization is derived. On the other hand, a characteristic function is exploited to determine the triggering mechanism and feasible controls. Based on this, the minimum-time and minimum-triggering open-loop, state-feedback and output-feedback STCs for set stabilization are designed,respectively. As classic applications of self-triggered set stabilization, self-triggered synchronization, self-triggered output tracking and self-triggered output regulation are discussed as well. Additionally, several practical examples are given to illustrate the effectiveness of theoretical results. 展开更多
关键词 boolean control networks(BCNs) output regulation self-triggered control semi-tensor product of matrices set stabilization SYNCHRONIZATION
在线阅读 下载PDF
Pinning sampled-data synchronization for complex networks with probabilistic coupling delay
9
作者 王健安 聂瑞兴 孙志毅 《Chinese Physics B》 SCIE EI CAS CSCD 2014年第5期172-179,共8页
We deal with the problem of pinning sampled-data synchronization for a complex network with probabilistic time-varying coupling delay. The sampling period considered here is assumed to be less than a given bound. With... We deal with the problem of pinning sampled-data synchronization for a complex network with probabilistic time-varying coupling delay. The sampling period considered here is assumed to be less than a given bound. Without using the Kronecker product, a new synchronization error system is constructed by using the property of the random variable and input delay approach. Based on the Lyapunov theory, a delay-dependent pinning sampled-data synchronization criterion is derived in terms of linear matrix inequalities (LMIs) that can be solved effectively by using MATLAB LMI toolbox. Numerical examples are provided to demonstrate the effectiveness of the proposed scheme. 展开更多
关键词 complex network probabilistic time-varying coupling delay sampled-data synchronization pin-ning control
原文传递
Robust network structures for conserving total activity in Boolean networks
10
作者 Shun-ichi AZUMA 《Control Theory and Technology》 EI CSCD 2020年第2期143-147,共5页
One of the typical properties of biological systems is the law o f conservation o f mass,that is,the property that the mass must remain constant over time in a closed chemical reaction system.However,it is known that ... One of the typical properties of biological systems is the law o f conservation o f mass,that is,the property that the mass must remain constant over time in a closed chemical reaction system.However,it is known that Boolean networks,which are a promising model of biological networks,do not always represent the conservation law.This paper thus addresses a kind of conservation law as a generic property of Boolean networks.In particular,we consider the problem of finding network structures on which,for any Boolean operation on nodes,the number of active nodes,i.ev nodes whose state is one,is constant over time.As a solution to the problem,we focus on the strongly-connected network structures and present a necessary and sufficient condition. 展开更多
关键词 boolean network robust network structure structural analysis conservation law
原文传递
Algebraic form and analysis of SIR epidemic dynamics over probabilistic dynamic networks
11
作者 Hongxing Yuan Zengqiang Chen +2 位作者 Zhipeng Zhang Rui Zhu Zhongxin Liu 《Control Theory and Technology》 EI CSCD 2023年第4期602-611,共10页
The outbreak of corona virus disease 2019 has profoundly affected people’s way of life.It is increasingly necessary to investigate epidemics over social networks.This paper studies susceptible-infected-removed(SIR)ep... The outbreak of corona virus disease 2019 has profoundly affected people’s way of life.It is increasingly necessary to investigate epidemics over social networks.This paper studies susceptible-infected-removed(SIR)epidemics via the semi-tensor product.First,a formal susceptible-infected-removed epidemic dynamic model over probabilistic dynamic networks(SIRED-PDN)is given.Based on an evolutionary rule,the algebraic form for the dynamics of individual states and network topologies is given,respectively.Second,the SIRED-PDN can be described by a probabilistic mix-valued logical network.After providing an algorithm,all possible final spreading equilibria can be obtained for any given initial epidemic state and network topology by seeking attractors of the network.And the shortest time for all possible initial epidemic state and network topology profiles to evolve to the final spreading equilibria can be obtained by seeking the transient time of the network.Finally,an illustrative example is given to show the effectiveness of our model. 展开更多
关键词 SIR epidemic probabilistic dynamic networks Final spreading equilibria Semi-tensor product of matrices Algebraic form
原文传递
Attractor-Based Simultaneous Design of the Minimum Set of Control Nodes and Controllers in Boolean Networks
12
作者 Koichi Kobayashi 《Applied Mathematics》 2016年第14期1510-1520,共11页
Design of control strategies for gene regulatory networks is a challenging and important topic in systems biology. In this paper, the problem of finding both a minimum set of control nodes (control inputs) and a contr... Design of control strategies for gene regulatory networks is a challenging and important topic in systems biology. In this paper, the problem of finding both a minimum set of control nodes (control inputs) and a controller is studied. A control node corresponds to a gene that expression can be controlled. Here, a Boolean network is used as a model of gene regulatory networks, and control specifications on attractors, which represent cell types or states of cells, are imposed. It is important to design a gene regulatory network that has desired attractors and has no undesired attractors. Using a matrix-based representation of BNs, this problem can be rewritten as an integer linear programming problem. Finally, the proposed method is demonstrated by a numerical example on a WNT5A network, which is related to melanoma. 展开更多
关键词 boolean networks Integer Linear Programming Minimum Set of Control Nodes Singleton Attractors
在线阅读 下载PDF
Predicting the shrinkage of thermal insulation mortar by probabilistic neural networks
13
作者 Yi-qun DENG Pei-ming WANG 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2010年第3期212-222,共11页
This study explored the potential of using probabilistic neural networks (PNN) to predict shrinkage of thermal insulation mortar.Probabilistic results were obtained from the PNN model with the aid of Parzen non-parame... This study explored the potential of using probabilistic neural networks (PNN) to predict shrinkage of thermal insulation mortar.Probabilistic results were obtained from the PNN model with the aid of Parzen non-parametric estimator of the probability density functions (PDF).Five variables,water-cementitious materials ratio,content of cement,fly ash,aggregate and plasticizer,were employed for input variables,while a category of 56-d shrinkage of mortar was used for the output variable.A total of 192 groups of experimental data from 64 mixtures designed using JMP7.0 software were collected,of which 120 groups of data were used for training the model and the other 72 groups of data for testing.The simulation results showed that the PNN model with an optimal smoothing parameter determined by the curves of the mean square error (MSE) and the number of unrecognized probability densities (UPDs) exhibited a promising capability of predicting shrinkage of mortar. 展开更多
关键词 Mortar Shrinkage probabilistic neural networks (PNN) Thermal insulation
原文传递
Probabilistic Neural Networks based network security management
14
作者 LIU Wu WU Zhi-you +2 位作者 DUAN Hai-xin LI Xing WU Jian-ping 《通讯和计算机(中英文版)》 2008年第2期19-24,共6页
关键词 或然论 人工神经网络 网络安全 安全技术
在线阅读 下载PDF
Probabilistic Safety Analysis of High Speed and Conventional Lines Using Bayesian Networks
15
作者 Zacarias Grande Enrique Castillo +1 位作者 Maria Nogal Alan O’Connor 《Journal of Traffic and Transportation Engineering》 2022年第3期118-125,共8页
A Bayesian network approach is presented for probabilistic safety analysis(PSA)of railway lines.The idea consists of identifying and reproducing all the elements that the train encounters when circulating along a rail... A Bayesian network approach is presented for probabilistic safety analysis(PSA)of railway lines.The idea consists of identifying and reproducing all the elements that the train encounters when circulating along a railway line,such as light and speed limit signals,tunnel or viaduct entries or exits,cuttings and embankments,acoustic sounds received in the cabin,curves,etc.In addition,since the human error is very relevant for safety evaluation,the automatic train protection(ATP)systems and the driver behaviour and its time evolution are modelled and taken into account to determine the probabilities of human errors.The nodes of the Bayesian network,their links and the associated probability tables are automatically constructed based on the line data that need to be carefully given.The conditional probability tables are reproduced by closed formulas,which facilitate the modelling and the sensitivity analysis.A sorted list of the most dangerous elements in the line is obtained,which permits making decisions about the line safety and programming maintenance operations in order to optimize them and reduce the maintenance costs substantially.The proposed methodology is illustrated by its application to several cases that include real lines such as the Palencia-Santander and the Dublin-Belfast lines. 展开更多
关键词 RAILWAY probabilistic safety analysis Bayesian network
在线阅读 下载PDF
Joint Probabilistic Scheduling and Resource Allocation for Wireless Networked Control Systems
16
作者 Meng Zheng Lei Zhang Wei Liang 《IEEE/CAA Journal of Automatica Sinica》 2025年第1期258-260,共3页
Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the... Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the linear quadratic Gaussian(LQG) control cost of WNCSs by optimizing the activation probability of subsystems, the number of uplink repetitions, and the durations of uplink and downlink phases. Simulation results show that PSRA achieves smaller LQG control costs than existing works. 展开更多
关键词 subsystem activation probability linear quadratic gaussian control cost number uplink repetitions wireless networked control systems joint probabilistic scheduling resource allocation method psra linear quadratic gaussian lqg G based activation probability subsystems
在线阅读 下载PDF
基于社交网络的概率犹豫模糊共识群决策方法
17
作者 杨威 雷小雨 《工程数学学报》 北大核心 2026年第1期167-182,共16页
针对属性权重已知、决策者权重未知的决策问题,提出了基于社交网络的概率犹豫模糊共识群决策方法。首先,提出了概率犹豫模糊信任传播算子和聚合算子,计算决策者信任值。然后,利用决策者信任关系和观点相似度计算决策者权重,构建基于概... 针对属性权重已知、决策者权重未知的决策问题,提出了基于社交网络的概率犹豫模糊共识群决策方法。首先,提出了概率犹豫模糊信任传播算子和聚合算子,计算决策者信任值。然后,利用决策者信任关系和观点相似度计算决策者权重,构建基于概率犹豫模糊信任网络的最小调整模型。最后,在决策者意见达成共识的基础上,利用VIKOR方法对方案排序,并通过可再生能源管理决策案例验证该方法的可行性和有效性。 展开更多
关键词 多属性群决策 概率犹豫模糊集 社交信任网络 共识达成 VIKOR法
在线阅读 下载PDF
非线性可分Boolean函数分解及神经网络实现 被引量:1
18
作者 贺勤斌 刘曾荣 《科学技术与工程》 2010年第11期2646-2649,2654,共5页
对于2n个顶点用"0"或"1"标记的n维超方体,利用n输入Boolean函数f的输出vi(i=0,1,…,2n-1)与偏移量σi的关系,用一组平行的超平面实现分隔n维超方体顶点。从而,实现非线性可分Boolean函数的分解及二进神经网络隐层... 对于2n个顶点用"0"或"1"标记的n维超方体,利用n输入Boolean函数f的输出vi(i=0,1,…,2n-1)与偏移量σi的关系,用一组平行的超平面实现分隔n维超方体顶点。从而,实现非线性可分Boolean函数的分解及二进神经网络隐层神经元的实现。同时,给出几个例子说明分解方法以及其有效性。 展开更多
关键词 boolean函数 二进神经网络 神经元
在线阅读 下载PDF
基于TCN-MDN和概率潮流的电力系统灵活性量化分析方法
19
作者 高天宇 徐天奇 李琰 《现代电子技术》 北大核心 2026年第2期133-141,共9页
高比例可再生能源的接入使电力系统的潮流具有波动性和随机性,也为电力系统的灵活运行带来了挑战。为了应对挑战,首要策略是建立一种灵活性量化和分析方法,用来表征灵活性资源供需平衡与系统运行之间的关系,为此,提出一种基于神经网络... 高比例可再生能源的接入使电力系统的潮流具有波动性和随机性,也为电力系统的灵活运行带来了挑战。为了应对挑战,首要策略是建立一种灵活性量化和分析方法,用来表征灵活性资源供需平衡与系统运行之间的关系,为此,提出一种基于神经网络和概率潮流的电力系统灵活性量化和分析方法。首先,构建神经网络对可再生能源的出力进行多时间尺度的概率预测;其次,引入考虑静态特性的潮流模型,通过系统频率来反映电力系统有功灵活性的供需平衡;然后,改进半不变量法,结合Gram-Charlier级数展开得到系统频率和线路潮流的概率密度函数,以此量化电力系统灵活性;最后,基于修改后的IEEE-30节点系统,通过与蒙特卡洛法对比来验证所提方法的准确性。实验结果表明,所提方法能够在概率框架下量化电力系统的灵活性,具有较高的运算精度和较快的速度。 展开更多
关键词 时序混合密度网络 TCN 概率预测 线性潮流模型 半不变量法 灵活性量化 Gram-Charlier级数
在线阅读 下载PDF
二进神经网络的Boolean函数化简
20
作者 贺勤斌 《台州学院学报》 2010年第3期13-19,共7页
利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时... 利用二进神经网络方法对Boolean函数逻辑化简具有理论研究与实际应用意义。通过二进神经网络化简复杂非线性可分Boolean函数的方法,说明对非线性可分Boolean函数化简采用二进神经网络方法能够取得比传统方法更加高效、简便的化简。同时,给出几个二进神经网络化简非线性可分Boolean函数的实例,具体说明该方法的有效性。 展开更多
关键词 卡诺图 二进神经网络 神经元 boolean函数
在线阅读 下载PDF
上一页 1 2 93 下一页 到第
使用帮助 返回顶部