廖大见
- 作品数：11 被引量：8H指数：2
- 供职机构：淮海工学院理学院更多>>
- 发文基金：江苏省教育厅自然科学基金江苏省高校自然科学研究项目国家重点实验室开放基金更多>>
- 相关领域：理学哲学宗教电子电信更多>>
- 完备格上的诱导算子
- 2006年
- 利用文献[2]中讨论完备格上蕴涵算子和拟t-模的诱导算子的思想方法,证明了蕴涵算子和拟t-模的2次T-诱导在一定条件下、一定范围内等于原拟t-模(或蕴涵算子),得到了两个不同诱导算子之间的关系及它们与L-关系方程解的联系.进一步表述了蕴涵算子和拟t-模的n次诱导算子序列的一些结论,并提出了一些有待解决的问题.
- 廖大见
- 关键词：蕴涵算子诱导算子
- 完备格上伪t-模与蕴涵算子的限制和诱导被引量：1
- 2004年
- 研究了完备格L上的伪t-模与其诱导的蕴涵之间的相互关系,得到了伪t-模在一定范围上的限制和其诱导的蕴涵在相应范围上的限制之间的联系,从而具体地表明了L上的伪t-模与其诱导的蕴涵之间的关系,并据此给出一个比较简便的求已知伪t-模或蕴涵诱导的剩余算子的方法.
- 廖大见刘才贵乔庆荣翟余华
- 关键词：伪T-模蕴涵
- 一类L-关系方程有解的充要条件
- 2008年
- 讨论基于拟t-模的方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集以及它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b的解集,研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与解集.其中L为完备Brouwer格,T为拟t-模,I是蕴涵算子.
- 廖大见
- 关键词：非经典逻辑伪T-模蕴涵L-关系方程
- 两个无证书强代理签名方案的研究
- 对梁中银等人提出的改进的无证书代理签名的分析,发现该方案的部分密钥可以公开,论证了公开部分密钥后的安全性。通过对吴晨煌等人的公钥签名方案的安全性分析,指出了他们的公钥签名方案是不安全的,并给出改进方案。最后证明吴晨煌等人...
- 廖大见
- 关键词：无证书公钥密码体制代理签名双线性对
- 完备格上的伪t-模与剩余蕴涵的直积和直积分解被引量：2
- 2004年
- 讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则蕴涵可以分解的充要条件 ,完全解决了 DeBaets提出的直积分解条件问题 .
- 廖大见
- 关键词：伪T-模蕴涵直积直积分解
- L-关系方程T(a,x)=b与方程I(a,x)=b有解的充要条件被引量：2
- 2004年
- 进一步讨论方程T(a,x)=b与方程I(a,x)=b的解的结构,得到了它们的解集,且得到了它们有解的充分必要条件,并利用方程T(a,x)=b与方程I(a,x)=b的解集研究方程T((a1,a2),(x1,x2))=(b1,b2)以及方程I((a1,a2),(x1,x2))=(b1,b2)的解结构与与解集.还指出文献[1]中一个基本定理的错误.其中L为完备Brouwer格,T为无穷∨-分配伪t 模,I是无穷∧-分配蕴涵算子.
- 廖大见
- 关键词：非经典逻辑T-模伪T-模蕴涵L-关系方程
- 伪t-模与L-关系方程被引量：1
- 2003年
- 介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论。利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A<(R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集。文中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T),a,b,x∈L,A∈L^X和B∈L^Y是两个已知L-子集,R∈L^(X×Y)是未知L-关系。
- 廖大见
- 关键词：伪T-模L-关系方程完备BROUWER格蕴涵算子
- 两个无证书强代理签名方案的研究
- 对梁中银等人提出的改进的无证书代理签名的分析，发现该方案的部分密钥可以公开，论证了公开部分密钥后的安全性。通过对吴晨煌等人的公钥签名方案的安全性分析，指出了他们的公钥签名方案是不安全的，并给出改进方案。最后证明吴晨煌等人...
- 廖大见
- 关键词：公钥密码体制代理签名安全通信
- 完备格上的拟t-模与蕴涵算子被引量：5
- 2003年
- 引入并讨论完备格L上的拟t 模与剩余蕴涵的概念,研究了L上拟t 模与剩余蕴涵之间的关系,给出求一个已知拟t 模或剩余蕴涵的剩余算子的方法,并指出[0,1]上的两类基本蕴涵和Yager蕴涵都是可以由[0,1]上的拟t 模诱导的剩余蕴涵.
- 廖大见
- 关键词：完备格蕴涵算子非经典逻辑伪T-模
- 完备格上的拟-t-模及蕴涵算子的直积和直积分解被引量：1
- 2006年
- 进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.
- 翟余华廖大见
- 关键词：非经典逻辑T-模伪T-模直积直积分解
