分划相关论文
概念格理论,亦称形式概念分析,首先是由德国数学家R. Wille于1982年提出的,用于概念的发现、排序和显示。粗糙集理论是波兰数学家Z......
在通信系统中,用编码技术来提高数字系统的传输效率和可靠性.为了满足人们对数字系统的要求,进而对新编码方案的研究就显得尤为重......
相似三角形是初中数学的重要内容,在学们该内容过程中重视应用数学知识,解决实际生活问题,是培养学生创新精神和实践能力的有效途......
俗话说:“好记性不如烂笔头。”别看悠悠熊整天迷迷糊糊的,好像总睡不醒的样子,可从来没有“迟到、忘记写作业”这样的坏习惯,这都得感......
本文介绍国外枪用白光、夜视瞄准镜发展的历史、装备现状及发展趋势。简要介绍典型枪用瞄准镜的主要性能。
This article introdu......
我们当时高中的情况是前30名有可能达到浙江大学的分数线,前20名的话有稳当的可能性。高一的时候我的成绩大概在年级的一两百名吧,高......
准直光管角度分划示值一般用来校准小角度光学仪器,在靶场试验中主要用于校准校靶镜、瞄准镜等火炮瞄准仪器,其示值需要定期进行校......
在经典的决策理论中,理性一直被认为是“完美的”(perfect),然而这一假定,已经越来越受到许多经济学家和社会心理学家的挑战。20......
视差会严重影响望远系统的瞄准和测量精度。传统的检测方法依靠人眼主观判读,只能定性检测。采用自动调焦原理研究了一种基于数字......
十九世纪上半叶Lowry,Wallace,Bolyai与Gerwien同时证明了一个古老的数学命题;任意给定平面上个简单多边形,必可将其分划成有限块,......
将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念.主要结果是:(1)分别在系统(?),W和Wk......
文章讨论了Godel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重......
利用非空集合A的商集讨论A上一个非一一变换f能出现在一个由A上变换构成的乘法群G中的充要条件,并发现G与A的商集上的一个变换群同......
全对策是定义在局中人集合的所有分划集上的一类特殊合作对策.本文在效用可转移情形下研究全对策的"值"问题.定义了全对策的边际贡......
将修正的G(o)6del逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾......
将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言......
期刊
将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义......
期刊
将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数......
期刊
国家技术监督局1991-05-05发布的中华人了共和国国家标GB12898-91《国家三、四等水准测量规范》附录B“B3水准标尺分划面弯曲的测......
对R^n的偶点集,枰分它的超平面全体的模空间约化到RP^n上紧化再作形变收缩,包含了一个RP^n-1,由Poincare对偶及拓朴相交性质可知对R^n中n组处于一般位置的偶点集......
利用第二类Stirling数的有关结论,并根据广义第二类Stirling数的定义得出了一系列结论....
将多值逻辑系统巩(0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1/2上的......
本文根据块广义严格对角占优矩阵判定中的困难,利用矩阵分划技术,根据矩阵元素之间的关系给出块广义严格对角占优矩阵的充分条件和......
分划扩充命题时态逻辑通过加入分划算子P1,1,增强了经典命题时态逻辑的表达能力.本文就该扩充逻辑关于stutter不变性的研究,给出了......
经典的信息系统可看作是一种特殊的格结构。从格的角度给出了知识约简和协调集的概念,借助粗糙集的思想定义了一对新的上下近似算......
图G的一种P-着色是分配颜色到它的顶点,使得同一色类的导出子图具有性质P,图G的P-色数χ(G,P)是G的具有k种颜色的P-着色的最小数k.......
1引言 我们考虑求解无约束优化问题 minf(x),x∈R^n 其中f:D∈R^n→R为R^n上的二次连续可微函数,且f(x)的二阶Hesse阵H(x)稀疏、正定.为了求......
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种......
给出了图的着色问题的一种新方法,即运用置换相似变换(置换行和相应的列)得到图G的顶点集V(G)的一种分划(V1,V2,…,Vn),从而得出图......
阐述了视频分划生成技术中的地址刷新技术的工作原理及实践 .该电路可实现图形信号和视频图像信号的同步叠加 ,可实现图形视频检测......
将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0......
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse......
给出了一种具有某种特性的有理保形插值函数,讨论了它的收敛阶,这对有关问题无论是理论研究,还是实际应用都具有一定的意义.......
通过对修正的RDP逻辑系统的研究,给出该系统中F(S)关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性......
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进......
利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算......
给出一种具有特殊性质的有理保形插值函数及其求解算法,讨论了它的收敛阶,这对有关问题无论是理论研究,还是实际应用都具有一定的......
基于一类带参数a的[0,1]上的t-模*。及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当α=1/2时的多值逻辑系统H1/2.以H1......
利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α-重言式,进而给出了F(S)的一......
Hilbert曲线是多维结构降维的重要手段,在多维索引结构和图像处理等方面有着广泛的应用。传统的Hilbert编码是通过复制部分Hilbert......
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在^-Gr的序稠密子代数中给出公式集F(S)的一......
研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证......
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在矿的序稠密子......
对Goedel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Goedel逻辑系统中......
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F(S......