基午Prolog与0racle集成的GKBMS演绎数据库子系统的设计与实现

目前,逻辑程序设计与关系数据库的集成大多集中在两者的接口问题上,而且已经取得一些令人满意的结果。但是,在逻辑语言与关系数据库语言的合成、以及知识程序的高效处理方面却缺乏应有的重视和考虑。本文介绍的知识库管理系统GKBMS演绎数据库子系统正是在这一背景下提出,并在Micro VAX 11机器上研制成功的一个逻辑程序设计GKD-Prolog与关系数据库Oracle的集成系统。

知识库系统的原理

在分析了知识的定义、知识的类型、知识的分级、知识原理的基础上 ,详细说明了知识库系统的原理。

支承松动故障转子系统共振区动态特性分析

根据工程实际,建立了松动故障转子系统的非线性动力学模型,利用KBM法对模型进行分析,得到故障转子在共振区的动力学行为特征如共振区提前且持续区间较长,二倍频、三倍频等高次谐波明显以及故障转子系统具有'软式'非线性特性等;分析了支承刚度、转轴刚度等系统参数对松动故障转子系统非线性特性的影响·与已有文献的实验结果比较,结论与实验结果比较吻合·结果可为该类故障转子系统的监测和故障诊断提供参考·

三氧化二砷对T315I突变细胞株KBM5R的诱导凋亡作用

本研究旨在探讨三氧化二砷(ATO)对耐伊马替尼(IM)并有T315I点突变的慢性髓系白血病(CML)细胞株KBM5R的诱导凋亡作用。选择T315I点突变的CML细胞KBM5R和野生型细胞KBM5为研究对象,用MTT法检测KBM5R细胞对IM的耐药性及ATO对KBM5、KBM5R细胞的增殖抑制作用;流式细胞术检测ATO诱导KBM5、KBM5R细胞凋亡;Western blot法检测ATO对KBM5、KBM5R细胞凋亡相关蛋白caspase-3、-8、-9的影响。结果表明,①IM作用于KBM5R细胞的IC50值为12.66±0.565μmol/L,明显高于对KBM5细胞的IC50值(0.303±0.031)μmol/L,两者比较差异具有显著性(p<0.01);②不同浓度ATO作用于KBM5、KBM5R细胞24、48、72、96小时均表现出显著的增殖抑制作用,且具有浓度依赖性和时间依赖性;相同的药物浓度和时间点ATO对KBM5R细胞的增殖抑制作用强于对KBM5细胞;③ATO(2、4、8μmol/L)作用于细胞48小时后KBM5、KBM5R细胞凋亡率均以药物浓度依赖形式增加,且相同药物浓度时KBM5R细胞凋亡率较KBM5细胞高;④4μmol/LATO作用于KBM5、KBM5R细胞24小时后,细胞内cleaved caspase-3、-8、-9蛋白表达明显增加。结论 :KBM5R细胞对IM具有显著的耐药性;ATO对KBM5、KBM5R细胞均具有增殖抑制和诱导凋亡作用,与野生型细胞KBM5比较,ATO对T315I突变的KBM5R细胞的增殖抑制和诱导凋亡作用更强;ATO通过活化凋亡相关蛋白caspase-3、-8、-9诱导细胞KBM5和KBM5R的凋亡。

硅烷偶联剂KBM602的合成工艺研究

甲基二氯硅烷与烯丙基氯经硅氢加成、甲醇解、胺解三步反应，合成了硅偶联剂ＫＢＭ６０２，考察了原料配比、反应温度、反应时间对反应产物收率的影响，在最佳工艺条件下，总收率为５０％．

分数阶单自由度间隙振子的受迫振动

研究了含有分数阶微分项的单自由度间隙振子的受迫振动,利用KBM渐近法获得了系统的近似解析解。分析了分段线性系统的主共振,得到了分数阶阶次在0~2时分数阶项的统一表达式;发现分数阶微分项在分段系统中以等效线性阻尼和等效线性刚度的形式影响着系统的动力学特性,而间隙以等效非线性刚度的形式影响着系统的动力学特性。获得了主共振幅频响应的表达式,并得到了系统的稳定性条件;比较了系统主共振幅频响应的近似解析解和数值解,发现两者符合程度较高,验证了近似解析解的正确性;详细分析了分数阶项和间隙对系统主共振幅频响应的影响。研究表明KBM渐近法是分析分数阶分段光滑系统动力学的有效方法。

带外挂二元翼极限环颤振的高次线化分析

本文针对在外挂上带有初偏间隙型非线性刚度的二元翼带外挂系统的极限环颤振,进行KBM法二次渐近解等效线化分析.结果表明,在某些情况下,用二次渐近解等效线化分析极限环颤振,其结果与数值积分结果基本一致,而一次渐近解等效线化分析则得不出满意的结果.这就是说,二次解等效线化比一次解等效线化更为可靠.

一种改进的KBM法求解非线性振动方程

经典KBM法可以较好地解决含有小参数的非线性振动方程的求解问题,但这个小参数很大程度限制了经典KBM法的应用。将经典KBM法中频率表达式的基本方程进行平方修正,使得该方法的求解范围不受小参数的限制;应用改进后的方法求解Duffing方程,并在计算中对振动系统的频率方程进行简化,求得方程的二次近似解和频率解分别与其它方法的解进行对比,验证了改进的KBM法的可行性,且证实其计算结果的精度较其它方法高。

细长压杆大挠度问题非线性振动比拟

本文用非线性振动研究中的ＫＢＭ法和谐波平衡法来研究细长压杆的大挠度问题．避免解常微分方程。

拟线性系统振动问题的KBM法

本文阐述了摄动方法中的ＫＢＭ 平均法并利用此法讨论了拟线性系统振动问题的近似解， 计算结果表明： 它具有数值计算简单。

溶液中丙酸红外羰基振动频变与溶剂参数相关性分析

运用KBM模型、电子给体-受体模型和线性溶剂化能关系式(LSER)对丙酸在15种不同有机溶剂中羰基伸缩振动频率进行相关分析.结果表明,在有机溶剂中丙酸羰基伸缩振动频率的多参数LSER模型的相关性明显优于单参数KBM模型和电子给体-受体模型;LSER模型的标准偏差明显小于KBM模型和电子给体-受体模型.LSER模型能较好解释在有机溶剂中引起丙酸羰基伸缩振动频率变化的主要原因,导致游离丙酸羰基伸缩振动频率变化的是溶质-溶剂之间的氢键作用和偶极-偶极作用,丙酸二聚体羰基伸缩振动频率变化的主要原因是偶极-偶极作用.LSER模型用于预测在有机溶剂中丙酸羰基伸缩振动频率时具有较好的准确性和稳定性.

KBM10镁合金高温压缩变形行为

研究了铸态KBM10镁合金在温度573~673K,应变速率5×10^(-4)~5×10^(-2)s^(-1)内高温压缩变形过程中的微观组织演变,分析了变形温度和应变速率对该合金动态再结晶行为的影响,分析了温度、应变速率与流变应力的关系。结果表明:KBM10镁合金高温压缩塑性变形的主要软化机制为动态再结晶,温度和应变速率二者均是影响再结晶形核和长大的主要因素。在本实验条件下,KBM10镁合金的变形本构方程可拟合为双曲正弦函数ε=-A[sinh(ασ)]~nexp(-Q/RT),其中应力指数n为4.717,激活能为149.8 kJ/mol.

关于多尺度法的一个注记

以vanderPol系统为例,揭示了多尺度法在求解非线性系统三次以上近似解时似乎存在的二义性问题.通过将多尺度法的结果与KBM法所得结果进行比较,指出了如何利用多尺度法求解非线性系统三次以上近似解的正确步骤.

求解一类非线性方程的改进的平均法

本文研究确定非线性方程一致有效近似解的平均法，得到Ｂ方法（Ｋｒｙｌｏｖ－Ｂｏｇｏｌｉｕｂｏｖｍｅｔｈｏｄ）与ＫＢＭ方法（Ｋｒｙｌｏｖ－Ｂｏｇｏｌｉｕｂｏｖ－Ｍｉｔｒｏｐｏｌｓｋｉｍｅｔｈｏｄ）的改进形式，通过两个例子与多尺度方法的比较，说明改进的平均法的有效性，从而拓广了平均法的应用范围。

CAM系统的发展、最新成果与挑战

综述了CAM软件的发展与要求,最新CAM软件的主要改进以及安装HSM的CAM面临的主要挑战。

受静载作用圆薄板的非线性振动

本文研究了圆薄板在均布横向压务和边缘和初张力联合作用下的非线性弯曲基础上振幅非线性自由振动。运用ｖｏｎ ｋａｒｍａｎ薄板理论，首先给出非线性弯曲静力问题的解；然后，对静平衡构形附近的非线性自由振动方程的空间部分，应用伽辽金法得到关于时间部分的非线性动力方程。最后，用ＫＢＭ法获得了静载为参数的频幅响应关系。

非线性自治电路的KBM渐近级数展开法

利用 KBM渐近级数展开 ,本文给出了非线性自治电路一种新的解法 ,算例表明 ,该方法对研究自治电路的性质有很好的作用 .

用改进KBM法研究三线扭摆周期

以ＫＢＭ 法为基础， 引进谐波平衡观点来研究摆角对三线扭摆周期的影响， 通过计算不同摆角下Ｔ／Ｔ０ 值表明， 运用该法所得周期值与实测值更接近．

采用PLBT光控振荡器的周期解

采用硅光电负阻器件PLBT可以构成光控振荡器。只要对在光照下PLBT的输出特性进行合理的解析描述,就可以应用KBM方法求解该系统的第一次近似解以及高次近似解。在设计这种振荡器时,该解析解有助于正确选择电路参数。