级联三能级原子系统的量子特征

运用油松分布的性质和二元泰勒级数展开方法，研究了初始处于下能级的级联三能级ＪＣ模型中的原子与两个初始相于辐射场的相互作用，得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解，与前人数值结果相比，更加明确地反映了系统的量子效应。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

现代高效刀具发展特点和产业化途径

现代高效刀具和工具工业的发展特点 1 现代高效刀具的内涵 现代高效刀具是相对传统标准刀具而言的.传统的工具工业以生产供应标准化、通用化的刀具为基本特点.长期以来,制造业有一种共识:除了少量特殊需要,尽量选用标准刀具.标准刀具虽然性能不是最优,但因经济实用而被广泛接受.但到20多年前,这种观念在发达国家开始发生变化.     

航天器安全防护保障探讨

把对航天器安全的威胁分为硬和软两大类，分析了对航天器产生威胁的类别，以及为保证航天器安全而需要采取的措施。介绍了研究的内容，需要建设的空间信息对抗系统和空间信息探测网。     

跨介质航行器流体动力外形仿生设计

跨介质航行器是一种可在空中与水中两栖巡航并能自由穿越水气界面的新概念海空两栖无人运动平台,需要具备良好的入水和出水性能及较小的水下流体阻力。采用两种生物组合仿生的设计思想,利用全自动三维影像扫描仪获取具有优良入水性能的翠鸟头部和龙虱身体的形体特征点云数据,应用傅立叶级数拟合方法拟合特征曲线,设计了一种跨介质航行器流体动力外形,为减小航行器入水冲击载荷、降低水下航行阻力提供了设计方案。     

航空CAE品牌调查报告

计算机辅助工程(CAE)是用计算机对工程结构与产品的性能及其生产加工过程,进行分析、模拟、预测、评价、优化,是工业装备和产品创新设计的核心技术,也是国防和军工装备研制的战略技术.经过几十年的发展,CAE技术在航空、航天、机械、汽车、船舶等领域获得成功应用,已成为制造业信息化深化应用的关键技术.     

浅谈超声衍射时差法(TOFD)检测技术

介绍了TOFD的基本原理、系统参数的设置、缺陷定性定量分析以及TOFD的优点和局限性,为TOFD检测技术的应用、推广提供参考.     

利用多普勒原理测量微机电系统中微结构的动态特性

介绍了将显微扫描激光多普勒测振仪与基础激振法相结合的微结构动态特性的非接触无损测量方法、扫描激光多普勒测振仪的工作原理、设计的基础激振器及其驱动信号.并给出典型微结构--微悬臂梁的测量结果.测量结果与理论计算及有限元仿真结果相符,验证了该方法的有效性.     

不同载荷方式下MDYB-3有机玻璃的变形与破坏行为

 为了理解和评价MDYB-3定向有机玻璃的力学行为,采用CSS44100电子万能试验机,分离式Hopkinson技术和MTS液压伺服试验机分别进行了5种不同类型的力学试验。这些试验包括力学各向异性试验、穿孔试验、应变率从0.001 s^-1到 2 000 s^-1和初始温度从218 K 到 373 K的单轴拉、压试验、等幅应力控制下不同应力集中系数的双边缺口试样疲劳试验。同时采用光学显微镜对变形试样的破坏和断裂进行了观察和分析。结果表明：①MDYB-3定向有机玻璃呈现明显的各向异性性能;②沿板面法线方向MDYB-3定向有机玻璃具有更高的硬度和强度,在穿孔或冲击条件下它以脆性分层破裂和散落为破坏形式;③MDYB-3定向有机玻璃的力学响应强烈地依赖于应变率和温度,且在拉伸和压缩加载下表现出很大的强度非对称性;④双边带有缺口试样的S-N曲线表明,最大应力幅值较低时,MDYB-3定向有机玻璃的疲劳寿命对缺口不敏感。在循环载荷下裂纹起源与微层特性及层间强度有关,它起源于层间可处在缺口中段部位,最后文中对变形与破坏机理也进行了分析和讨论。