铁路信息技术装备资产管理系统的设计与实现

根据铁路计算机类设备管理的现状,设计研发了铁路信息技术装备资产管理系统,从研发背景、系统要求、设计思想、系统功能、运行环境和系统特点等方面进行了阐述。     

时态命题演算T1的树枝图及其应用

将命题演算语义树理论扩充到非标准逻辑，建立了时态命题演算Ｔ１的树枝图，并证明这种枝图从语义上能判别Ｔ１的有效式，Ｔ１的无效式，从语法上能判别Ｔ１系统的定理，非定理的其它公式。     

航海学院教师队伍现状分析及今后设想

航海学院教师队伍现状分析及今后设想夏国忠，任茂东，李荣棠（大连海事大学）高等教育为了主动适应社会主义市场经济的需要，应以市场对人才规格、数量的需求来确定我们的办学规模和培养学生的目标。“八五”末我校面临着进入“２１１”工程的任务，并且海洋船舶驾驶专业...     

货车转向架摩擦楔型减振器的未来摩擦副

文章介绍了货车转向架用铸铁摩擦楔的研制和试验过程。介绍了钢制摩擦楔的缺点和不足。详细阐述了铸铁摩擦楔的化学成分和摩擦因数。另外，还介绍了该铸铁摩擦楔与其摩擦副-25x钢磨耗板的对磨实验以及对该摩擦楔所作的其他加工处理。     

关于θ-图的邻点可区别全染色

u，v两点间连三条内部不相交的路且至多有一条长度为1的图，称为θ-图．设G是阶至少为2的连通图，k是正整数，f是V(G)∪E(G)到{1，2，3，…，k}的映射，对任意u∈V(G)，记C(u)={f(u)}∪{f(uv)|uv∈E(G)，v∈V(G)}．如果：1)对任意uv，vw∈E(G)u≠w，有f(uv)≠f(vw)；2)对任意uv∈E(G)，有f(u)≠f(v)，f(u)≠f(uv)，f(v)≠f(uv)；3)对任意uv∈E(G)，有C(u)≠C(v)，那么称f为G的k-邻点可区别全染色(简记为k-AVDTC)，称min{k|G有k-邻点可区别全染色}为G的邻最可区别全色数，记作Xat(G)．本文得到了θ-图的邻点可区别全染色。     

汽车无内胎轮胎的使用与维护

叙述无内胎轮胎的优点,无内胎轮胎在使用过程中的问题,以及维护方法,以降低汽车的运行消耗,提高汽车的操纵稳定性和行驶安全性.     

大跨径预应力混凝土连续刚构桥应力监控研究分析

分析阐述应力监控对安全进行大跨径预应力钢混凝土连续刚构桥施工的重要意义,分析了振弦应力测试的误差主要来源,提出减少误差的方法。应用桥梁结构分析程序BRCAD对结构应力进行仿真分析,比较分析控制截面应力实测值和理论计算值,测试结果表明应力实测值与理论计算值能较好的吻合。在施工过程中,控制截面实测的最大应力值小于规范的允许值,施工过程安全。     

2007年中国新疆乌洽会九月一日如期召开 第十六届乌洽会系列报导之一

今日中国经济的腾飞是中国改革开放的胜利成果，在改革开放中，促使中国经济迅猛发展的重要原因是吸收外来资金，技术，管理和人才等发展要素，要获取这些要素使中国无数经济发展项目启动起来达到属世界最大的市场需求中国的经济崛起，对外经济贸易洽谈会成为了中国对外经济合作和实现对内经济资源配置的最佳有效途径。