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

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

噪声背景下提取调制信息的改进奇异值分解技术

在介绍现有奇异值分离技术基本原理及其在故障诊断中的应用的基础上，研究了利用信号时间序列重构的吸引子轨迹矩阵奇异值分布特征与信号特征的关系，引入自相关函数定量计算重构矩阵的延时步长，改进了现有算法，使得吸引子轨迹矩阵的重构更加合理。研究表明该方法能在强噪声背景下提取出所需的调制信号，并成功用于齿轮箱调制故障信号的提取。     

澜沧江景洪大砂坝浅滩成因分析与整治原则

简述景洪大砂坝水道的概况并计算出输砂量和造床流量,分析景洪大砂坝浅滩的成因和演变趋势,并提出相应的整治原则供相关人员参考.     

鸡白细胞介素2在毕赤酵母细胞中的表达

目的　利用Pichia酵母真核细胞表达系统表达重组鸡白细胞介素 2 (IL 2 ) ,为大量制备鸡IL 2奠定基础。方法　将ConA激活的鸡脾脏T淋巴细胞中扩增得到的我国地方品种萧山鸡IL 2基因 ,克隆入pPIC9载体中构建重组质粒。将重组质粒电转化毕赤酵母GS115感受态细胞 ,甲醇诱导蛋白质表达。结果　SDS PAGE和Westernblot均在 30ku处检测到特异条带。结论　表明重组鸡IL 2基因在毕赤酵母GS115中获得表达     

重庆山区农村公路建设技术指标采用探讨

通过对重庆山区的农村公路实地调查、结合重庆地区地形、地质、以及经济状况,对重庆地区山区农村公路建设技术指标的采用进行探讨,并提出技术指标的采用应遵循的原则.     

湘西酉水二桥拱肋吊装线形控制

湘西自治洲保靖县酉水二桥为双跨118 m上承式钢筋混凝土箱型拱桥,采用无支架缆索吊装施工方法,主要介绍该桥施工过程中线形监控的关键技术和监控经验.     

����GIS�ĵ�·��ͨ��ȫ����ϵͳ���о������

针对道路交通安全的现况，分析了利用地理信息系统(GIS)建立道路安全管理 系统的必要性和可行性.本研究提出了一个基于GIS的道路安全管理系统.该系统由 人机交互系统、数据库及其管理系统、模型库及其管理系统、方法库及其管理系统组成.该系统的实现，将是GIS在该领域应用和迅速提高道路交通安全管理现代化水平的一个新探索.     

炭窑沟大桥设计

介绍了炭窑沟大桥55m＋90m＋55m三跨预应力混凝土连续刚构桥的设计，对该桥的总体设计、结构内力分析以及箱梁施工程序等方面进行了简要介绍。     

湿热地区沥青混合料正交试验分析

针对我国南方湿热多雨的气候条件,采用多因素正交试验方法,综合考虑粉胶比、粗集料含量、沥青种类、集料类型和添加剂等因素,以冻融劈裂强度比、浸水劈裂强度比、动稳定度和空隙率作为评价指标,进行湿热地区沥青混合料设计研究;并运用极差分析和综合性能分析方法,探讨了湿热地区沥青混合料性能影响因素的敏感性,提出了湿热地区沥青路面材料组成的优化方案。研究结果表明,粉胶比和粗集料含量对影响湿热地区沥青混合料性能起主导作用;通过调整沥青混合料内部粗、细集料的比例,选取适当的粉胶比,采用合适的添加剂等措施,可以使湿热地区混合料的路用性能提高;湿热地区沥青混合料的较好方案为"1.3粉胶比+60%粗集料+改性沥青+石灰岩+2%消石灰"。     

��������ͨ��Ϣ�ɼ��봦��ؼ���������Ӧ���о�

为了推动浮动车交通信息采集与处理技术的深入研究、沟通交流和推广应用，本文在概括总结国内外研究及应用现状的基础上，重点描述了基于浮动车运行数据进行实时旅行时间和平均速度估计及预测、拥堵状态判断的核心流程，介绍了国家智能交通系统工程技术研究中心自主研发的创新性的关键技术，其中主要包括浮动车地图匹配算法和路段旅行时间估计算法等，展望了浮动车交通信息采集与处理技术的应用前景。