A Program Study of the Union of Semilattices on the Set of Subsets of Grids of Waterloo Language

The aim is to study the set of subsets of grids of the Waterloo language from the point of view of abstract algebra and graph theory. The study was conducted using the library for working with transition graphs of nondeterministic finite automata NFALib implemented by one of the authors in C#, as well as statistical methods for analyzing algorithms. The results are regularities obtained when considering semilattices on a set of subsets of grids of the Waterloo language. It follows from the results obtained that the minimum covering automaton equivalent to the Waterloo automaton can be obtained by adding one additional to the minimum covering set of grids. .

城市扩张对生态控制线的影响——以广州市为例

以广州市为实证对象,利用元胞自动机模型,使用GeoSOS软件构建城市扩张动态模型,模拟广州市近几年的城市扩张动态,预测2017年广州城市扩张动态演变结果,最后利用GIS空间分析方法将预测结果与生态控制线区域相结合,提取生态保护区域与城市扩张产生冲突的区域,并对广州的城市发展提出指导性意见。

基本图灵机的Petri网建模研究

该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。