切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
赞助VIP
赞助VIP 即刻尊享
赞助搜论网 享受下载乐趣
赞助会员免费下论文
每天享受下载服务
享高速下载通道
专享客服优先
立即加入VIP
登 录
注 册
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
全文
搜索
您的位置
首页
期刊论文
非确定系统中可观察状态集的识别序列的一种推导方法
非确定系统中可观察状态集的识别序列的一种推导方法
来源 :内蒙古大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lixinghui318
【摘 要】
:
主要针对非确定系统(实际中的大部分系统都具有非确定性),提出可观察状态集的识别序列的定义,并对于按照观察等价关系化简的系统的实现的集合,给出一种生成可观察状态集识别序列的
【作 者】
:
周建涛
叶新铭
【机 构】
:
内蒙古大学计算机学院
【出 处】
:
内蒙古大学学报:自然科学版
【发表日期】
:
1999年2期
【关键词】
:
相容性测试
状态识别
状态集
非确定系统
conformance testing
labeled transition systems
SETID
nondet
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主要针对非确定系统(实际中的大部分系统都具有非确定性),提出可观察状态集的识别序列的定义,并对于按照观察等价关系化简的系统的实现的集合,给出一种生成可观察状态集识别序列的方法。
其他文献
科尔沁沙地农牧交错景观的分形结构特征
科尔沁沙地农牧交错景观的分形分析表明,在流动沙丘、放牧场和农田三种斑块类型中,放徼场斑块的分维数在所分析的三类中最高,说明其空间格局最复杂,农田斑块的分维数最低,形状上相
期刊
农牧交错区
景观
科尔沁地区
沙地
分形结构
Agrigrazingecotone
landscape
patches
Fractal analysis
Ker
二苯乙烯荧光蓝—S荧光猝灭测定铝(Ⅲ)
研究了二苯烯荧光蓝-S荧光猝灭测定微量铝的实验条件,在PH5.6的六次甲基四胺-HCl的缓冲溶液中,试剂的最大激发波长λex=367mm,
期刊
二本乙烯荧光蓝
荧光猝灭
铝
stilbenefluoblues
fluorescence quenching
aluminium
锌-9-(3,5-二溴)水杨基荧光酮混合表面活性剂体系的分光光度法研究
研究了在混合表面剂CTMAB和OP存在下,9-(3,5-二溴)水杨基荧光酮吸光光度法测定微量锌的最佳显色条件及应用,试验结果表明,在PH9.80-10.40的硼硼-NaOH缓冲介质中,在CTMAB、OP存在下,Zn(Ⅱ)与DBSF形成下1:4配合物,表观摩尔吸光系数ε=1.3
期刊
水杨基荧光酮
锌
分光光度法
表面活性剂
二苯乙烯荧光蓝S—荧光猝灭法测定茶叶中的微量铁(Ⅲ)
研究了二苯乙烯荧光蓝S-荧光猝灭测定微量铁(Ⅲ)的实验条件,在pH5.9的HAc-NH4Ac缓冲溶液中,试剂的最大激发波长λex=370nm,最大荧光发射波长λem=450nm,Fe(Ⅲ)与试剂生成的1:3的配合物使试剂的荧光经度减弱,利用荧光猝灭法测
期刊
二苯乙烯荧光蓝
荧光猝灭
铁
茶叶
stilbenefluoblueSfluorescence quenchingiron
呼和浩特市大气颗粒物中几种多环芳烃的粒度分布
将五段多孔冲击分级器(粒径分级:〈1.1,1.1-2.0,2.0-3.3,3.3-7.0,〉7.0μm)与大流量采样器连接地1996年冬夏两季采集呼和特市居民区、交通区、对照区(较清洁区)大气中的颗粒物,用高压液相色谱仪(HPLC)测定样品中的菲(PHEN)、蒽(ANTH)、芘(PYRE)、
期刊
颗粒物
多环芳烃
粒度分布
大气污染
The atmospheric particulates
Diameters of the particulates
th
α/β类蛋白的构建模式及拓扑结构预测
讨论了α/β类蛋白的构建模式及拓扑分类,根据二级结构序列给α/β类蛋白拓扑结构预测的简明规则,预测成功率在80%以上。
期刊
α/β类蛋白
二级结构序列
拓扑结构
蛋白质
α/βclass proteinsecondary structure sequencetopological s
海洋地区风频模型探索
目前,可以当做风频模型的分布函数很多,但它们都不能准确地描述海洋地区的风频分布规律。根据海洋地区风频分布的特点,在Weibull函数的基础上建立起新的风频模型,并给出它的参数估算方法
期刊
海洋地区
风频模型
参数估算
ocean areawind speed frequency modelmethod of estimating paramete
四合木水浸出液对几种植物种子萌发及幼苗存活的影响
分别用清水,四合木根际土壤水浸出液、四合木的茎叶、根、整株部分的水浸出液滴浇培养皿中的四合木(Tetraenamongolica)、沙冬青(Ammopiptanthusmongolicus)、麻花头(Serratulacentauroides)、扁蓿豆(Pocockiaruthenica)、小叶锦鸡儿(Caraganamicrophyla)等植物的种子,发现水浸出液对植物种子的萌发与幼苗存活均有不
期刊
四合木
水浸出液
种子萌发
幼苗存活
植物
Tetraena mongolicawater extractgerminationseedling survi
Abel正则环中元素的构造
利用幂等元和相关单位刻画了Abel正则环,给出了Abel正则环中元素的结构。
期刊
Abel正则环
幂等元
相关单位
Albe regular ringidempotentrelated unit
关于J—自伴算子边条件Calkin描述的注记
在考虑自伴算子延拓问题时,由于亏子空间是由k=ker(A-iI)和k-=ker(A+iI)组成,通过研究k+与k-间的关系,可直接得到对称算子A的自伴延拓折定义域的维数
期刊
J-对称算子
J-自伴算子
亏指数
微分算子
Jsymmetric
Jselfadjoint
deficiency index
与本文相关的学术论文