期刊文献+
共找到675篇文章
< 1 2 34 >
每页显示 20 50 100
STATE SPACE METHODS FOR DECENTRALIZED H_∞ CONTROL
1
作者 Wu Min Gut Weihua Chen Ning(Department of Automatic Control Engineering, Central South University of Technology, Changsha, 410083, China) 《Journal of Central South University》 SCIE EI CAS 1994年第1期91-96,共6页
This paper presents state space methods for decentralized Hoe control, which contain two respects: a parametrization approach and an iterative algorithm. For large scale systems with N subsystems, decentralized Hoe c... This paper presents state space methods for decentralized Hoe control, which contain two respects: a parametrization approach and an iterative algorithm. For large scale systems with N subsystems, decentralized Hoe con trollers can be derived by a parametrization result for centralized Her: controllers and designed by an iterative algorithm with structured constraint to the controllers. 展开更多
关键词 DECENTRALIZED CONTROL state space method H_∞ CONTROL
在线阅读 下载PDF
A State Space Boundary Element Method with Analytical Formulas for Nearly Singular Integrals 被引量:1
2
作者 Changzheng Cheng Dong Pan +2 位作者 ZhiUn Han Meng Wu Zhongrong Niu 《Acta Mechanica Solida Sinica》 SCIE EI CSCD 2018年第4期433-444,共12页
A new method named the state space boundary element method (SSBEM) is estab- lished, in which the problem domain is divided into two parts. One is the boundary element domain which includes the interested inner poin... A new method named the state space boundary element method (SSBEM) is estab- lished, in which the problem domain is divided into two parts. One is the boundary element domain which includes the interested inner point, and the other is the state space domain. The boundary integral equation and the state space equation are combined together based on the interfacial continuity condition to form the system equation of the SSBEM. The SSBEM synthe- sizes both advantages of the boundary element method and the state space method. However, it can give inaccurate results when being used to evaluate the mechanical quantity of a point very close to the boundary element, because the Gaussian quadrature fails to calculate the nearly singular integrals. The analytical formulas were developed by part of the authors before intro- duced to deal with the nearly singular integrals. Thus, the SSBEM can yield accurate physical quantities for the points very close to the boundary element. The SSBEM results agree well with those of the finite element method (FEM), while the discretized elements are far fewer than those of the FEM. Meanwhile, the SSBEM can analyze very thin coating, while the FEM fails due to the limitation of tolerance for Boolean operations. 展开更多
关键词 Boundary element method state space method Nearly singular integral Analytical formulation
原文传递
Identification of the state-space model and payload mass parameter of a flexible space manipulator using a recursive subspace tracking method 被引量:9
3
作者 Zhiyu NI Jinguo LIU +1 位作者 Zhigang WU Xinhui SHEN 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2019年第2期513-530,共18页
The on-orbit parameter identification of a space structure can be used for the modification of a system dynamics model and controller coefficients. This study focuses on the estimation of a system state-space model fo... The on-orbit parameter identification of a space structure can be used for the modification of a system dynamics model and controller coefficients. This study focuses on the estimation of a system state-space model for a two-link space manipulator in the procedure of capturing an unknown object, and a recursive tracking approach based on the recursive predictor-based subspace identification(RPBSID) algorithm is proposed to identify the manipulator payload mass parameter. Structural rigid motion and elastic vibration are separated, and the dynamics model of the space manipulator is linearized at an arbitrary working point(i.e., a certain manipulator configuration).The state-space model is determined by using the RPBSID algorithm and matrix transformation. In addition, utilizing the identified system state-space model, the manipulator payload mass parameter is estimated by extracting the corresponding block matrix. In numerical simulations, the presented parameter identification method is implemented and compared with the classical algebraic algorithm and the recursive least squares method for different payload masses and manipulator configurations. Numerical results illustrate that the system state-space model and payload mass parameter of the two-link flexible space manipulator are effectively identified by the recursive subspace tracking method. 展开更多
关键词 Flexible space manipulator LINEARIZATION PARAMETER IDENTIFICATION state-space model SUBspace methods
原文传递
Application of the state space model to the system of wave energy conversion Analytical method for wave forces on singleoscillating rectangular buoy 被引量:1
4
作者 ZHENGYonghong SUNXiaoyan +2 位作者 YOUYage SHENYongming WUBijun 《Acta Oceanologica Sinica》 SCIE CAS CSCD 2004年第4期757-765,共9页
A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first ... A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first by use of theeigenfunction expansion method and then the wave excitation force is calculated by use of the known incident wavepotential and the diffraction potential. Compared with the classical analytical method, it can be seen that the presentmethod is simpler for a two-dimensional problem due to the comparable effort needed for the computation ofdiffraction potential and for that of radiated potential. To verify the correctness of the method, a classical example inthe reference is recomputed and the obtained results are in good accordance with those by use of other methods,which shows that the present method is correct. 展开更多
关键词 state space model oscillating buoy device HEAVE wave force analytical method
在线阅读 下载PDF
State space solution to 3D multilayered elastic soils based on order reduction method
5
作者 艾智勇 成怡冲 刘鹏 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2012年第11期1371-1380,共10页
Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform a... Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform and an order reduction method based on the Cayley-Hamilton theorem. Combining the solutions and the constitutive equations which connect the displacements and stresses, the transfer matrix of a single soil layer is acquired. Then, the state space solution to multilayered elastic soils is further obtained by introducing the boundary conditions and continuity conditions between adjacent soil layers. The numerical analysis based on the present theory is carried out, and the vertical displacements of multilayered foundation with a weak and a hard underlying stratums are compared and discussed. 展开更多
关键词 state space solution multilayered elastic soil double Fourier transform order reduction method
在线阅读 下载PDF
DYNAMIC RESPONSE OF ELASTIC RECTANGULAR PLATES BY SPLINE STATE VARIABLE METHOD
6
作者 陈荣毅 沈小璞 沈鹏程 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2000年第6期691-698,共8页
Application of spline element and state space method for analysis of dynamic response of elastic rectangular plates is presented. The spline element method is used for space domain and the state space method in contro... Application of spline element and state space method for analysis of dynamic response of elastic rectangular plates is presented. The spline element method is used for space domain and the state space method in control theory of system is used for time domain. A state variable recursive scheme is developed, then the dynamic response of structure can he calculated directly. Several numerical examples are given. The results which are presented to demonstrate the accuracy and efficiency of the present method are quite satisfactory. 展开更多
关键词 spline element state space method dynamic response recursive scheme spline state variable method
在线阅读 下载PDF
基于state-space-split法的滞回非线性系统随机动力响应分析 被引量:1
7
作者 徐严钢 朱海涛 +1 位作者 柳国环 刘治国 《计算力学学报》 CAS CSCD 北大核心 2021年第1期1-7,共7页
采用SSS(state-space-split)法,建立了引入Bouc-Wen滞回模型的杜芬非线性系统在高斯白噪声激励下的概率密度函数(PDF)的近似求解方法,分析了其随机动力响应变化规律。首先,将Bouc-Wen滞回模型引入杜芬非线性系统,分别考虑非线性系统中... 采用SSS(state-space-split)法,建立了引入Bouc-Wen滞回模型的杜芬非线性系统在高斯白噪声激励下的概率密度函数(PDF)的近似求解方法,分析了其随机动力响应变化规律。首先,将Bouc-Wen滞回模型引入杜芬非线性系统,分别考虑非线性系统中的几何非线性和材料非线性对动力响应的影响。随后,对该模型进行了等效线性化(EQL)处理,基于等效线性化法结果,介绍了SSS法的简化方法和计算原理,并通过该方法求解了三维FPK方程的近似联合概率密度函数。最后,将该方法应用于三个案例和一个工程实例,通过求解其概率密度函数分布及动力可靠度验证了提出方法的适用性、可行性和优越性。 展开更多
关键词 state-space-split法 非线性系统 高斯白噪声 概率密度函数 随机振动
在线阅读 下载PDF
MLP training in a self-organizing state space model using unscented Kalman particle filter 被引量:3
8
作者 Yanhui Xi Hui Peng 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2013年第1期141-146,共6页
Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF... Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF) to train the MLP in a self- organizing state space (SOSS) model. This involves forming augmented state vectors consisting of all parameters (the weights of the MLP) and outputs. The UPF is used to sequentially update the true system states and high dimensional parameters that are inherent to the SOSS moder for the MLP simultaneously. Simulation results show that the new method performs better than traditional optimization methods. 展开更多
关键词 multi-layer perceptron (MLP) Bayesian method self-organizing state space (SOSS) unscented Kalman particle filter(UPF).
在线阅读 下载PDF
基于状态空间离散的非线性动力系统全局分析方法进展:从模型驱动到数据驱动 被引量:1
9
作者 李自刚 洪灵 江俊 《力学进展》 北大核心 2025年第3期455-496,共42页
非线性动力系统的一切响应行为均受制于其内在的全局结构,诸如多稳吸引子及其影响域的形貌和空间分布,不稳定不变集和不变流形等.因而,在指定状态空间内开展全局分析,不仅可以获得认识和预测系统响应的全部信息,还能深刻揭示诱发系统复... 非线性动力系统的一切响应行为均受制于其内在的全局结构,诸如多稳吸引子及其影响域的形貌和空间分布,不稳定不变集和不变流形等.因而,在指定状态空间内开展全局分析,不仅可以获得认识和预测系统响应的全部信息,还能深刻揭示诱发系统复杂分岔、激变或边界蜕变等众多动力学现象的内在机制.目前,数值方法仍是非线性动力系统全局分析的最有效手段.相较于点尺度的数值积分方法或点映射法,基于状态空间离散思想的方法(如:胞映射方法等),其采用子集覆盖来逼近系统的不变集,一方面可以高效刻画系统的全局结构形貌,另一方面可以实现对相邻轨道动态特征的集合表征.胞映射方法经历40余年的发展,其功能不断增强,计算效率和精度已显著提升,应用场景也逐渐拓宽.本文第2节从当前的视角对状态空间离散方式进行简要归类,以便于读者更好地了解在全局分析实施过程中该框架体系的本质及优势.第3节着重介绍近些年提出的一系列状态空间离散方法,展示在非线性系统全局结构的高效刻画和内在特征的数据表征两方面已取得的最新进展,突出全局分析从模型驱动向数据驱动的思维模式转变.第4节总结意义和价值,并就如何在状态空间离散框架下进一步泛化全局分析的概念,以及应对未来发展和应用需求可能面临的问题和可以拓展的方向提出见解. 展开更多
关键词 状态空间离散 全局分析 胞映射方法 模型驱动 数据驱动
在线阅读 下载PDF
基于乘客行为偏好的地铁站商业空间设计策略研究
10
作者 陈剑飞 金小乐 史小蕾 《现代城市研究》 北大核心 2025年第1期72-77,共6页
地铁站商业空间要素对乘客的行为偏好有重要影响。文章以北京地铁站商业空间为例,结合文献提取空间要素,运用可视化SP法调查乘客对地铁站商业空间的选择行为,基于选择结果构建离散选择模型,量化研究乘客对于商业空间的偏好机制,探究空... 地铁站商业空间要素对乘客的行为偏好有重要影响。文章以北京地铁站商业空间为例,结合文献提取空间要素,运用可视化SP法调查乘客对地铁站商业空间的选择行为,基于选择结果构建离散选择模型,量化研究乘客对于商业空间的偏好机制,探究空间要素的影响程度。结果表明,乘客在选择地铁站内的商业空间时,最优先考虑的是业态类型,其次是布置方式、空间布局、空间尺度、界面形态。文章根据行为偏好为商业空间设计提出人性化策略。 展开更多
关键词 地铁站商业空间 SP法 行为偏好 离散选择模型
在线阅读 下载PDF
考虑接头非线性转动效应的盾构隧道纵向变形简化解
11
作者 张志伟 郑刚 +4 位作者 程雪松 梁荣柱 杨海滨 赵静 仲志武 《岩土工程学报》 北大核心 2025年第8期1583-1594,共12页
纵向轴力和接头螺栓屈服会引起外荷载作用下盾构隧道环间接头转动刚度的显著非线性变化,现有盾构隧道纵向变形计算方法多是将隧道简化为具有恒定抗弯刚度的等效连续长梁,难以反映环间接头的非线性转动效应。首先,考虑盾构隧道横向性能... 纵向轴力和接头螺栓屈服会引起外荷载作用下盾构隧道环间接头转动刚度的显著非线性变化,现有盾构隧道纵向变形计算方法多是将隧道简化为具有恒定抗弯刚度的等效连续长梁,难以反映环间接头的非线性转动效应。首先,考虑盾构隧道横向性能和环间螺栓弹塑性行为,基于严格的隧道横断面椭圆参数方程推导其环缝分别处于弱拉弯、纯弯和压弯状态下的环间接头转动刚度计算公式;其次将盾构隧道沿纵向简化为一系列由非线性转动弹簧和线性剪切弹簧连接而成的Timoshenko短梁,同时采用沿隧道外壁均匀分布的法向和切向Winkler地基弹簧模拟土-隧道相互作用;然后借助状态空间法推导外荷载作用下盾构隧道纵向不连续位移解答,并提出轴向压力作用下隧道纵向变形迭代求解流程;最后通过对比已有理论方法和某基坑开挖引发下方盾构隧道纵向变形工程的实测结果验证所提方法的合理性,并基于某地表堆载诱发盾构隧道纵向变形的工程案例研究纵向轴力和横向刚度对隧道纵向变形的影响。研究结果表明:盾构隧道环间螺栓屈服会显著增大接头张开量和环缝的受拉面积;轴向压力的施加能够显著降低隧道因基坑卸荷引发的纵向位移、接头张开和环间错台变形。参数分析表明:随着纵向轴力由拉力增加为压力,既有隧道最大纵向位移和最大截面转角均逐渐减小,且减小速率先增大后减小,而最大接头张开量近似线性减小;既有隧道横向刚度的降低会导致其纵向位移和接头张开量的显著增加以及环间错台量的略微减小。 展开更多
关键词 盾构隧道 环间接头 非线性转动效应 纵向梁-弹簧模型 状态空间法
原文传递
采用多方向蛇形卷积和视觉残差Mamba的两阶段冠状动脉分割
12
作者 刘建明 唐煜城 《中国图象图形学报》 北大核心 2025年第10期3242-3254,共13页
目的基于计算机断层扫描血管造影(computed tomography angiography,CTA)图像的冠状动脉分割具有重要的临床应用价值。冠状动脉具有多分支和细分支的管状结构特点,同时面临前景与背景类别严重不平衡的问题。传统基于卷积神经网络(convol... 目的基于计算机断层扫描血管造影(computed tomography angiography,CTA)图像的冠状动脉分割具有重要的临床应用价值。冠状动脉具有多分支和细分支的管状结构特点,同时面临前景与背景类别严重不平衡的问题。传统基于卷积神经网络(convolutional neural network,CNN)的冠状动脉分割网络难以建模血管间的长依赖关系,而基于视觉转换器(vision Transformer,ViT)的模型由于复杂度过高,在资源有限的现实环境中难以部署。最新研究表明,以Mamba为代表的状态空间模型(state space model)能够在保持线性复杂度的情况下有效建模长依赖关系。方法提出一种采用多方向蛇形卷积和视觉残差Mamba的两阶段冠状动脉分割方法——MDSVM-UNet++。采用传统的编码—解码架构:在编码阶段,为了准确捕捉血管细长而曲折的管状结构特征,提出新的多方向蛇形卷积模块,从矢状面、冠状面、水平面3个视角进行多视角融合学习,使模型能够更全面地自适应专注于冠状动脉细长局部结构;在解码阶段,为了建模血管切片间的长依赖关系同时保持线性复杂度,设计基于残差视觉Mamba的上采样解码器块,解码器块首先使用加法运算执行特征融合,随后将结果输入到残差视觉Mamba层中进行长依赖关系建模,最后通过三线性插值操作对特征图进行上采样。为了更准确地分割细分支血管,进一步提出两阶段分割模型:在第1阶段,采用MDSVM-UNet++对整幅CT图像进行直接分割,结果用于指导原图像的分块;随后,将分块后的数据重新输入MDSVM-UNet++进行第2阶段分割,最终合并所有分块的分割结果。在保证分割结果连续性的情况下,进一步减少了分割结果中的假阳性点,同时提高冠脉的连续性和平滑度。结果实验结果表明,提出的两阶段MDSVM-UNet++方法在IMAGECAS数据集上的Dice相似系数、豪斯多夫距离和平均豪斯多夫距离分别优于基准网络ImageCAS 5.41%、8.5456和0.8093。结论本文提出一种采用多方向蛇形卷积和视觉残差Mamba的两阶段冠状动脉分割方法:提出的多方向蛇形卷积可以更全面更准确地捕捉血管结构特征;设计的基于残差视觉Mamba的解码器模块,在线性复杂度下实现了血管切片间的长依赖关系的建模,最终实现低资源环境下更准确的冠状动脉分割。 展开更多
关键词 计算机断层扫描血管造影(CTA) 冠状动脉分割 两阶段分割方法 动态蛇形卷积 状态空间模型(SSM)
原文传递
面向效率提升的状态空间-节点混合暂态仿真研究
13
作者 吴小珊 苏寅生 +3 位作者 周保荣 赵利刚 马骞 姚海成 《电力系统及其自动化学报》 北大核心 2025年第1期92-100,共9页
为应对新型电力系统电磁暂态仿真效率和求解精度的双重压力,本文研究了基于状态空间-节点混合框架的效率提升算法。首先,在EMTP程序中,基于状态空间节点(state-space nodal,SSN)法设计含开关时变网络的混合仿真算法,通过数值方法的转换... 为应对新型电力系统电磁暂态仿真效率和求解精度的双重压力,本文研究了基于状态空间-节点混合框架的效率提升算法。首先,在EMTP程序中,基于状态空间节点(state-space nodal,SSN)法设计含开关时变网络的混合仿真算法,通过数值方法的转换阻尼数值振荡,实现EMTP程序的功能扩展。然后,提出基于多区戴维南等值法的混合框架接口仿真算法,各子系统依电路特性自由选择框架并以对等形式联合计算。最后,通过性能测试验证了SSN法在含多开关复杂系统中效率提升效果更加明显。 展开更多
关键词 状态空间-节点分析混合框架 电磁暂态仿真 多区戴维南等值法 状态空间节点法 仿真效率提升
在线阅读 下载PDF
一般边界条件下层合圆柱壳轴对称弯曲的精确解
14
作者 胡文锋 冯金胜 +3 位作者 孟侨 师雷 朱军 曹正文 《应用数学和力学》 北大核心 2025年第7期867-881,共15页
复合材料层合圆柱壳因其材料与结构的优异特性,在化工、海洋和航空航天工程等领域中得到了广泛使用,该结构承载时在层间和边界附近的局部力学响应较为复杂,并会影响整体结构的工作性能.状态空间法是求解层合结构精确解的一种有效方法,... 复合材料层合圆柱壳因其材料与结构的优异特性,在化工、海洋和航空航天工程等领域中得到了广泛使用,该结构承载时在层间和边界附近的局部力学响应较为复杂,并会影响整体结构的工作性能.状态空间法是求解层合结构精确解的一种有效方法,在处理非简支边界条件时通常需要借助数值方法.该文基于层合圆柱壳的状态空间框架,将非简支端的边界位移函数也作为状态变量引入状态方程,建立了严格满足边界条件的齐次状态方程;然后,利用层合渐近技术将状态矩阵的系数常数化,得到了任意子层的状态传递关系,结合层间的连续性条件推出了层合圆柱壳的状态传递关系;最后,通过Fourier级数引入内外表面的载荷条件,得到了结构轴对称弯曲问题的精确解.算例表明,所得解与有限元解吻合得很好,能够给出层合圆柱壳应力和位移沿轴向和径向的精确分布规律.然后,分析了不同边界条件和铺层形式对静力响应的影响.另外,通过固支端与自由端及其附近的位移与应力分布规律说明了两种约束产生的端部效应. 展开更多
关键词 一般边界条件 轴对称弯曲 状态空间法 边界位移函数 层合圆柱壳
在线阅读 下载PDF
具有非理想界面准晶层合梁的振动和弯曲研究
15
作者 于新宇 郭俊宏 +1 位作者 王浩田 孙托娅 《内蒙古大学学报(自然科学版)》 2025年第4期364-375,共12页
采用广义线性弹簧模型模拟层与层之间的非理想界面,结合微分求积法和状态空间法,研究具有非理想界面准晶层合梁在各种边界条件下的自由振动和静态弯曲问题。建立准晶层合梁模型,通过传递矩阵法,获得具有非理想界面准晶层合梁的固有频率... 采用广义线性弹簧模型模拟层与层之间的非理想界面,结合微分求积法和状态空间法,研究具有非理想界面准晶层合梁在各种边界条件下的自由振动和静态弯曲问题。建立准晶层合梁模型,通过传递矩阵法,获得具有非理想界面准晶层合梁的固有频率、振型和广义位移的半解析半数值解。通过数值算例,分析非理想界面参数、边界条件和叠层顺序对准晶层合梁的固有频率、振型和广义位移的影响。研究表明,非理想界面的出现降低了准晶层合梁的刚度。 展开更多
关键词 准晶 层合梁 非理想界面 状态空间法 微分求积法
原文传递
有损输电线路扩展贝瑞隆模型的修正及其应用
16
作者 谢继豪 王永 +1 位作者 叶婧 张磊 《计算机仿真》 2025年第5期114-119,287,共7页
输电线路的电磁暂态(EMT)模型的准确性对电力系统整体模型精度至关重要。无损输电线路电磁暂态计算的Bergeron模型,直接用于有损输电线路电磁暂态计算会造成数值不稳定,因此可将线路两端等值电流源解耦成两个历史电流源。但原始的扩展Be... 输电线路的电磁暂态(EMT)模型的准确性对电力系统整体模型精度至关重要。无损输电线路电磁暂态计算的Bergeron模型,直接用于有损输电线路电磁暂态计算会造成数值不稳定,因此可将线路两端等值电流源解耦成两个历史电流源。但原始的扩展Bergeron模型系数只有在线路无限分段后才满足网络等值要求,显然在实际应用中这是没有必要的。文中提出的修正的扩展Bergeron模型等效计算公式系数可以根据ATP-EMTP建立的有损输电线路模型仿真结果选取合适的计算参数,且精确满足网络等值要求。采用修正后的扩展Bergeron模型结合节点分析法对输电线路进行建模,通过典型的高压输电线路算例验证修正后的扩展Bergeron模型相比于原始扩展Bergeron模型计算精度更高,且当线路分段数为N时该计算模型也是适用的,相对于状态空间模型来说计算效率更高。 展开更多
关键词 输电线路 扩展Bergeron模型 节点分析法 状态空间模型
在线阅读 下载PDF
Markov状态空间法的牵引供电系统可靠性分析
17
作者 马贵荣 《自动化技术与应用》 2025年第9期34-38,共5页
为提高对牵引供电系统可靠性的分析效果,研究基于Markov状态空间法设计一种新的分析方法。在分析可靠性原理和Markov随机过程的基础上,考虑牵引供电系统运行特点,构建Markov状态空间法的牵引供电系统可靠性分析模型,将牵引供电系统运行... 为提高对牵引供电系统可靠性的分析效果,研究基于Markov状态空间法设计一种新的分析方法。在分析可靠性原理和Markov随机过程的基础上,考虑牵引供电系统运行特点,构建Markov状态空间法的牵引供电系统可靠性分析模型,将牵引供电系统运行状态分别为正常状态、事故状态、风险状态。用状态空间转移图表示牵引供电系统的3种运行状态转移情况,并将第一次故障前平均时间、牵引供电系统状态的概率变化、牵引供电系统平稳状态概率作为分析牵引供电系统可靠性指标完成分析。实验结果表明,该方法能够快速计算出牵引供电系统3种运行状态概率分布值,求解3种运行状态概率解析值与原始统计值误差分别为0.15、0.18、0.23,求解效率高,说明该方法提高了对牵引供电系统可靠性的分析效果。 展开更多
关键词 Markov状态空间法 牵引供电系统 可靠性分析 Markov随机过程
在线阅读 下载PDF
基于先验路径选择的安全协议形式化分析优化方法
18
作者 蔡光英 蔡柳佳 +2 位作者 陆思奇 王永娟 王向宇 《信息安全研究》 北大核心 2025年第8期727-735,共9页
形式化分析技术能够检测出安全协议存在的安全漏洞,但是对一些复杂的安全协议进行分析时,往往会出现状态空间爆炸问题导致分析无法终止.无用节点过多使得协议状态数量剧增是导致状态空间爆炸的根本,针对这一问题提出了先验路径选择法,... 形式化分析技术能够检测出安全协议存在的安全漏洞,但是对一些复杂的安全协议进行分析时,往往会出现状态空间爆炸问题导致分析无法终止.无用节点过多使得协议状态数量剧增是导致状态空间爆炸的根本,针对这一问题提出了先验路径选择法,利用已搜索的路径节点指导后续节点的选择,减少协议状态数量,有效规避了状态空间爆炸并提高了效率.进一步通过Tamarin模型检测工具的Oracle接口,将这种方法应用于安全协议的分析,并针对5个协议8个引理开展了对比实验.实验结果表明,先验路径选择法对于常规路径搜索无效的协议,成功给出了分析结果,缓解了状态空间爆炸问题. 展开更多
关键词 先验路径选择法 状态空间爆炸 形式化分析 模型检测 TAMARIN
在线阅读 下载PDF
基于步行指数和叙述偏好法的城市街道老年步行友好性评价--以上海市黄浦区为例
19
作者 钱天健 《城市建筑》 2025年第19期34-40,共7页
随着我国城市老龄化程度的加深,老年人的出行比例逐渐上升。目前,国内外关于城市街道步行友好性的研究已相对成熟,但其普遍以青壮年群体的身体能力和出行目的为标准,较少考虑特殊人群,特别是老年人的需求。文章主要分为两部分,第一部分... 随着我国城市老龄化程度的加深,老年人的出行比例逐渐上升。目前,国内外关于城市街道步行友好性的研究已相对成熟,但其普遍以青壮年群体的身体能力和出行目的为标准,较少考虑特殊人群,特别是老年人的需求。文章主要分为两部分,第一部分通过文献分析,将步行指数(walk score,WS)概念与老年人的步行特征和需求融合,形成老年步行指数,并结合环境影响因素,采用叙述偏好法(stated preference method,SP)计算环境影响系数,构建城市街道老年步行友好性评价体系;第二部分以上海市黄浦区为研究范围,进行城市街道老年步行友好性评价实践,旨在支持决策者和设计师建设包容和适宜老年人出行的城市街道空间。 展开更多
关键词 步行指数 叙述偏好法 综合步行友好性 老年友好空间
在线阅读 下载PDF
贝叶斯预测分析决策系统探究中国人口发展趋势
20
作者 李帅鹏 《哈尔滨师范大学自然科学学报》 2025年第2期39-46,共8页
随着全球化不断加速进程,人口的增长所带来的一系列问题是全球困扰不已的问题,因此人口预测的研究刻不容缓.在软件算法上运用贝叶斯预测分析决策系统,基于人口变动要素合成法以及双组分状态空间模型合理有效的预测人口发展趋势,可减少... 随着全球化不断加速进程,人口的增长所带来的一系列问题是全球困扰不已的问题,因此人口预测的研究刻不容缓.在软件算法上运用贝叶斯预测分析决策系统,基于人口变动要素合成法以及双组分状态空间模型合理有效的预测人口发展趋势,可减少资源浪费,坚持可持续发展道路. 展开更多
关键词 贝叶斯预测分析决策系统 人口变动要素合成法 双组分状态空间模型 Lee-Carter模型 软件处理
在线阅读 下载PDF
上一页 1 2 34 下一页 到第
使用帮助 返回顶部