基于理想的协议安全性分析

1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结构来分析协议的一些安全性质,例如保密性、认证性、零知识性以及如何抵抗猜测攻击.     

Equiprime, 3-prime and c-prime fuzzy ideals of nearrings

In this paper, we present the notions of equiprime fuzzy ideal, 3-prime fuzzy ideal and c-prime fuzzy ideal of a nearring. We characterize these fuzzy ideals using level subsets and fuzzy points. If f: N → M is an onto nearring homomorphism, we show that the map defines a one-to-one correspondence between the set of all f-invariant (alternatively with sup property) equiprime (3-prime and c-prime, respectively) fuzzy ideals of N and the set of all equiprime (3-prime and c-prime, respectively) fuzzy ideals of M. Finally, we define fuzzy cosets determined by generalized fuzzy ideals; obtain fundamental results and isomorphism theorems.     

Roughness based on fuzzy ideals

The theory of rough set, proposed by Pawlak and the theory of fuzzy set, proposed by Zadeh are complementary generalizations of classical set theory. Many sets are naturally endowed with two binary operations: addition and multiplication. One concept which does this is a ring. This paper concerns a relationship between rough sets, fuzzy sets and ring theory. It is a continuation of ideas presented by Kuroki and Wang [N. Kuroki, P.P. Wang, The lower and upper approximations in a fuzzy group, Inform. Sci. 90 (1996) 203-220]. We consider a ring as a universal set and we assume that the knowledge about objects is restricted by a fuzzy ideal. In fact, we apply the notion of fuzzy ideal of a ring for definitions of the lower and upper approximations in a ring. Some characterizations of the above approximations are made and some examples are presented.     

体积法测量储氢量的状态方程研究

体积法是表征储氢量最主要的技术手段之一,状态方程能否真实描述氢气的p-V-T特性是影响测量精度的关键因素。本文基于芶清泉的物理思想,提出了状态方程新模型。从碳气凝胶储氢量测量过程中得到的实验数据出发,分别应用理想气体状态方程、范德华耳斯方程以及状态方程新模型计算间苯二酚-甲醛碳气凝胶在不同温度、压力下的储氢吸附量,分析了造成结果差别的物理原因。结果显示,利用新的气体状态方程,可明显改善体积法测量结果的可信度。     

Flat families by strongly stable ideals and a generalization of Gröbner bases

Let J be a strongly stable monomial ideal in S=K[x₀,…,x_n] and let Mf(J) be the family of all homogeneous ideals I in S such that the set of all terms outside J is a K-vector basis of the quotient S/I. We show that an ideal I belongs to Mf(J) if and only if it is generated by a special set of polynomials, the J-marked basis of I, that in some sense generalizes the notion of reduced Gröbner basis and its constructive capabilities. Indeed, although not every J-marked basis is a Gröbner basis with respect to some term order, a sort of reduced form modulo I∈Mf(J) can be computed for every homogeneous polynomial, so that a J-marked basis can be characterized by a Buchberger-like criterion. Using J-marked bases, we prove that the family Mf(J) can be endowed, in a very natural way, with a structure of an affine scheme that turns out to be homogeneous with respect to a non-standard grading and flat in the origin (the point corresponding to J), thanks to properties ofJ-marked bases analogous to those of Gröbner bases about syzygies.     

Semantic thresholding

The use of thresholding to separate objects in an image is analyzed in the light of a notion that ‘objects are in the eye of the beholder’, i.e. the existence of objects in an image is subjective rather than objective. Interpretation of the term ‘semantic’ as an association of an observed entity with an (other) entity which can be used for communication, is combined with Whorf's hypothesis on influence of language on reasoning, to yield a thresholding method. The method is based on minimizing the ambiguity which results from the different contexts (local and global) in which grey levels are classified as dark or bright. Examples are supplied and compared to thresholds which are optimal in the L₂ norm.     

用于离散滑模重复控制的新型趋近律

针对不确定离散时间系统, 提出一种新型的离散趋近律, 构造理想切换动态, 并基于理想切换动态设计离散滑模重复控制器. 在消除系统颤振的同时, 完全抑制周期扰动带来的影响, 改善控制品质. 分别推导了切换函数的绝对收敛层、单调收敛层和拟滑模带的边界, 用于刻画在不同控制器参数下闭环系统的趋近过程和拟滑模运动. 数值仿真和在伺服装置上的实验结果证实了所提出控制方法的有效性.     

定子双馈电双凸极电动机转矩脉动分析与抑制

对定子双馈电双凸极(SDFDS)电动机(以下简称电动机)的转矩进行了理论分析,探讨磁阻转矩对转矩脉动的影响.在用傅里叶级数近似逼近SDFDS电动机感应电动势的基础上,采用谐波消去法得到消除转矩脉动的理想电流波形,并在一台三相12/8极SDFDS样机上进行了实验研究.实验结果表明:与方波电流相比,利用理想电流控制电机能有效抑制转矩脉动,验证了所提方法的正确性和可行性.     

近似理想格上的全同态加密方案

构造高效、安全的全同态加密方案目前仍然是一个公开问题.通过扩展近似GCD到近似理想格的方法,首先构造一个基于整数上部分近似理想格问题(PAILP)的有点同态加密方案,并使用Gentry的引导技术将其转换到全同态加密方案.归约有点同态加密方案的安全性到求解部分近似理想格问题;其次,构造基于PAILP的批全同态加密方案和基于近似理想格(AILP)的全同态加密方案;最后,实现基于PAILP/AILP的全同态加密方案,并通过计算实验,其结果表明,所提方案比已有方案性能更好.     

基于整数多项式环的全同态加密算法

为确保云计算环境下用户数据的安全性,利用同态加密算法对数据和加密函数的隐私保护功能,设计一种基于整数多项式环的全同态加密算法。该算法包括同态算法和重加密算法,前者针对明文数据进行加密,后者针对密文数据进行二次加密。分析结果表明,该算法的计算复杂度为O(n5),低于理想格全同态加密算法。