球垒域上的-方程

在Ｃｎ空间中由任意Ｎ个超球构成的球垒域Ｄ上，建立具有有限离散全纯核的Ｂａｃｈｎ－ｅｒ－Ｌｅｒａｙ积分公式，并获得方程＝ｇ的整体解及其一致估计．     

外包空间数据库的完整性保证机制

存储在云计算服务提供商上的用户数据可能被篡改或删除,查询完整性验证方案的作用是确保查询用户能够验证查询结果中的数据是真实的且包含所有满足条件的数据.本文在现有验证树结构基础上进行改进,提出了一种空间验证数据结构VSS-tree.利用SS-tree作为基本结构并为其附加验证信息,采用边界球进行区域划分增大了节点的度,有效降低了验证树的高度,并避免了不必要的磁盘访问,从而提高了空间查询验证的处理效率.实验结果表明,该方案比MR-tree具有更好的性能.     

关于琴生不等式的一些加细(英文)

本文给出琴生不等式的一些加细 ,它包括若干相关结果的推广 (如正文的注释 1指出 ) 从文献上看 ,结果中出现涉及f1 ,n与fn ,n线性组合的不等式 (7)和 (8) ,在同类结果中似乎是新型 此外 ,推论 1和 2还给出了 (7)和 (8)成立的另一类型充分条件     

多级安全数据库管理系统查询处理器的设计

多级安全数据库与传统的数据库最大的不同就在于它引入了安全级的概念，访问数据库的主体和数据库中的客体都被赋予了安全级，主体对客体的访问遵循强制存取控制规则．多级安全查询处理器是多级安全数据库的核心部分，它提供对安全级查询的支持．多级安全查询处理器必须保证用户的查询不违反数据库系统安全性的要求．分析了多级安全查询处理的执行过程，定义了多级安全查询语言的语法，利用编译器生成工具Yacc设计了一个多级安全查询处理器，并对其进行了分析．     

弛豫-析出-控制相变技术中冷却速度对组织的影响

利用热模拟实验,对在非再结晶温度变形后弛豫一段时间,再以不同冷速冷却的低碳贝氏体钢的相变组织进行了研究,并与同等条件不弛豫的试样组织进行了对比.给出了弛豫和冷速对中温转变组织类型及组织细化程度的影响.实验结果表明,弛豫及冷却速度对变形奥氏体的相变组织是有影响的.低冷速下主要得到边界及取向不清晰的粒状贝氏体,这时弛豫时间对细化程度影响不明显,在10℃/s以上冷速下得到的是以板条贝氏体为主的组织,与未弛豫试样比较,其组织更细,板条形状更清晰,弛豫试样组织中残余奥氏体或M/A岛的形状更细长,弛豫有利于在同等冷却条件下得到板条组织,并且在高冷速下,弛豫试样中M/A量较未弛豫试样中的要少.     

一些Pachpatte-Poincaré型的积分不等式(英)

基于Pachpatte和郝稚传证明过的不等式,建立了对于涉及n(≥3)个自变量的函数及其一阶偏导数的Pachpatte-Poincare型积分不等式。     

部分相容关系的集合运算及其在数据库查询语言中的应用

将同类关系上的运算交、并、差以及对乐差扩充到非同类关系上，同时引入了一个新的关系运算－拼接，并对以上各运算的性质进行了讨论，最后，介绍了这些运算在关系数据库子模式查询语言ＶＱＬ中的应用。     

一个基于Authorware的SQL数据库开发

基于Authorware附带的数据库编程接口Odbc.u32的打开数据库、SQL语句的执行、关闭数据库等3个功能，探讨SQL数据库应用程序的开发，并给出了一个实例。     

分布式数据库中关系运算结果大小的估计

本文在分析了原有的几种估计关系运算结果大小的方法的基础上,提出了一新的估计模型——UDB,并对其建造方法、使用方法、适用情况及估计精度做了较详细的讨论。     

A Designated Query Protocol for Serverless Mobile RFID Systems with Reader and Tag Privacy

Recently, a new type of Radio Frequency IDentification (RFID) system with mobile readers is introduced. In such a system, it is more desirable for mobile readers to identify tags without a back-end server, and thus it is frequently referred as a serverless mobile RFID system. In this paper, we formalize a serverless mobile RFID system model and propose a new encryption-based system that preserves the privacy of both tags and readers in the model. In addition, we define a new adversary model for the system model and show the security of the proposed system. Throughout comparisons between ours and the other alternatives, we show that our proposed system provides a stronger reader privacy and robustness against a reader forgery attack than the competitors.