为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。
1
输入是使用 Random Integer Generator 模块生成的,转换为极坐标(使用单极我们在乘法后得到 3 个状态而不是 4 个状态),然后与 PN 生成器的输出相乘。 数据使用 BPSK 调制,然后通过 AWGN 通道发送。 在接收端,我们乘以相同的 PN 序列并解调。 BER-Calculator 模块将发送的数据与接收的数据进行比较,并输出一个包含符号计数、错误和 BER 的向量。 要添加更多用户,只需复制整个 TX 和 RX 部分,并在添加另一个输入后将其附加到添加块。
2021-12-10 19:35:40 10KB matlab
1
以系统经济性、环保性、供电可靠性为优化目标,提出基于多代理系统的微电网分层分布式能量优化管理策略,将传统集中式能量优化转变为包含细化变量定义域的微电源分布式计算、基于遗传算法的中心控制器优化、修正优化解的分布式并行调节以及生成最终解的全局协调这4个阶段的分层分布式能量优化,并将各微电源的运行特性与用户控制目标以约束条件的形式,分散到各阶段予以实现。在此基础上,分别针对微电网单目标与多目标优化问题,介绍了各单元代理在每个阶段的工作任务和协作关系,并利用MATLAB和JADE平台构建针对未来24 h的系统优化算例。计算结果表明所提分层分布式能量优化策略能够弱化对微电网中心控制器性能的要求,并且具有更快的运算速度和较好的优化效果。
1
中小型企业实现企业产品数据管理的信息化对于提高其工作效率、缩短产品研制周期和达到在日趋激烈的商业竞争中取胜的目的具有十分重要的意义。本文通过分析产品数据管(PDM)系统的基本功能和信息模型,提出了一种面向中小型企业的基于SQL Server的柔性PDM系统设计模型,这对于中小型企业实施PDM技术具有一定的指导作用。
2021-11-30 23:29:25 1.91MB 工程技术 论文
1
里面为线性系统的模型预测控制仿真程序,均为m文件,助于对线性系统模型预测控制的理解
2021-11-27 22:15:17 10KB MPC
1
风光储独立供电系统是解决边远地区供电问题的有效途径,对其合理地配置电源以提高供电可靠性、经济性是系统规划设计阶段的主要问题。在建立基本元件模型的基础上,以系统等年值投资费用最低为目标,考虑系统运行约束条件,构建了风光储独立供电系统的电源优化配置模型。提出了基于粒子群优化算法的数值求解方法。在算例分析中,分别以蓄电池和电解槽-储氢罐-燃料电池循环系统作为储能装置,对比分析了不同储能模式下的系统优化配置方案,结果表明,在满足相同供电可靠性指标的前提下风/光/蓄电池系统的优化配置更经济,合理地评估停电损失和设置可靠性指标可有效降低系统冗余投资。
1
蓝牙调频通信系统模型,已调试成功,可直接在matlab中运行。
2021-11-22 17:21:20 38KB 蓝牙 模型
1
基于51单片机的足球机器人毕业论文包括原理介绍,部分代码,控制流程图,实物图片等可用于毕业论文参考。。
2021-11-16 09:45:19 1.14MB 足球机器人 论文 51单片机
1
适合于建筑物和构造物的灰色理论模型的建立和预测。
2021-11-14 22:26:48 4.03MB 灰色模型软件
1
通信系统模型综述归类.pdf
2021-11-02 19:06:34 79KB