中国早期寺院配置的形态演变初探：塔·金堂·法堂·阁的建筑形制

在以塔/浮图为中心的佛教寺院原型传入中国之后,经过“舍宅为寺”的汉化发展过程,在南北朝的后期进入了形态发展的高峰。以永宁寺和日本法隆寺等几个寺庙作为这一时期形态配置的例证看来,由于对佛像崇拜的宗教需求,金堂的地位日益重要,寺院开始将金堂与塔的位置,作或左右、或前后地并置。这种形态学上的多样发展一直延续到了唐代,在金堂的地位日渐巩固后,才确立了在中轴线上以山门、金堂和法堂为主体建筑的寺庙配置。从初唐开始,塔的重要性进一步降低,配置上开始将塔列入别院;同时,汉化的建筑元素如钟楼和楼阁也配合着中轴线的组成逐渐成为寺院配置的重要组成。这一系列佛寺配置的演变过程,也反映了这段时期各种佛教思想的产生与变迁以及寺院使用模式的本土化,从而导致的建筑形制的改变。 　　本文试图从形态发展的角度,就中国及东亚的实例与文献记载,包括敦煌壁画、《洛阳伽蓝记》及《法苑珠林》等诸多文献中出现的佛寺描绘,以及近年来永宁寺,青龙寺等考古资料的发现,将文字记载、考古发掘与现存的实例进行图面的排比,作为寺院形态演化的推测。这个图面排比的研究,以时间为主轴探讨从东汉至南北朝一路到晚唐和五代,佛教寺院配置的可能形式发展轨迹;并就金堂、法堂、寺塔与大殿或楼阁等的形制关系,提出一些初步的观察和问题。     

基于Matlab/Simulink的PEMFC建模与非线性控制

建立了质子交换膜燃料电池动态多输入多输出模型并基于反馈线性化方法设计了适用于该模型的非线性控制器。由于燃料电池阳极和阴极气体之间过大的压力差会引起质子交换膜严重损坏,所以需要设计一个相应的控制器以保证电池外接负载发生较大变化时两极气体压力差尽可能小,同时也能达到延长电池使用寿命的目标。在Matlab/Simulink软件环境下,将所建立的燃料电池动态模型、基于微分几何的非线性系统的反馈线性化方法和一般模型控制(GMC)理论结合进行仿真研究,结果表明该系统可以模拟燃料电池的瞬态响应性能并对质子交换膜形成有效的保护。     

安全苛求软件的模糊风险评价

安全苛求软件是一类把安全性视为第一性能的软件.针对安全苛求软件在测试中发现的危险失效,有效地综合和处理了领域专家对它们的发生可能性及其危害严重程度的主观判断,然后利用模糊规则进行模糊推理,进而实现对它的模糊风险评价.最后以铁路车站计算机联锁软件为例说明该方法的可操作性和有效性.     

软件安全性3M评价模型复杂度因子的研究

安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此，对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正，提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进，然后着重对复杂度因子作了一些研究。