一种证明连续函数性质方法的再应用

笔者曾给出了一种证明闭区间[a,b]上连续函数性质的方法.这种方法是：首先针对命题的结论构造一个集合E,然后通过证明E非空、E存在上确界且supE∈E、supE=b这样三个步骤推证命题成立.此前我们用这种方法给出过几个连续函数重要性质的证明.本文对这种方法进行了再次尝试并扩展应用,以探索其适用性,给出了著名的＂零点存在性＂和另外一个不大常用性质的证明.     

一元二次函数根的判别式在证明题中的应用

一元二次函数根的判别式小于等于零等价于该二次函数的函数值大于等于零，利用这一关系可使某些命题的证明得以简化。     

郑州铁路局确报系统升级工作全面完成

根据部《关于车站和铁路局确报系统升级工作的通知》（运调技术〔2008〕3407号）要求,为保证新《铁路货车统计规则》2009年1月1日的实施,郑州铁路局信息技术处下发了“郑信所开电〔2008〕64号”对我铁路局确报升级有关工作进行安排。要求确报系统：一是要适应新《统规》；二是完善确报系统功能；三是提高确报数据质量；四是提高确报的应用水平，总体满足铁路运输生产日趋发展的需要。按照车站确报应用的不同要求进行升级：（1）对郑州东、许昌等25个使用车站系统1．0大站版的车站，     

匈塞铁路边境ETCS系统贯通运行工程设计方案研究

ETCS系统的互联互通是匈塞铁路项目中的重难点。根据欧标相关规定,结合匈塞铁路边境概况及匈塞两国运营商要求,提出两国互联互通可采用双方向E2→E1→E2等级转换、双方向E2贯通、E2→E1→E2等级转换与E2贯通结合3种方案。通过综合分析列车运营场景、GSM-R网络覆盖范围、列车运行速度、应答器组间距离等因素,对各方案下的应答器布置进行设计。基于尽可能降低建设成本,明确界定建设、运维界面、审查报批主体,确保网络安全等多种因素,对3种互联互通方案进行详细论述,通过对比分析证明：采用E2→E1→E2等级转换与E2贯通结合方案时,既能够满足匈塞双方运营商要求,又无需在邻国设置GSM-R系统设备,且便于运营维护,为匈塞铁路ETCS系统贯通运行工程设计最优方案。     

对无形资产评估要加强管理

对无形资产评估要加强管理国家国有资产管理局资产评估中心负责人刘鲁南指出，无形资产是指那些不具有实物形态。但能为企业提供某种权利并能为企业带来收益的资产，包括商标、专利权、专有技术、版权、专营权、租赁权等可确指无形资本．还有不可确指无形资产──＂商誉＂...     

稳中求变变中求新：从99年高考作文想到的

本文首先从考查的力度、考查重心、题量及文体要求等四个方面阐述了９９年高考作文命题的文化；其次分别从正反两个方面详细阐述限９９年高考作文命题的得与失；第三，从审题，是否合理及评论本结构布局第三个方面论述了９９年考生在高考八方听失误；最后，通过９９年高考作文炎对２０００年高考语文复习的几点看不地，得出“稳中求变，变中求新”的结论。     

郑州铁路局对列车确报管理办法修订印发

为加强全局列车确报管理，提高列车确报质量，5月份铁路局运输处组织对《郑州铁路局列车确报管理办法》进行了修订，以《关于重新修订印发〈郑州铁路局列车确报管理（暂行）办法〉的通知》（郑铁运[2008]88号）下发，同时原《关于公布（郑州铁路局列车确报管理（暂行）办法）的通知》（郑铁运[1998]45号）废止。     

一个积分不等式及其应用

本文利用凸函数的性质，得出了一个积分不等式，利用它对几个经黄不土产等式给出了新的证明，得到了很好的应用。     

尼崎事故的反思

2005年4月25日上午9时18分，在日本大阪附近的兵库县尼崎市，JR西日本铁路公司所属的福知山线上发生了震惊世界的列车颠覆事故。这次事故造成了包括列车司机在内的107人死亡，555人受伤。这是一起因超速行车而酿成的惨剧。事故性质恶劣，在给死伤乘客及其家属带来无尽的痛苦的同时，也给日本的铁路安全神话带来巨大的挑战，给铁路界带来了深刻的反思。     

凸函数的一些结论

本文证明了凸函数概念的一些等价形式；归纳了凸函数的连续性及可微性结论，得到了规划论中有用的极值命题；推证了简化多元凸函数讨论的命题３．１。     

基于运统1电子化传递系统的数据共享方案

确报信息是铁路运输组织和行车指挥所需的核心数据,准确、及时、可靠地采集、传递和共享确报数据,是铁路信息化的一项重要任务.目前,运统1电子化传递系统的实施已覆盖全国铁路网,从源头上初步保证了确报数据采集的准确性和及时性.针对既有铁路信息系统对确报信息的使用需求,提出基于运统1电子化传递系统的数据共享方案,利用大数据采集、...     

光纤光栅压力传感器在斜拉索索力监测中的应用研究

提出了一种新颖的基于光纤Bragg光栅的斜拉桥索力实时监测方法。随着外界应力的变化，光纤光栅的Bragg中心反射波长将发生相应的移动。利用此特性，通过对波长移动量（△γb)的解调，就可以测出索力的大小。实验结果与理论分析证明，该测试系统具有结构简单，测量范围大，稳定性和线性度好，代和信噪比高，对测试人员没有特殊要求等特点，该测量方法用于索力监测是可行的，有效的。     

铁路计算机确报信息系统

确报是铁路运输组织中最重要的基础信息之一,是编组站作业、卸车预报、车流调整等工作必不可少的信息.计算机确报信息系统的上马,代替了铁路原有的电报确报的传输模式,大大提高了确报传输的准确性、及时性和完整性,同时,它对完善铁路运输组织,加快铁路信息现代化建设,尽早实现科技转化为生产力都具有重要的现实意义.     

黔桂线车河站斜坡软土成因及治理措施

研究目的：位于山前缓坡上的车河站横穿21条自然沟，施工开挖及试填筑时发现大部分沟内分布斜坡软土，需查明其成因、范围、厚度及工程性质，为设计提供依据。 研究方法：参考我院设计的内昆线、水柏线等铁路项目山区斜坡软土研究结论，采用试抗、钻探、静探、轻型动探及试验等综合勘探手段进行研究。 研究结果：车河站共有16条沟内分布斜坡软土，厚度差异较大，共同特点是土质软、成分杂、分布和性质不均匀，且夹有较多碎块石。最后选择了强夯碎石墩对基础进行复合地基加固。 研究结论：地层结构造就了特别的水文地质环境，从而为形成山前缓坡沟槽软土创造条件。治理包括排水、地基置换及挡护3个方面。从施工结果看，采用强夯置换法处理车河站斜坡软土操作容易，效果明显。     

无砟轨道专利技术趋势分析

无砟轨道技术是高速铁路建设的核心技术之一，技术领域技术创新反映于专利偏好。通过分析世界专利数据库中无砟轨道专利技术信息，表明世界无砟轨道技术经历约半个世纪的发展，整体技术仍呈不断发展趋势，其技术核心集中在E01B组的E01B1，E01B29，E01B57和E01B19小组，其中，中国、德国、日本等国均已各自形成技术优势。     

材料的基础性质和多体合金哈密尔顿实时模拟数据库

本文采用元素周期表在计算机网上给出了基本材料的性质。这些性质均可搜索，使用者可找出感兴趣的性能，并查寻哪种材料具有所描述的性质。而且本数据库还能进行多体哈密尔顿的实时模拟。所以，理论上讲，任何材料的重要性能，如结构，晶格常数，结合能等均可由此获得。     

分界站运报一上报数据不一致问题的浅析与对策

对TMIS系统运报一、电子运报一数据的来源及形成进行简要论述，对造成分界站两个系统运报一数据不一致问题涉及的TMIS系统确报、车号自动识别系统、分界站复示系统电子确报进行深层次剖析，提出快速有效的检查方法和对策。     

SS7E机车与SS7E模块化机车动力学性能比较与分析

基于机车车辆一轨道耦合动力学理论，运用TTISIM动力学仿真软件系统，分析SS7E机车与SS7E模块化机车在弹性结构轨道上的整车动力学性能，并进行了详细的对比分析。研究结果表明：SS7E模块化机车与SS7E机车相比运行稳定性略优，曲线通过时的安全性能相当，直线运行平稳性十分接近。     

城际铁路客运市场空间无限

众所周知，铁路客流按照铁路局管辖范围分为管内客流和直通客流，从距离上以500公里为界可分为短途客流和中长途客流。而城际铁路客流，广义上泛指承担省会城市和主要大中城市问的铁路客流（如北京-上海），狭义上指的是一个区域经济带范围内联系各城市问的铁路客流。其主体主要由相关城市的居民构成，出行目的主要以出差、会议、商务、通勤等生产性出行为主，旅游、探亲等非生产性出行为辅。     

铁道部车号自动识别信息与确报信息匹配算法

车号自动识别信息能准确反映列车、车辆、机车的位置信息和相关时间信息;确报信息能补充反映列车所挂车辆的空重状态、货物名称及去向等信息;车号识别信息与确报信息进行匹配为货车追踪提供了信息基础.文章详细给出了自动识别信息与确报信息匹配的算法.