贵州民族民居与地区旅游开发

介绍了贵州民族民居,对贵州民族民居的历史渊源进行了探讨,论述了贵州民族民居的美学思想及贵州民族民居的传承发展与地区旅游的关系,提出了民族民居在地区旅游中传承与发展的措施。     

济北矿区建设水循环型生态煤矿区的研究

煤矿区排水量大,水质好,是一种优质、稳定的中水水源。在分析济(宁)北矿区水资源和水环境数据的基础上,以实现矿区水资源循环利用为目的,提出了适合矿区矿井水和生活污水的处理工艺;研究了矿井排水在矿区内循环利用及纳入社会化中水系统的可行性。对矿区内中水资源进行了水量平衡分析,提出了矿区中水的利用模式,确定了"水循环"型煤矿区建设的基本途径。     

异构计算系统的表调度式任务映射与调度算法

研究了在异构计算系统（ＨＣＳ）中利用表调度式算法进行任务映射与调度．给出两种异构静态优先级表调度式任务映射算法（ＨＳＰ和ＧＨＳＰ）,以及一种异构动态优先级表调度式任务映射算法（ＢＨＤＰ）．实验结果表明,ＧＨＳＰ算法对于粗中粒度ＤＡＧ的调度效果稍好于ＨＳＰ算法,而ＢＨＤＰ算法对于粗粒度和细粒度ＤＡＧ的调度效果均明显优于ＨＳＰ和ＧＨＳＰ算法．     

上帝观的起源、发展及其影响

笔者在从事传统宗教研究中发现,中国古代上帝观的形成,有一个十分复杂的发展变化过程。弄清这个过程,有助于认识和回答如下一些有关的问题,即:中国的上帝观是由什么信仰发展而来的?上帝与天的关系到底如何?天帝观的产生是否真如各种哲学思想史论著所说的是从西周初开始的?上帝观后来有什么变化?上帝观的变化在中国封建社会的政治生活中有多大影响?等等。     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

基于峰度系数方差的加权自适应引导滤波

针对传统局部窗口方差提取有噪图像边缘困难的问题,本文介绍了峰度系数方差准确感知有噪图像边缘,并基于此提出一种加权自适应引导滤波器.自适应调节引导滤波中固定正则化系数,解决边缘模糊、边缘光晕的问题;基于像素的多邻域窗口边缘权重,实现聚合加权滤波,进一步抑制边缘模糊.实验结果表明:本文方法在不同噪声级别下,PSNR、SSIM均值提升率分别大于65%、78%;滤波结果图像在噪声平滑和边缘保持两方面均有更好性能.      

大气环境下锈蚀对钢筋混凝土结构可靠度的影响

研究了大气环境下钢筋混凝土结构可靠度的分析方法 ,计算了不同环境、不同混凝土强度及不同混凝土保护层厚度时构件的可靠度指标 .结果表明 ,在较为恶劣的环境条件下 ,混凝土强度和混凝土保护层厚度对钢筋混凝土结构可靠度有明显的影响 .因此 ,大气环境下钢筋混凝土结构的耐久性设计非常重要     

用于气溶胶探测光学雷达的LED光源的研制

LED作为遥感探测光源具有波长丰富、体积小、价格低等优势。本文针对气溶胶探测光学雷达的应用,研制了一款新的LED光源。设计了LED的脉冲驱动电路,使其发出重复频率为100kHz、脉宽为200ns、单脉冲能量为30nJ的脉冲光束。利用ZEMAX软件建立了全内反射式准直器的仿真模型,并结合开普勒望远镜结构设计了两级准直光路,将光源发散角压缩到5.7mrad~22.9mrad范围内。分析了发散角对雷达几何重叠因子的影响规律,雷达系统的盲区不足3m,仿真结果和初步实验表明,雷达系统的探测距离可达210m。验证了LED光源用于气溶胶探测光学雷达的可行性,适用于城市内的近程气溶胶探测。     

幸福之花开在感恩枝头

每年11月的第四个星期四，是西方人的感恩节。在这一天，许多西方国家的人们大多都会结草衔环。感恩报德：感父母的恩、感爱人的恩、感师长的恩、感同学的恩、感同事的恩、感朋友的恩、感国家的恩、感社会的恩、感生活的恩……