信息系统中正区域性质的研究与应用

针对约简算法的基本问题,作了分析和研究：提出并证明正区域的一种新的等价定义,以此推导了高效的正区域基本算法;对不同约简属性集所对应的属性子集、论域子集和正区域,给出它们相互关系的性质,及关于正区域递增算法约简属性性质的推论．综合以上分析和研究。给出了一种完备、高效的属性约简算法,实验结果和理论分析表明：本研究可有效地应用于属性约简算法分析和构建．     

一类不可料动态线性信号-观察随机系统的滤波方程

主要研究一类动态的不可料线性信号—观察滤波系统滤波问题,通过运用信息域扩张方法,将2-维不可料的动态信号—观察线性系统转化为4-维可料的动态信号—观察线性系统,得到了滤波估计和均方误差动力学方程,推广了有关文献的结果.     

代理人状态不可验证契约纳什实施惟一性分析

围绕代理人逆向选择导致委托人无法直接识别代理人类型状态,研究真实状态下委托人契约实施惟一性问题。分析讨论了完全信息下委托人的最优契约和逆向选择下的次优契约,建立了信号空间上的纳什均衡与有效配置的映射关系,并推广到逆向选择问题中的类型空间,将委托人契约与代理人状态联系起来,最后研究分析委托人契约纳什实施惟一性问题。研究表明,委托人提供的完全信息下最优契约不具备纳什实施惟一性,而满足代理人激励相容约束的次优契约具备纳什实施的惟一性,并为合理、有效的激励契约设计提供了检验途径。     

q-类似Virasoro-like代数上Z-阶化中间序列模的性质

文[4]构造了q-类似Virasoro-like代数上一些Z-阶化中间序列模,本文将进一步研究它们的不可约性和同构关系.     

延迟多重休假离散时间的Geomx / G / 1可修排队系统的可靠性指标

首次考虑延迟多重休假离散时间成批到达的Geom^x / G / 1可修排队系统的可靠性指标,在假定到达间隔时间和服务台的寿命服从几何分布,而服务时间、延迟休假时间、休假时间和服务台失效后的修理时间均服从一般离散分布下,使用一种新的分解方法讨论了服务台如下的可靠性问题: 1)在时刻n服务台处于"广义忙期'的概率; 2）服务台的瞬态和稳态不可用度; 3) 服务台在( 0,n]时间内的平均失效次数;4)服务台在"广义忙期'内的平均失效次数.得到了一系列重要的可靠性结果.     

一类无约束不可微规划算法

现有的不可微规划算法,一般地都需要计算广义梯度元,并且在确定搜索方向时的二次规划问题也比较复杂.作者通过引进次微分集的外接长方体的概念,建立了一种可实现的算法.该算法避免了计算广义梯度元的麻烦,搜索方向的确定也非常简单,并且证明了算法的收敛性.     

极大类p群的非线性非忠实不可约特征标个数

利用极大类p群的性质以及有限群的特征标理论探究了极大类p群G的非线性非忠实不可约特征标的个数.证明了pⁿ阶的极大类p群G的非线性非忠实不可约特征标的个数等于p^n-1阶的极大类p群G/Z(G)的非线性不可约特征标的个数.特别地,分析了只有3个非线性非忠实不可约特征标的有限p群的性质.     

基于铣床动态特性辨识的轨迹前馈预见补偿器

常规数控系统的伺服控制中,当速度矢量变化较大时会产生大的轨迹跟踪误差。本文应用Ｍ序列信号,最小二乘法和ＡＲＸ模型结构辨识出整个闭环系统的传递函数,在轨迹控制器的前面加上带预见控制的前馈补偿器,以使数控轨迹控制器在不同的频率段具有相同的增益,消除由延迟带来的相位差,从而可减小轨迹跟踪误差,实验表明其性能较为理想。     

用直接解法计算外掠后台阶层流流动

求解不可压流体耦合方程的直接解法（ＣＥＬＳ算法）在许多计算问题中体现了其优越性,多重网格法在加速数值计算的收敛速度方面也表现出了其有效性。作者将ＣＥＬＳ算法在多重网格下实施,对控制方程采用指数格式和虚拟时间步法进行离散,用原始变量对外掠后台阶的层流流动进行了数值计算。结果显示,外掠后台阶层流流动中,主涡,主涡下游的底部二次涡和上部二次涡开始出现的Ｒｅ数和位置均与Ａｒｍａｌｙ等人的实验数据符合良好,     

图的广义字典序积的不可收缩性

研究了图Ｘ与一簇图｛Ｙｘ｜ｘ∈Ｖ（Ｘ）｝的广义字典序积Ｘ「Ｙｘ｜ｘ∈Ｖ（Ｘ）」的自同态幺半群,得到当所有Ｙｘ的团数都相等时,Ｃ２ｎ＋１「Ｙｎ｜ｘ∈Ｖ（Ｃ２ｎ＋１）」是不可收缩的当且仅当每一个Ｙｘ是不可收缩的。