如何从E□M◇O-3广义模态三段论推导出其他20个有效的广义模态三段论

首先根据集合论和可能世界语义学给出直言命题和模态直言命题的真值定义,证明广义模态三段论E□M◇O-3的有效性;然后,在广义量词理论和模态逻辑的基础上,充分利用广义量词的内否定与外否定、亚氏量词some与no的对称性、必然模态词□与可能模态词◇之间的对偶关系、后件弱化规则和反三段论推理规则等化归运算,根据E□M◇O-3的有效性,推导出了其他20个有效的广义模态三段论。这一创新性研究不仅为其他种类的三段论(如亚氏三段论、亚氏模态三段论和广义三段论)的可化归性提供了统一的数学研究范式,而且为人工智能的知识表示与知识推理提供了理论支撑。这一研究方法顺应了大数据时代“对自然语言信息的形式化转换的”需求。

广义模态逻辑研究中的若干问题

模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对“罗斯悖论”的剖析中引入可能算子,通过对道义悖论作时态的分析,以辨明义务的相对性,是消除道义悖论的一条可行的途径。

基于广义模态截断扩增方法的结构频响拓扑变量灵敏度分析

基于结构拓扑优化设计中的变密度法,采用伴随法推导结构在简谐激励下的频响振幅对单元设计变量的解析灵敏度列式。针对灵敏度数值求解中传统模态位移法引发的低精度问题,通过引入计算成本较低的广义模态截断扩增方法提升灵敏度的计算精度。数值算例将该文方法与全局有限差分法和其他灵敏度计算方法进行了比较。结果证明了该文方法在不同的激励频率及有限元网格密度下高效求解高精度灵敏度的有效性。

线性振动亏损系统广义模态参数的识别方法

基于线性振动亏损系统的广义模态理论,本文提出了一种识别亏损系统广义模态参数的频域方法。该方法将直接法与迭代法相结合,无需人工初值,可分步识别出亏损系统的全部广义模态参数。模拟识别结果表明,本文方法是有效且可行的。

基于广义模态柔度矩阵的结构损伤识别

用最小平方正交三角分解(LSQR)法研究结构损伤识别问题,首先提出一种损伤定位方法,然后将基于广义模态柔性矩阵的损伤识别问题转化为最小二乘问题,最后用LSQR方法逐步确定损伤的位置和程度.所给算例验证了方法的有效性.

评弓肇祥新著《广义模态逻辑》

评弓肇祥新著《广义模态逻辑》晁连成李龙海社会转型期的商潮汹涌、人心浮动未必是件不好的事，但是对于严肃的特别是纯学术性的出版业来说则真可谓雪上加霜。所以，我们发自内心地感谢中国社会科学出版社慧眼识珠，给学术界奉献出《广义模态逻辑》一书。广义模态逻辑是哲...

广义经验模态分解性能分析与应用

针对经验模态分解(Empirical Mode Decomposition,EMD)的均值曲线采用三次样条拟合而容易引起包络过冲和不足等缺陷,相关学者提出了许多改进均值曲线的变种EMD方法,取得了一定的效果。广义经验模态分解(Generalized EMD,GEMD)方法综合了多种改进EMD方法,通过定义不同的均值曲线对信号进行逐阶筛分,从得到的每一阶分量中选取最优作为最终的广义内禀模态函数(Generalized Intrinsic Mode Function,GIMF),由于每一阶的GIMF分量都是最优的,因此相较于EMD等单一均值曲线筛分方法,GEMD分解结果也是最优的。论文对GIMF分量准则进行了改进以及对GEMD性能进行了分析,并将GEMD应用于仿真和实测信号的分析,结论表明GEMD分解是完备的和正交的,有比EMD更强的分解能力,而且适合机械振动信号的处理和故障诊断。

广义变分模态分解及其在齿轮箱复合故障诊断中的应用

针对变分模态分解在实际应用过程中需要根据先验知识确定惩罚函数和分量分解个数这一缺陷,提出了一种改进方法,即广义变分模态分解方法。该方法减少了人为因素对分解结果造成的主观影响,将信号分解转化为非递归、变分模态分解方式,能够有效分离频率成分相近的谐波分量,且对信噪比较小的信号有着良好的鲁棒性。将该方法应用于齿轮箱复合故障诊断中,仿真和实验的结果验证了该方法的有效性。

基于广义局部曲率模态信息熵和BP神经网络的结构损伤识别方法

针对曲率模态对振型节点较不敏感且无法定量估计损伤的问题,在广义局部信息熵的基础上引入曲率模态,推导出广义局部曲率模态信息熵的公式,并建立相应的损伤指标.利用有限元软件Midas civil建立一简支梁桥损伤模型,提取并处理该简支梁的动力参数,将一阶曲率模态和广义局部曲率模态信息熵分别作为神经网络的输入参数,对损伤进行识别并对比两种参数的识别结果,以此来研究测点数量对指标精确度的影响.研究结果表明:广义局部曲率模态信息熵作为神经网络的输入参数能较好地定位并定量损伤,在靠近振型节点处指标的识别精度高于曲率模态,当测点数量为33时,识别精度最高.

弹性机构运动微分方程的广义复模态解法

本文将结构振动分析中的广义复模态理论应用于机构的运动弹性动力学分分,给出了求解弹性机构一般多自由度非对称线性时变振动系统的解耦算法.用它求稳态解,可归结为求解以与机构的一系列离散位置的状态变量相对应的复模志坐标为未知量的线性代数方程组.

环境参量对广义Eady模态不稳定的影响

介绍了广义Eady模态的斜压不稳定问题并着重讨论了环境参量对该不稳定的影响。该模态不仅存在有类似于经典Eady模态的不稳定短波截断 ,还存在有经典Eady模态中没有的长波截断 ,前者对环境参量的变化不太敏感而后者对环境参量的变化敏感。层结参数的减小 ,模式底基流垂直切变的增大 ,纬度的增高和模式层顶高度的减小 ,均有利于该模态不稳定的发生。广义Eady模态下的最不稳定波仍发生在天气尺度波段 ,其振幅和位相随高度的变化大体与标准Eady模态类似 ,等位相线也随高度西倾 ,但振幅关于大气中层不再呈对称性。

《广义模态逻辑》出版

︽广义模态逻辑︾出版○陈波弓肇祥教授的《广义模态逻辑》一书已由中国社会科学出版社出版。该书具有以下三个特点：一、内容详尽，涵盖面广。这主要表现在：１全书论述了模态逻辑、时态逻辑、道义逻辑和认知逻辑，几乎包括了广义模态逻辑较为成熟的全部内容，这在国内...

基于广义多项式假设模态法的大型螺纹旋风铣削工件系统动力学分析

文章以大型螺纹旋风铣削的工件装夹系统为研究对象,将铣床卡盘、浮动支撑、抱紧装置,以及尾架简化为弹性约束,并将切削力假设为周期性"半正弦"激励信号,运用广义多项式模态假设法,建立了大型旋风铣削工件系统的动力学模型。基于Matlab编程平台,利用Runge-Kutta法对系统的动力学模型进行数值分析,以研究大型螺纹工件的浮动支撑、抱紧装置对螺纹动态响应的影响。分析结果表明:工件的动态响应是由系统固有特性与切削力特性共同决定,而且抱紧装置对工件动态响应影响显著。当引入抱紧装置后,只需选取较小的浮动支撑刚度就能有效的降低切削点处的动态响应。

计算亏损系统模态灵敏度的逐层递推演算方法

对不具有完全特征向量系的线性振动亏损系统,在由广义模态理论建立的亏损系统广义模态空间中,给出了亏损系统广义模态灵敏度分析算法,并推导出以逐层递推方式计算广义模态展开式系数的简便、快速的演算公式.给出的数值算例证明了此方法的正确性和有效性.

接近亏损系统模态灵敏度分析的有效算法

为求解振动系统特征问题的灵敏度分析,建立了快速计算状态向量导数的方法。该方法利用广义模态理论,将接近亏损系统的灵敏度分析转化为亏损系统的灵敏度分析问题来处理,并且在组合近似方法的基础上,引入松弛因子保证了系数矩阵的非奇异性,从而提供了接近亏损系统灵敏度分析的理论和方法。数值算例证明了算法的有效性。

广义亏损系统的矩阵摄动

针对一般线性振协亏损系统的广义模态问题，利用摄动后的特征解的Ｐｕｉｓｅｕｘ展开，给出一种易于计算的，用于求广义特征征值及相应特征向量的摄动数值解法。算例证明了此方法的可行性 。

线性结构振动亏损系统的实验模态分析

本文设计了一个用速度反馈实现粘性阻尼的结构振动系统并进行了实验和模态参数识别.实验模态分析结果表明,具有非比例阻尼的结构振动系统,在欠阻尼范围内,系统是可以成为亏损的;对于亏损系统,其频响特性只有用广义模态理论才能正确地描述.

单层网壳结构风振响应的模态耦合效应分析

基于网壳结构频谱分布密集、空间相关性强的自身特性,其风致动力响应不仅要考虑多阶模态的贡献,通常还要考虑模态耦合效应。因此,对网壳结构风振响应的模态耦合效应进行研究很有必要。根据模态广义位移协方差矩阵的特性,对K iew itt6-6型单层球面网壳和三向网格单层柱面网壳结构的模态耦合效应进行了系统的参数分析,在此基础上,给出了网壳结构风振响应的模态耦合效应程度判据。

基于曲率模态信息熵和BP神经网络的简支梁损伤识别方法

针对曲率模态指标存在的对振型节点附近损伤不敏感、需要较密集测点等缺陷,在曲率模态的基础上引入广义局部信息熵,推导了广义局部曲率模态信息熵的公式,建立了相应的损伤指标并针对高阶振型的特点对指标进行改进.提取并处理简支梁损伤模型的动力参数,将曲率模态和广义局部曲率模态信息熵分别作为神经网络的输入参数,对损伤进行识别并对比了两种参数的识别结果,研究了测点数量对指标精确度的影响,通过损伤钢梁模态试验对上述结论进行验证.结果表明,所提方法能较好地定位及定量损伤,在靠近振型节点处指标识别精度高于曲率模态.

现代逻辑对文学的渗透

文学研究中的形式化方法是几乎一切追求“科学性”的文学理论的理想，但是从新批评到结构主义，形式分析各派都没有达到接近形式化的高度。当前，由于发展第五代计算机的需要，在阅读分析中引人了现代逻辑和形式语言学，极大地推动了文学研究中的符号化、计算化和公理化方法的发展，这样就使得建立一个文论的形式系统可能性和意义都大大增加了。这是当代文本理论发展的重要契机，应予以高度重视。