安全责任展开理论及其在煤矿安全生产中的应用

依据煤矿安全事故调查报告,借鉴质量管理中的质量功能展开理论的思维方式,提出了适用于煤矿安全管理的安全责任展开理论方法,并阐述了该理论方法在煤矿煤矿安全生产品中的应用和安全要素重要度评估的重要作用.     

基于DEM的河网缓冲区生成方法研究

在洪水灾害危险程度区划中,需建立河网缓冲区.但是,不考虑地形影响而只按河流等级给定缓冲区宽度,则不能很好地反映实际情况.为解决这一问题,利用长江中下游的DEM和河网分布图,提出了基于DEM的河网缓冲区生成方法:利用无填洼的DEM生成流水网,进而生成子流域;挑选出河流和湖泊经过的子流域并将其进行合并,以合并后的结果作为河流和湖泊的缓冲区.结果表明,基于DEM的河网缓冲区生成方法能够生成符合实际情况的河网缓冲区.     

电梯上高峰模式下动态分区算法的研究

研究了电梯群控系统(EGCS)上行高峰时期的动态分区群控方法.动态分区是根据大楼乘客流量的大小和分布情况动态地调整楼层区域的划分;同时提出了一致的UPPINT的目标函数,将动态分区问题归结为一个最优化问题,用直接搜索法对其进行求解;并对群控的几种算法进行了仿真比较,验证了动态分区算法的良好效果.     

富勒烯衍生物C60（OH）x（O）y在生物体内的分布

对富勒烯衍生物的生物活性研究结果表明它们可能在医药领域存在巨大的潜在应用价值。为了能了解作为药物或药物载体的C60衍生物在生物体内的分布,用临床上用得最多的显像核素^99mTc对C60的一种简单水溶性衍生物C60（OH）x(O)y进行标记,使用γ计数器测定标记物在小鼠体内各脏器和组织中放射性以及SPECT（单光子发射计算机断层）对注射有标记物的新西兰大白兔进行显像来确定C60衍生物在生物体内的分布和代谢行为。结果表明,标记物能很快被组织吸收,其中头颅骨、胸骨、脊椎、四肢蜂窝、肝脏、脾摄取较高。除脑以外,在其他各脏器的清除速度均不快,化合物可能通过肾脏和消化道排泄。生物分布与Yamago等人的实验结论不一致,讨论了造成差异的可能原因。C60本身在多大程度上左右C60衍生物在生物体内的分布,有待进一步的研究。     

基于深腾1800机群系统的分子动力学并行仿真研究

介绍了分子动力学并行仿真计算的软硬件环境,分析了现有的几种并行算法,确定采用区域分解法作为并行算法,并在此基础上提出了基于区域二次划分的分子动力学并行仿真算法.另外,阐述了原子链、原子近邻表和原子亲属表的概念,提出了基于永久序号的消息传递策略.最后,设计了分子动力学并行仿真程序,并分别在1、2、3、4台结点机上进行了实验,运行结果表明:加速比随着结点数的增加而增加,并行效率虽略有下降但都在87.5%以上,并行效率并没有随着结点数的增加有明显的降低,说明并行程序具有很好的扩展性.     

带信息素回访机制的多无人机分布式协同目标搜索

为了提高无人机对目标的搜索捕获能力和对不确定度较高的区域的回访能力,进而提高多无人机协同搜索效率,提出了一种带信息素回访机制的多无人机协同目标搜索方法。首先,建立了包含目标存在概率地图、不确定地图和数字信息素地图在内的环境感知地图及其更新机理,使得无人机对任务区域中环境和目标信息的感知更加全面和准确,为无人机在线自主地进行搜索决策奠定基础。其次,考虑到任务子区域的可控回访需求,借鉴信息素“释放-传播-挥发”的特性,设计了基于信息素的网格回访机制,来引导无人机对目标存在可能性较大的区域或者不确定度较高的区域进行回访搜索。最后,设计了基于环境感知地图的协同搜索决策性能指标,在分布式滚动时域优化框架下,建立了多无人机协同搜索决策方法。使用蒙特卡罗方法验证了无人机数量、传感器探测靶面半径、传感器性能对搜索效率的影响。对比仿真表明,信息素回访机制能够保证较强的遍历能力和回访能力,使得无人机能够尽早搜索到更多的目标,尽快地降低整个搜索区域的不确定度。     

模糊测试技术研究

随着人们对软件安全问题关注度的不断提升,漏洞挖掘技术逐渐成为业内热点的研究内容.但传统的漏洞挖掘技术耗时长耗工大,更重要的是不能全面的探测出软件中的漏洞,因此一种简单高效的漏洞挖掘技术,即模糊测试技术,逐渐成为了研究者们关注的重点.本文首先重点介绍了模糊测试技术的相关理论知识及研究进展情况,并对比了传统漏洞挖掘技术与模糊测试技术进而说明模糊测试技术具有传统漏洞挖掘方法无可比拟的优势.之后,研究了目前模糊测试技术在各个领域内的应用情况,并比较了现有模糊测试工具的优缺点.最后列举出模糊测试技术的局限性,并阐述了模糊测试技术未来的发展方向.     

宁夏彭阳县退耕还林还草研究

运用了生态学、经济学的办法,在彭阳县退耕还林还草的大前提下,对于彭阳县的各种状况进行了分析,探讨了以农林牧复合体系为指导的生了一条果园复合经营脱贫致富的新路子。态农业,并论证了其可行性,分析了三种模式综合所能带来的生态经济效益,开创     

测试的离散信道模型与信息量

针对系统级故障诊断过程中测试信息量的计算问题,建立了测试过程的离散信道模型,提出了基于信道平均交互信息量的测试信息计算方法,并证明算法的复杂性为O(mnlogn2),为系统级故障诊断提供了精确的定量分析基础。     

本科层次职业教育1+X证书制度建设及实施路径 ——以旅游大类专业1+X证书为例

从1+X证书制度在本科层次职业教育试点院校建设的背景、意义和要求入手,比较"双证书"制度和"1+X证书"制度的区别与联系.以旅游大类专业为例,阐述本科层次职业教育试点及1+X证书试点现状,提出本科层次职业教育1+X证书制度建设的实施路径.通过问题剖析,提出本科层次职业教育1+X证书制度建设的政策建议.