R-偏序集上的不动点定理

研究对象是带有偏序逼近族的偏序集(poaets with families of approximating partial orders,简称R.偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Luis Monteiro在带有等价关系的集合(sets with families of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial ordem)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET (即以R-偏序集为对象,R-单凋映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路.     

一类基于R-偏序集的Scott不动点定理的简单变异

对R-完备的R-偏序集,证明了(1)R-连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)R-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的R-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.     

序半群的表示和R-偏序集

将半群在集合上的作用推广到序半群，给出了序半群的表示定理，并且引入同余关系和R-同态概念，刻画了R-偏序集的商和余积．     

带有偏序逼近族的偏序集上Scott拓扑的比较

设（A，）是偏序集，ω是自然数集，若对任意n∈ω，n是A上的偏序， n＋1包含于 n,∩∈ω n= ，则称（A， ）是带有偏序逼近族.R={ n│n∈ω}的偏序集，简称为R-偏序集，记为（A， ；R）．若任意n∈ω，An=（A， n）是cpo，且对n∈ω，令Fn表示关于 n的Scott拓扑，本文给出了Fn弱于Fn＋1的一个充分条件，以及它的简单应用．     

关于Goldie环的条件的一点注记

在[1][2]中许永华对结合环R引入右R-模同态链归纳条件,可以叙述为:设r∈R,令元素r的右零化子r~⊥={x∈R|rx=0}。设M={r~⊥,AOr∈R},则{M,}作成一个偏序集。我们说结合环R满足右R-模同态链归纳条件,如果偏序集{M,}中每一链 (即M的有序子集) 都有最小上界。[3]中对环R引入了一个较之弱的条件,我们将称之为特殊右零化子集归纳条件,这是指,要求偏序集{M,}是个归纳集,即只要求M中每一链都有     

Poset on Dyck paths

Dyck格路径是第一象限中由上升步与下降步构成的格路径.由Dyck格路径的包含关系确定了其为偏序集,且是一个分配格.此偏序集的Whitney数满足一个递归关系式,其生成函数可写成连分数的形式.此偏序集交不可约同构于n-元链的区间构成的偏序集.给出了此偏序集的Mbius函数,并讨论了其应用.利用ECO方法,递归地构造出了此偏序集的Hasse图.最后,还介绍了Dyck格路径上的另外一种类型的偏序集,即其偏序关系由包含关系和峰的个数来确定.     

偏序集广义拟阵的闭包公理

在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理.     

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划．同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划．     

偏序集上的局部极大理想

在偏序集上引入并考察了偏序集上的局部极大理想,证明了偏序集上的局部极大理想的存在性定理和偏序集上理想的分解定理,特别地,在满足理想降链条件的偏序集上理想的分解定理.     

可数逼近偏序集的若干性质

可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.     

多通道相量信号实时测量的一种方法

本文给出一种实时测量相量信号的新方法。由于采用了多项式逼近和计算机辅助测试技术,该法此常用的模拟电路方法具有显著的优点。文中叙述了此法的工作原理、系统组成、程序设计和误差分析等,并举例说明了该法的有效性。     

模拟电路故障定位的理论和方法

本文研究模拟电路故障诊断中的定位理论和方法，电网络分扯的理论和方法，伴随网络的理论和方法，分别被应用于故障定位中，文中还给出了另一种故障定位方法，这一方法是作者所提出的故障诊断定理的直接应用，在此基础上得出了两个诊断模拟电路故障的判据。     

一种新型的针对SRAM-Based FPGAs的容错方法

提出了一种针对基于SRAM型的现场可编程门阵列（FPGA）的新型容错方法，包括一套容错结构以及对应的布线过程，此方法对可编程逻辑单元（CLB）和连线资源的代价都予以考虑，容错布线过程简单，耗时少，模拟结果还显示，该方法与以前的方法比较，具有较低的代价。     

大型网络可靠性评估的增流减流交叉网流法

本文基于网络最大流原理,提出一种大型网络可靠性评估的增流减流交叉网流法。该方法通过削减某一状态下某些支路的网流来获取另一相关状态下各支路的网流初始直,从而大大减少了各状态下需要计算的增流次数。算例表明,该方法十分有效、此外,本文还就该方法与最小割集法进行了比较研究。     

A new geometric approach to blind source separation of bounded sources

Based on the minimum-range approach, a new geometric approach is proposed to deal with blind source separation in this paper. The new approach is the batch mode of the original minimum-range approach. Compared with the original approach, the optimization algorithm of the proposed approach needs no parameters and is more efficient and reliable. In addition, the extension of minimum-rangebased approaches is discussed. The simulations show the efficiency of the proposed approach.     

Discussing the Communicative Approach and its Application in My Teaching Context

The communicative approach as a relatively new one has not been widely accepted and used in some Chinese schools.Based on the advantages and disadvantages of this approach,I propose to apply it to speaking course.In this paper,the communicative approach and its application in my teaching context will be discussed critically.     

Combining rough set theory and instance selection in ontology mapping

This paper presents a novel ontology mapping approach based on rough set theory and instance selection .In this appoach the construction approach of a rough set-based inference instance base in which the instance selection （involving similarity distance, clustering set and redundancy degree） and discernibility matrix-based feature reduction are introduced respectively; and an ontology mapping approach based on multi-dimensional attribute value joint distribution is proposed. The core of this mapping aI overlapping of the inference instance space. Only valuable instances and important attributes can be selected into the ontology mapping based on the multi-dimensional attribute value joint distribution, so the sequently mapping efficiency is improved. The time complexity of the discernibility matrix-based method and the accuracy of the mapping approach are evaluated by an application example and a series of analyses and comparisons.     

城市与工程GPS网数据处理的一种新方法

提出了城市与工程ＧＰＳ网数据处理的一种新方法，通过实例计算验证了该方法的正确性。     

Watt--I型六杆刚体导引机构的解域综合方法

给出了Watt-I型六杆机构尺寸综合的一种新方法。该方法对于刚体有限分离四位置问题通过建立机构解域,最终能够得到满足给定设计条件的全部可行解。本文首先给出解曲线公式,并介绍解曲线的映射和构成平面解域的方法。然后给出该类型机构的回路与分支缺陷判定方法。通过缺陷判定得到无缺陷的机构解可行域,从而使设计者能够得到满足更多设计要求的更优机构,避免选择机构的盲目性,提高设计效率。最后,通过综合示例说明本文所提出方法的综合过程,证明了方法的实用性和有效性。