云杉八齿小蠹Ips typographus L.虚拟模型构建方法研究

本文以云杉八齿小蠹Ips typographus Linnaeus为例,经标本选取,观察虫体整体形态,绘制整体结构草图,电子显微镜观察局部、得到局部数字图像,分别建立虫体每一部分的高精度细节。把模型每部分拼装在一起组成整体模型,构建出了云杉八齿小蠹三维虚拟昆虫数字化模型。     

我国工业化进程中煤矿安全评价分析

对工业化进程中,即1949-2012年我国煤矿事故进行统计分析。建立煤矿安全以自然条件、安全管理和通风系统的3个层次及21个指标的综合评价体系,给出煤矿安全5个等级标准及相应的评价指标量值。应用可拓理论,以平顶山某煤矿为实例,进行计算分析,得出该煤矿等级为Ⅲ级,处于一般安全的状况,需要采取防范措施预防潜在危险因素。评价结果合理。     

浅谈基于逆向工程的自由曲面重构技术研究

计算机的发展应用为我国机械加工行业提出新的可能。目前在我国机械加工行业得到广泛应用的逆向工程的自由曲面重构技术,以其巨大优势为机械加工工艺做出卓越贡献。文章将针对逆向工程的自由曲面重构技术目前在我国的发展及应用状况进行分析研究。     

结合公钥加密和关键字可搜索加密的加密方案

带关键字搜索的公钥加密(PEKS)是一种有用的加密原语，它允许用户将在加密数据上搜索的功能委托给不可信的第三方服务器，而不影响原始数据的安全性和隐私性。但是，由于缺乏对于数据的加密以及解密能力，PEKS方案不能单独进行使用，必须与标准的公钥加密方案(PKE)相结合。因此，Baek等人在2006年引入了一种新的加密原语，称为结合PKE和PEKS的加密方案(PKE+PEKS)，它同时提供了PKE和PEKS的功能。目前，已有文献提出了几种PKE+PEKS方案。然而，他们都没有考虑关键字猜测攻击的问题。本文提出一个新的高效且能够抵抗关键字猜测攻击的PKE+PEKS方案，与已有方案相比，该方案在性能上有很大的提升，并且在生成关键字和数据密文时，不需要使用双线性对，极大地降低了计算和存储成本。安全性分析表明，本文中所提出的方案能够满足密文隐私安全性、陷门不可区分性和抗关键字猜测攻击的安全性。效率分析表明，本分提出的方案更加高效。     

浅谈混凝土反坎可周转钢筋内衬施工工法

从具体施工出发,简要说明了混凝土反坎可周转钢筋内存在保证工程质量、降低渗漏风险、降低工程成本的作用,介绍了混凝土反坎可周转钢筋内衬工法的特点及工艺原理,对该工法的施工工艺及要点进行了探讨,并从施工实践对其经济效益进行了分析,实践证明,该法的应用产生了巨大的经济、社会效益。     

关于一元函数可微条件讨论

本文通过两道例题讨论了当一个特殊极限存在时,一元函数在一点处可微的情况.给出一元函数在一点处可微的一个特殊结论及证明,并计算出导数.     

异域来风 谁来管理机器人?

机器人技术不再是未来的幻想,它已经进入了我们的日常生活。但在这一领域,我们缺乏相应的法律法规。比如无人机,现在由美国联邦航空管理局(FAA)来管理,但很多人认为,这完全越权了;比如机器人手术,多起法律诉讼都表明,美国食品及药品管理局(FDA)在审查方面,做得远远不够;再比如"自动驾驶",内华达州是全美第一个通过无人驾驶汽车法律的州,随着技术的发展,它不得不废除关于"自动驾驶"的旧定义,重下一个新定义。让机器人这种革新技术融入当今社会的最好方法是什么?我们现在仍然不能非常确定。所以,美国需要建立一个新的联邦机构,制定出最佳策略。     

管道机器人的驱动单元工艺优化设计

驱动单元的驱动特性和可靠性决定管道机器人的工作效率及其工作能力,由于对管道机器人三轴差速驱动单元的优化大部分都由电脑仿真来完成,但是在制造、装配阶段还是会导致差速不准、功率过大等问题.因此本文通过对三轴差速器工艺的优化,解决了工艺当中的公差分配问题,降低了零件的工艺难度,建立了十字轴垂直度误差对啮合质量和轴向调正间隙的函数关系.     

电子证据可采性完善刍议

目前,司法实践中认定证据的类型已经从最开始单纯的物证向电子证据等多元化证据转换。但是由于电子证据的特殊性,使其可采性认定也随之下降,针对司法实践的需要与法律规定存在一定的空白区域,使得对电子证据可采性问题进行探讨有了一定理论价值和现实意义,本文通过对电子证据可采性所出现的问题进行分析,并提出相应的立法完善建议。