房地产"售假"事件的制度分析

随着经济发展人们收入水平的提高,越来越多的居民开始拥有自己的住宅.在消费者与开发商信息绝对不对称的情况下,人们购买商品住宅,依赖的是政府信用和银行信用.但2003年,广州市接二连三曝光了广地花园、丽景台、贝丽花园的开发商涉嫌一楼多卖和搞假按揭的事件,据说这些都还只是"冰山一角",这些开发商的"售假"行为,不仅严重打击了广大消费者的信心,更重挫了政府的信用威信--因为保护私有财产是政府义不容辞之责任.     

房地产“售假”事件的制度分析

随着经济发展人们收入水平的提高,越来越多的居民开始拥有自己的住宅。在消费者与开发商信息绝对不对称的情况下,人们购买商品住宅,依赖的是政府信用和银行信用。但2003年,广州市接二连三曝光了广地花园、丽景台、贝丽花园的开发商涉嫌一楼多卖和搞假按揭的事件,据说这些都还只     

屋顶产权与"金顶"效益

近年来 ,“绿色屋顶”、“屋（楼）顶花园”热潮此兴彼起。加拿大的专家指出 ,普通黑色屋顶夏天的反射温度会高达摄氏６０度 ,绿色屋顶可使其降到２５度。如果普遍推行绿色屋顶 ,就有助于改善城市的气候 ,还可使屋顶延长寿命。所以一个大城市如果有２５%的绿色屋顶 ,整个城市的环境就会有明显改观。日本有关专家认为 ,修建屋（楼）顶花园的好处很多 ,如缩小温度变化幅度 ;防止建筑物产生裂纹 ;减少紫外线辐射 ,延缓防水层劣化 ;节约能源、美化环境 ,调节城市的温度和湿度 ,改善气候、吸收二氧化碳、释放氧气、吸附污染物质净化大气等作用。…     

坡面植被对径流的减流减沙作用机理及试验研究

坡面上的植被斑块和裸地斑块会对坡面产流产沙量产生较大影响.本文设计了两种坡面植被格局,分别模拟了原生植被坡面在开发初期和末期的状态,采用不同流量进行冲刷实验,结果表明草地景观中的裸地斑块和裸地中的草地斑块对坡面径流流量的影响均小于其对于坡面产沙的影响.裸地景观中的植被斑块减沙能力取决于植被带拦截次数,而植被景观中的裸地斑块增加产沙的能力取决于裸地斑块的顺坡长度.因此为了减少坡面土壤流失,在对原始土地进行开发时,应尽量沿等高线开发,减少顺坡长度.对于已经大面积开发的土地,应在沿等高线方向尽可能短距离内重复设置植被带,达到有效拦截泥沙的作用.     

植被格局对坡面产流产沙影响的试验研究

利用人工模拟降雨试验,在不同植被格局的坡面上,研究了坡面不同植被格局对入渗、产流产沙的影响,结果表明:在小雨强下,不同植被格局的稳渗率大小差别较大;随着雨强的增大,不同植被格局的稳渗率差别逐渐减小。五种不同植被格局在不同雨强下的坡面上都在五分钟内达到稳渗。五种植被格局坡面累积产沙量的差异随着雨强的增大而增大,说明不同植被格局的确能够影响坡面植被的减沙减蚀作用。     

Apla语言中并发分布式机制的研究

从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。     

PAR平台中若干软件构件形式化验证技术研究

PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。