柳州园林景石与植物配置初探

石景设计是中国古典园林造园活动中重要组成部分,景石在应用中形成深厚的文化积淀,在现代园林中也广受人们喜爱。文章对有着＂奇石之都＂美誉的柳州市的城市园林绿地景石与植物配置现状展开调查。调查结果显示,在柳州的园林绿地中,大树常与大而平整的风化石和墨石配置,形成古朴苍劲及自然野趣的景观;形态简洁的乔木可与黄腊石或古朴简洁的墨石等配置;形态丰富的植物则与风化石、类太湖石及墨石等配置突出画意;景石还可与各种灌木配置,形成各种丰富的景石植物小景;草地置石能形成简洁和充满自然野趣的景观效果。景石与植物配置形式多样,并体现了地域特点,风格特点鲜明。     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

浅谈祁临高速公路高边坡整治工程施工技术及管理

祁临高速公路K909+085～K909+450、K910+060～K910+500段路堑边坡由于地质及气候等原因导致局部边坡防护坍塌.为消除运营安全隐患,特对该段造成影响工程整治.文章分析了病害形成的主要原因,并具体阐述了整治工程的施工方法及过程质量控制.     

浅析大丰港疏港航道中模袋混凝土护坡施工技术

结合大丰港疏港航道整治工程的实际,阐述了模袋混凝土护坡的施工工艺和施工技术,介绍了模袋混凝土护坡技术的主要控制参数及质量检测标准,分析了施工过程中出现的缺陷问题,并提出了相应的处理措施。     

职业技能鉴定考试技术指标的确定及应用

分析职业技能鉴定的意义，提出了职业技能鉴定考试方法和技能鉴定的技术指标，给出了这些指标应用的实例。     

浅谈扩大高校图书馆捐赠图书的途径及有效管理

捐赠书是高校图书馆文献资源建设的一个重要补充。从捐赠图书的来源和管理出发,介绍了扩大图书捐赠的途径,探讨了管理捐赠书的有效措施。     

浅谈文学与哲学的结合

谈到文学与哲学的关系时，人们往往只注意到哲学是文学创作的思想基础，哲学对具体文学作品内容与形式，对文学思潮、风格流派、创作倾向、创作方法诸方面的影响。至于文学与哲学能否相结合，二者的结合有怎样的意义，则较少论及。笔者从中外文学史、哲学史的事实出发，认为二者的结合是有可能的，并且二者的结合会给文学的发展以推动作用。有意识地从哲学中吸收营养，与哲学相结合，不失为文学进一步发展，增强生命力的一条切实可行的途径。     

一类非线性无穷时滞系统周期解的性态

本文研究一类非线性无穷时滞微分积分方程周期解的性态，得到周期解全局吸引和周期解相交的充分条件．     

在固定床中煤加压热解特性研究

作者对小龙潭煤和义马煤在固定床中进行加压热解试验,分别用 N_2和 H_2作载气,对热解产生的焦油、热解气、热解水和残炭进行测定和分析。实验结果表明:煤在压力加氢热解(H_2压31kgf/cm~2)条件下与在 N_2气氛中加压热解(N_2压31kgf/cm~2)条件下比较,焦油产率分别提高100%(小龙潭煤)和77.9%(义马煤),焦油中酸性组分含量下降,热解气和热解水产率都有较大的增加,残炭产率有较大幅度的降低,     

抛物型方程广义解最大值原理的一个证明

本文给出拟线性抛物型方程(1)的广义解最大值原理的一个证明。