我国调整城市规模划分标准人口过千万为超大城市

国务院发布《关于调整城市规模划分标准的通知》（下简称《通知》），正式调整我国城市规模划分标准。根据新的标准，全国各城市将以城区常住人口标准，被划分为5类7档，全国大部分城市将降级。其中，原来被划定为特大城市的140个城市。将减少至16个。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

试论汽车品牌的构成要素

随着汽车市场的快速发展和竞争的愈渐激烈，汽车品牌逐渐成为汽车厂商获胜的法宝，得到了前所未有的关注。本文对汽车品牌进行了深入全面的研究，从定义汽车品牌的概念入手，通过实例法逐一分析汽车品牌的构成要素，然后，按功能区别和所有者类型区别对汽车品牌进行分类。     

关于图的单圈划分

图的划分问题曾引起图论界的广泛关注，本文讨论了一般的单圈划分问题，利用禁用构形刻划了一个图存在单圈划分的条件，并进一步得到一个算法，有效地解决了判定一个图是否存在单圈划分，若存在则求其单圈划分的问题。     

公路建设项目环境保护投资界定

介绍了公路建设项目环境保护投资进行界定的目的、意义，并对其现状进行简要分析，提出对公路建设项目环境保护投资划分的具体原则和建议。     

基于水利水电工程施工标段划分的优化方法研究

当前水利水电工程施工标段划分缺少有效的定量分析方法,通常依赖主观判断,无形中加大了业主方的成本费用。本文从交易费用理论出发,将水利水电工程施工总成本分为合同前交易费用、生产费用和合同后交易费用三个组成部分,建立水利水电工程施工标段划分优化模型,为业主方优化标段划分提供定量分析依据。     

安徽省运管局召开营运客车类型划分及等级评定工作座谈会

<正>1月28日,安徽省运管局在合肥召开营运客车类型划分及等级评定工作座谈会,来自全国15家主流客车生产企业安徽区域的销售负责人参加了座谈会。安徽省运管局副局长席金波、总经济师赵猛出席座谈会并讲了话。会议通报了安徽省2009年度高级客车核验情况     

《广铁客运营销分析系统》通过局级技术鉴定

2008年5月23日，由广州铁路（集团）公司信息技术处、客运处共同研制的《广铁客运营销分析系统》通过了集团科委办组织的技术鉴定。该系统在功能上实现客票业务中席位利用情况分析、区段发送人数统计、票额分配监控、车次收入率统计、报表定制和发布等主要功能及业务划分、数据定义、运行监控、     

三菱帝国的王后

如果将三菱汽车比作一个强大的帝国，Lancer Evolution既疑是当之无愧的帝王，而王后的最佳人选则非Eclipse莫属。预计在2008年9月驾临中国的Eclipse使三菱在国内的等级划分更加完善，同时让消费在面对近乎空白的中低端跑车市场时不会再那么尴尬。虽然只是屈居于王后之位，但Eclipse却是一辆比Lancer EvolutionX更加纯粹的2＋2座跑车。     

预拌混凝土专业企业资质标准急待修订

进一步提高预拌商品混凝土专业企业资质的要求,无疑会有利于预拌商品混凝土专业企业的管理与生产水平,进而提升工程建设质量。然而现行的企业资质划分标准是2001年发布的,在新的形势和新的要求下,期待拟修订中的标准早日出台。