基于Kripke结构的程序正确性证明

为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确性证明方法。证明方法为:首先,把程序流程图转换为状态图;然后,根据状态之间的转移关系列出每个状态下的状态谓词;最后,证明每个状态谓词为真。根据状态谓词进行证明,能够反映出程序执行的状态。用该方法对一个实例进行了完整的证明。     

融合正弦余弦和变异选择的蝗虫优化算法

针对蝗虫优化算法(GOA)全局寻优能力不足,易陷入局部最优、寻优精度较低等问题,提出融合正弦余弦和变异选择的蝗虫优化算法(SC-MGOA).首先,在位置更新处根据转换概率选择不同的位置更新方式来增加种群的多样性,同时弥补GOA算法全局搜索能力不足的缺陷;其次,为更好的协调算法的全局探索和局部开发,对引入的正弦余弦机制进行改进;最后,在一定概率下针对最优解进行变异,并利用贪婪法则择优保留,使算法能够跳出局部最优,提高算法的收敛精度.选取10个测试函数进行3组测试,结果表明了不同改进策略的有效性,还证明了SC-MGOA算法相对于其他比较算法在寻优精度、寻优速度和鲁棒性等方面的优越性.     

基于蚁群聚类算法的大规模定制产品模块划分研究

为了解决面向大规模定制生产中产品模块划分问题,提出了一种基于蚁群聚类算法的模块划分方法。以零件间在物理或功能上的相关度作为划分模块的主要依据,利用零件的指标特征值建立相关度评价模糊关系矩阵,然后应用蚁群聚类算法得到产品模块的划分方案,最后通过实例说明了该方法的有效性。     

基于信息熵的异类多种群蚁群算法

提出了一种基于信息熵的异类多种群蚁群算法。算法使用多个异类种群的蚂蚁子群体同时进行优化计算,引入信息熵来表示蚂蚁种群的进化程度,根据蚂蚁子群体间的信息熵来决定子群体间的信息交流策略,包括选择信息交流的对象和调节信息交流的周期以及信息更新策略,以取得各蚂蚁子群体中解的多样性和收敛性之间的动态平衡。基于旅行商问题的实验证明,该算法具有很好的全局搜索能力、收敛速度以及解的多样性。     

基于案例推理的民间借贷案件适用法律推荐

跨域立案是最高人民法院推行的一项便民利民的立案措施,其中要求对当事人进行适当的法律释明,具体包含案件适用法律条文、适当引导当事人明确诉请、固定争点、有效举证等.为了探索智能化跨域立案,对案件进行适用法律条文自动推荐,基于民间借贷案件,提出了基于案例推理的推荐方法.将历史案例作为推理的源数据,设计案件指标体系对案例数值化...     

贵州省废弃露天矿山生态修复成效评价及修复模式探讨

贵州省废弃露天矿山数量较多，且地质地理条件特殊，恢复难度大、成本高、周期长，但目前对该区域废弃露天矿山生态修复模式研究较少。以贵州省长江经济带废弃露天矿山生态修复项目为例，对项目实施成效从经济、社会、生态三个方面进行综合评价，并总结出四种修复方式及两种修复模式，为今后的废弃露天矿山治理提供一定的参考。     

可测湿度的电网设备电子标签研究

基于电子标签封装材料吸湿性对介电常数的影响和封装材料介电常数对电子标签超高频射频性能的影响，设计并制作了可测湿度的电网设备电子标签。在标签设计方面选取了具有较强吸湿性的尼龙材质作为封装材料和窄带宽的抗金属线型作为天线结构，在读写终端设计方面改进了获取电子标签激活灵敏度中心频点的功能。模拟应用湿度性能测试显示，可测湿度的电网设备电子标签测量的相对湿度与湿度计测量的相对湿度两者绝对差值平均是2.0%RH。该设计使电子标签带有传感器的功能，将标识和感知合二为一，基本满足相对湿度测量精度要求不高的应用需求。     

瓷砖背胶在不同环境下的粘接强度研究

探讨了乳液型、干粉型和双组分等三类瓷砖背胶在常温、浸水、高温、冻融等不同环境条件下，以及上述瓷砖背胶对水泥砂浆和瓷砖胶、玻化砖和陶瓷砖的粘接性能的差异。实验结果表明：瓷砖背胶对水泥砂浆、瓷砖胶都有一定的增强效果，而且双组分瓷砖背胶在浸水、冻融和热老化都能比其他2类背胶产品保持更好的粘接强度，与瓷砖胶搭配使用时整体粘接强度更强。另外，随着瓷砖吸水率的增大，不同的瓷砖粘接材料对瓷砖的粘接强度均呈现上升趋势，吸水率越低的瓷砖对瓷砖粘接材料的要求就越高。     

多壁碳纳米管GC-21在全钢巨型工程机械子午线轮胎胎面胶中的应用

研究多壁碳纳米管GC-21在全钢巨型工程机械子午线轮胎胎面胶中的应用。结果表明：在胎面胶中以多壁碳纳米管GC-21部分替代炭黑N234，可改善胶料的导热性能，提高胶料的定伸应力、拉伸强度、耐磨性能和抗撕裂性能，胶料生热降低；成品轮胎的内部温度降低，使用寿命延长。     

开拓思路 勇于创新 做好招标工作——深圳大运中心主场馆招标工作经验谈

深圳大运中心主场馆是深圳市为2011年第26届世界大学生运动会而新建的场馆。在工期紧、任务重的情况下,通过在招标工作中的开拓创新,如期完成了招标工作,得到社会的认可,为工程建设的顺利开展奠定了良好的基础。