基于WEB的群思维导图的设计与实现

设计并实现了基于WEB的群思维导图,给出了系统用例图和系统结构,并对每个功能模块进行了说明,同时对系统中的关键技术做了分析,介绍并分析了可视化技术DataV,最后给出一个实例来说明群思维导图的有效性。     

涔天河水库扩建工程2~#泄洪洞衬砌结构设计简介

涔天河水库扩建工程2#泄洪洞洞身尺寸12m×12.5m,施工期根据该隧洞地质条件、变形观测成果,确定隧洞临时支护设计参数。混凝土衬砌结构设计时根据隧洞地质条件及排水措施,对围岩压力、外水压力等荷载合理取值进行分析,采用传统结构力学方法对混凝土的衬砌厚度及配筋进行计算分析,进行不同衬砌厚度及配筋组合计算,选取较为经济合理的衬砌厚度和配筋组合。     

作用于InhA的吡咯类抗结核病药物对接模型的构建

目的:通过对接研究,初步建立作用于InhA的吡咯类抗结核病药物的筛选模型。方法:采用Gold 3.01分子对接软件,评估已报道的吡咯类化合物衍生物的活性,并使用Fitness打分函数评价分子对接结果。结果:初步建立了分子对接与药物活性的药物筛选模型,建立的模型的r2为0.829,对测试集化合物的活性预测结果与实验数据相关性很好,表明模型预测能力较强,并分析出S构型药物分子具有更好的活性。结论:Gold对接所建立的模型的预测能力比较强,可以用于同类化合物的药物筛选,为新的抗耐药结核分枝杆菌的药物筛选提供了思路。     

定理证明理论与应用专题前言

<正>随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.定理证明方法将程序和系统的正确性表达为数学命题,然后使用逻辑推导的方式证明正确性.不同于基于程序测试的技术,定理证明方法能保证覆盖所有边缘情况,完全排除一些特定类型的错误.而基于逻辑推导的交互式定理证明技术还能不受系统状态空间大小和复杂性的限制,验证非常复杂的系统和性质.因此,定理证明技术不仅是形式化方法领域,也是众多其他应用领域国内外学者的关注焦点和研究新热点.近年来,定理证明已经逐步用于越来越多的软件、硬件系统验证,这一方面为软硬件系统的安全性保障提供了新的有力工具,另一方面也成为定理证明技术发展的有利契机.目前,定理证明的规模化问题、定理证明工具本身的底层逻辑理论问题、适应于定理证明方案的程序验证理论问题等变得越来越重要,对于数学分析、离散数学、概率等基础定理证明库或求解方案的需求也越来越迫切.     

基于位置补偿技术的模具监视系统

针对模具制品射出成型过程中因制品滞留在模腔中造成的夹模问题,提出集数字图像采集与处理以及模式识别等技术的解决方案,实现在注塑行业成型模具的监视系统。运用自适应阈值分割算法进行图像处理,运用图像差影检测算法进行模式匹配比较分析,并利用基于搜索空间与相似度测量技术的位置补偿算法,通过自动位置补偿将采集到的图像进行矫正。结果表明,生产制品的品质合格品率由90%提高到99%,注塑成型机的使用率由75%提高到96%。     

支持多种飞船交会对接的数据分级管理方法

针对目标飞行器与不同飞船组合体交会对接时,作为信息管理主控方,需支持不同类型数据可靠传输、遥测模式迅速切换、多种类复杂数据流复接下行的数据管理难题,提出了一种支持多种飞船交会对接的多网络数据分级管理方法。该方法包含组合体网络拓扑设计、对接总线协议复用、遥测管理实现策略和分级网络管理等方面的内容,结合软硬件设计,从系统层面给出了数据管理解决方案,既能够保证空间实验室、载人飞船、货运飞船独立运行的可靠性和安全性,又可兼顾交会对接组合体数据通信和管理的灵活性和可扩展性。该方法已经在空间实验室数管分系统得到了应用,并通过了空间实验室与载人飞船和货运飞船共四次交会对接组合体的长期飞行实验,充分验证了方法的有效性和可靠性。     

单目视觉在棒料全自动上下料系统中的应用

在全自动上下料系统中,机器视觉技术以它快而准确无误的性质发挥重要的作用.针对系统的功能要求,进行了基于单目视觉全自动上下料系统平台的设计和搭建,通过Halcon完成了摄像机和机械手标定,理论上研究了实现空间棒料的三维姿态的算法,在图像处理中运用二项式滤波、傅立叶变换、闵可夫斯基加减法确定空间棒料的三维姿态,通过VS2015C#与Halcon混合编程,进行软件界面开发,控制机械手上下料.结果表明该方法具有可行性.     

低温燃烧法在燃用准东煤锅炉上的应用

分析了准东煤煤质,介绍了低温燃烧方法,通过大量试验和探索,运用低温燃烧法首次实现了80%比例掺烧准东煤,并可满负荷连续稳定运行,其经验可为燃用准东煤的其他电厂减轻及预防结焦提供参考。     

关于土地整治中的农田水利设计的研究

基于国家政策对“三农”问题的不断关注,如何让农业成为有奔头的产业,成为当下发展的主题,国家对土地整治项目的投入不断加大,其中对于农田水利设计的费用所占比例较高,这能有利说明国家对农田水利设计的高度关注。就目前土地整治的工作进展来看,整治后的土地已基本实现农田的防旱抗涝,实现农田的产能提高,使得农民收入无形增长,对农业的信心大增。但是要大范围内开展土地整治,实现沟渠相通的农田水利设计仍旧任重道远。文章从南方地区土地整治开始探讨,对整治中的农田水利设计不断研究,以期建设集中连片、旱涝保收的高标准农田。     

从价值工程理论看西安建筑围墙广告设计

文章以建筑围墙广告的概念为切入点,从四个方面分析了西安建筑围墙广告设计的现状,重点通过介入价值工程理论中功能—成本—价值三个变量关系的基本原理与价值提高的五种基本途径对西安建筑围墙广告设计进行了可行性创意论述,进而指明如何在城市建设中进行围墙广告设计。