期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于SOM复杂机电系统服役过程动态标记方法
1
作者 谢军太 吕晓喆 +2 位作者 高建民 高智勇 王伟 《振动.测试与诊断》 EI CSCD 北大核心 2020年第2期341-347,421,共8页
针对流程工业复杂机电系统状态不断更迭、性能出现漂移等问题,提出了一种基于自组织特征映射网络的系统服役过程动态标记方法。首先,构建多变量间耦合关系网络,并在此基础上提取网络特征;其次,将动态标记过程分为状态主动更新过程和状... 针对流程工业复杂机电系统状态不断更迭、性能出现漂移等问题,提出了一种基于自组织特征映射网络的系统服役过程动态标记方法。首先,构建多变量间耦合关系网络,并在此基础上提取网络特征;其次,将动态标记过程分为状态主动更新过程和状态主动更新过程两个阶段,状态被动更新过程通过不断训练自组织特征映射网络来适应系统新状态出现及性能漂移等情况,状态主动更新过程可用于消除系统已消亡状态对网络模型产生的影响;最后,通过分析实际化工生产系统监测数据对所提方法进行有效性验证。实验结果表明,该方法可有效标记复杂机电系统服役过程中不断变化的多种状态,并建立符合系统动态演化过程的状态标记知识库,从而为系统状态辨识和预测提供可靠依据。 展开更多
关键词 复杂机电系统 自组织特征映射 网络结构熵 网络效率 状态动态标记
在线阅读 下载PDF
UIO序列生成算法的继续改进
2
作者 黎中文 张来顺 《计算机工程与设计》 CSCD 北大核心 2011年第11期3722-3724,3839,共4页
为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树... 为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树的方法,并将节点链搜索技术在算法循环调用,去掉不需要的节点,加快UIO序列生成,降低搜索空间。通过实验结果表明,与现有算法相比,该算法在降低时间复杂度和空间复杂度两方面有较大改进。 展开更多
关键词 有限自动机 唯一输入输出序列 表格连接 标记状态 节点链搜索技术
在线阅读 下载PDF
串行接口标准及连接设计
3
作者 樊晓东 林泽明 程小满 《安徽大学学报(自然科学版)》 CAS 1995年第S1期69-72,共4页
串行接口标准及连接设计樊晓东,林泽明,程小满(安徽大学计算机系合肥230039)(安徽大学图书馆合肥230039)1概述两台计算机之间信息传送的方法一般有三种:①通过软磁盘等中间媒介物拷贝。②通过计算机网络。③通过串... 串行接口标准及连接设计樊晓东,林泽明,程小满(安徽大学计算机系合肥230039)(安徽大学图书馆合肥230039)1概述两台计算机之间信息传送的方法一般有三种:①通过软磁盘等中间媒介物拷贝。②通过计算机网络。③通过串(并)行通讯口。其中串(并)口通讯... 展开更多
关键词 串行接口 连接电缆 个人计算机 数据终端设备 串行通讯 连接器 接插件 串(并)行通讯 标记状态 并行传输设备
在线阅读 下载PDF
一类实时离散事件系统的控制综合
4
作者 王丽亚 吴智铭 《小型微型计算机系统》 CSCD 北大核心 1993年第S1期233-239,共7页
本文用含状态位置时间的受控标记图为一类受控的实时DEDS建模,研究了实时DEDS的禁止状态问题及实时可控性,给出了最大允许实时控制的综合方法。最后通过一个制造系统的实例给出了该方法的应用。
关键词 实时DEDS 状态位置时间的受控标记 禁止状态 实时可控性 最大允许控制
在线阅读 下载PDF
基于Web应用的SCXML到自动机的转换
5
作者 张东方 沈云付 《计算机工程与设计》 CSCD 北大核心 2010年第20期4385-4388,4433,共5页
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模... 为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。 展开更多
关键词 WEB应用 状态图扩展标记语言 有限状态自动机 模型检查 形式验证
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部