英语句内下指现象研究

英语句内下指的构式类型除了传统的代词下指式"P+N",还有零代词下指式"Φ+N∕P".下指构式及其句法形式、语义、语用功能之间对应形成象似关系.不同构式的背景化程度差异取决于句首小句的语法化程度以及小句间的语义依存性高低等因素.     

五沟煤矿1018工作面沿空留巷效果监测方案选择

1018工作面为南一采区右翼第三个区段,上部F6断层保护煤柱,下部为1016工作面,已经回采结束,左翼为1017工作面,已经回采完毕,其左侧以大巷保护煤柱为界,右侧至-340m回采上限。改造后1018机巷650m,风巷580m,切眼178m,共计1408m。本工作面煤层全部可采,煤层赋存情况较为复杂。10煤位于山西组中部,上距一、巷道基本条件     

变量分离的有理因子图像尺度转换的高效实现

在高数据条件下,实现分数比采样率转换是一个颇费计算量的复杂过程[1],因此,在文章[2]所提出的变量分离的有理因子图像尺度转换的实现中,较大的计算量是一个需解决的问题。本文基于多相滤波结构,按照最小运算量准则,综合处理分数比采样率转换中内插、滤波、抽取的运算过程,提出了变量分离的有理因子图像尺度转换的高效实现模式,大大提高了计算效率,并给出了利用这种高效实现模式对图像进行尺度转换的仿真实验结果。     

尖端创新神经技术脑研究计划:美国脑研究计划评介

正作为神经科学研究超级大国的美国,正拟启动尖端创新神经技术脑研究计划。该计划此前称作脑活动图计划,已经过一年多的筹备性论证。计划的主要目标是,通过包括纳米技术在内的一系列技术创新,全面构造神经活动图谱,以求在神经-精神疾病诊治及智能机开发上取得突破。围绕计划目标之可行性存在大量争鸣。     

天津地形图坐标系转换的误差分析

为了满足经济的迅猛发展和城市基本建设的需要,天津市形成了自己的一套独立的坐标系统,就是我们现在使用的1990天津市任意直角坐标系。然而在我们使用的各种比例尺的地图中,为了工作的需要以及根据地图的成图年代和比例尺的不同,分别采用不同的坐标系统,其中有我们使用的国家统一坐标系以及其它坐标系。因而需要解决这些坐标系之间的转换问题,由于采用不同的投影椭球,那么在不同坐标系转换过程中,就会出现地形地物的变形。变形之后的新图通过计算和转换后符合地图制图规范的精度要求。     

图的仅需着色种数与其区分等式和其他问题——兼对地图四色区分的证明

本文续接《图的着色证明与图的着色定理》一文,着重于对＂地图以4色区分会不会发生‘爆炸’的问题＂和＂图的‘仅需着色种数’与其区分等式＂进行了证明,证明四色猜想成立。同时,应用＂两点连线＂的证明方法对事物中的连接现象进行了论证,强调＂组合与区分＂两者之间关系才是四色猜想命题研究的归结点。此外,指出物体表面的全相邻力是验证物体同胚体的依据,可构造出需用百、万、亿种颜色区分的整体。     

定边张韩区块长2储层地质建模及其意义

运用大量的钻井、测井、分析测试资料及动态资料为约束,采用确定性建模与随机建模相结合的方法探究定边张韩区块延长组长2储层地质建模及意义。文中建立了定边张韩区长2油层组包括构造模型、沉积微相模型、储层属性模型在内的三维地质模型。将所建地质模型与手工地质平面图对比分析可以看出,地质模型与手工地质平面图一致性较好;相控建模实现的孔隙度模型、渗透率模型受沉积微相的约束。所建模型比较真实地反映了研究区的实际地质情况,为研究区开发后期层内剩余油挖潜、井网加密调整等提供了可靠的地质依据及网格数据体。     

地下工程电气系统数字化方案

分析对比了当前电气系统实现数字化的两种典型模式,根据地下工程的特殊环境及监控工艺要求,综合对比了实用性和经济性,按功能划分了子系统,并设计了数字化方案.     

Lagrange插值在一重积分Wiener空间下的平均误差

在加权L2范数逼近意义下确定了基于扩充的第一类Chebyshev结点组的Lagrange插值多项式列在一重积分Wiener空间下平均误差的强渐近阶．     

乌龟的生存能力胜过恐龙

一项新发现表明，一种坚韧的河龟——博迈斯龟，不仅挺过了疑似灭绝了恐龙的陨星撞地球事件，而且看来丝毫未受这场大灾难的影响。这项发现显示，6500万年前的白垩纪-第三纪大灭绝并非随机事件，一些动物种群遭受重创，