初基演算

<正> 命题演算的构成,通常有三步骤的说法,即从 Johanson 的“极小演算”到 Heyting的构造论命题演算再到二值演算.此外,Lewis 从模态或严格蕴涵出发,也分别了许多步骤,以达到二值演算为其极限;特别值得注意的是最后三个步骤,即从 S4 到 S5 到二值演算.这两个三步骤就某意义说乃是通常命题演算的构成中最本质的步骤.综合这两个三步骤,会带来许多便利,而本文所提出的也就是作为二者共同基础的初基演算.     

系統■中可滿足性概念的代数处理

<正> §1.引言 Rasiowa和Sikorski在[1]中对一类相当广泛的命題演算就与可滿足性概念有关之若干問題作了代数处理.他們得到如下結果:在相应狹义調詞演算中Godel-Skolem型定理成立之一充分条件为命題演算具有某种性貭(E). 在[1]中具体研究了如下几个渍算:(古典演算),(Lewis模态演算S_4),(Heyting演算),(Johanson极小演算)及(正演算).利用相应代数的拓扑表示     

具有有穷个模态辞的模态系统

<正> 在真值逻辑系统中如果加入“可能”“必然”等模熊概念,所得的逻辑系统叫做模态系统(modal system).如果该真值系就为伟统的二值系统,特名曰传统模态系统(下文的讨论不限于传统模态系统).纯由命题变元以及“～”(非)“◇”(可能)“口”(必然)三运算而组成的命题叫做模态辞(modality).若只经奇数次～运算的名曰负模态辞,经偶数次(包括0次)～运算的名曰正模态辞.     

弹性杆的动态屈曲模态

本文提出了屈曲相关初缺陷的概念,采用最优模态分析方法,由Bernolli-Euler梁方程出发给出了弹性杆在齐次边条件下的动态屈曲模态、由此对两端固支弹性杆的动态屈曲模态进行了讨论.     

粘性阻尼系统的自由界面模态综合法

本文对任意粘性阻尼系统提出一种新的自由界面部件模态综合方法.对于具有刚体自由度的部件引入状态向量描述的左、右投影矩阵,论证了投影矩阵对状态位移及状态力的算子作用,据此定义了状态剩余柔度矩阵及状态剩余惯性释放附着模态.文中提供的三个算例表明,本文提出的方法具有较高的计算精度和模态综合效率.     

部分线性模型的模态正交经验似然推断

本文考虑部分线性模型的有效经验似然统计推断问题.通过结合模态回归和正交投影技术,提出了一种模态经验似然统计推断过程.证明了提出的经验似然比函数渐近服从中心卡方分布,进而构造了模型参数的置信区间.所提出的估计方法可以对模型的参数分量和非参数分量分别估计,而互不影响,具有较好的稳健性和有效性.     

纵向数据下线性模型的模态回归估计

本文考虑纵向数据下线性回归模型的稳健估计问题.通过结合模态回归(modal regression)方法和二次推断函数(quadratic inference functions)技术,提出了一种基于模态回归的估计过程.证明了回归系数的估计是相合的,并给出了其渐近分布.数据模拟结果表明所提出的估计方法具有较好的稳健性和有效性.     

双重内共振系统非线性模态分岔的奇异性分析

利用多尺度法构造的一类1:2:5双重内共振系统的耦合非线性模态的分岔是一个两变量的分岔问题.利用Maple计算机代数可以通过消元将耦合的模态分岔方程分离为两个单变量的分岔方程.对分离后的单变量分岔方程进行奇异性分析,发现随着系统参数的变化,非线性模态的分岔既可以是一种模态向另一种模态的转化,也可以是一种模态的突然出现与消失.最后给出了两变量分岔问题可以利用消元后得到的单变量分岔方程和耦合方程进行处理的一种方法.     

各向同性弹性损伤本构方程的一般形式

直接从不可逆热力学基本定律出发,推导出弹性各向同性损伤材料本构方程的一般形式,克服了由应变等效假设建立的经典损伤本构方程的缺陷,并阐明了两种各向同性弹性损伤模型(单标量模型与双标量模型)之间的联系.研究表明,采用单标量描述的损伤模型,在材料损伤本构方程中含有两个“损伤效应函数”,反映损伤对于两个弹性常数的不同影响.应变等效假设给出的损伤本构方程,是该文方程的一个近似形式,常常不能满意地描述实际材料的损伤行为.     

飞行器尾涡对的不稳定性建模

为了确定飞行器尾流的保持距离和诱导失稳运动性质,首先在一阶近似Biot-Savart定律的基础上,推导了任意多个涡对的诱导运动模型,进而利用线性组合方法得到涡系诱导运动的对称以及反对称模态,并结合模态矩阵特征值的性质描述对称分布涡系的稳定性.因为尾涡结构的不稳定性依赖于相应的模态矩阵特征值的取值,所以在利用对称分布的二涡对的模态验证所推导的模态矩阵理论的正确性的基础上,进一步给出了三涡对的模态矩阵对应的失稳模态.理论推导和特征值的计算显示随着涡丝数量的不断增加,三涡系的不稳定性增强,并且涡系对扰动的放大作用增强.     

EMD-SVM在南京市月平均气温预测中的应用

南京市月平均气温具有非平稳性、噪声大、序列宽频等特征.为了提高温预测精度,本文提出一种经验模态分解(EMD)和支持向量机(SVM)回归相组合的预测模型(EMD-SVM).首先应用EMD分解算法把南京市月平均气温分解成不同尺度的基本模态分量(IMF),再运用支持向量机回归模型对每个IMF预测,最后将预测结果重构得到南京市月平均气温预测值.结果表明:EMD-SVM模型预测与单一支持向量机回归模型预测相比,平均预测精度提高0.59度,是一种有效的预测气温的模型.     

时间序列的经验模态频率分解EMFD

在经验模态分解的基础上,提出了经验模态频率分解.经验模态频率分解是正交分解,有很好的性质和频率意义.     

满足条件(α)的域的一种扩张

首先借助实数域扩充为复数域的办法从一个满足条件(α)的域K出发构作一个域F,然后证明了F是K的一个2维伽罗华扩张,最后用泛映射性质来刻画这种扩张.     

基于改进C-C方法相空间重构和LS-SVM的隧道拱顶沉降预测模型

在地铁工程的设计、施工、工后沉降控制过程中,拱顶下沉监测值是反映地下工程结构安全和稳定的重要数据.针对常用的地铁拱顶沉降测模型只能做短期预测,精度不高,且需要一些土的本构参数的问题,将相空间重构、最小二乘支持向量机理论相耦合,建立基于改进C-C方法相空间重构和最小二乘支持向量机的地铁隧洞拱顶沉降混沌时间序列预测模型.经实例演算,模型比传统C-C方法相空间重构、基于最大Lyapunov指数的混沌预测模型、人工神经网络模型拟合效果好,预测精度高.     

构造直线解题的若干途径和技巧

<正>在处理某些数学问题时,可以从问题的结构特征入手,充分挖掘出问题的直线背景,再通过构直线,建立起问题的直线模型,利用直线的性质,使问题获解.为叙述方便,称这种方法为构直线解题法.本文从一些典型的实例出发,介绍构直线解题的若干途径和技巧,供读者参考.     

基于非约束模态的中心刚体-Timoshenko梁动力学建模与分析北大核心CSCD

梁的横向变形会导致梁纵向缩短,建模过程中考虑梁横纵变形二次耦合项则存在动力刚化现象,这说明梁的纵向变形会对模型的广义刚度造成影响.对于做旋转运动的梁结构,旋转运动时还会受到离心力的作用而产生轴向拉力,轴向拉力同样也会引起梁的轴向变形,这种影响对粗短梁更加明显.以大范围运动中心刚体-Timoshenko梁模型为研究对象:首先,运用Timoshenko梁理论以及Hamilton原理建立含离心力的动力学模型;其次,引入非约束模态概念,采用Frobenius方法求解非约束模态振型函数以及固有频率;最后,通过数值仿真探究不同恒定转速时非约束模态与约束模态广义刚度的差异和非约束模态条件下离心力对模型的影响.     

输液管道流固耦合非线性动力稳定分析

将弱约束输流管道非定常流液固耦合运动按波-流-振动系统建模成由4个非线性微分方程组成的分析模型,按模态进行分解研究系统在多种耦合状态下具有的运动稳定特性.以悬臂梁管道为例分析了耦合系统奇点的属性,得到了前四阶模态运动的相图.结果说明,多种耦合条件下输流管道的稳定性变得更为复杂,各阶模态运动具有不同的稳定特性.     

Experimental Study on the Vortex-Induced Vibration of Fixed-Hinged Flexible Risers北大核心CSCD

海洋立管顶部常铰接于浮式平台下方,在海流激励下存在涡激振动响应,潜在疲劳失效的风险.该文采用非介入光学测试方法（高速摄像）,对布置于循环水槽中顶部铰接-底部固定的悬链线柔性立管进行了振动响应研究.实验结果表明,立管三个方向被激发的振动模态阶数与主导振动频率均随约化速度的增加而逐渐升高,平面外的最大均方根振幅在模态过渡时有先降后升的变化,与振动模态分支相呼应.流体与立管之间能量传递在不同方向的分布存在一定差异,导致不同步的模态过渡现象.平面内振动存在与平面外振动主导频率吻合的频率,根据其是否主导对应管段的平面内振动,将其分为强耦合和弱耦合两种模式.     

基于云模型的定性运算理论与方法

将定性值像定量值一样参与运算和推导,是定性理论走向真正实际应用必须解决的极为关键的研究问题.相关研究提出的方法在此方面均有一定的局限性.本文提出了一种基于云模型的定性运算理论与方法.首先在云模型基本运算的基础上提出了基于云模型的定性关系演算方法,其次提出了基于云模型的一元一次定性方程的求解方法.理论和方法能比较科学合理地计算出定性值,且具有定性与定量相互融合的特点.为定性演算和推导在系统分析和仿真等领域中进一步应用提供了重要的借鉴方法.     

不变子流形和非线性自治系统的模态

本文就弱非线性自治系统,引入了不变流形理论的几何描述,应用稳定流形定理,Lyapunov子中心流形定理以及中心流形定理,给出了非线性模态的定义,存在条件以及模态的轨道特性.采用了近似的级数展开方法确定模态子流形及模态运动.给出的算例是对本文方法的验证和解释.