林果业生产机械化水平评价与实证研究

为掌握多年生作物林果业的生产机械化发展现状,十分有必要建立一套指标体系来评价其生产机械化水平.从统计具有可操作性角度出发,对林果业概念界定、指标及权重设置、评价方法建立等方面进行了深入探讨.通过典型调查与专家咨询、定性与定量研究相结合等方法,从林果业全程生产的15项作业中重点考虑作业频次高、用工量大、作业费用多、机械化需求迫切的重点作业项目,选取了中耕、施肥、植保、修剪、采收、田间转运等6项,设置了相应评价指标,用德尔菲法确定了指标权重,构建了评价指标体系,采用线性加权综合评价法进行计算和评价.最后进行了应用验证,结果表明该指标体系能一定程度反映生产实况,且具有可操作性,为分区分类指导我国林果业生产机械化发展提供了科学依据.     

超磁致伸缩驱动微泵的磁场优化分析与实验验证

为使超磁致伸缩驱动微泵中超磁致伸缩材料(GMM)棒获得最佳的磁致伸缩性能,在ANSYS Maxwell软件中建立双线圈式驱动磁场、外线圈内永磁体式驱动磁场、内线圈外永磁体式驱动磁场模型,进行仿真分析,得到三种情况下微泵轴线上平均磁场强度和磁场均匀度,并通过试验验证优选结构的磁场强度和均匀度。结果表明:外线圈长度L_(q1)=104 mm,厚度d_(q1)=12.5 mm;内线圈长度L_(q2)=104 mm,厚度d_(q2)=12.5 mm的双线圈式驱动磁场相对于外线圈内永磁体式和内线圈外永磁体式平均磁场强度提高了117%和8.6%,磁场均匀度下降4%。试验结果与仿真结果基本吻合,验证了仿真模型的正确性。     

分析仪器合格性的验证与性能校验

对分析仪器的合格性验证与性能校验的过程、方法进行综述 ,同时对购买仪器提出参考意见。     

基于结构—运动特性矩阵的加工中心运动仿真

在分析加工中心几何结构特点及运动特性的基础上，提出一种基于微机的实现加工中心运行仿真的方法，该方法以二叉有向构造图和结构－运动特性矩阵等概念为理论框架，突出特点是将加工中心的几何结构信息和运动方式信息统一在一个矩阵中，方便了运动仿真算法对数据的处理，此外，还举例说明了该方法在NC验证领域的应用。     

VLIW体系结构微处理器功能验证模型

为了系统而有效地设计微处理器功能验证激励,针对VLIW体系结构微处理器的结构特征,特别是多操作流水线并行特征,提出了VLIW体系结构微处理器的功能验证模型,基于该模型, 针对一个规模为1 500 kbit等效逻辑门的VLIW体系结构微处理器, 完成了功能验证方案的制定和105周期功能验证激励的设计.     

基于飞行试验数据的仿真模型验证方法的研究

讨论了用飞行试验数据对仿真模型的静态和动态性能进行验证的定性和定量方法，并给了实际应用的例子，结果表明，尽管飞行试验的样本容量有限，只要方法恰当，仍能获得较好的验证结果。     

与文本无关的话者识别

本文提出一种采用数字信号迭加处理技术从语声中分离话者个人身份特征信息的实用方法,实验验证了这种方法的可行性,并以此建立了与文本无关的话者辨识和话者确认实验系统。通过大量实验,比较了从连续语音和从断续语音中提取话者个人特征信息的效果;比较了线性预测系数、反射系数、倒谱系数和对数面积比系数用于话者识别的效果。     

基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

浅议我国印证证明模式下的自由心证

我国刑事诉讼的“印证证明模式”下的自由心证以追求案件真相为价值取向,立法制定了较高的证明标准。这导致在司法实践中缺乏可操作性,不利于发现案件真相,保护被告人的权益。在探讨自由心证制度的基础上,结合我国证据制度的实际情况,建议对我国的自由心证制度进行重构。     

管子管板检测机器人爬行脚的吊装负载能力研究

在爬行机器人携带无损检测（NDT）设备的情况下,为了保证其对立式换热器管子管板角焊缝检测过程的稳定性和可靠性,重点对立式换热器管子管板检测机器人的关键机构——爬行脚的负载能力进行了数值模拟分析和实验研究,应用Hypermesh和ANSYS Workbench联合仿真平台对爬行脚在充气和自锁工况下的结构强度和接触状态进行了仿真。模拟结果表明,在负载逐渐增加的过程中,两种工况下爬行脚与换热管内壁之间没有发生滑移失效,一直保持了良好的稳定性和可靠性。同时对爬行脚实验样机进行了开发和验证,并通过两种工况下的吊装负载实验,得到充气工况最大负载为38 kg,自锁工况最大负载为15 kg,验证了其良好的稳定性。