【摘 要】
：
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和
【基金项目】
：
国家自然科学基金，山东省优秀中青年科学家科研奖励基金
论文部分内容阅读
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语言的同步混排运算的作用和意义,在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法.
其他文献
通过构建16S rRNA基因文库和克隆测序研究了舟山海域沉积物中厌氧氨氧化细菌(AAOB)的多样性。从5个克隆文库中共获得297条16S rRNA基因序列,包含16个操作分类单元(OTUs)。离岸距离较近的3个站具有相似的群落结构,且与离岸较远的2个站具有明显差异。系统发育结果显示,Scalindua属是该海域AAOB的优势类群,95.3%的序列与Scalindua属AAOB具有较近的亲缘关系;1
云南省昆明市与美国爱达荷州拉森农业公司和香港谊通投资公司签约，协议引资1．6亿元建立农业科技示范园，大规模引进脱毒马铃薯种薯。首期计划从美国阿拉斯加州引进脱毒马铃薯种薯
2011年上半年甘肃省全省上下砥砺奋进，克服严重干旱、农资价格上涨等不利因素，积极转变农业发展方式，全省农业农村经济实现了新的跨越。夏粮、秋粮生产形势整体较好，特色产业在“
纳米纤维膜在拉伸性能测试中易出现“颈缩”现象,使得测试结果产生偏差,为了减少“颈缩”现象对测试结果的影响,将标准矩形试样改用哑铃形试样进行修正.测试结果表明,在哑铃
为了解马尾松人工林窗对伴生树种的影响,为马尾松人工纯林的团块状混交提供科学依据,研究了10 m×10 m(T1)、15 m×15 m(T2)、20 m×20 m(T3)、25 m×25 m(T4)、30 m×30 m(T5)、35 m×35 m(T6)和40 m×40 m(T7)马尾松人工林窗中油樟(Cinnamomum longepaniculatum)幼苗叶片形态和光合生理特征的变化,探讨马尾
生物结皮是干旱半干旱地区普遍存在的活地被物,在该区生态系统中具有重要的生态功能。探讨生物结皮的空间分布规律是科学管理该资源的理论基础。选择黄土高原水蚀风蚀交错区六道沟小流域内的典型坡面,通过全面调查并应用GS+和CANOCO统计软件进行分析,探讨了坡面尺度上生物结皮的空间分布特征及其影响因子。结果表明:(1)生物结皮的分布具有明显的空间分异性。沙土区生物结皮以大面积连续分布为主,平均结皮盖度在30
多阶段任务系统是指系统在连续完成多个阶段任务过程中，任务成功与部件的关系不断变化的系统．定义了任务结构函数来表示任务成功与部件关系，同时给出了多阶段任务系统的备件保障
近年来，大连、山东、河北等地甜樱桃栽培发展迅速，很多农户通过繁殖其苗木获得很好效益，但部分繁苗户没有全面掌握繁殖技术，管理不到位，
以甘肃秦王川引大灌区盐渍化土壤为背景,以当地5种耐盐植物为材料,采用根袋法盆栽试验动态研究了淋洗结合植物种植对盐渍化土壤改良的效应。结果表明:与种前相比,单纯的淋洗作用对土壤pH值影响不大,而淋洗结合植物种植明显降低了土壤pH值,且根际土壤pH值小于非根际土壤的,5种耐盐植物中霸王根际土壤pH值降低幅度最大,达0.6个单位。K+、Ca2+、Na+、Mg2+、Cl-和SO2-4在5种植物根际土壤中均
国内外对土壤线虫的研究绝大部分都是基于旱地的非根际土壤,对水田土壤,尤其是水旱轮作下根际土壤线虫对有机肥的响应研究非常地有限。因此,探讨在稻麦轮作体系中以猪粪堆肥和秸秆为原料的不同有机类肥料,对水稻和小麦根际土壤线虫的影响。田间试验处理为:CK(不施肥)、F(100%化肥)、PF(猪粪堆肥+50%化肥)、SF(秸秆全量还田+100%化肥)、PSF(猪粪堆肥+秸秆全量还田+50%化肥)、PMF(猪粪