离散事件系统故障的极小观测序列

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.     

模糊离散事件系统的多故障诊断

针对诊断器不能只依赖自身就能判断诊断的缺点,基于不可区分串的概念,提出一种模糊离散事件系统的多故障诊断方法.首先,基于极小可观测事件构造模糊自动机相应的诊断器,用于寻找不可区分串的集合;其次,根据诊断器的性质,提出模糊离散事件系统的多故障可诊断的充分必要条件;最后,通过实例进行验证.结果表明:该方法为模糊离散事件系统的多故障诊断提供一种简单可行的新途径.     

模糊离散事件系统时间维度可诊断性分析

针对观测条件受限时的模糊离散事件系统(fuzzy discrete event systems,FDES)故障诊断问题,文章提出一种以时间维度可观程度(observable degree in dimensionality of time,ODDT)为基础的故障诊断器构造方法。根据观测信息中的时间属性建立时间约束图,并以时间证据合并的策略分析离散事件在时间维度上的可观性,从而获得FDES的时间信息全局状态;计算ODDT,并用于分析FDES的系统状态和故障可诊断程度。该方法可在观测条件受限以致故障事件链难以完全捕获的情况下,根据状态信息隐含的时间线索来辨识模糊事件并发现系统隐患。实例分析表明,相比于单纯依赖故障事件链分析的诊断方法,根据ODDT构造的诊断器提高了系统的可诊断程度。     

通信协议离散事件系统故障的时间可诊断性分析

研究了基于离散事件系统的通信协议故障的时间可诊断性问题.时间可诊断性从系统运行角度分析系统模型的可诊断程度,为系统后续的故障诊断分析提供理论依据.通信协议离散事件系统存在数据传输过程中节点多、部分关键节点信息不能直接获取等缺点导致不可观故障分析十分困难,利用可观变迁序列和变迁触发时间重构故障事件的发生结合整数线性规划问...     

一种降低OFDM系统峰均功率比的PTS改进方法

本文对部分传输序列降低OFDM系统高的峰均功率比的方法进行了改进,该方法是在PTS系统中将原始信号分割成若干个子块之后,在每个子块进行快速傅里叶逆变换之前对每个子块都乘以一个预编码矩阵,该预编码矩阵由离散哈特莱变换矩阵构成.理论分析和仿真结果表明改进PTS方法比现有PTS方法有明显效果,达到了进一步降低峰均功率比的目的.     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

进港航班排序与最小方差控制

为实现民航空中交通管制自动化,详细分析了由空域、航路、飞机、空管组成的具有连续时间和离散事件动态系统组合的混合系统特性,将系统动态性能的分析综合转化为离散事件动态系统事件发生排序和随机动态系统分析综合.采用极大代数方法对进港航班进行排序,用最小方差控制方法使进港航班时间间隔趋于一致.仿真结果表明:离散事件动态系统理论与传统控制理论的有机结合取得了空中交通管制自动控制好的效果,是解决该类系统分析设计的新思路,为进一步将控制理论用于空中交通管制的研究提出了新途径.     

通信网络性能评价的并行分析方法

应用控制科学理论离散事件动态系统摄动分析思想，提出了一种基于无时钟事件追踪法进行并行仿真的快速算法。根据被模拟网络在一组参数下的仿真样本轨迹，同时并行构造一簇不同参数集合下的网络系统样本轨迹。实验结果表明该算法大大提高了通信网随机模拟与性能评估的效率。     

基于事件预测的遥操作机器人系统的性能分析

Internet的时变时延及数据丢包严重影响了互联网遥操作机器人系统的操作性能,甚至造成了系统不稳定.为降低时变时延对遥操作机器人系统性能的影响,文中基于具可变滑动窗口的稀疏多元线性回归算法提出了单步时延预测算法,并在此基础上设计了基于事件预测的网络遥操作机器人系统.该系统在主端加入基于时延预测的离散路径管理器,它通过求解超前的优化函数,在线产生一个合适的预测路径的事件参数,从而提高跟踪性能和环境适应能力以应付突发事件的发生.根据Lyapunov稳定性定理,文中还推导得到了该系统的稳定性条件.本地实验和跨地区的遥操作机器人实验结果表明,文中方法能有效解决时变时延以及网络数据丢包引起的稳定性问题和性能下降问题.     

基于最小二乘优化的高精度参数估计研究

研究了捕食者-被捕食者模型在不同观测误差条件下的非线性微分方程组参数估计问题.首先利用差分方法进行离散化,得到一个超定的线性方程组,进行最小二乘拟合优化;其次,考虑观测资料有误差而时间变量无误差的情况,通过利用周期取平均的方法,从而降低了数据的误差;最后针对时间变量也会有误差情况,对每个观测时刻的数据进行归整处理来降低时间上的观测误差,最后利用最小二乘拟合得到最优的参数值.     

具多时滞和离散时间非自治互惠系统的正周期解

利用延拓定理, 考虑具有多时滞和离散时间的非自治互惠系统正周期解的存在性. 先用分析技巧得到一个有界开集, 再由重合度理论得到系统至少存在一个周期正解的充分条件. 结果表明, 具有多时滞和离散时间的非自治互惠系统会产生生物性周期振荡现象, 并且时滞是无害的.     

基于摄像机标定的实时倒车轨迹算法

通过建立车辆倒车运动学模型, 利用摄像机标定理论, 推导出实时倒车轨迹方程算法. 该算法通过读取倒车运动车辆方向盘的旋转角度值, 可将在世界坐标系下推导的倒车轨迹算法经过摄像机坐标系、 成像坐标系和图像坐标系的坐标变换得到倒车预测轨迹. 该轨迹再经过径向畸变模型矫正后以影像的方式显示. 实验测试结果表明, 该算法生成的预测倒车轨迹精度较高.     

识别转录因子结合位点的新方法

采用进化计算的方法, 实现了在共表达基因上游非编码区寻找转录因子的结合位点. 将此方法应用在已知的受同一种转录因子调控的基因上游启动子序列集合, 结果显示, 该算法能正确识别具有单一保守序列的调控位点; 与经典的Gibbs采样方法比较显示, 本文算法在识别较短的结合位点时更有效.     

基于克雷格插值的反例理解方法

针对错误原因提取效率低的问题, 提出一种利用克雷格插值对模型检测器产生的反例进行自动理解的方法. 该方法首先从反例失效状态出发推导出其最弱前置条件, 然后对初始状态与反例最弱前置条件进行不一致分析, 能在线性时间内提取克雷格插值作为反例失效原因, 产生的插值能直接用于定位错误事件. 实验结果表明, 基于克雷格插值的反例理解方法能显著提高反例理解速度, 提高软件的调试效率, 从而提升软件的可靠性和质量.     

基于轮廓跟踪的虹膜定位算法

提出一种基于轮廓跟踪算法的虹膜定位算法. 该算法先通过像素点扫描查找二值虹膜图像中轮廓的起始点, 然后由起始点进行轮廓查找、 轮廓编码、 轮廓筛选确定虹膜内轮廓, 再通过虹膜外轮廓和巩膜间的灰度突变点到内轮廓圆心距离的平均值确定外轮廓半径, 实现虹膜内、 外轮廓的定位. 实验结果表明, 该算法具有较快的定位速度、 较高的准确率, 性能稳定.     

一种改进的Adaboost训练算法

针对传统的Adaboost训练算法在训练过程中可能出现训练退化和训练目标类权重分布过适应的问题, 提出一种改进的Adaboost训练算法. 改进算法通过调整加权误差分布限制目标类权重的扩张, 并且最终分类器输出形式以概率值输出代替传统的离散值输出, 提高了训练结果的检测率. 实验结果表明, 改进的Adaboost算法在Inria数据集上取得了较好效果.     

有时间窗的车辆路径问题及改进禁忌搜索算法

基于改进的禁忌搜索算法求解有时间窗的车辆路径问题,建立了该问题的通用数学模型.改进算法中,在随机构造的多个可行解中挑选较好的解作为初始解,采用2-opt方法生成邻域,并构造了动态禁忌表,使禁忌表的大小和结构随搜索过程发生改变,提高了整体寻优能力.仿真实验证明了算法的可行性、有效性和优越性.     

一种灵活的基于权限划分的授权代理模型

针对传统授权代理模型灵活性较低、结构复杂等问题,在基于权限代理模型的基础上,提出一种改进的授权代理模型灵活的基于权限划分的授权代理模型.该模型使用划分权限方法代替划分角色,将所有权限划分为3个集合:可代理权限集、半可代理权限集和不可代理权限集,实现了特定权限代理并简化了模型结构.实验结果表明,该模型在保证系统安全性的同时,使授权代理的实现和管理更简单、灵活。     

电光双稳系统中混沌的控制

采用反馈方法研究电光双稳混沌系统的不稳定周期点及分岔点的控制. 根据受控系统的Jacobi矩阵特征值与系统状态间的关系, 确定系统反馈系数, 从而实现对混沌系统不同周期点及分岔点的稳定控制. 数值仿真结果表明: 该方法可实现系统单周期点、 二周期点、 第一分岔点和第二分岔点的稳定控制; 通过在一定范围内调整反馈系数, 可实现如四周期和八周期等多种周期状态的稳定控制.     

用近红外光谱法实时监测蛹虫草发酵中胞内多糖的质量浓度

应用近红外光谱(NIR)结合偏最小二乘法(PLS)建立一种实时监测蛹虫草发酵中胞内多糖质量浓度的新方法.对39个批次的蛹虫草在3个不同条件的5L发酵罐中进行蛹虫草深层发酵,发酵过程中间隔一定时间取样,采集样品的近红外光谱,并按常规方法测定样品中胞内多糖质量浓度,再采用PLS法建立样品的近红外光谱与胞内多糖质量浓度间的模型,所建模型经过选择最适光谱预处理方法和最适隐变量数进行优化,其留一交互验证预测值与化学测定参考值间的相关系数R=0.8750,交互验证均方根误差RMSECV=0.3052.采用最优PLS模型对样品中胞内多糖质量浓度进行预测,校正集预测均方根误差RMSEC=0.1670,预测集预测均方根误差RMSEP=0.3650,表明模型的稳健性和预测性能较好。