切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
同步合成网的完全顺序行为不变性
同步合成网的完全顺序行为不变性
来源 :应用科学学报 | 被引量 : 0次 | 上传用户:dragonunderwater
【摘 要】
:
定义了完全行为不变性,引入根同构等概念,给出完全行为不变性的一个简洁判据,进一步地研究了完全行为不变性在活性和公平性等重要性质保程中的作用,指出在完全行为不变的前提下,这
【作 者】
:
葛昌俊
【机 构】
:
同济大学计算机科学与工程系
【出 处】
:
应用科学学报
【发表日期】
:
2000年3期
【关键词】
:
PETRI网
完全行为不变性
计算机网络
Petri net
complete behavior invariance
liveness
fairnes
【基金项目】
:
国家自然科学基金!(69973029,69933020),全国优秀博士学位论文作者专项基金!(199934),山东省优秀中青年
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
定义了完全行为不变性,引入根同构等概念,给出完全行为不变性的一个简洁判据,进一步地研究了完全行为不变性在活性和公平性等重要性质保程中的作用,指出在完全行为不变的前提下,这些性质的保持是充分必要的关系。
其他文献
苍山红杏梅及栽培技术要点
杏梅属于蔷薇科,李属.苍山红杏梅在苍山西北部山区有零星和成片栽植.苍山红杏梅外观似杏,成熟期较杏晚,果实耐贮性好,深受广大消费者欢迎.1主要性状苍山红杏梅果实圆形,果顶
期刊
苍山红杏梅
特征特性
栽培技术
嫁接
栽植
土肥水管理
Fe—Al合金TIG焊接头组织与性能研究
借助能谱的成分分析(EDS),用X射线衍射XRD及透射电镜的选区电子衍射技术(SAED),确定了焊缝金属的组织结构,并对焊缝金属和Fe2Al合金母材的高温(900度)抗氧化性能进行试验比较,研究结果
期刊
FE3AL合金
TIG焊接头
高温抗氧化性能
Fe3Al alloy
TIG weld joint
high-temperature oxidation-r
曲纹面圆柱蜗杆的参数反求原理与实践
基于曲纹面圆柱蜗杆的一般方法,探讨了该类蜗杆齿廓参数反求原理。着重阐述了与此相关的两个关键问题;参数未知条件下的齿廓测量原理与数据分析方法,最后给出了应用上述原理的参
期刊
曲纹面圆柱蜗杆
蜗杆测量
参数反求
反求工程
curvedprofile worm
ZC worm
ZK worm
worm measurement
r
刍议实验室主任的创新意识
实验室的生命力在于教育创新。教育创新使实验室的发展适应现代教育的需要,符合现代大学的理念。实验室主任应在思想创新的基础上做到组织创新、教育创新,以保证实验教学中创新
期刊
创新意识
培养
思想创新
教学观念
实验教学
教学创新
物理教学
实验室主任
教育创新
laboratory
education
innovation
q
优化教学内容 培养高素质的软饮料人才
从优化教学内容,改进教学方法,更新教学手段等方面探讨了改革软饮料课程的措施,以适应高素质人才的需求。
期刊
软饮料
教学内容
高素质人才
食品工业
softdrink
teaching material
qualified talent
雪松大树防碱移植栽培技术
雪松树姿优美,深受人们喜爱,在我国长江及黄河流域城镇园林绿化中广泛栽培.但是,当土壤含盐量超过0.2%,pH值达到8.0以上时,雪松不易成活,大雪松移植,即使当年成活,也往往生长
期刊
雪松
大树移植
防碱
栽培
三叉树形冲突分解算法研究
提出一类新的三叉树形冲突分解算法,并对随机多址系统中信息分组冲突分解进行了研究,给出了冲突信息分组平均分解次数的解析式及动态吞吐量和解析式。
期刊
随机多址系统
冲突分解
三叉树形算法
random access channel
packet conflict resolution
ternarytree
注重做好特殊物资的管理工作
对某些应用(存储)数量少、涉及国家管理法规多、危害可能性大的特殊物资(如无线电台站与频谱资源、放射性同位素材料与射线装置)的管理要能做到有工作依据、专人专项负责、资
期刊
特殊物资
频谱资源
辐射
高校
科研管理
物资管理
special materials
spectrum
resouce
radiation
harm
指数和在扩频序列设计中的应用
设p为奇素数,n、m、e、r是满足如下条件的正整数:n=em,1≤r≤e-1,(r,e)=1,ω是p次本原单位根,q=pm,Ψ:z→ωtrm1(z)是有限域Fq上加法特征.对任意a,b∈Fqe,定义指数和σ(a,b)=x∈FqeΨ[trnm(ax+bxqr+1)],其中trnm(·)表示从Fqe到Fq上的迹函数.文中求出了指数和σ(a,b)的值,并
期刊
指数和
二次型
扩频序列
多址通信系统
exponential sums
quadratic forms
spreading sequences
欧美杨优良无性系——卡帕茨杨
卡帕茨杨Populus×euramaicana‘carppaccio’是二十世纪八十年代中国林科院从国外引进的欧美杨无性系,由山东省林木种苗站引入山东。通过山东省林科院、山东省林木种苗站
期刊
欧美杨
无性系
卡帕茨杨
生长速度
成活率
抗性
材质
与本文相关的学术论文