Bernoulli级数和的一个新证法

利用解析方法研究了Bernoulli级数和的均值性质,得到了一个均值恒等式的新证法。     

涉及高阶Apostol-Euler数、错排数与第一类Stirling数之间的几个恒等式

使用发生函数方法, 建立高阶Apostol Euler数、 错排数与第一类Stirling数之间的恒等式, 得到关于高阶Apostol Euler数、 Apostol Euler数、 高阶Euler数及Euler数的计算公式.     

两种基于生物特征信息的身份签名方案

提出两种基于生物特征信息的身份签名方案。方案一使用签名者的生物特征信息来构造其公钥,验证者不需事先获取签名者的公钥信息,只需由签名者出示其生物特征信息便可重构出其公钥以完成验证操作,使验证操作更加便利直观。方案二使用签名者的生物特征信息来构造其私钥,使私钥的存储不依赖于硬件载体,从根本上避免了私钥的损坏或丢失给签名者带来的损失与不便。上述两种身份签名方案由Dodis等提出的生物特征信息提取算法fuzzy extractor在Liu方案和经典BLS短签名方案的基础上构造。最后,针对上述方案可能存在的攻击提出预防对策。     

拟南芥雄性不育突变体nps的基因定位

nps是经EMS诱变筛选得到的一拟南芥雄性不育突变体．通过背景纯化与遗传分析,发现nps突变体是受隐性单基因控制．形态学观察表明,突变体的花缺失花瓣和雄蕊,主要由两轮萼片和一轮肥大的雌蕊组成．利用图位克隆的方法对不育基因NPs进行了定位,结果表明NPS位于第五条染色体上分子标记F15L12和MHJ24之间1378kb的区间内．数据库预测该区间内包含10个与花发育ABC模型相关的基因,因此,对NPS基因的研究有助于深入了解拟南芥的花发育过程与花器官形成．     

铁磁线阵的负折射频率区域

从理论上研究了外磁场中的二维正方格子铁磁线阵（FWL）模型的负折射性质,计算中选用的铁磁材料分别为铁（Fe）,钴（Co）,镍（Ni）和钆（Gd）.计算了这些FWL系统的几何参数对于其负折射频率范围的影响以及负折射率随着外磁场变化的规律.发现提高负介电常数频率比较容易实现,而提高负磁导率频率则比较困难.这是因为负磁导率频率主要受饱和磁化强度的限制.所以高饱和磁化强度是提高负折射频率的关键.     

向量服务格支持下的Web服务检索

将概念格理论与Web服务特征相结合,提出了一种新型的服务组织结构——向量服务格,并利用向量服务格中得到的方法向量概念对方法向量进行扩展.在这个扩展的方法向量基础上,提出了服务检索方法,给出了方法向量、方法向量背景和k-维方法向量概念等的定义.实验结果表明,基于向量服务格的服务检索具有较高的检索效率.     

孪生组合恒等式(十八)——再谈对应类型

组合恒等式与圆组合恒等式之间有3种对应关系,即无对应,一(对)一对应,一对多对应.本文提供一(对)一对应的具体方法,获得4组孪生组合恒等式,最后举例说明一对多对应.     

SrZrO3晶格动力学的密度泛函理论研究

采用密度泛函理论对立方相SrZrO3的晶格动力学进行了研究。计算结果表明,最不稳定的R25软模的冻结导致体系进入反铁畸变四方结构(I4/mcm),计算结果与实验一致。原子间力常数计算结果表明,Sr-O原子对之间的长程特性对体系的结构不稳定性负责。     

闭格与拓扑交结构

定义了一种新形式的格——闭格以及一种新的交结构——拓扑交结构,并证明闭格与有上界的拓扑交结构是一一对应的,闭半格与拓扑交结构也是一一对应的.从范畴的观点来看,闭格构成的范畴TL与有上界的拓扑交结构所构成的范畴TTS是范畴等价的;闭半格所构成的范畴TSL与拓扑交结构所构成的范畴TS也是范畴等价的.     

形式背景提取初探

形式背景是形式概念分析的基础.本文就如何从不同的数据源中提取形式背景进行探讨,主要分析文本文件、关系型文件和XML文件的特点,并分别找出提取形式背景的方法.