预不变凸规划问题解集的刻画

本文在不变凸集上定义了预不变凸函数的方向导数、η-近似次微分和η-Gateaux可微的概念,证明了预不变凸函数的η-近似次微分的一些性质,并在此基础上得到了预不变凸规划问题解集的等价刻画。     

中亚热带优势灌木根系对土壤抗剪切力的影响

在浙江南部的山体滑坡、泥石流易发区,对中亚热带常绿阔叶林中3种优势灌木植物(檵木、麂角杜鹃和香港黄檀)根系进行野外和室内剪切测试,探讨了灌木植物根系增强土壤抗剪切强度的作用。结果表明:须根相对丰富的植物能明显提高表层土壤的抗剪强度;根系抗拉力和抗剪力均与根径呈幂函数正相关关系;檵木和麂角杜鹃根系抗拉强度与根径呈幂函数负相关关系,而香港黄檀根系抗拉强度与根径无明显相关性;细根或比粗根更有利于土壤加固和抗剪强度的提高。     

如何看待人工智能的发展

人工智能本质上是对人类智能的功能模拟。虽然在某些方面的表现比人类智能更优秀,但是由于其固有的复杂性和技术的局限性,所以充其量只不过是人类智能的延伸,最终在整体上是不能代替人类智能的。     

Crystal算子的Hypercyclicity

称复可分Banach空间上的算子T是Crystal算子,如果T在其任意非零不变子空间上的限制相似于T.对于某个x∈X,称T是超循环的(Hypercyclic),若{x,Tx,T2x,…,Tnx,…}=X;若V{Tnx∶n≥0}=X,则称T是循环的;称T是严格循环的,如果存在x∈ X使得fv(T)x=X,其中fv(T)是...     

基于表观特征的单目视觉算法实现的注视方向估计

视线跟踪作为一种重要的人机接口模式,能够提供丰富的人机交互信息.提出了基于单目视觉的视线跟踪方法( Monocular Vision Approach,MVA).从眼部图像提取的表观特征,再经过支持向量回归( Support Vector Regression,SVR)计算实现可头部动作的注视方向估计.本方法仅用一个摄像机采集一副人脸图像作为输入数据,输出的计算结果是人的头部姿态和注视方向,以摄像机坐标系为参照系.采用的表观特征是基于方向二值模式( Directional Binary Pattern,DBP)算法,解析瞳孔在眼窝中运动引起的图像纹理变化.视线跟踪方法首先将双眼分割出来,并编码成高维的方向二值模式特征,最终通过支持向量回归作为匹配函数计算注视视角.共有11个人共23 676回归样本,按照姿态分成5个聚类集合.实验结果显示,基于本方法进行注视方向估计可以获得3°的测试误差.     

泽泻的组织培养研究

以泽泻的块茎茎尖为外植体,对泽泻进行离体培养研究.结果表明,泽泻茎尖诱导分化最适宜的启动培养基为MS＋6-BA 2.0 mg/L＋NAA 1.0 mg/L,芽体诱导分化率为84.77%;继代增殖最适宜的培养基为MS＋6-BA 2.0 mg/L＋NAA 0.2 mg/L,增殖系数为5.1;以1/2 MS＋IBA 0.2 mg/L＋NAA 0.4 mg/L培养基组合生根效果较好,生根率为91%.     

密云水库水体富营养化评价与防治

以北京密云水库监测获得的数据为例,按照层次分析法（AHP）的步骤建立适用于密云水库的AHP模型,并结合密云水库的自然地理环境和水文环境,对密云水库的水体富营养化程度进行科学评价。根据评价结果有针对性地对密云水库水体富营养化防治提出建议,为能够有效的遏制水库水体富营养化趋势,制定出合理方案,从而有效的消除污染隐患。     

一类非线性奇摄动边值问题的迭层解

本文研究了一类非线性方程奇摄动问题。在适当的条件下，先利用幂级数形式展开方法构造了原问题的外部解；其次，利用伸长变量在左端点附近构造问题解的第一边界层校正项，并利用更强的伸长变量，仍然在左端点附近构造问题解的第二边界层校正项，第二边界层的厚度比第一边界层的厚度更小，形成在左端点附近的边界层的迭层；最后利用微分不等式理论证明了边值问题解的存在性和在整个区间内一致有效性和渐近性态。     

0.18m CMOS中用于频率综合的时间数字转换器

该文提出一种应用于全数字锁相环高分辨率的时间数字转换器TDC。该TDC延时单元由两级特殊的反相器构成,其中第一个反相器只考虑上升沿,而第二个反相器只考虑下降沿,通过合理选择两级反相器的尺寸可使总延时小于传统延时单元的一半,从而提高了TDC的分辨率。针对这种只考虑单沿的延时单元,该文还提出了相应的TDC系统。实验结果表明,在0.18μm CMOS工艺下,该文提出TDC的分辨率能达到28 ps。     

A Low Power Error Detection in the Syndrome Calculator Block for Reed-Solomon Codes: RS(204,188)

Reed-Solomon (RS) codes have been widely adopted in many modern communication systems. This paper describes a new method for error detection in the syndrome calculator block of RS decoders. The main feature of this method is to prove that it is possible to compute only a few syndrome coeffi-cients — less than half — to detect whether the codeword is correct. The theoretical estimate of the prob-ability that the new algorithm failed is shown to depend on the number of syndrome coefficients computed. The algo...