对称伺服阀控制单出杆液压卸系统的自适应控制研究

通过建立对称伺服阀控制单出杆液压缸的简化数学模型，讨论变参数系统的自适应控制应用，利用李亚普罗夫函数求解自适应控制律，从而构成自适应控制系统，实现在稳定条件下的控制精度优化和参数自适应。     

规则设计的博弈

从一定意义上讲,设计机制的目的是激励人们讲真话。因为欺骗是人类的本性。虽然在经济学家看来,欺骗意味着用更少的代价换取更多的回报     

四川近代主要地震

据四川地震方面的资料显示，20世纪以来，四川发生了多次大地震，以下是这些地震的时间、震级、地点（不完全统计）：     

PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．     

纯化的膀胱上皮细胞不对称单位膜的超微结构与成份分析

纯化的膀胱上皮细胞不对称单位膜的超微结构与成份分析粱凤霞丁明孝翟中和孙同天＊（北京大学生命科学学院，＊纽约大学医学院）不对称单位膜（ＡｓｙｍｍｅｔｒｉｃＵｎｉｔＭｅｍｂｒａｎｅ，简称ＡＵＭ）是存在于哺乳动物膀胱上皮细胞中的独特的膜结构。在前人工作的基...     

交错群A_5的4度连通对称图的分类

一个图Г称为G-对称的(symmetric).如果其同构群Aut(r)的一个子群G在图r的有向孤集(set of ordered pairs of adjacent vertices)上的作用是传递的(transitive).本文主要结果是:设图Г是4度对称图.全自同构群Aut(r)=A_5,则图r是且仅是如下图之一:(1)Г是15个点的完全图K_5的三维覆盖(3-fold cover)图.(2)Г是完全图K_5.     

面向大规模定制的智能产品配置器研究

随着国家经济的高速发展,消费需求趋向多样化和个性化,中国即将进入大规模定制的信息时代.在全球信息化的竞争环境之中,安徽叉车集团公司迫切需要一套能适应大规模定制的产品配置器软件来完全替代当前应用的EMS软件.本文属于国家级科技创新项目"基于产品配置器的跨企业供应链管理系统"的研究成果,主要介绍智能产品配置器的研究过程.     

一种适合于同杆4回线的故障测距方法

在对同杆4回线解耦的基础上，提出了一种适合于同杆4回线的故障测距方法。同杆4回线内部发生故障时，可以将故障分量分解为12序分量，且利用该12序分量进行故障测距。考虑到在任何故障类型下，同杆4回线内部都会存在反序分量，所以提出了基于反序环流分量的故障测距方法。当同杆4回线内部发生故障时，从线路两端计算到故障点的反序环流分量电压相等，利用该关系可以求出故障点的精确位置。由于相互独立的12序分量完全能够解决线间耦合问题，文中提出的测距算法能够精确测距，测距精度不受故障类型影响。大量ATP仿真结果表明所提出的测距算法完全适用于同杆4回线的故障测距，测距精度不受过渡电阻、系统运行方式、线路两端功角的影响。