北疆区域能源基础设施一体化发展研究——以伊犁州大伊宁地区为例

从电力、燃气、供热3个方面对大伊宁地区能源基础设施一体化发展的必要性、现实基础、融合需求及总体思路进行分析与研究。认为,通过对能源基础设施的统一规划布局、联合建设,可以从整个区域协调发展的角度突破行政区域内各自为政的管理模式,避免基础设施重复建设无序扩张,继而达到降低开发成本、提高投资效益、集约利用资源的目的。     

北斗导航系统的建设与应用分析

随着我国经济社会的快速发展以及国防军事建设的需求不断提高,对于卫星导航提出了更高的要求。北斗导航系统是由我国自主建设、运行的卫星导航系统,同时也是目前世界上的四大主要卫星导航系统之一。本文主要针对北斗卫星导航系统进行研究,通过对北斗系统的发展、建设进行分析,并且在此基础上对北斗导航系统的应用进行研究,以期更好的改善北斗卫星导航系统的应用。     

基于标签树的自动信任协商策略分析

网络实体间的信任建立是彼此进行安全交互的前提,自动信任协商为分布式环境下陌生实体的信任建立提供了方法.但现有的信任协商默认协商中访问控制策略正确,而策略本身很可能存在某些问题,导致协商失败.重点分析协商策略的性质,首先针对可能存在的冲突策略、平凡策略等策略不一致问题,构建了一种基于标签树的逻辑证明方法,进行策略一致性的检测,并证明了此证明方法的可靠性、完备性;其次,通过对策略树进行化简以求得最小证书集,并对其进行一次性披露和匹配,尽快达成成功协商,从而避免策略环问题,提高协商效率及成功率.     

基于一维卷积神经网络的实时心脏按压评估

在评估胸外心脏按压加速度波形时,现有的利用加速度波形积分计算胸外心脏按压距离的方法多数存在积分漂移、误差累积的问题。在波形分割和标签修正的基础上,提出一种基于一维卷积神经网络的胸外心脏按压波形的识别算法。对滤波后的数据进行脉冲识别,使用滑动窗口模型分割识别后的脉冲得到单次按压的加速度波形,根据数据离散程度对标签进行修正,解决标签可信度低的问题,在此基础上运用学习率衰减、Adam算法等构建一维卷积神经网络模型并进行优化。实验结果表明,该算法基于一维卷积神经网络的分类正确率达到99.4%,对比传统的积分算法、BP神经网络算法提升近5%,且不受按压遮挡、电磁波干扰等因素的影响,对于胸外心脏按压评估具有良好的效果。     

引企入校 创新应用型本科人才培养机制

为适应我国汽车制造及汽车售后服务业的高速发展,提高人才培养质量,针对应用型本科高级专门人才的培养,探讨并总结了有利于应用型本科人才平滑过渡到工作岗位和社会,实现由大学生向企业技术员工乃至高级技术员工角色转化的校企合作人才培养新机制,其目的在于工学结合,固本强技,提高学生的工程实践能力。     

无线传感器网络中载体的自主移动策略

针对部署在复杂环境中或者不易抵达区域的无线传感器网络(WSN)由于受环境影响,其节点修复、定点投放或搜索救援等环节存在人身安全、不易修复等问题,提出一种WSN中载体的自主移动策略。该策略首先基于少量锚节点,结合最大似然估计算法和接收的信号强度指示(RSSI)定位技术实现移动载体自身定位;然后依靠数学模型,根据当前获取的定位信息及目标节点坐标,完成下一步目标节点的选取和前进角度的修正,以最终实现移动载体的自主移动。仿真结果表明,该策略能够确保载体沿较短路径,在较短时间内到达目的地;且传感器节点密度越大,该策略成功率越高,分别对规模为130、180、300的无线传感器网络进行了仿真,成功率高达96.7%。     

基于实体交互模型巷道瓦斯监测WSNs的可用性检验

若煤矿瓦斯监测WSNs(Wireless Sensor Networks)系统的功能设计忽略了被监测实体的交互行为,会造成WSNs本身可靠而被监测实体的安全不满足情况,这在生产安全中是非常危险的。为检验WSNs监测系统功能设计的可靠性和可用性,利用时间自动机模型检验方法建立WSNs监测系统模型,检验WSNs系统的可靠性。然后,根据传感器与环境实体间的交互关系,分析煤矿中多个实体的并发行为,提出了监测WSNs与被监测实体交互并发行为的时间自动机模型和可用性性质描述的建立方法,从监测功能设计角度,将被监测实体的安全并入WSNs监测生产安全的功能性质,然后用模型检验方法进行机器检验,保障了监测系统的可用性。对含有并发结构的实体模型,利用分支行为等价构建并发时间自动机模型,再利用实体间的并发分支汇聚行为互模拟的方法,进行了并发行为模型的状态约减,并通过互模拟等价证明了该方法的正确性。状态约减前后的实验对比表明该方法提高了检验效率。最后,对现行巷道中瓦斯传感器的部署标准,利用该方法对其中的实际部署方案进行建模并检验,在模型中考虑实体的并发行为,发现在并发事件发生时,其中一个含支巷的瓦斯部署模型存...