一种验证科氏加速度存在的实验装置及其动力学分析

科氏加速度是理论力学中公认的教学重点和难点,如何将科氏加速度形象地展示出来一直是学者与高校老师追求的目标。针对这一知识点,结合地球仪的外形,巧妙地实现了小球在科氏地球仪上旋转运动和直线运动的完美结合。根据科氏加速度理论,设计转速可调的旋转平台,在平台上设置能实现不同速度的直线运动装置,小球在旋转平台上作直线运动,从而受到科氏力的作用。初始状态时,安装在运动装置内的钢球处于平衡状态;工作时,由于科氏力的作用,钢球压迫弹簧,弹簧发生变形,利用滑轮、引线和位移补偿丝杆组成的传递机构,将弹簧变形量传递到显示装置,从而显示科氏加速度的存在。与现有科氏加速度验证实验装置所不同的是,此装置结构新颖,能吸引学生深入理解和掌握科氏加速度的概念。     

提高航天器结构试验验证效费比的策略

面临市场竞争所带来的经费、周期、人力等压力,如何提高航天器结构试验验证的效费比成为热点问题。文章指出提高试验验证效费比的前提是要充分理解试验的目的、类型、责任,把试验验证视为设计与产品质量保证的有效手段;进一步提出从提高设计质量、权衡过程控制与检验试验的成本、理解失效模式、设计针对性的验证、同步规划设计与验证6方面构建高效费比的试验验证策略。     

高分三号卫星总体设计验证

高分三号(GF-3)卫星是我国民用"高分辨率对地观测系统重大专项"中唯一一颗微波成像卫星,也是我国第1颗1m分辨率C频段多极化合成孔径雷达(SAR)卫星,其定量化指标要求高,同时具有雷达天线质量、尺寸大,热控要求高,脉冲功率大,构型布局复杂等技术特点和难点。文章围绕GF-3卫星技术难点,系统阐述了卫星高定量化、高扩展性等总体设计特点及设计验证方法,并采用系统建模、模拟分析、地面试验和在轨测试等多种措施,确保卫星优良的图像质量和定量化应用能力,使其具备一定的在轨扩展能力。GF-3卫星设计和研制过程中采用的验证方法,可为后续SAR卫星的总体设计提供参考。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

民机材料适航符合性验证方法和技术发展

通过梳理民机产品所用材料的适航批准方式,综述民机材料适航符合性验证方法和技术发展现状,解析中国民用适航规章中对民用飞机、发动机、直升机等民机产品用材料的2X.603、2X.613和33.15等直接相关条款要求,结合已取得型号合格证民用飞机和直升机材料符合性验证技术发展实际,阐明相应条款的符合性验证方法和验证技术。材料适航符合性验证中,基于统计分析的方法建立标准（规范）是材料符合性验证的核心,随型号批准的材料主要采用MOC1、MOC2、MOC4方法进行适航符合性验证。面向未来,具有自主知识产权材料的应用,材料自主验证技术和能力的建设,是实现先进民机产业化发展的关键。     

航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题,提出一套航天器运输包装箱动力学与热学仿真验证方法,包括：建立适用于包装箱系统的刚柔耦合多体动力学系统,通过结合线路条件测试生成的动力学系统外部激励,实现减振性能虚拟跑车测试;建立基于计算流体力学的包装箱热学模型,通过模拟自然对流和空调控制,实现包装箱保温性能虚拟跑车测试;基于C/S架构和导航式流程设计思想,建立航天器运输包装箱仿真验证平台,通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

可制造性设计在系统工程过程中的应用研究

本文针对复杂产品协同设计、开发与验证过程中的可制造性共性问题,以航空电子系统为典型的复杂系统对象,探讨了可制造性的概念内涵、工作边界、组织架构和开展时机,着重从系统设计和开发策划、系统需求捕获与定义、系统架构定义、系统详细设计与实现和系统验证子过程的角度,详细阐释了可制造性设计融入系统工程过程的实施思路,并结合具体的应用实例,对可制造性设计对产品高质量交付的正向影响进行了阐释,为可制造性工作在系统开发与设计中的落地推广指明了方向、奠定了基础。     

庞巴迪C系列飞机成功首飞

庞巴迪公司在C系列飞机研发过程中，进行了大量的关键技术先期研究和验证试验，新建了多种试验设施，并开展了系统的研究工作。尽管目前对C系列飞机未来的市场前景还无法作出准确的预测，但可以肯定的是，它对世界民用飞机制造业的格局将产生重要影响。     

ASP.NET窗体验证模式及其在用户身份甄别中的应用

本文讨论了基于.NET Framework的网站安全控制方法,重点分析了ASP.NET窗体验证的内部机制,给出了Authentication和Authorization环节的实现方法。