Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念,并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网蒡都可由一组S-网通过同步合成得到,从而可由这些S-网来求取蒡的语言,最后给出了结构复杂的Petri网的语言的求解算法。

支持人工智能问题求解语言DMS通讯设计

本文阐述了ＤＭＳ（ＤｉｓｔｒｉｂｕｔｅｄＭｅｍｂｅｒＳｙｓｔｅｍ）通讯原语的设计，它是基于产生式系统ＯＰＳ５的优点而克服其缺点，为了支持人工智能问题求解而设计的语言环境．

一维多孔介质热湿耦合传递问题的解析解

为准确确定建筑物的能耗,保证建筑物的使用功能,需对土壤和围护结构中的热湿迁移现象进行研究.本文基于Luikov热湿耦合传递方程,提出了一种计算一维多孔介质瞬态热湿传递的理论分析方法.通过引入无量纲温度、湿度对Luikov方程进行拉普拉斯变换,采用传递函数方法(TFM)得到了一维瞬态热湿传递方程的解析解,该解析解揭示了多孔介质传热传质过程中各影响因数的定性定量关系根据文献实验提供的边界及物性参数,利用FORTRAN语言编制程序求解方程,得出了温度及湿度在多孔介质中的瞬态分布,将计算结果与文献实验数据进行对比,吻合性较好.