Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力
个人简介:陶洁之,1933年生,安徽省太和县人,从事教育工作40年。现为安徽省阜阳市洁正园园主。自幼喜爱盆景,20岁左右开始学习制作盆景。
数年前,在中国各类报纸、杂志、电视、电台等传媒上还活跃着一批一面埋头于学术研究,一面就社会公共问题向公众发表意见的知识分子,这些被媒体热捧的“意见领袖”指点江山,激
针对一类多状态时滞多面体不确定对象,提出了一种鲁棒预测控制算法。基于参数相关的李亚普诺夫函数,给出了系统稳定的充分条件。通过求解满足若干线性矩阵不等式条件的上界值的最优化问题,获得了约束范围内满足系统鲁棒性能的最优控制律。优化问题的可行性保证了算法的鲁棒稳定性。仿真实例证明了该算法的有效性。
以求解双曲守恒律组的FD-WENO格式为基础提出了两类用于求解非守恒可压缩理想流体力学方程组的数值方法。通过求解若干Riemann问题及周期漩涡问题对这两类方法及已有的其它方法进行了测试和比较。数值试验表明这两类格式用于求解非守恒理想流体力学方程组时,计算是稳定的,能够算出较好的数值结果。
7月中下旬,台湾盆景大师郑诚恭先生来到大陆,对去年参加常州丝雕培训班的每位学员进行实地回访。学员分布全国各地,他不辞劳苦,连续十几天,在杭州鲍世骐先生、常州王永康先生、合
评价问题本来不是个问题,却成为学界普遍关注的热点,关键就在于目前的学术评价缺乏必要的公正性。学术评价作为一种学术权力,不公必然导致腐败,不是促进学术而是促退学术。这一点
近年来,广西的旅游业发展很快,主要发展指标再创历史新高。然而,旅游区域布局和产品结构欠合理。产品关联度和配套性差,旅游资源开发分散、规模小、品位不高,品牌意识和精品意识不
为繁荣山东省花卉盆景产业,由山东省花协、青岛市化协、青岛崂山区人民政府主办,青岛枯桃花卉交易中心承办的第三届“枯桃杯”花卉盆景展销会于2006年4月29日5月6日在青岛枯桃