The effect of small vibrations on Marangoni convection and the free surface of a liquid bridge

The effects of small vibrations on Marangoni convection were investigated experimentally using a liquid bridge of 5 cSt silicone oil with a disk diameter of 7.0 mm, and an aspect ratio close to 0.5. Experiments were performed to determine the critical temperature difference data for no vibration case and with small vibrations applied. The experimental results have shown that the effect of small vibrations on the onset of oscillatory flow is small since the critical temperature difference data for different aspect ratios were not affected by the vibrations. To clarify the surface oscillation phenomena induced by external vibrations, a 3-D numerical simulation model was also developed using a level set algorithm to predict the surface oscillations of isothermal silicone oil bridges. By subjecting the liquid bridge to small vibrations, the surface oscillation characteristics were predicted numerically, and the numerical results compared well with the predictions of an analytical model proposed previously. Furthermore, the effect of small vibrations on the surface vibration amplitude of the liquid bridge is also discussed.     

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

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

关于稀疏分布存贮模型中A连接权阵的讨论

Ｋａｎｅｒｖａ的稀疏分布存贮模型由于对寻址地址采用了稀疏编码，对数据采用了分布式存贮，从而解决了大维数向量的输入问题，ＳＤＭ实际上是一个由输入层，中间层和输出层组成的三层前向网络，其中神经元间的互迦权值在输入层与中间层是预置的（用矩阵Ａ表示），中间层与输出层的连接权阵Ｃ由外积法得到，文中假定在相同的学习规则下，就信噪比意义而言，Ａ的均匀预置能使ＳＤＭ获得最优性能，从而为Ａ的预置提供了理论依据。     

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

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

危害性分析中的模糊数学方法

利用模糊集合理论对影响故障模式危害性的各因素进行了模糊化处理，建立了故障模式危害性评定的模糊评判模型，并阐述了模糊评判方法的基本步骤。     

航空二冲程活塞发动机与定距螺旋桨的匹配研究

以长航时无人机的工作特点为基础,结合二冲程发动机的功率输出特性和定距螺旋桨的功率吸收特性,以及发动机的外特性曲线和螺旋桨的推进特性曲线,得出了在地面飞行状态下二冲程活塞发动机匹配定距螺旋桨所采用的方法,并通过为某型二冲程发动机匹配最优定距螺旋桨的试验,证明了该方法可以应用于在地面及低空状态下,为已知发动机匹配合适的定距螺旋桨.      

连续体结构拓扑优化方法评述

连续体结构拓扑优化在优化中能产生新的构型,对实现自动化智能结构设计具有重要意义。目前,连续体结构拓扑优化方法主要有：均匀化方法、变厚度法、变密度法、渐进结构优化方法、水平集法、独立连续映射方法。本文首先系统回顾了以上方法的发展历程,介绍了它们的研究现状。其次,通过对比以上拓扑优化方法对若干典型算例的优化结果,表明以上方法都有较好的减重效果。最后,对以上方法进行了总结,列出了它们的优缺点和发展方向。     

国外通用开放式结构标准的应用情况

SAE AS4893标准定义的通用开放式结构（GOA）是嵌入式系统的层次化体系结构模型。通过对GOA领域目录集的开发与维护标准化过程的分析,结合GOA在航空电子领域的应用案例展示其标准化技术的应用现状;并考虑到先进综合式航空电子系统在任务功能划分和系统工程方法方面的应用要求,探讨并展望GOA标准化技术应用于新一代航空电子系统开发过程中的注意事项。     

双弹头牵连体再入动稳定性分析

双弹头牵连体再入过程的动稳定性分析是有关工程设计中的重要环节。依据六自由度弹道方程 ,建立了双弹头牵连体再入的动力学模型 ,利用弹道与气动力的耦合 ,初步分析了双弹头牵连体再入的动稳定特性。计算结果表明 ,绳索牵连减弱了弹头再入的动稳定性 ,由动稳定弹头组成的双弹头牵连体在某些条件下可能出现打转、横飞等动不稳定现象。     

连续凸偏好的一个性质

偏好与效用是联系在一起的。如果一种商品对于消费者没有效用，消费者就不会产生对这种商品的偏好，对偏好的研究为人们对效用进行定量的描述与研究奠定了基础。本文给出连续凸偏了的一个性质的严格证明。