扩展重言式

对于任何ｗｆｆ　Ａ，能够得到这样一个 ｗｆｆ，它和Ａ等价，且量词的辖域最小。如 果这后一个ｗｆｆ是重言式，则称Ａ是扩展重言式。还证明了，如Ａ是扩展重言式， 则Ａ。还定义了一个系统，对于这个系统的每一个定理，能够证明它是扩展重言式。     

宽网科技：数字视频资讯系统能为上海市民带来些什么？

数字视频资讯系统，是一个方便、灵活的数字平台，它为有线电视网络服务商和小区网络服务商抓住新的产业机遇，提供了一个不可多得的便利条件。它好比是一个功能齐备的舞台，凭借它，网络服务商们可以演出无数精彩的好戏。     

变参数PID控制器设计

提出了一种变参数PID控制器，它是由一个传统的PID控制外环和一个参数调节内环组成的一种双环分级式结构，能依据系统工况变化实时调节PID参数，克服系统非线性影响，使系统在每一工况点均处于相对最优。仿真结果表明它与传统的PID系统相比具有更好的动态品质和系统的稳定性。     

虚拟实验的一个缺陷及其补救方法

虚拟实验的纯计算特性是它的一个特点，也是它的一个缺陷，特别是在一些具有随机干扰的场合。通过加入一个试探脉冲可以对此缺陷进行补救。试验脉冲不影响系统的固有参数，它的强弱和形状分别对系统输出的起始幅度和相位产生影响。     

科技热词扫描

“数字城市”（digital city）是一个概念，它是“数字地球”的一个组成部分，可以看作是一个系统工程或发展战略，但不能看作是一个项目或一个系统。“数字城市”是一个庞大的系统工程，它是城市发展和社会信息化的必然趋势，也是城市发展的新的经济增长点。     

浅谈系统论在德育教育中的运用

学校德育教育工作是一个系统，因为它具备了系统所具有的基本特点。它有教育和被教育者这两个最基本的要素，双方之间存在相当密不可分的关系，德育教育有着明确的目的性，而且这一过程是一个随时间、条件、人的变动而不断变化的动态系统。这就是系统所具备的基本特征即集合性、相关性、目的性、动态性。本文对系统论在德育教育中的运用进行了探讨。     

是否存在一个绝对的最高温度？

温度是一个表征物体冷热程度的物理量，从微观上来讲，温度代表了物体分子热运动的剧烈程度。简单来说，一个系统的温度与这个系统所含有的能量相关，系统的能量越高，其温度也越高。因为一个系统的能量不可能是负值，所以当系统中的热量全部消耗掉后，它的温度就是绝对零度。在绝对零度，粒子处于完全静止不动的状态，没有任何能量。     

软件系统中的主导对象

提出软件系统中的一个新概念，用以描述系统的周期模型．它是系统分析的一个重要因素     

非线性基于模型的节流阀控制系统

发动机点火系统要求对空气和燃料进行精确的控制，这一系统中的一个重要组成部分是节流阀系统。建立一个非线性的节流阀模型，并且用它来进行控制方面的设计，给出一个非线性的基于模型的节流阀控制器，与通常的PI控制器相比，能有效地提高控制效果。     

FP代数

讨论了一个新的代数系统ＦＰ代数，研究了它的性质，指出了它与结合ＢＩＣ—代数之间的关系     

Neumann约束下KDV族的对合解

通过一个特征值问题的非线性化得到一个Neumann系统并证明它是Liouville意义下的完全可积系统,并给出与它相联系的演化方程的对合解。     

离子声波方程的显式行波解

给出一种求解非线性发展方程离子声波方程行波解的一种新方法,由约化摄动法将离子声波方程可化为kdv方程,用双函数法可获得kdv方程的多组行波解,从而可得离子声波方程的新孤波解,该孤波解揭示了波的振幅、波速以及孤子宽度之间的相互关系.     

广义kdv方程的孤子解

运用行波法和双曲正切法以及适当的变量代换，求出了广义kdv方程的孤子解。     

关于一类广义kdv方程显式差分解的几个结果

考察了一类具有耗散的广义kdv方程组的周期初边值问题的显式差分格式,得到了关于网格函数的几个很有用的结果.     

变系数kdv非线性方程的孤波解

本文采用试探法给出变系数kdv非线性方程的孤波解,该方法简明,具有一定适用性。     

组合及二维KdV方程的显式精确解

利用Jacobi椭圆函数的有限展开找到了组合KdV方程和二维KdV方程新的精确周期解,而且这些周期解中包含了钟型孤立波解,扭结型孤立波解以及间断型激波解。     

用拉克斯方程推导五阶的kdv方程

研究孤子常用的数学方法有逆散射方法、推广的逆散射方法、微扰法、数值计算法等.本文利用推广的逆散射方法中的拉克斯方法推导五阶的kdv方程.     

有限型共变系统的交叉积

交叉积是通过共变系统生成von Neumann代数的有力工具. 经典情形下, von Neumann代数交叉积的作用空间非常抽象. 为使其作用空间更加简单, 定义了有限型共变系统, 通过这个系统构造的von Neumann代数与经典情形同构,从而给出有限型共变系统交叉积的简明刻画.      

一类带logistic源项的趋化方程组解的整体存在性和有界性

本文研究了一类具有logistic源项的趋化方程组解的性质. 利用先验估计并结合Neumann热半群的衰减性质， 本文证明： 当logistic源中的二次项系数足够大时，方程组的齐次Neumann初边值问题的经典解在边界光滑的三维有界区域上整体存在且一致有界.     

一种随机有限元新方法

本文介绍一种用于结构可靠度分析随机有限元新方法，该法把描述结构系统的随机变量用Ｋａｒｈｕｎｅｎ－Ｌｏｅｖｅ展开式展开，结合Ｎｅｕｍａｎｎ法，计算出结构的响应变量的各阶统计矩，然后根据最大熵原理，拟合出随机响应变量的概率分布，并进一步求出结构在相应状态下的失效概率。该方法与其它方法比较有收敛快、精度高的优点。