CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

非接触检测大螺纹件的可行性

针对科研生产中大螺纹件检测费时费力、检测准确度不高的实际情况,提出以激光位移传感器作为非接触扫描测头,配以三坐标架框架及转台等附件,组建非接触检测大螺纹件的检测校准装置的方案。通过扫描螺纹牙型的实际轮廓,计算螺纹的综合参数,并与标准螺纹数据比对,判定螺纹的合格与否。同时,验证了该方法的可行性。     

小型BVA 石英谐振器的研制

传统的BVA石英谐振器在老化率和Q值方面具有优良的性能,但其体积大,抗振可靠性较差,限制了其推广和应用。本文介绍了一种新结构的BVA石英谐振器,通过优化电容片和石英晶片的结构设计,研制出更小尺寸的异型石英晶片和电容片,整个小型BVA谐振器的尺寸减小到HC-40/U,性能指标与传统BVA石英谐振器相当,同时具有较高的抗振可靠性。     

考虑摩擦的空间抓捕过程碰撞动力学分析与控制

目前针对空间抓捕中的碰撞进行建模的方法中很少考虑摩擦因素。然而,摩擦作为碰撞过程中不可避免的现象,对碰撞动力学响应及整个空间抓捕任务有着不容忽视的影响。文章结合库伦摩擦理论和拉格朗日乘子法,建立了同时兼顾滑动和粘滞状态的摩擦模型,然后将求解到的摩擦力与碰撞力进行矢量合成,作为对碰撞模型的修正。另外,针对碰撞过程对机器人姿态产生的干扰,利用反 馈线性化设计了解耦控制器对基座姿态漂移进行稳定控制。数值仿真采用一个平面2灢DOF空间机器人,利用动量和动量矩守恒定理验证了动力学模型的正确性,同时基座姿态控制结果收敛说明了控制器的有效性。     

新型防松管路连接副的接触特性分析

针对新型航空发动机管路连接副,研究了其在安装过程和松动过程中的接触特性。首先,将连接副的安装-松动过程划分为3个阶段,并对这3个阶段的摩擦力和接触压力进行了解析推导,分析了摩擦力和接触压力的变化规律。然后,建立了管路连接副的轴对称有限元模型,并对其进行了非线性瞬态分析。最后,基于施加位移载荷的方法模拟了连接副的安装和松动过程,研究了接触面的滑移量、接触压力、摩擦力和接触压应力的变化规律。同时研究了不同预紧力对连接副接触压应力的影响。结果表明:松动过程在滑移点前后可以分为2个阶段,这2个阶段中接触面的接触特性有明显区别;连接副接触面的接触特性只与接触面参数和预紧力大小相关,与管径、材料等其他因素无关。本文研究的安装与松动过程中接触特性变化规律在工程上可以指导新型管路连接副的设计工作。      

飞机结冰冰形测量方法研究进展

不同气象环境下飞机部件的结冰外形是飞机结冰研究不可缺少的内容,它对开展结冰气动分析、结冰防护设计、结冰飞行操作和结冰适航取证等研究具有重要意义。结合国内外冰形测量技术发展现状,从接触测量方法和非接触测量方法两个方面分别介绍了现有冰形测量技术的操作流程及测量原理,系统分析总结了各自存在的优缺点。在此基础上,结合飞机结冰和结冰风洞试验的特点,归纳了冰形测量技术下一步发展面临的挑战,包括全类型结冰的精确测量、结冰全貌三维测量和结冰生长过程实时测量等,同时,从基础测量手段与数值计算融合发展的角度,展望了冰形测量方法未来的发展趋势。     

基于传动误差和齿面印痕控制的弧齿锥齿轮小轮加工参数的设计(英文)

This paper proposes a new approach to design pinion machine tool-settings for spiral bevel gears by controlling contact path and transmission errors. It is based on the satisfaction of contact condition of three given control points on the tooth surface. The three meshing points are controlled to be on a predesigned straight contact path that meets the pre-designed parabolic function of transmission errors. Designed separately, the magnitude of transmission errors and the orientation of the contact path are subjected to precise control. In addition, in order to meet the manufacturing requirements, we suggest to modify the values of blank offset, one of the pinion machine tool-settings, and redesign pinion ma- chine tool-settings to ensure that the magnitude and the geometry of transmission errors should not be influenced apart from minor effects on the predesigned straight contact path. The proposed approach together with its ideas has been proven by a numerical example and the manufacturing practice of a pair of spiral bevel gears.     

高速风洞试验中运输机支撑形式的选择

合理选择模型的支撑形式和解决支架干扰问题是准确获取气动力数据的关键因素。为了寻找一种合适的运输类飞机在高速风洞试验中的支撑形式,首先通过计算分析和试验验证,给出了运输类飞机高速风洞试验中30°尾支撑支架干扰问题存在的原因,然后根据0°、5°、15°以及30°不同尾支撑形式的计算分析和专项试验论证结果,提出并验证了小角度尾支撑是现阶段运输类飞机高速风洞试验中最合理、最有效的支撑形式。     

惯性平台台体组件动态特性分析

本文利用ANSYS软件通过在轴承滚珠和滚道面间建立接触单元，较好地处理了台体组件中的轴承连接问题。通过对某型号惯性平台台体组件进行有限元动态分析，发现了台体组件结构的薄弱环节；针对结构存在的问题，对如何改善结构的动态特性提出了建议，为以后进一步进行台体组件的动力学分析奠定了基础。