Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

智能装配工艺规划中的层次化装配语义模型

通过对传统CAD系统装配设计方法进行系统分析,提出一种基于虚拟装配的多层次装配语义模型,并在此基础上重点分析了装配语义信息的分析提取过程,其中包括空间位置关系、配合特征、装配特征、装配工程关系的提取.并根据此模型基于Prot g本体工具进行建模,导入三维虚拟装配工艺规划(3D Virtual Assembly Process Planning,3DVAPP)系统中进行验证,实现了装配工艺规划中的智能零件识别等应用,为智能虚拟装配提供了理论与实践基础.     

基于89C51的线束检测仪的硬件系统设计

设计了一种实用的线束检测系统,该系统具有最大可检测1200点的可编程检测功能,能够准确快速检测各种线束的断路、短路及线束中的电阻、二极管等故障,保证了产品质量,大大地提高了生产效率。本文对检测仪设计的总体方案进行了探讨,对线束检测仪的硬件设计进行了研究。     

基于装配语义的航天产品虚拟装配过程仿真方法

针对虚拟装配仿真过程中大量人机交互操作带来的效率低的问题,提出一种基于装配语义的虚拟装配过程仿真方法.通过分析航天复杂产品装配工艺,提取出4类典型装配操作并进行装配特征的参数化表达;通过匹配装配语义的装配特征基本信息和几何图元信息,实现了从语义层到特征层、几何层的装配语义层次化解析;从装配特征中解算出装配对象间的约束关系后,根据装配约束关系给定的运动方向和顺序,生成相应的位姿变化矩阵,驱动执行对象完成装配过程仿真.基于Delmia设计并开发了原型系统,以某卫星导航仪的装配过程仿真为例,对上述方法进行了验证.      

基于89C51的线束检测仪的硬件系统设计

设计了一种实用的线束检测系统,该系统具有最大可检测1200点的可编程检测功能,能够准确快速检测各种线束的断路、短路及线束中的电阻、二极管等故障,保证了产品质量,大大地提高了生产效率.本文对检测仪设计的总体方案进行了探讨,对线束检测仪的硬件设计进行了研究.     

教育资源语义集成原型系统设计与实现

本文介绍了基于本体的教育资源数据库语义集成原型系统的设计与实现。分析了原型系统的需求、设计目标以及系统结构,选择相应的开发工具并对原型系统的本体浏览和语义查询功能做了说明。     

基于本体的文献检索研究

为了用户方便快速地进行文献检索,将本体引人文献检索,设计实现了一种基于领域本体的文献检索系统.利用本体中概念与概念之间的关系对用户的查询请求进行语义推理,全面而准确地返回查询结果.实验表明,基于本体的文献检索比传统的文献检索在查全率、查准率及语义相关率上都有较大提高.     

基于XML的语义层报表模型的研究与实现

研究了在报表设计器和企业数据源之间建立语义层，在语义层中定义数据模型，该模型封装了数据源的技术细节，用户基于语义层设计报表，只需简单地拖拽语义层元素即可，不需要编写复杂表达式和复杂SQL.语义层的加入不仅给用户的操作带来了极大的方便，而且增强了企业数据的安全性.在模型中字段上建立视图间的关联关系，关系自动作用在报表上，不需要进行视图间连接就可以设计出多源报表，极大地提高了复杂报表的计算效率.     

基于超声波压接技术在汽车线束生产工艺中的研究

汽车线束是汽车电气系统的神经中枢,其设计制造工艺的优劣直接影响到整个汽车电器系统的正常工作。电子和信息技术的发展,对汽车线束设计制造工艺提出了越来越苛刻的要求,尤其是对汽车线束传输信号的质量。因而,仅仅通过在汽车线束生产中采用诸如屏蔽线、双绞线、镀金端子等远远满足不了这些要求。事实上,超声波压接工艺也是提高汽车线束传输信号和输送电流质量的一大措施。     

具有广播功能的CSP操作语义

并发程序设计语言的形式语义定义,是当今语义学研究中比较活跃的领域之一,语言的形式操作语义为语言的准确实现,提供直接的依据。本文给出了带广播功能的CSP(Communicating Sequential Processes)的形式操作语义。     

关于短信网关的分析论述

信息作为我们生活交流媒介的一部分,那么信息的接收和发送更值得我们深入的认识和研究.主要从短信网关的引入、短信网关的系统组成、短信网关的系统功能以及应用短信网关服务进行分析论述.     

空间环境对植物影响的研究进展

从蛋白质和基因水平分别介绍空间微重力、强电离辐射、亚磁场及空间综合因素对生物性状和遗传变异的影响,并对今后空间诱变育种的前景和存在问题加以概述。     

基于Hyper-V的校内私有云构建研究

针对云计算的发展趋势,结合校园网基础设施特点,研究和分析了虚拟化技术和云计算模式,提出一种基于Hyper-V的私有云计算环境模式,并在校园网内实现了该模式的私有云构建,为云计算环境在高校的实现提供了具体方法。     

基于迁移学习的危险行为识别方法研究

深度学习中卷积神经网络在行为识别领域有着良好的识别效果,但是由于深度学习需要较大数据集训练模型,而现今公开数据集中危险行为识别相关方向没有大量数据集。针对危险行为识别领域样本少、无法进行深度学习训练等问题,建立了危险行为识别数据集,并采用迁移学习方法对C3D网络模型进行迁移训练。结果表明,迁移学习后C3D网络模型对危险行为识别数据集平均识别率达到了83. 2%,可以有效识别危险行为动作。     

基于Carsim的弯道路段行车轨迹研究

针对受驾驶人自身驾驶经验和习惯、视野、道路周边环境等因素影响的车辆行驶轨迹,探究了典型车辆行驶轨迹(正常轨迹、理想轨迹、切线轨迹、漂移轨迹、摇摆轨迹和修正轨迹)条件下的车辆动力学响应. 在Carsim环境中构建了以6种行车轨迹为道路中心线的弯道路段,并使车辆的左前轮始终沿道路中心线行驶,仿真过程中记录车辆动力学参数的时变曲线. 研究表明:车辆沿切线和正常轨迹行驶时,能够以安全、高效、舒适的理想状态通过弯道路段;而当车辆沿修正轨迹、摇摆轨迹等行驶时,行驶稳定性和舒适性较差.     

基于MFOP的可靠性维修方案研究

基于无维修工作期(Maintenance Free Operating Period,MFOP)的可靠性理论既可有效改善飞机及其设备的可用性,同时也可大大降低后勤保障成本;首先对MFOP及其相关概念进行了介绍,然后重点讨论了基于MFOP的维修方案的制订方法及其对飞机可用性、维修成本和设计的影响。     

绝缘体上硅高温压力传感器研究

采用有限元分析工具ANSYS完成了一种矩形弹性膜绝缘体上硅(SOI)高温压力传感器的优化设计，制作出样品，并与相同结构、工艺的多晶硅压力传感器进行了对比测试。结果表明：1：2的膜片宽长比可以使SOI压力传感器的灵敏度达到220mV／MPa，远大于多晶硅压力传感器的灵敏度(约50mV／MPa)。此外，该传感器能够工作在200℃的高温环境中，有良好的长期稳定性，30d内的零点时间漂移为0．12％。     

基于SOPC的SVPWM波形研究

介绍一种采用SOPC技术设计的SVPWM波形发生器,在FPGA中嵌入了32位NiosⅡ软核系统,用以处理SVPWM波形的计算、输出与显示等功能.利用可编程逻辑器件的可在线编程特点和SOPC的技术优势,灵活、快捷地将所需功能模块完全集成在单片的FPGA上,使电路的硬件结构简单,具有较高的性价比.     

基于AJAX的WebGIS应用

针对目前WebGIS中所存在的问题,介绍了AJAX方法的概念和内涵,提出了基于AJAX方法构建网络地理信息系统的思路。并以森林资源信息网络发布系统的原型开发为例,阐述了该方法的优点和一些关键技术。结果表明通过AJAX方法的使用不仅能够快速地实现森林资源信息的网络发布功能,而且能够很好地改善WebGIS应用中以地图为载体的地理信息的网络传播和显示速度,带来丰富的用户体验。     

Study on copper adsorption on olivine

The copper adsorption on olivine supplied by A/S Olivine production plant at Aheim in western Norway has been studied. The factors which affect the uptake of copper have been evaluated. The results reveal that the equilibrium PH in aqueous solution has the greatest influence on the copper adsorption thanks to the competitive adsorption between proton and copper ions, and the adsorption of copper to olivine increases rapidly with the pH increasing from 4 to 6. The initial copper concentration and olivine dose also possess significant effect on copper adsorption. The adsorption efficieny of copper increases with the increase of olivine dose or the decrease of initial copper concentration at the same pH. The ionic strength effect on the adsorption has also been investigated, but it owns little effect on the adsorption process of copper due to the formation of inner sphere surface complexation of copper on olivine. The experimental data show that olivine has a high acid buffer capacity and is an effective adsorbent for copper.