RLD演绎及子句蕴含与子句包含关系的非等价性

软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率 ,提出了最右线性演绎 RL D(rightmost linear deduction) ,并证明了它的完备性 .同时 ,指出了子句蕴含与子句包含关系的非等价性 。

RLD估计及其在测量平差中的应用

为了克服最小二乘估计在参数估计中处理复共线性的不足,得出一种新的有偏估计,并给出了此估计在均方误差意义下的优良性质,讨论了有偏估计中偏参数的选取问题,通过理论分析和算例分析说明新的估计的优良性.

水稻卷叶矮化突变体rld的表型鉴定及基因精细定位

为了研究引起水稻叶片卷曲的分子机理,鉴定出新的水稻卷叶基因.用60Co-γ射线辐射诱变籼稻品种镇恢084,获得一份卷叶矮化突变体材料,命名为rld(rolling leaf and dwarf).通过形态学分析水稻表型,石蜡切片观察叶片细胞组织形态,图位克隆和测序技术进行精细定位和确定目的基因,生物信息学分析蛋白序列结构.结果显示:rld突变体叶片极度内卷,株高降低,穗长变短,结实率降低;rld突变体叶片维管束间的下表皮叶肉细胞面积增大;rld基因精细定位在标记Indel2和Indel5间的32.3kb的物理区间,测序发现rld是调控卷叶基因RL9的一个新等位基因,由于外显子上精氨酸缺失引起rld基因编码的蛋白空间结构发生改变.推测精氨酸在RL9蛋白的正常功能行使过程中是必要的,对维持水稻叶片表型具有至关重要的作用.

RLD调速器特点及其故障分析

RLD调速器是目前比较先进的一种调速器 ,它的主要特点是怠速、高速、及满负荷的油量校正都是单独调整的 .以便更好地匹配各种不同的发动机 .其调速范围广 ,故主要作为车用 .但由于其结构复杂 ,许多人都搞不清楚它的工作原理 ,因而给使用、修理和调试都带来许多困难 .本文从结构入手 ,详细分析了它的工作原理和结构特点 ,以及常见故障的排除 。

一个奇特的基督教派———管窥RLDS,兼与LDS之略比

1 8 3 0年建立起来的摩门教 (LDS) ,包含至少有 2 0个分离的团体 ,RLDS是其中之一。许多人对摩门教也许并不陌生 ,但对从其内部经过改组的RLDS教会却鲜为人知。许多书里把RLDS视为摩门教的一支 ,只以一句话概括之 ③。虽然RLDS自称为约瑟夫·史密斯的合法继承人 ,但他们自重组以来就一直声称他们不是摩门教 ④。RLDS拒绝被称为摩门教 ,恼怒摩门教。他们不断地指出 ,他们才是真正的教会 ,而摩门教是分裂教会者 ⑤,并希望易名来摆脱被视为摩门教的阴霾。本文通过对该派的历史探源、上帝观、上帝之国、管家、婚姻制度等方面的论述 ,力图使读者认识RLDS。通过对RLDS与摩门教的比较 ,凸显出它们之间的区别 。

借鉴“World Cafe”教学法构建自驾式中职电子专业课堂

本文针对目前中职学校电子专业教与学存在的困惑,借鉴德国"World Cafe"教学方法,尝试把课堂最大限度的交给学生,立足研究常态教学,努力构建课堂氛围"有艺术"、课堂教学"有效果"、学生能力"有提升"的学生"自驾式"三有课堂。

油莎豆‖大豆对作物生长发育及产量的影响

间作在我国农业发展中有重要的作用,合理的间作通过竞争或促进原理,有效分配资源,提高土地利用率和作物产量。在灌溉条件下于北疆石河子地区进行试验,试验设计三种不同的种植模式:油莎豆单作(TT),大豆单作(SS),油莎豆||大豆(T||S),分别对作物生长动态、作物产量、根系分布特征等几方面进行分析,为发展高产、生态农业提供科学理论依据。结果表明:间作使油莎豆株高降低6%~27.45%,变化趋势相似,SPAD值增加,0~20 cm RLD值增幅为204.76%,20~40 cmRLD值增幅为80.95%;间作使大豆株高提升3.81%~40.00%,SPAD值增加,0~20 cm RLD值增幅为117.76%,20~40 cm RLD增幅为54.55%。油莎豆和大豆间作的土地当量比LER=2.24>1,具有间作优势,增产率为123.63%,最终得出间作优势来源于大豆的固氮作用。

再生水分根交替滴灌对马铃薯根-土系统环境因子的影响研究

分根交替（PRD）滴灌技术是很有节水潜力的灌水技术。利用再生水,采用分根交替滴灌技术对马铃薯根长密度、根重密度及土壤水盐的空间分布影响进行了研究。结果表明,马铃薯根系主要分布在0-60 cm的土层内,以植株为中心,呈放射状沿不同方向减小。通过研究所建马铃薯根长密度的空间分布函数能较好地反映根系的三维分布趋势。PRD灌溉可以刺激马铃薯根系生长,水分利用效率提高39%。进行PRD灌溉时应重点考虑滴头位置处及垄坡上的水盐变化,最好能起到节水控盐的双重作用。再生水PRD地下滴灌是对传统地表滴灌的优化和提升。

根区交替控制灌溉条件下玉米根系吸水规律

为了阐明根区交替控制灌溉(CRDAI)条件下玉米根系吸水规律,通过田间试验,在沟灌垄植模式下采用根区交替控制灌溉研究玉米根区不同点位(沟位、坡位和垄位)的根长密度(RLD)及根系吸水动态。研究表明,根区土壤水分的干湿交替引起玉米RLD的空间动态变化,在垄位两侧不对称分布,并存在层间差异;土壤水分和RLD是根区交替控制灌溉下根系吸水速率的主要限制因素。在同一土层,根系吸水贡献率以垄位最大,沟位最低;玉米营养生长阶段,10—30 cm土层的根系吸水速率最大;玉米生殖生长阶段,20—70 cm为根系吸水速率最大的土层,根系吸水贡献率为43.21%—55.48%。研究阐明了交替控制灌溉下根系吸水与土壤水分、RLD间相互作用的动态规律,对控制灌溉下水分调控机理研究具有理论意义。

南疆枣麦间作系统中根长密度、根表面积密度分布特征

在和田地区的冬小麦成熟期和枣树扬花期采用根钻法采集单作小麦、单作5a生枣树、枣麦间作系统根样，利用Win-SURFERv．8．0软件进行根系根长密度、根表面积密度分析，并在小麦和枣树成熟阶段进行经济产量和地上部生物量测定，通过土地当量比进行间作系统评估。结果表明，枣麦间作系统枣树和小麦的产量和地上部生物量均显著下降。枣麦间作系统产量和地上部生物量土地当量比（1．383和1．322）均大于1，相比相应单作模式，有较高的总产量和土地利用效率。间作条件下的小麦和枣树根长密度、根表面积密度比单作相应土层根长密度、根表面积密度小。间作小麦20～60cm土层根长密度值比单作小麦相应土层根长密度值减少46．2％；间作红枣20～60cm土层根长密度值、根表面积密度值比单作红枣相应土层根长密度值、根表面积密度值减少34．5％和31．2％。5a生枣树与小麦根系在20～60cm土层生态位重叠，促使间作小麦和间作枣树根长密度、根表面积密度分布不均匀。

光突发交换中的路由技术

光突发交换是面向下一代因特网的光交换模式,是光电路交换和光分组交换的有效折衷方案,避免了各自的缺点。它使用的带宽粒度介于光电路交换和光分组交换之间,比光电路交换灵活,带宽利用率高,比光分组交换易于实现,是很有发展前途的光交换技术。路由技术在光突发交换中起重要作用,在很大程度上影响着光突发交换网络的性能。本文首先介绍了光突发交换技术的原理,然后分析了光突发交换技术的现状及存在的问题,最后探讨了光突发交换中的路由技术及其发展。

不同森林类型根系分布与土壤性质的关系

在红壤丘陵区选取8种典型森林类型,对不同土层深度、不同径级的根长密度分布特征、根长分维数,以及根系特征与土壤容重、有机碳、全氮的关系进行了研究。结果表明:马尾松低效林根长密度最小,杉木低效林和湿地松林较大,表层土壤根长密度与灌草覆盖度显著相关(r=0.793,P<0.05)。各种森林类型的根长密度随着土壤深度的增加均表现为递减规律,但随深度的增加,不同森林类型的差异逐步缩小,且植物种类及生长状况对根长密度分布的影响越来越小。在相同的土层中,根长密度随径级的变化并不一致,马尾松低效林0<L≤0.2 mm径级根长密度最大,其他类型各土层均表现为0.2<L≤0.5 mm径级根长密度最大的偏峰曲线特征。各径级根长密度随土层加深也表现为递减趋势,根系径级越大,表层与底层的根长密度差异越明显。根长密度与容重呈显著负相关,与有机碳、全氮呈极显著正相关,说明根长密度越大,既有利于改良土壤结构性状,也有利于丰富土壤有机碳和全氮含量;从不同径级来看,径级1—2 mm根系对改良土壤结构和增加土壤有机碳、全氮含量作用最为显著,径级≤1.0 mm的根系对土壤性状改良作用不明显。各森林类型的根长分维数在2.0973—2.6063之间,分维数越大,根系长度更集中分布于0—0.2 mm径级内,根长分维数反映了不同径级范围根系长度的组成状况。

水曲柳人工林细根季节动态及其影响因素

2002年5—10月,采用连续钻取土芯法对帽儿山实验林场的水曲柳人工林细根(直径<1mm)生物量、比根长(SRL)和根长密度(RLD)的季节动态,以及它们与土壤N的有效性、土壤10cm深处月均温度和含水量的关系进行研究。结果表明:水曲柳细根生物量在春季和秋季分别具有1个明显的高峰,但比根长和根长密度只有1个高峰。在春季和夏季,比根长和根长密度较高,显示细根直径较小,而秋季,这2个参数显著下降,表明细根直径次生增厚或组织密度增加。细根的季节变化与土壤N的有效性、土壤温度和土壤含水量有重要关系。其中细根生物量与土壤铵态氮含量显著相关;硝态氮含量、10cm深处土壤的温度和土壤含水量与细根的生物量、比根长和根长密度的季节变化正相关,但均不显著(P>0·05)。4种因子的综合作用对水曲柳细根各参数的影响均达到了显著水平。不同季节细根生物量、比根长和根长密度的变化,显示出细根在生长季不同时期具有不同的生理生态功能。

漓江水陆交错带典型灌木群落根系分布与土壤养分的关系

在漓江流域水陆交错带选取一叶萩、细叶水团花、枫杨3种典型灌木群落,对不同土层深度的根长密度,以及根长密度与土壤有机质、全氮、有效磷的相关关系进行了研究,旨在为漓江流域生态修复过程中灌木植被恢复、主要灌木植被配置、快速绿化材料选取等提供科学依据。结果表明:(1)漓江水陆交错带典型灌木群落各土层根长密度差异性显著,分布规律均为:枫杨>细叶水团花>一叶萩。0—10 cm到40—60 cm土层,各灌木群落根长密度均减小,但不同灌木群落根长密度的差异程度逐渐缩小,表明地形、地表植物类型及生长状况对根长密度分布的影响也随土层深度的增加而逐渐减小。(2)枫杨(25.10g/kg)灌木群落底层腐殖质层厚,有机质含量最高,分别是细叶水团花、一叶萩的1.24、1.87倍。各灌木群落全氮含量从大到小依次是枫杨、细叶水团花、一叶萩,其值分别为:3.23、2.41、1.46 g/kg。土壤有效磷分布规律为一叶萩(11.56 mg/kg)>细叶水团花(5.37 mg/kg)>枫杨(3.99 mg/kg);一叶萩灌木群落有效磷含量远远大于枫杨和细叶水团花,原因是漓江水长期受人为洗漱影响,导致受江水干扰大的一叶萩灌木群落有效磷含量高。(3)根长密度与有机质、全氮含量呈正相关,与有效磷含量呈负相关,说明适量增加土壤有机质、全氮含量,减少土壤有效磷,有利于土壤根系的生长。根长密度与0<L≤1 mm径级的根系所占比例呈极显著正相关,与1<L≤2 mm径级的根系所占比例呈显著正相关,表明根系细根越多,根长密度越大。

基于实测载荷谱的白车身疲劳寿命计算

通过六分力轮测试系统实测了某型乘用车在试车场运行的载荷谱数据,以此作为输入,并综合有限元分析、多体动力学分析和疲劳分析等多种CAE手段,对该乘用车白车身在实测载荷谱作用下的疲劳寿命分布进行了计算分析。同时,给出了符合真实工况的试验与虚拟相结合的白车身一体化疲劳分析流程,该流程同样适用于底盘零部件的疲劳分析。

基于Rotman透镜天线的多波束技术研究

为了降低多波束系统复杂度及控制成本,研究基于Rotman透镜天线的多波束馈电网络,给出Rotman透镜的几何光学法计算公式,应用RLD软件进行计算Rotman透镜的相关尺寸,依据计算结果进行微带Rotman透镜加工、测试,测试结果表明RLD软件计算结果准确,精度高。同时给出基于该透镜天线馈电网络的多波束体制系统架构,以及该体系中核心部件的技术指标要求。

复脉汤改善肌浆网钙稳态治疗充血性心力衰竭

目的:研究复脉汤治疗充血性心力衰竭的作用及分子机制。方法:大鼠随机分成6组:假手术、模型、美托洛尔[5mg/(kg.d)]、复脉汤高、中、低剂量[26.7、17.8、8.9g/(kg.d)]。慢性心衰模型由结扎左冠状动脉诱导,药物从结扎当天开始灌胃给药,持续4周。结果:冠脉结扎后,动物体重增加百分率显著下降,心室重量指数显著升高,心肌酶谱AST,LDH,HBDH,CK及CKMB也显著升高,药物干预后体重下降得以缓解,同时升高的心室重量指数及心肌酶谱也显著下降。在模型组,RyR2及FKBP12.6的mRNA表达显著下降,药物干预后均显著上升。结论:复脉汤可通过改善肌浆网钙稳态治疗大鼠充血性心力衰竭。

基于ADS1298的新型脑电信号采集前端设计

以ADS1298转换器为基础,通过将高精度模数转换与数字降噪处理技术结合来简化信号调理硬件电路设计,利用芯片内部集成的右腿驱动模块设计了右腿驱动信号电路,实现一种精度高、体积小、低功耗的多通道脑电信号采集前端,并讨论了实现更多通道脑电信号采集的多芯片级联技术,可广泛应用于便携式多通道脑电信号采集设备。