-
题名基于SOM复杂机电系统服役过程动态标记方法
- 1
-
-
作者
谢军太
吕晓喆
高建民
高智勇
王伟
-
机构
西安交通大学中国西部质量科学与技术研究院
西安交通大学机械制造系统工程国家重点实验室
-
出处
《振动.测试与诊断》
EI
CSCD
北大核心
2020年第2期341-347,421,共8页
-
基金
国家重点研发计划资助项目(2017YFF0210500)
国家质量监督检验检疫总局质量基础设施效能研究重点实验室开放研究课题基金资助项目(KF20180301)。
-
文摘
针对流程工业复杂机电系统状态不断更迭、性能出现漂移等问题,提出了一种基于自组织特征映射网络的系统服役过程动态标记方法。首先,构建多变量间耦合关系网络,并在此基础上提取网络特征;其次,将动态标记过程分为状态主动更新过程和状态主动更新过程两个阶段,状态被动更新过程通过不断训练自组织特征映射网络来适应系统新状态出现及性能漂移等情况,状态主动更新过程可用于消除系统已消亡状态对网络模型产生的影响;最后,通过分析实际化工生产系统监测数据对所提方法进行有效性验证。实验结果表明,该方法可有效标记复杂机电系统服役过程中不断变化的多种状态,并建立符合系统动态演化过程的状态标记知识库,从而为系统状态辨识和预测提供可靠依据。
-
关键词
复杂机电系统
自组织特征映射
网络结构熵
网络效率
状态动态标记
-
Keywords
complex electromechanical system
self-organizing feature map
network structure entropy
network efficiency
state dynamic tagging
-
分类号
TH17
[机械工程—机械制造及自动化]
-
-
题名UIO序列生成算法的继续改进
- 2
-
-
作者
黎中文
张来顺
-
机构
解放军信息工程大学电子技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第11期3722-3724,3839,共4页
-
文摘
为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树的方法,并将节点链搜索技术在算法循环调用,去掉不需要的节点,加快UIO序列生成,降低搜索空间。通过实验结果表明,与现有算法相比,该算法在降低时间复杂度和空间复杂度两方面有较大改进。
-
关键词
有限自动机
唯一输入输出序列
表格连接
标记状态
节点链搜索技术
-
Keywords
finite state machine
unique input/output (UIO) sequences
table connection
marked state
chain-node search technique
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名串行接口标准及连接设计
- 3
-
-
作者
樊晓东
林泽明
程小满
-
机构
安徽大学计算机系
-
出处
《安徽大学学报(自然科学版)》
CAS
1995年第S1期69-72,共4页
-
文摘
串行接口标准及连接设计樊晓东,林泽明,程小满(安徽大学计算机系合肥230039)(安徽大学图书馆合肥230039)1概述两台计算机之间信息传送的方法一般有三种:①通过软磁盘等中间媒介物拷贝。②通过计算机网络。③通过串(并)行通讯口。其中串(并)口通讯...
-
关键词
串行接口
连接电缆
个人计算机
数据终端设备
串行通讯
连接器
接插件
串(并)行通讯
标记状态
并行传输设备
-
分类号
TP334
[自动化与计算机技术—计算机系统结构]
-
-
题名一类实时离散事件系统的控制综合
- 4
-
-
作者
王丽亚
吴智铭
-
机构
上海交通大学自控系
-
出处
《小型微型计算机系统》
CSCD
北大核心
1993年第S1期233-239,共7页
-
文摘
本文用含状态位置时间的受控标记图为一类受控的实时DEDS建模,研究了实时DEDS的禁止状态问题及实时可控性,给出了最大允许实时控制的综合方法。最后通过一个制造系统的实例给出了该方法的应用。
-
关键词
实时DEDS
含状态位置时间的受控标记图
禁止状态
实时可控性
最大允许控制
-
分类号
TP36
[自动化与计算机技术—计算机系统结构]
-
-
题名基于Web应用的SCXML到自动机的转换
- 5
-
-
作者
张东方
沈云付
-
机构
上海大学计算机工程与科学学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第20期4385-4388,4433,共5页
-
基金
国家863高技术研究发展计划基金项目(2007AA01Z144)
-
文摘
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该算法实现了将SCXML描述转化为相应的自动机,为对Web应用进行模型检查打下基础。对Web应用游戏系统的SCXML文件转换得到了对应的自动机实例,实验结果表明了该算法的正确性和有效性。
-
关键词
WEB应用
状态图扩展标记语言
有限状态自动机
模型检查
形式验证
-
Keywords
web applications SCXML FSM model checking formal verification
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-