简介:杭州城隍又称浙江城隍,其人物原型被指为明初浙江按察使周新。数百年来当地人认为周新是由永乐皇帝敕封成神的。文章通过对明代史料的还原与考证,指出永乐年间周新并没有被敕封成城隍神,在其死后十数年至29年间才被杭州民间拥戴为城隍神并替代了旧神。其背景之一在于,明初制定了禁止城隍塑像的政策,原有城隍神无甚名气,无法突破禁令,而改换成符合儒教价值观的周新后,不但塑像能够成功,也与省城地位匹配。背景之二是,由于明代的高层政区(省)逐渐发展成了一个区域共同体,省级长官主祭治所所在地的坛庙日渐成为习惯,于是出现了省城隍神的思想与实践,而周新也就成为中国历史上的首位省城隍神。
简介:摘要本文主要介绍了ABS基本结构和工作过程、ABS系统的检修、ABS的常见故障与分析,促进人们从理论层面上认识这类控制系统的控制特点。
简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.
简介:摘要本文分析了教务管理在学校管理中的重要作用,阐述了采用信息化管理教务工作的意义。在详尽分析了我院对教务管理系统的需求分析后,对系统设置的各个模块及模块功能给予了详细说明。