排序方式： 共有250条查询结果，搜索用时 796 毫秒
121.
122.
为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法,仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率,同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型,最后给出了在典型安全关键软件--机载除冰软件系统上的应用以说明方法和工具原型的有效性。 相似文献
123.
为了提高相控阵雷达的射频隐身性能,提出了一种基于射频隐身的功率控制算法。首先确定了功率分级的准则,并基于阵元的特性改进了一种粒子群多目标优化算法。然后以指定方向上达到期望功率、其他方向上功率最小为目标,利用改进的粒子群多目标优化算法,对阵元的开关进行了优化设计,仿真实现了功率分级。在满足检测概率的前提下,根据目标雷达反射截面的大小和目标距离,实现了目标跟踪时的功率控制。最后利用施里海尔截获因子对算法的隐身性能进行了衡量。仿真结果表明,本文算法具有较好的射频隐身性能。 相似文献
124.
为延长蓄电池使用寿命,提出了适于光伏系统的蓄电池充电控制策略和蓄电池分组管理策略。建立了光伏蓄电池系统主要元件(光伏电池、蓄电池和双向功率变换器等)的数学模型;基于光伏电能的随机和间断特性及蓄电池的充电特性,设计了一种基于电流调节的蓄电池充电控制策略;将蓄电池分组,集中有限光伏电能对一组蓄电池充电,使其快速达到充满状态,并循环针对不同组实施该策略。使用MATLAB/Simulink搭建了光伏蓄电池系统的仿真模型,并对其运行性能进行了分析。仿真结果表明:推荐使用的蓄电池充电控制策略可实现光伏电能的充分利用;分组管理策略可使蓄电池避免长期处于欠充状态。 相似文献
125.
基于PrefixSpan的快速交互序列模式挖掘算法 总被引：3，自引：0，他引：3
为了克服序列模式挖掘过程中重复运行挖掘算法而产生的时空消耗,提出了一个快速、简单而有效序列模式的交互式算法FISPM,利用前次挖掘得到的序列构造序列模式数据库用来存储挖掘出来的所有序列, 通过缩减本次挖掘所要构造投影数据库的频繁项的数量来减少构造投影数据库所需的时间以及投影数据库的大小,从而减少时间和空间消耗,提高挖掘效率.通过设置全局最小支持度来减少算法迭代次数. 实验结果证明在交互挖掘过程中FISPM效率优于PrefixSpan. 相似文献
126.
弯管测量在弯管加工中的质量检测和回弹补偿等方面具有广泛的应用,弯管形状的精确程度对管道的铺设规划影响重大。在MATLAB环境中利用旋量理论中的POE公式建立了6自由度弯管测量臂的运动学模型,研究了此模型的误差来源,并重点对相应的误差参数对于测量精度的影响进行了仿真。从得到的误差分布曲线分析了相应误差对测量精度的影响,对进一步提高弯管测量臂的测量精度的研究工作奠定了基础。 相似文献
127.
提出了一种新型的基于Hammerstein-Wiener模型的广义预测控制策略。采用基于最小二乘支持向量机的Hammerstein-Wiener模型描述非线性系统动态特性,作为被控对象预测模型。同时,针对现有遗传算法和混沌粒子群优化算法收敛速度慢和精度低等缺点,给出一种拟牛顿信赖域混沌粒子群混合优化算法,作为预测控制的滚动优化策略,函数测试和非线性对象的广义预测控制的滚动优化表明该算法的优越性。最后,对设计的预测控制器进行实例仿真,结果表明它能满足系统实时稳定运行的需求,取得了良好的控制效果。 相似文献
128.
探讨了蚁群算法在复杂集装箱装载问题中的应用．利用蚁群算法对解空间的搜索能力，结合二维链表结构的方法，对布局空间依次分割完成不同大小的三维矩形物体的装载，并给出了有效的编码形式和解码算法．通过对文献中提供的数据进行测试和比较说明本算法是有效的． 相似文献
129.
分析了传统银行客户信用评估方法存在的问题，针对ID3算法存在的不足，提出了一种改进的ID3算法．实验结果表明，改进后的ID3算法分类正确率有所提高，所生成的决策树较为健壮、简洁，可以减少计算代价，提高计算效率． 相似文献
130.
基于硬聚类算法的几种有效性指标，即Hubert统计量、Davies—Bouldin指标、Dunn’S指标以及Dunn＇s指标的推广，提出了相应的适用于模糊聚类算法的有效性指标．实验证明，这些改进的有效性函数对模糊C-均值算法而言同样有效． 相似文献