基于描述逻辑的能力需求模型验证方法

针对C⁴ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。     

考虑土体软化的隧道盾构掘进界面稳定性分析

岩土工程中的许多土体有应变软化行为,这种软化行为能导致应变局部化,进而对土体的稳定性有重要影响．首先研究饱和砂土的排水平面应变压缩试验的剪切带的形成,进行数值分析,预测了实验现象．然后,考虑土体应变软化盾构掘进面失稳的影响,对深埋隧道的盾构掘进进行三维数值分析,对比分析渗流条件下应变硬化模型和应变软化模型以及应变软化条件下考虑渗流与未考虑渗流模型之间的区别．分析表明,土体应变软化更容易导致盾构掘进界面失稳,使得开挖面的极限支护压力和地表沉降增大、塑性区扩展比没有应变软化的土体更大．探讨了诸如内摩擦角、黏聚力等土质应变软化参数的变化对盾构掘进界面稳定性的影响,发现内摩擦角软化的影响较大,黏聚力次之．最后,对天津地铁9号线的一段盾构掘进进行了模拟,其结果与工程实测数据相吻合．     

冰雪天气下高速公路运营安全管理系统研究

冰雪天气对高速公路运营安全影响极为恶劣。通过分析冰雪天气对高速公路行车安全的影响及其对策,开发了高速公路冰雪天气运营安全管理系统。该系统的建立将有效减少冰雪天气下交通事故的数量和减轻事故的严重程度,提高运行效率。     

热粘弹有限元

给出了热粘弹有限元方法的一般列式,它基于作者在文[17]中建立的变温下一般热粘弹性材料的本构方程。对记忆积分进行了简化,这种简化不涉及材料的膨胀松弛时间和剪切松弛时间。它适用于各种热粘弹性材料在变温下的有限元计算。     

浅议固定资产的计算机信息化管理

随着固定资产数量大幅增加，管理要求不断提高，管理难度增大，如何管理好固定资产显得越来越重要。该文介绍了在新形势下，采用计算机信息化管理技术，管理固定资产的一些做法，并且对相关问题进行了讨论。     

信息化战争条件下防护工程建设与防范策略初探

本文分析了我国防护工程现状,并提出了在信息化条件下加强防护工程建设与防范策略的思考。     

基于前后轮联动转向的菱形客车操纵稳定性研究

根据菱形客车底盘布置的特殊性,建立了前后轮联动转向的二自由度操纵模型.在此基础上,推导出菱形客车的稳定性因数,从而确定了满足不足转向的条件;同时还分析了菱形客车的操纵稳定性以及整车参数变化对其产生的影响.结果表明:菱形客车的操纵稳定性受整车质量影响较小,而受前后轴轴距和整车质心位置的影响较大.不足转向条件和各参数变化对整车操纵稳定性的影响规律将有助于菱形客车的总体设计,具有较好的工程参考意义.     

非线性Sine—Gordon方程的三种差分格式

给出了非线性Sine-Gordon方程的三种差分格式,并且分析了它们的局部截断误差及其稳定性和收敛性.用数值实验比较了它们的截断误差和运算速度.数值实验结果验证了这些格式的有效性与可靠性.     

织物的膜理论

为了对织物膜结构和服装进行虚拟模拟，例如膜结构的张紧和褶皱以及服装的悬垂和屈曲，建立了编织物的膜理论．编织物的细观编织结构被引入了膜理论，织物的经线和纬线被选为曲线坐标轴，未变形的纱线作为Lagrangian坐标轴，变了形的纱线作为Eulerian坐标轴．在变形中考虑经线和纱线之间夹角．该理论被用于织物膜的张紧分析．数值结果表明，当应变e12达0．06时，由于纱线夹角的改变导致的应力增加占总应力的25％左右．     

高频引力波的应用前景、产生机制和探测方案

较为全面地论述了高频引力波的应用前景、产生机制和探测方案.