神秘的明代辽东马市

<正>古代,马是战争和日常生活中的重要工具,受到人们特别重视。明《典故纪闻》记载,成祖曾问兵部尚书刘携:"今天下畜马几何?"携对:"以兵兴耗损,所存者二万三千七百余匹。"成祖日:"古者掌兵政,谓之司马,问国君之富,数马以对。是马于国为最重。"由此不难看出,在以骑射为主要武备的古代,马的数量是国家强盛的象征。     

语域三变量的教学模式在大学英语精读教学中的运用

将韩礼德的语域理论应用于大学英语精读教学的三变量分析法教学模式,可以弥补外语教学中过分关注语言形式的正确性而忽略交际语言的得体性这一缺陷,帮助培养学生运用得体语言进行交际的能力,即根据场合正确选择语域的能力.     

一种基于切削稳定性分析的高能效铣削参数优化方法

在保证加工质量的基础上实现高能效加工是机械加工追求的目标,而无颤振切削是保证加工质量的必要条件。本文首先分析机床的能耗特性,提出高速无颤振铣削参数优化模型,使机床的能量利用率最大化。然后提出一种基于切削稳定域上的切削参数优化快速求解方法。结果表明,能量利用率提高了154.5%,总能耗降低了61.5%,加工时间缩短了74.8%。     

有界平衡域上一类螺旋映射的增长定理

给出有界平衡域上一类螺旋映射的参数表示,作为应用建立了其增长定理,进一步给出了这类映射即星形映射的一个刻画.所讨论的域是非常广泛的,包括了复椭球和四类典型域,这些结果涵盖了先前已知的结果.     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

江西省域三级审计专网建设跟踪

按照国家电子政务网络规划要求，根据国家审计署提出的“金审工程”总体规划指导方案，2011年底，江西省依托全省电子政务外网MPLSVPN技术建成全省审计系统并开通了审计专网。     

珠江入海口水体中多氯联苯及其归趋分析

以气质联用仪检测了珠江八大入海口水样中19种PCBa单体.结果显示:PCBs在溶解相和颗粒相中的总含量分别为0.02～2.55 ng/L和0.05～5.14 ng/L;水体PCBs的logK1∝范围为4.70 -5.18,与其log K1∝值表现为非线性相关,表明水体溶解相与颗粒相间PCBs分配的非平衡状态；第三相胶体...     

功能语言学视角下的案件新闻标题研究

选择汉语案件新闻标题这一研究范围,以Halliday的功能语法中的语域理论从及物性结构、语气结构和主位结构的角度,以《人民法院报》上案件新闻标题为对象进行统计分析,探讨案件新闻标题的语言特征。研究结果表明,案件新闻标题具有协调性、稳定性、客观性、严谨性等特征。     

宁夏镇域交通优势度评价研究

根据《省级主体功能区域划分技术规程》中关于交通优势度的计算流程和技术方法,以交通网络密度、交通干线影响度和区位优势度为指标,通过ArcGIS和SPSS等,以宁夏198个城镇为研究对象,对交通优势度进行测算,得到宁夏镇域交通优势度的分布特征,并对其进行聚类分析.结果表明,宁夏镇域交通优势度的地域空间分布不均,空间差异明显,具有北高南低的区域分异特点.交通优势度比较高的地区主要集中在北部的石嘴山市和银川市及其附近县区,中部的吴忠市和中卫市交通优势度次之,南部的固原市交通优势度比较差.加强交通优势度低值区的交通基础设施建设,完善高值区的立体化交通网络,加强各县域与周边省辖市的经济联系,从而提高交通优势度,将为宁夏区域发展提供一定的支撑和保障.     

五沟煤矿矿井水处理工艺流程改进

<正>五沟煤矿年设计产量60万t/a,2009年核定产量为150万t/a。地面根据设计建设处理能力为2000m~3/d的污水处理厂。由于五沟煤矿地质条件复杂,富水较大,随着回采工作面的增加,中央泵房实际排水量为4500 m~3/d,矿井污水经沉淀池自然沉淀后直接排入河流。矿井可采煤层顶、底板在正常情况下多为泥岩和粉砂岩,少量是砂岩。其中砂岩坚硬致密,顶、底板较容易管理