论文部分内容阅读
为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网（ICPN）特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。
ICPN的时间自动机构造方法
【摘 要】
：
为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网（ICPN）特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状
【机 构】
：
广西师范学院计算机与信息工程学院
【出 处】
：
计算机工程
【发表日期】
：
2011年6期
【基金项目】
：
国家自然科学基金资助项目（60864001）, 广西自然科学基金资助项目（0991105）, 广西师范学院前期基础研究基金资助项目
其他文献
城市商业银行因为体制、经营范围和经营策略上的不健全，在很多方面与股份制银行和国有银行还是不可比拟的。其中主要的发展困境包括：在城市商业银行本地以外的地方业务难以开展
股票市场是国民经济发展的晴雨表，其能否有效发展取决于我国推行的调控政策的正确与否。我国宏观经济调控政策的制定与实施，时时牵动着市场的神经，因此，股票市场作为经济运行的先
现金流量表是专门用来反映企业在一定时期内现金流入、流出及其净额的财务报表。对于纳入合并范围单位较多，且季度和年度均要编制合并现金流量表的集团公司，我们建议对会计准则
C4.5算法作为决策树算法家族中的重要成员,是对ID3算法的继承与拓展。C4.5算法不仅能处理名词属性而且能处理连续属性,极大提高类C4.5算法的学习能力。文章将C4.5算法应用到
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在说话人确认系统中,由于训练和测试语音来自不同的信道,会产生信道失配现象。为此,提出一种基于扰动属性投影的说话人确认系统。利用有信道标注信息的语音训练出高维空间映
利用并行体系结构中不同层次级别的内存和计算单元，提出一种求解对称结构化特普利茨线性系统的多级并行算法。通过数学推导将特普利茨线性系统转换成柯西式线性系统，利用消息传