(α, A)-Manifolds

An extension of the notion of differential manifold is presented. One application of this extension is a type of manifold digitalization. The model is aimed at computer simulation of the differential geometric information for the digitalized curves, surfaces, and other types of manifolds.     

乔治·布尔(Boole,George)

<正> 乔治·布尔1815年生于英国林肯,1864年死于爱尔兰科克。他由于家境关系,所受的正规教育只限于小学和在一所商业学校的短期学习。他是一个几乎完全靠自学成材的人。他沿着他自己的路努力探索他同辈人从未触及过的领域,成为学有专著的名流。 1840年,他为“Cambridge Mathematical Journal”杂志撰写了他第一篇论文。1844年,由于他发表的有关微分计算的论文,荣获英国皇家学会一枚奖章。1849年,年仅三十五岁的乔治·布尔,尽管缺少正规培训,破格地被一家学院任命为教授。     

(V,R)-语言

V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群。其次,提出了超图半群的概念,证明了超图半群是(V,R)-半群,超图半群把超图理论和自由半群理论联系起来。以此为基础,提出了(V,R)-语言和超图语言两个概念。超图语言把超图理论和形式语言理论联系起来。进而,证明了超图语言、无向图语言和有向图语言都是特殊的(V,R)-语言。第三,证明了无向图语言和有向图语言都是正则语言。这就回答了文献"无向图语言"和"有向图语言"中提出的开问题。(V,R)-半群和(V,R)-语言是研究自由半群和形式语言的新理论和新方法。     

紧凑(a,b)树

本文提出一种新的多叉树——紧凑(a,b)树。它通过一种整编操作对树中内结点的儿子和孙子个数之间建立制约关系。在元素个数n→∞,树结点的最大儿子个数b>>4时,使树在最坏情况下的高度和空间利用率都接近最优。它的查找运算比B类树都快,它的更新运算(插入和删除)在折算意义下,即在以整个运算序列的最坏时间为代价下,与B类树的性能相同。     

(0,mf-m+1)图的正交(0,f)因子分解

设G是一个图,f是定义在V(G)上的整数值函数,且对坌x∈V(G),有2k≤f(x),设H1,H2,…,Hk是G的k个顶点不相交的子图,且|E(Hi)|=m,1≤i≤k,证明了每个(0,mf-m+1)图有一个(0,f)因子分解正交于Hi(i=1,2,…,k)。     

在(r,g)和(Cr,Cb)彩色空间上进行肤色检测

提出了一种从彩色图像中检测皮肤色像点的新方法，该方法综合运用了（r,g)和（Cr,Cb)彩色空间上像点分布的特征，实验表明该方法在检测的正确性上有明显的提高。     

Vista,从控制面板开始(上)

相信大家对于Windows控制面板都不会陌生,这里包含了许多系统设置和选项。今天Windows Vista正在日益普及,相较于Windows XP,Vista控制面板包含的设置功能更多、更实用。今天,就让我们大家一起来玩转Vista的控制面板吧!     

PDA(Personal Digital Assistant,个人数字助理)

提起PDA,你的脑海里也许会浮现出当下流行的商务通、快译通、名人、文曲星等。现在需要向你澄清的是,虽然国内一直将电子记事本、电子辞典等理解为PDA,但实际上它的概念远远广泛得多。广义的PDA应包括一切手持式计算设备,如掌上电脑、手持电脑,甚至包括智能化的手机。而商务通、快译通、文曲星一类的产品则是最简单、最初级的PDA,它们将所有的程序都固化在ROM中,用户不能根据自己的需求删除或加载新的应用程序。我们在本专题中对这类产品不做评测。     

动态(1,t,n)门限群签名方案

针对现有门限群签名的主要弱点:难以抵御部分成员的合谋攻击以及成员加入和注销需大量改变参数,结合了将签名成员分等级的思想,提出了一种新的动态(1,t,n)门限群签名方案.该方案能有效地克服这些缺点,当成员加入或注销时,系统本身的参数和其他成员的密钥保持不变,并且还能追查签名者.     

(α,β)-软BCK代数

将软集的参数集赋予BCK代数的代数结构,给出了(α,β)-软BCK代数的概念,并验证了得到的(α,β)-软BCK代数是交软BCK代数和α-交软BCK代数的非平凡推广;得到了两个(α,β)-软BCK代数在软集的交、并、且等运算下仍然是(α,β)-软BCK代数的结论,并讨论了(α,β)-软BCK代数的同态像和原像的性质;最后运用对偶软集的方法给出了(α,β)-软BCK代数的等价刻画。     

抛开浏览器,照样玩校内(人人)

在玩QQ的同时,我们也不得不保留对人人网(校内网)的关注,好友都是同学,看看大家的新鲜事,感觉还真不一样。不过每次去都要用浏览器登录,和同学聊天更是麻烦……别苦恼了,这些都随着人人网桌面版(http://www.onlinedown.net/soft/91610.htm)的出现而消失了。     

可追踪的(t,n)门限签名

一个ElGamal签名方案的变种被提出。在此基础上,提出了一个在randomoraclemodel中可证安全的可追踪(t,n)门限签名方案。在这个全新的门限签名方案中,签名人的身份可以在需要的时候被揭示出来。