L1[Ω,X]的子集M为可分解的一个等价结论

X值可积函数类L^1[Ω,X]的可分解子集的概念对于集值随机过程的研究,特别是对于集值函数的积分,条件期望等的研究有着很重要的作用．本文给出了可分解子集的一个等价结论及证明．     

无限集合的有限子集理论的等价转化

利用Ｅｈｒｅｎｆｅｕｃｈｔ博奕。证明了任一无限集合的有限子集理论与自然数集合的有限子集理论是初等等价的。     

向量值模糊子群

引入向量值模糊子集与向量值模糊子群的概念，并给出若干等价条件，最后讨论了向量值正规模糊子群与向量值模糊商群的性质，同时建立了向量值模糊商群的同构定理 。     

基于连通图的高速高机动目标变结构多模型算法

针对传统的基于活跃有向图的变结构多模型(variable structure multiple model based on adaptive digraph, AD-VSMM) 算法不能实现模型子集之间快速跳转且计算量大的问题,提出了一种基于连通图的高速高机动目标变结构多模型(variable structure multiple model algorithm based on connected graph, CG-VSMM)
算法. 通过分析传统AD-VSMM 算法的模型集转换方法,选择加速度和角速度作为模型参数,建立模型集连通图之间的连通关系. 根据目标机动情况选择参与计算的模型子集,然后依据子模型的后验概率大小对模型子集进行实时局部调整. Monte Carlo 仿真结果表明,新方法能实现变结构多模型(variable structure multiple model,VSMM) 算法模型子集之间的快速跳转,且跟踪精度、计算量、稳定性等都得到了较好的改善,可应用于高速高机动目标的跟踪.     

E-反演半群上的部分核正规系

设S是E-反演半群,P是幂等元集E(S)的一个全子集.介绍了S上P-部分核正规系的概念,证明了S上每个正则同余完全由它的P-部分核正规系惟一确定.然后借助部分核正规系给出核正规系的概念.也给出了由该核正规系所决定的惟一正则同余的一个等价刻画,由此得到S上核正规系的等价刻画.     

一个本原有向图的广义competition指数及广义scrambling指数

研究一个含有一个n-1圈、两个n-2圈的本原有向图,结合它的特点,对图中的每一点经过k长途径所到达的点集合进行分析,根据广义competition指数与广义scrambling指数定义,得到此n阶本原有向图的广义competition指数及广义scrambling指数。     

一个本原有向图的scrambling指数及广义scrambling指数

对一个含有三个圈(其中两个圈的长度相等)的本原有向图进行研究,根据scrambling指数及广义scrambling指数和m-competition指数的定义,得出此本原有向图的scrambling指数、第λ重下μ-scrambling指数的精确值,以及它的第λ重上μ-scrambling指数和m-competition指数的上界。     

利用TM数据提取城市建设用地的最佳特征

本文根据数据子集熵的大小以及TM数据的灰度特征,获得了一个由比值和原始数据子集相结合的复合数据集{TM1,4,5,7,1/4,4/5,5/7}。再由复合数据集内数据子集熵的排列顺序,确定一组比值TM1/4,4/5,5/7所合成的图象为城市建设用地解译中的最佳合成图。并通过数据分析和对比研究得出利用TM1/4,4/5两个比值能进行各大类地物的有效的自动识别,其结果在杭州试验区得到实证和应用。     

只含n-1圈和n-2圈的n阶本原有向图的m-competition指数

设D是一个n阶本原有向图,对于正整数m和n(1≤m≤n),本原有向图D的m-competition指数(简记为km(D))定义为最小正整数k,满足:对于D中任意一对顶点x和y,存在m个不同的顶点,使得从顶点x和y到这m个不同的顶点都有k长的途径。研究只含n-1圈和n-2圈这两种圈长的所有n阶本原有向图,对每个本原有向图中,任一点经过k长途径所到达的顶点的集合,以及顶点的个数进行分析,根据m和n的关系,再结合m-competition指数的定义,得到所有这些本原有向图的m-competition指数。     

关于部分拓扑弱混合性与对初值敏感依赖

研究部分拓扑弱混合性与初值敏感依赖的关系,给出弱混合子集的等价条件.若动力系统满足下述条件:1.A是(X,f)的拓扑弱混合子集;2.X-A是有限集,且f(X-A)(U)X-A;3.p(f)=X,则f对初值敏感依赖.在一定的条件下,部分拓扑弱混合性的动力系统是初值敏感依赖的.     

语篇特征分析对翻译过程中动态对等的启示

对于译者而言，如何在翻译中全面地理解原文信息，并进行解码事关译文的质量好坏。而在解码过程中如何达到动态对等，成为摆在广大译者面前的一道难题。本文从语篇分析理论入手，探讨如何用语篇分析理论来把握动态对等，进而有效地进行信息解码，指导英汉翻译实践。     

左正则Duo序半群的半格分解

给出了序半群的一些基本性质,利用一系列等价命题对左正则Duo序半群进行了刻画,证明左正则Duo序半群是完全左正则左单且右单序半群半格.     

论求解导热问题的格林函数法与积分变换法的等效性

给出了一种求解导热问题的格林函数的新方法及通用的格林函数表达式,并借此证得求解一般传热导问题所采用的格林函数法与积分变换是完全等效的。     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.     

不变子群的判别条件

判断一个子群是否为不变子群,除了应用定义外,也可以应用其判别条件,对这些判别条件进行归纳,同时证明诸判别条件的等价性并给出一些应用.     

信息系统中属性重要性的等价刻画

信息系统是一个具有对象与属性关系的数据库,揭示属性的本质特点、刻画属性的重要性是考虑各类约简问题的基础.本文改进了已有的基于等价关系的属性重要性的度量,并给出了基于划分的属性重要性的刻画,在一定程度上简化了相关运算步骤,提高了运算效率.     

弱闭与*弱闭等价的一个充分条件

引入赋范线性空间的一种性质,得到对偶空间中弱闭与＊弱闭等价的一个充分条件,并研究具有这种性质的赋范线性空间的对偶空间中凸集的最佳逼近元存在性问题。     

基于生态绿当量的重庆市涪陵区土地利用结构优化研究

基于生态绿当量构建土地利用结构优化模型,利用涪陵区1996-2009年土地利用现状数据,测算出涪陵区各种用地类型和全区的绿当量,并将该值与以合理森林覆盖率的生态优化标准进行比较,对涪陵区及各个乡镇的土地利用结构进行生态现状评价,在现状存在问题的基础上对研究区域土地利用结构着重从生态角度进行数量上与空间上的优化调整,以期达到经济、社会和生态效益的统一．结果表明：1）1996-2009年,涪陵区及其各乡镇生态绿当量都大于1,生态环境良好,但总体呈下降趋势;长江、乌江和其他溪河沿岸生态绿当量增加,生态环境有所改善;马武镇、龙桥街道等生态绿当量减少,生态保护工作任重而道远;2）作为评价区域生态环境指标,生态绿当量具有涵义明确、方便计算等优点,但也有一定的局限性．     

两传感器最优观测融合解耦Wiener状态估值器

基于观测数据融合功能等价性原理,利用加权方法合并两传感器系统的各传感器的观测方程为一个最优融合观测方程,可得到全局最优稳态Kalman滤波器,进而可得到等价的解耦W iener状态估值器.可统一处理滤波、预报和平滑问题.且它可减小计算负担,便于实时应用.一个目标跟踪系统的仿真例子说明其有效性.     

一类不确定非线性系统的鲁棒故障检测观测

主要研究了一类不确定非线性系统基于自适应故障检测(FD)观测器的故障估计问题.首先引入拟单边Lipschitz条件,相对于传统的Lipschitz条件在设计自适应故障检测观测器时是可以减少保守性的,并且利用Lyapunov函数和线性矩阵不等式(LM I)证明了自适应观测器的渐进稳定性以及故障估计误差是一致最终有界的.还证明了由传感器故障延拓至执行器故障时结论仍然是适用的,最后给出数值算例说明了结论的有效性.