遗传算法在公交枢纽内始发线路与站台优化配置分配中的应用

城市公交枢纽是公共交通各种线路,各种运输方式之间客流转换相对集中的场所,有多条公交线路经过,也有多条公交线路把枢纽作为首末站点,由于其用地规模有限,线路集中,其内部始发站的设置具有特殊性.本文分析了公交枢纽内始发线路与站台优化配置的主要影响因素,通过使各个站台利用率最大,从而建立了公交线路和站台问优化配置模型,并应用遗传算法进行了求解.最后通过实例证明了模型及解法的有效性.     

青川3条出境“生命线”已经全部打通

<正>四川"8·19"特大暴雨洪灾重灾县青川传来喜讯:该县因暴雨断道的3条出境公路,目前已全部打通。持续5h的特大暴雨山洪导致青川212、105线和剑(阁)青(川)路3条出境公路中断。在广元市、青川县公路部门和干部群众的连续奋战下,国道212线于8月19日下午1     

我们爱科学——小型车是否不安全？

尽管无论是理论分析还是实际交通事故都提供了佐证,证明质量小的车辆在与其他车碰撞时处于劣势,但从来没有人通过严谨的科学试验的方式来证明这一见点。直到最近,美国公路安全保险研究所（IIHS）进行了一系列微型车和中型车的碰撞试验,才以科学的手段向人们证明了事实。本文将以“生动有趣”的形式,为大家分析这一结果。     

Provably Secure Short Proxy Signature Scheme from Bilinear Maps

An enhanced formal model of security for proxy signature schemes is presented and a provably secure short proxy signature scheme is proposed from bilinear maps. The proposed proxy signature scheme is based on two short secure signature schemes. One is used for delegating the signing rights and computing the standard signature; the other is used for computing proxy signature. Finally, a security proof of the proposed proxy signature scheme is showed by reducing tightly the security of the proposed proxy signature scheme to the security of the two basic signature schemes. The proposed proxy signature scheme has the shortest ordinary signatures and proxy signatures. Moreover, the proxy signature generation needs no pairing operation and verification needs just two pairing operation.     

关于波利亚猜想证明的一个注记

采用新的方法,证明了Csordas G等人的不等式,即对任何t＞0,J(t)φ′(t)+t[φ(t)]2＞0.该方法极大地简化了波利亚猜想的证明过程及其涉及到的计算.     

加强高教研究工作的几点思考

教育的大发展必然伴随着教育研究的蓬勃兴起，这是为战后世界教育发展的历史和我国改革开放以来的教育实践所证明了的一条规律。     

日系车市场的回暖将是大势所趋

我国日系车市场的任何变化,都会牵动汽车业界的敏感神经。日系车市行情的跌宕起伏,始终是业界比较关注的一个方向。研究近几年国产日系车市场,笔者以为,不要仅仅看它销量的变化,更重要的应看它市场份额的变动。我国汽车市场总体平稳运行,但受季节不同、假日多少、政策调整甚至外界事件等因素影响,月度、季度、乃至年度增速,时有或快或缓、或高或低显现。通常情况下,汽车销量和市场份额呈现正相关;但有时候销量增加而市场份额减小,证明市场地位并未随销量而提升,有时销量减少而市场份额增加,倒是证明它的市场地位反而有所提高。     

民事诉讼中证明责任分配及法律效果

在民事诉讼中,当事人主张应当指的是某一特定的民事法律关系。特定法律关系相对应的实体规范所隐合的要件事实是证明责任分配的依据。     

关于行列式两个定理的证明

行列式等于它的任一行（列）的各元素与其对应的代数余子式的乘积之和及任意k行（列）中一切k阶子式与其代数余子式的乘积之和,行列式是从解线性方程组诞生出来的,它的应用非常广泛且早己超出代数的范畴,成为几何、分析、方程、统计等许多数学分支的基本工具。因此,对行列式的学习应予足够重视。对行列式的证明也是众多初学者感觉较为困难的问题。本文就行列式的两个定理的证明谈谈自己的看法。     

完善建设我国西部出境出海运输大通道战略思路

<正>我国在深入实施西部大开发战略中积极推行向西开放战略,把建设西部内陆出境出海运输大通道作为向西开放战略的核心内容。基于海洋与陆地、境内与境外、建设与实用、开放与开发、成本与效率组配的协调性有效性考虑,对目前西部内陆出境出海大通道相关建设方案进行合理化比较和提出战略性完善建设思路及方案。