论文部分内容阅读
随机Ｐｅｔｒｉ网的模型技术有多种不同的方法。简单地使用模型技术去模拟复杂的系统，势必造成状态空间的爆炸，而无法分析系统性能。模型精化技术可以开发出紧凑的模型，暴露出原模型中子模型的独立性和相互依存关系，为模型的分解求解奠定基础。
随机Petri网模型的精化设计
【摘 要】
：
随机Ｐｅｔｒｉ网的模型技术有多种不同的方法。简单地使用模型技术去模拟复杂的系统，势必造成状态空间的爆炸，而无法分析系统性能。模型精化技术可以开发出紧凑的模型，暴露出原模型中子模
【机 构】
：
国家信息中心
【出 处】
：
软件学报
【发表日期】
：
2000年1期
【基金项目】
：
国家自然科学基金! (No.6 98730 12 )资助
其他文献
分析了现有的防火墙系统及其弱点，在此基础上，引入了“Ａｇｅｎｔ”的概念，应用“Ａｇｅｎｔ”的定义和方法规范防火墙的各个部件，描术字各“Ａｇｅｎｔ”之间的通信和协作，并说明了设计和实现一个基于“Ａｇｅｎｔ”的防火
关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库，该文给出了一个维护和更新的形式转换系统，使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识
以花卉废物和牛粪为原料,进行了温度反馈的通气量控制联合堆肥的中试研究.一次发酵采用静态好氧床进行,过程控制采用温度反馈通气量控制方法,周期20天;二次腐熟采用周期性翻
研究了长江口滨岸潮滩表层沉积物中磷的分布、形态等环境地球化学特征.结果表明该地区表层沉积物中磷的含量水平在1 8.0-31.4 μmol/g之间,最大值出现在浦东白龙港污水排放口
以主波长为365 nm的紫外光灯为光源,纳米TiO2薄膜为光催化剂,研究了2,4-二氯酚光催化降解的产物及Cl-对2,4-二氯酚光催化反应动力学的影响,并进一步探讨了Cl-对2,4-二氯酚光