“五位一体”庭院生态模式

在贵州高海拔地区采用玉米高产栽培措施 ,获得了 12 .2 1t/hm2 的玉米产量 ,超过当地平均产量 2 .7倍 ,钾肥配施可增产玉米 0 .83～ 2 .5 8t/hm2 ,增幅 8.81～ 2 6.80 % ,施钾肥产投比可达 5 .1～ 6.1。施钾肥后玉米的品质有明显的改善 ,试验认为N∶K2 O比为 10 0 :75～ 113 ,即施氮 (N ) 2 0 0kg/hm2 ,施钾 (K2 O) 15 0～ 2 2 5kg/hm2 为宜。     

氮磷配合对土壤氮素径流流失的影响

大田试验研究结果表明 :增施N、P均能增加作物的产量和减少水土流失 ;当N、P用量分别达到 5 5 .2kgN/hm2 和 90kgP2 O5/hm2 时 ,泥沙有机质和全氮流失最少 ,流失量分别为 2 0 89和 1 75kg/km2 ;当N、P用量分别为 5 5 .2kgN/hm2 和 4 5kgP2 O5/hm2 时 ,土壤矿质氮流失最小 ,其流失量仅为 2 7.9kg/km2 ;作物对土壤氮素的吸收 ,可减少土壤氮素的流失 .     

氮磷钾肥配施对不同品种大白菜硝酸盐累积的影响

通过采用二次饱和D-最优回归设计(311B方案),对氮磷钾肥配施与大白菜硝酸盐累积之间的关系进行研究,建立了能调控大白菜硝酸盐含量的施肥模型。分析表明,不同品种大白菜硝酸盐含量与施肥有很大关系,但品种间存在着较大的差异。在相同施肥处理下,绿星80大白菜硝酸盐含量略低于五福菜的硝酸盐含量。不同品种大白菜硝酸盐累积量和硝酸还原酶活性具有很大的相关性,可作为大白菜体内硝酸盐累积的一项指标。     

硫氮或硫硼配合对油菜籽产量及品质的影响

1995～ 1 996年进行的田间和盆栽试验表明 ,硫氮或硫硼配施可以显著增加菜籽产量 .硫氮配施比对照增产 1 0 8 2～ 3 1 4 0kg/hm2 和 5 5～ 1 9 6% ,硫硼配施比对照增产 83 4～ 2 4 8 2kg/hm2 和 6 9～2 3 1 % .施硫可以增加油菜植株体内的硫含量并改善其硫素营养 ;在缺硫土壤上施硫可以降低菜籽硫甙及芥酸含量 ,提高油酸含量 ,因此有改善菜籽品质的作用 .     

氮钾配施对大蒜增产效应的研究

1999～2001年连续三年多点试验结果表明:在安徽省来安县大蒜产区水稻土上氮钾配施对大蒜产量及品质都有明显的正效应,蒜苔增产24.2%～29.2%,蒜头增产17.3%～18.9%。氮钾肥的产量效应与土壤的氮钾水平和氮钾比例密切相关。氮肥的适宜用量为N300～375kg/hm2,钾肥为K2O150kg/hm2。回归方程计算显示,大蒜产区的土壤临界钾素含量为101μg/ml,氮素临界含量为46μg/ml(ASI法测定)。氮钾配施并能提高蒜苗、蒜苔维生素C及可溶性糖含量。增施钾肥对大蒜的经济效益明显提高,产投比为11.07～13.26。     

氮钾肥施用量对秋季大白菜产量和品质的影响

通过研究不同氮、钾肥用量对秋大白菜产量和品质的影响表明:本地区常年蔬菜地种植秋季大白菜,氮肥(纯N)施用量宜控制在300kg hm-2以下,钾肥(K2O)用量150~225kg hm-2,氮钾肥施用比例1:0.5~0.8;氮肥用量增加植株内的亚硝酸盐含量提高,钾肥用量增加可相应降低大白菜体内亚硝酸盐含量;Vc含量则是随着氮钾肥用量的增加而提高;氮钾肥用量对大白菜容重也有较大影响,决定了大白菜的商品性状。     

辣椒NPK肥料配施数学模型的研究

本文应用二次通用旋转组合设计,研究了NPK肥用量和配比对辣椒产量的影响,获得了相应的函数模型;通过对模型的优化和解析,得出了辣椒获得最高产量时N的用量为342.5kg/hm2,P2O5用量为112.5kg/hm2,K2O用量为175kg/hm2,此时辣椒产量为23.55t/hm2;试验土壤栽培辣椒适宜的NPK肥用量配比应为N∶P2O5∶K2O=1∶0.33∶0.51。     

土壤改良配合平衡施肥创油菜高产试验

对用推土机平整后肥力极低 ,表层土壤质地粘重的马肝泥田 (水稻土 )实行掺沙 3 75m3 /hm2 ,秸秆还田 (玉米秸秆 ,干重 ) 15 180kg/hm2 ,施有机肥 (鸡粪 ) 2 2 5 3kg/hm2 ,经旋耕混匀耙平改良 ,种植杂交油菜 ,再应用当地中肥力马肝土油菜施肥效应函数进行施肥 ,最后获得油菜籽 3 75 0kg/hm2 高产效果     

土壤磷素对作物产量及供磷能力的影响

多年多点试验研究表明 ,河西走廊地区主要耕地 0～ 2 0cm耕层有效P平均含量 9 9mg/kg ,10mg/kg以下的农田占 5 6 4% ,大于 15mg/kg的占 19 5 % ,90 %的农田施P增产 15 0 %～ 2 6 0 %。作物对土壤磷依存率在氮肥激发条件下为 68 1%～ 85 9% ;无肥条件下 46 1～ 75 8% ,供磷力与土壤磷呈正相关。作物吸收的磷素 14 1%～ 3 1 9%由当季施肥供给 ,磷肥的当季利用率平均为 9 9%～ 17 6%。     

施钾条件下杂交水稻氮磷养分吸收利用特点

对浙江省金华市郊区石门农场灌溉稻区进行连续4年定位钾肥试验,结果表明,钾素促进氮磷养分向水稻穗部的输入,故在增产的基础上,同不施钾处理比较,施钾后杂交稻氮的总吸收量增加7.1～9.3kg/hm2,利用效率提高3.7～7.1%;磷的总吸收量增加1.0～2.0kg/hm2,利用效率提高2.0～7.7%。同常规稻比较,每季杂交稻氮和磷的平均总吸收量分别高出7.6kg/hm2和1.2kg/hm2;氮和磷的利用效率平均高出3.1kg/kg和34.7kg/kg;在养分的吸收、积累以及利用效率方面表现出明显的生理优势[1]。因此,在杂交水稻的生产实践中,应相对增加钾肥的施入量,从而提高氮肥和磷肥的利用效率。     

感应淬火综合监控系统设计

感应淬火综合监控系统集成了感应淬火能量监控与环境监控功能,其硬件基础为工控机与Y5000+多功能板,工控机通过并行口与Y5000+多功能板实现数据交换。Y5000+多功能板以CPLD芯片为核心,扩展了DI/DO、PI/PO以及AI/AO功能。感应淬火综合监控系统的应用程序分为上层管理程序与底层实时测控程序。在RTX支持下,系统完全能满足实时性与可靠性要求。     

Online Induction of Probabilistic Real-Time Automata

The probabilistic real-time automaton （PRTA） is a representation of dynamic processes arising in the sciences and industry. Currently, the induction of automata is divided into two steps： the creation of the prefix tree acceptor （PTA） and the merge procedure based on clustering of the states. These two steps can be very time intensive when a PRTA is to be induced for massive or even unbounded datasets. The latter one can be efficiently processed, as there exist scalable online clustering algorithms. However, the creation of the PTA still can be very time consuming. To overcome this problem, we propose a genuine online PRTA induction approach that incorporates new instances by first collapsing them and then using a maximum frequent pattern based clustering. The approach is tested against a predefined synthetic automaton and real world datasets, for which the approach is scalable and stable. Moreover, we present a broad evaluation on a real world disease group dataset that shows the applicability of such a model to the analysis of medical processes.     

百合幼胚离体培养的研究

对百合败育胚离体培养的影响因素进行研究的结果表明：pH值对百合幼胚的萌发及成苗有一定的影响，以pH值5.0为最好；活性炭的浓度对其影响不明显，培养基中加入氨基酸类物质使胚萌发及成苗比率均高于对照，加入维生素类物质对胚的影响不大。     

A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes

Our main objective was to compare two discretization techniques, both based on cluster analysis, with a new rule induction algorithm called MLEM2, in which discretization is performed simultaneously with rule induction. The MLEM2 algorithm is an extension of the existing LEM2 rule induction algorithm. The LEM2 algorithm works correctly only for symbolic attributes and is a part of the LERS data mining system. For the two strategies, based on cluster analysis, rules were induced by the LEM2 algorithm. Our results show that MLEM2 outperformed both strategies based on cluster analysis, in terms of complexity (size of rule sets) and, more importantly, error rates.     

基于ZigBee的无线图像传输的研究

建立基于ZigBee的无线图像传输系统。设计简单图像传输协议,详细介绍其图像数据帧格式,通过增加1个字节的帧计数建立确认机制和重传机制,保证图像数据帧的可靠传输。以C++Builder作为开发工具,主机软件采用多线程技术,结合简单图像传输协议,实现图像数据的快速传输及图像显示,提高数据传输速度。测试不同波特率下不同发送延时对图像传输的影响,给出实验结果并对影响图像传输速度的因素进行讨论。     

增强可分离卷积通道特征的表情识别研究

针对目前人脸表情识别准确率不高、网络模型参数复杂等问题,提出一种增强可分离卷积通道特征的人脸表情识别研究方法。设计了一种轻量型卷积神经网络结构提取表情特征,在卷积层中采用深度可分离卷积减少网络参数;引入了压缩激发模块,对不同通道的特征进行权重分配,在不同的卷积层采用不同的压缩率来增强网络对人脸表情的特征提取能力;将提取到的特征送入分类器实现人脸表情分类,在CK+和FER2013数据集上进行实验并分析。实验结果表明：与现有方法相比,提出的网络结构在CK+和FER2013数据集上,识别率分别提高了0.15个百分点和3.29个百分点,且网络模型参数量降低了75%。所提方法在降低网络参数的同时,提高了表情识别准确率。     

New uses of linear arithmetic in automated theorem proving by induction

Zhang, Kapur, and Krishnamoorthy introduced a cover set method for designing induction schemes for automating proofs by induction from specifications expressed as equations and conditional equations. This method has been implemented in the theorem prover Rewrite Rule Laboratory (RRL) and a proof management system Tecton built on top of RRL, and it has been used to prove many nontrivial theorems and reason about sequential as well as parallel programs. The cover set method is based on the assumption that a function symbol is defined by using a finite set of terminating (conditional or unconditional) rewrite rules. The termination ordering employed in orienting the rules is used to perform proofs by well-founded induction. The left sides of the rules are used to design different cases of an induction sheme, and recursive calls to the function made in the right side can be used to design appropriate instantiations for generating induction hypotheses. A weakness of this method is that it relies on syntactic unification for generating an induction scheme for a conjecture. This paper goes a step further by proposing semantic analysis for generating an induction scheme for a conjecture from a cover set. We discuss the use of a decision procedure for Presburger arithmetic (quantifier-free theory of numbers with the addition operation and relational predicates >, <, ≠, =, ⩾, ⩽) for performing semantic analysis about numbers. The decision procedure is used to generate appropriate induction schemes for a conjecture by using cover sets of function taking numbers as arguments. This extension of the cover set method automates proofs of many theorems that otherwise require human guidance and hints. The effectiveness of the method is demonstrated by using some examples that commonly arise in reasoning about specifications and programs. It is also shown how semantic analysis using a Presburger arithmetic decision procedure can be used for checking the completeness of a cover set of a function defined by using operations such as + and — on numbers. With this check, many function definitions used in a proof of the prime factorization theorem stating that every number can be factored uniquely into prime factors, which had to be checked manually, an now be checked automatically in RRL. The use of the decision procedure for guiding generalization for generating conjectures and merging induction schemes is also illustrated. Partially supported by the National Science Foundation Grant No. CCR-9303394 and subcontract CB0249 of SRI contract MDA904-92-C-5186 with The Maryland Procurement Office.     

Experimental Investigation of Passive Fault Tolerant Control for Induction Machine Using Sliding Mode Approach

This paper presents a passive fault tolerant control approach dedicated to stator inter‐turn short‐circuit fault of an induction machine. This control is based on sliding mode strategy and is implemented for validation on real‐time data acquisition and control platform. The proposed work highlights the integral sliding mode controller benefits during healthy and faulty operations. It can make the induction machine outputs to track their desired reference signals in finite‐time and allows to obtain a better dynamic response performances even in presence of fault. Moreover to avoid the use of a flux sensor, a second order sliding mode observer is used to estimate the rotor flux. Since the used observer converges in finite time, the closed‐loop stability of the proposed system (controller+observer) is proved using the Lyapunov stability theorem. Experimental results are conducted for squirrel cage induction machine to highlight the efficiency and applicability of the proposed fault tolerant control.     

A Review of : “Annual Report, 1973: H.M. Chief Inspector of Factories.” (London: H.M.S.O., 1974.) [Pp. xtx+141.] £·10p.

Ten subjects (5M + 5W) have been instructed to carry for 15 min carton boxes from 7-5 to 40 kg over a distance of 10 m at the work rate of 90 to 180 trips hour^?1 Heart rates were continuously measured by telemetry at rest and during work. The results show a highly significant relationship between heart rate increases and the total load carried. When the different weights are expressed as a percentage of the lean body mass, there is no difference between men and women in heart acceleration     

Bayesian Multidimensional Scaling for Location Awareness in Hybrid-Internet of Underwater Things

Localization of sensor nodes in the internet of underwater things(IoUT)is of considerable significance due to its various applications,such as navigation,data tagging,and detection of underwater objects.Therefore,in this paper,we propose a hybrid Bayesian multidimensional scaling(BMDS)based localization technique that can work on a fully hybrid IoUT network where the nodes can communicate using either optical,magnetic induction,and acoustic technologies.These communication technologies are already used for communication in the underwater environment;however,lacking localization solutions.Optical and magnetic induction communication achieves higher data rates for short communication.On the contrary,acoustic waves provide a low data rate for long-range underwater communication.The proposed method collectively uses optical,magnetic induction,and acoustic communication-based ranging to estimate the underwater sensor nodes’final locations.Moreover,we also analyze the proposed scheme by deriving the hybrid Cramer-Rao lower bound(H-CRLB).Simulation results provide a complete comparative analysis of the proposed method with the literature.