化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

字典序多目标多阶段决策问题的嘉量解法

建立了字典序多目标多阶段决策模型，并用嘉量原理解决字典序多目标多阶段决策问题．在字典序多目标多阶段决策的赋嘉量有向图中，从任意出发点到终点的嘉量等于出发点经过中间状态的诸顶点到终点的嘉量摹和,这个摹和与出发点之前、终点之后的状态无关．在计算过程中，将合取作为摹和，常义加法作为摹乘，则字典序多目标多阶段决策问题的递推运算转换为多阶段的摹矩阵运算．     

沙棘总黄酮对培养心肌细胞搏动及电活动的影响

本实验研究了TFH对培养乳鼠心肌细胞的跨膜电活动及搏动的影响。结果表明:TFH可使细胞搏动频率显著降低,搏动幅度下降,细胞动作电位复极50%和90%的时程(APD_(50)APD_(90))缩短,4相去极化斜率下降,其它参数未见显著变化。此外还观察到TFH可使异常自发搏动节律转为有规律的搏动。提示TFH对培养心肌细胞的作用机制可能与抑制Ca~(2+)跨膜转运和促K~+外流有关。     

按晶面力常数的高级近似估算表面能

本文在文献[1]的基础上,计算了高级晶面力常数对表面能的影响,将其结果绘成了表面能和级数之间的关系曲线,选取了较高级、变化较平稳的几级平均值作为表面能的计算值。其结果和文献[1]的比较,普遍有所增大且明显地和实验更吻合。     

按最小空隙率法优化水泥稳定碎石半刚性基层材料配合比组成设计方法研究

在惯用的级配曲线进行水泥稳定碎石级配设计的基础上,从提高水泥稳定碎石抗收缩能力的角度出发,提出有关按最小空隙率法进行水泥稳定碎石配合比最佳组成设计的新方法,经实践证明,按该方法进行配合比组成设计的水泥稳定碎石强度高、耐久性强,能减少或消除沥青路面因水泥石收缩而产生的反射缩裂缝.     

高桥墩墩顶水平位移的计算与分析

考虑板式橡胶支座的弹性约束作用、地基弹性变形的影响,用能量法对高桥墩墩顶水平位移进行计算与分析;算例表明,对具有板式橡胶支座的弹性地基高桥墩的设计计算,支座对高桥墩弹性约束和地基的弹性变位影响不可忽视.     

刺激PAG对脊髓背角神经元的抑制及其与PAG—CDP的关系

电刺激PAG腹外侧,可在腰骶髓引导出PAG—CDP。用相同参数刺激PAG,可使脊髓背角会聚神经元(n=31)放电抑制。放电完全停止所持续的时间与CDP慢波时程相当,呈有意义的正相关,抑制潜伏期与慢波潜伏期也呈有意义的正相关。当PAG刺激不足以引起CDP慢波或刚刚引起CDP慢波时,对会聚神经元也无抑制。结果提示:电刺激PAG所引起的脊髓背角会聚神经元C放电的抑制有突触前抑制成份参与。     

基态He2Ne^＋的分析势能函数

本文首次用ＣＩＤ／６－３１Ｇ法计算了Ｈｅ２Ｎｅ＾＋（Ｘ＾２∑＾＋）的平衡键长、离解能和谐性力学数。应用简化的多体项展式法，导出了Ｈｅ２Ｎｅ＾＋（Ｘ＾２∑＾＋）的分析势能函数。在Ｈｅ２Ｎｅ＾＋（Ｘ＾２∑＾＋）势能面上有一个线性的平衡结构和一个弯曲的亚稳结构，有两个线性鞍点和两个非线性鞍点。发现并改正了Ｋｕｎｔｚ等人的Ｎｅ２Ｎｅ＾＋势能面的不合理离解极限，获得正确的Ｎｅ２Ｎｅ＾＋势能面。     

有轨电车延伸线客流预测方法在法国的实践

目前,为了改善交通情况和提高公共交通的使用率．法国Clermont-Ferrand正在进行该市一条有轨电车北延伸的可行性研究。以该市实际的交通情况为基础,使用经典四步骤法,完成了该有轨电车延伸段的客流预测。在研究期间,还使用了法国交通软件——MOSTRA。对于交通方式划分,使用了交通费用、行程时间、舒适度以及换乘次数作为参数。     

江津四面山风景旅游区红岩山危岩初步研究

对江津四面山红岩山危岩进行稳定性验算,计算结果表明红岩山危岩存在进一步发生崩塌的可能性.危岩治理十分必要.对此,提出了该地区危岩灾害防治措施,建议综合采用主被动联合方法进行危岩防治工作.用运动学方法进行落石冲击力检算、腾越计算及弹跳计算,以此结果再结合观测落石的运动轨迹和弹跳高度,以确定拦截防治工程结构物的设计尺寸和材料强度参数.