Belief and Knowledge Reasoning

Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multi-agent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i.e., the presented logic is better for further study of multi-agent systems.     

人工灌注桩在水平力作用下性能的试验研究

针对黄土地基，通过人工灌注桩的水平静载试验，实测出人工灌注桩与地基土共同作用时内力与变形情况，绘制了有关的试验结果曲线．为人工灌注桩理论分析和强度设计提供了重要依据．     

泥石流冲击荷载下圆钢管的破坏机理分析

为研究泥石流冲击荷载下圆钢管构件的破坏机理,利用LS-DYNA对一端固定的圆钢管构件进行数值模拟分析.通过改变钢管的直径、壁厚、撞击点高度,以及冲击物的质量、冲击物的速度等变量,计算了243个工况,并对圆钢管构件的动力响应进行对比分析.结果表明,钢管构件的壁厚、直径越大,则构件的冲击力越大,冲击点处的变形区域越小,产生的位移越小;在不同的撞击高度下,撞击自由端处引起的位移是柱脚位移的2倍,而冲击力相差不大;冲击物的速度、质量越大,则冲击能量越大,冲击力越大,构件局部发生的变形区域更大,整体产生的位移也随之增大.     

人工灌注桩内力和变形分析的微分方程解法

本文根据上部结构在竖向荷载和水平地震荷载组合后直接传给桩端的弯矩、剪力和轴力,对在这三种桩端外力作用下柱与地基土共同工作的内力和变形进行分析,求得桩身内力和变形的解析解。指出了现行设计计算方法存在的问题和不足。特别是对桩的计算简图选取、系数K和计算宽度B取值的讨论以及经详细的解析分析后得到的桩身内力和变形,为桩的强度设计提供了比较可靠的理论依据,避免了现行设计配筋的盲目性。     

数控设备维修理论探讨

随着现代科学技术的迅猛发展，出现了集机械、液压、电子等技术为一体的数控设备。由于无法避免的因素，设备有时会出现各种各样的故障。本文将在研究数控设备故障规律及特点的基础上，提出以可靠性为中心的差异维修理论及维修方式，以指导数控设备的维修管理。     

是非纷纭论金融衍生交易

在这次亚洲金融危机中,有一个名词时常见诸报端,引起人们的广泛关注,这就是“金融衍生交易”。其实,金融衍生交易在国际金融市场上叱咤风云并非始自今日,90年代以来,从墨西哥金融危机的爆发、英国巴林银行的倒闭到日本大和银行被兼并及这次亚洲金融风暴,几乎每一场国际金融风波都与金融衍生交易有着直接或间接的关系。一些媒体纷纷指出:金融衍生工具已成为20世纪人类最富争议的金融创举。如何正确认识和运用它正成为全球金融界关注的焦点(1997年诺贝尔经济学奖即授予此项理论)。     

新型钢框架梁柱T型节点抗震性能试验研究

根据钢框架强柱弱梁的抗震设计原则，按照有效控制粱上塑性铰位置的思路，采用在粱腹板进行开孔削弱的节点形式，通过开孔位置与大小控制节点处的塑性铰形成位置，同时进行了反复荷载历程下的5组试件破坏试验，探讨了粱柱节点的滞回性能、节点破坏模式及其极限承载力，并进行对比分析．研究结果表明，采用腹板开孔的构造形式，可以大大缓解节点处的高三轴应力状态，使节点的破坏模式从脆性破坏转变为粱的局部屈曲破坏，降低了连接焊缝发生脆性破坏的可能性，很大程度地改善了节点延性性能。     

论中国学校人文精神教育的现实意义

教育是培养人的活动.社会发展最终是以人的发展为尺度的,而人的精神生活,是人的发展的重要标志,更是当代中国教育改革的重要内容.受传统教育思想的影响,中国教育存在的主要问题在于对人的精神世界的漠视和冷淡.构建未来中国的和谐社会之根本在于教育,尤其是人文精神教育.     

美术专业计算机基础教学初探

从美术专业特点出发,对美术专业计算机基础教学的教学内容、教学手段、实践环节等几方面提出了的一些想法和体会.