Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

相位信息在故障诊断中的应用

 在故障诊断中,人们多从频域中寻找特征,但对于转子系统,许多故障的特征是相似的。相位作为旋转机械里一个很实用的量,在故障诊断中一直没有得到很好的应用,本文指出的相位计算和测量概念和方法,旨在进一步识别故障。     

力限振动试验技术理论基础研究

为了深入理解双控方程,由运载火箭有限元模型的多自由度子结构方法,导出缩聚在星/箭连接界面处的全箭动力学方程,定义相应参数后,导出星/箭耦合中的双控方程,给出界面加速度、有源机械系统的自由加速度、界面力、紧固力、源阻抗和负载阻抗表达式,从而加深了对星/箭耦合双控方程的理解,进而促进力限试验技术研究.同时,从多自由度模型简...     

三级旋流头部装置末级文氏管喉道面积对出口流场的影响试验研究

文氏管对涡流器具有重要的引流作用.通过改变第III级文氏管的喉道面积大小,探究了其对三级涡流器出口流场的影响.应用粒子图像测速仪(PIV)对三头部试验件的涡流器出口流场进行分析,发现中间涡流器的两个漩涡中心的径向距离随着第III级文氏管喉道面积的增加呈现先减小后增大的趋势.相邻三级涡流器出口流场会叠加,致使中间涡流器的...     

侧链基团和填料对硅橡胶材料耐烧蚀性能的影响

为了研究侧链基团和填料对硅橡胶材料耐烧蚀性能的影响,选用具有苯环和多面体低聚倍半硅氧烷(POSS)这2种侧链基团的硅橡胶基体,以及Mg(OH)2、蒙脱石、Fe2O3和短切碳纤维(1 mm)这4种填料,利用马弗炉等温烧蚀和动态热失重TG法研究不同侧链基团和填料样品的耐烧蚀机制。结果表明:苯环和POSS基团的引入使得基体初始分解温度分别提高了79 ºC和9 ºC,质量损失率分别降低了19.4%和12.0%。以Mg(OH)2 25 g(每100 g硅橡胶)、蒙脱石4 g和Fe2O3 6 g作为硅橡胶复合材料进行填料时,其质量烧蚀率为0.008 g/s,相比纯橡胶基体降低了86.8%。在以上配方中继续引入5 g碳纤维,使其质量烧蚀率降低至0.004 g/s。残炭层的微观形貌显示,短切碳纤维形成的三维骨架结构是提高硅橡胶材料耐烧蚀性能的关键。     

靶弹突防中的有源干扰信号监测系统实现与使用研究

靶场反导试验中,反导武器系统面临弹道靶弹突防过程中施放的各种有源干扰,为了给反导武器系统抗干扰性能评估提供数据支撑,需要对伴随有源干扰信号进行监测.通过研究弹道靶弹突防中伴随有源干扰机的工作过程与特点,提出伴随有源干扰信号监测系统应具备的特点与使用要求,分析伴随有源干扰信号监测系统与常规监测系统的差异,设计了伴随有源干...     

大体积混凝土施工与裂缝控制--万信城市花园B区高层住宅

石家庄市万信城市花园B区高层住宅楼筏板基础大体积混凝土连续浇注施工,采取有效技术措施控制温度裂缝,未产生结构有害的裂缝,取得了很好的技术与经济效益.     

基座与臂杆全弹性空间机器人的有限时间控制

探讨了基座、臂杆全弹性影响下,基于有限时间的漂浮基空间机器人系统轨迹跟踪以及柔性抑振问题.由于弹性基座与两柔性杆之间存在多重动力学耦合关系,此系统为高度非线性系统.将弹性基座与臂杆间的连接视为线性弹簧,利用拉格朗日第二类方程并结合假设模态法,推导出该系统的动力学模型;应用奇异摄动理论的两种时间尺度假设,将系统分解为表示刚性运动的慢变子系统和表示基座弹性、双柔杆振动的快变子系统.针对慢变子系统,设计了一种基于名义模型的有限时间控制器,保证完成刚性期望轨迹跟踪.设计的积分式滑模面具有有限时间收敛特性,比传统渐近收敛控制方法具有更快的收敛速度和更强的鲁棒性;对于快变子系统,采用线性二次型最优控制同时抑制弹性基座与两柔性杆的振动.Lyapunov理论证明了所提控制算法能使跟踪误差在有限时间内收敛到原点.仿真验证了控制方法的有效性.     

燃油喷嘴螺旋槽的精密测量方法与系统设计

为了实现航空发动机燃油喷嘴上的螺旋槽特征的快速与精确检测,提出了螺旋槽的槽深、螺旋角和槽宽等参数的测量与计算方法,并基于此设计和搭建了一套非接触式的燃油喷嘴螺旋槽精密测量系统。该测量系统基于模块化的设计思想,其机械主体采用立柱移动型三坐标测量机的结构形式;运动机构由三个直线轴X、Y和Z以及一个回转轴A构成,电气控制模块采用了由上位机与下位机构成的主从控制方式,前端传感器选用了新型的锥光偏振全息激光测头,并应用专用夹具来实现被测喷嘴零件的装夹和定位。最后,选取某个燃油喷嘴样件作为被测目标,应用所搭建的测量系统对其上的多个螺旋槽特征开展了重复测量实验,并解算得到了槽深、螺旋角和槽宽的几何尺寸,而且系统所达到的测量精度能够满足检测需求。     

基于AD736真有效值测量的发电机电压控制技术研究

针对电励磁同步发电机电压控制技术存在参数漂移、工作不稳定、电压畸变导致控制参数超差等诸多问题,介绍一种电励磁同步发电机数字电压控制技术,通过AD736高精度芯片测量交流电压真有效值,并采用基于双闭环数字PI算法的电压控制技术,开展了发电机电压数字控制器研制。经试验考核,该控制器性能指标满足设计要求,达到了预期目标。