论文部分内容阅读
~~
《中国科学:数学》英文版2010年53卷第12期摘要
【摘 要】
：
~~
【出 处】
：
中国科学:数学
【发表日期】
：
2010年12期
其他文献
基于Pavelka关于模糊命题逻辑的思想,结合L型Fuzzy集合与经典二值命题逻辑理论,初步建立了一种基于有限格蕴涵代数的格值命题逻辑程度化的语义理论.定义了L型重言式和L型矛盾式的概念,给出了几类L型重言式之间的关系定理.从不确定性推理的角度,定义了逻辑公式集在一定水平上的可满足性概念.在此基础之上,定义了基于一个逻辑公式集合的语义结论算子,研究了语义结论算子的性质以及信息的相容性问题.
期刊
将处方中药物名及剂量转换成反映药效力度的数学度量方法是方剂功效智能计算的首要和关键技术.文中给出用于智能计算方剂功效的领域知识和具体算法,探讨度量"药效力度对药量依赖关系"对构建中医药知识系统的必要性,讨论药效度量相关问题.为合理度量药效,提出基于中医用量规律及药物分布特点,运用药物用量区间分类的"自然分类方法",将常用药分为38个自然类并聚类为6个基本类.基于分类结果,为每一基本类设计了反映该类
期刊
分数Fourier变换是传统Fourier变换的推广,在光学、信号处理、信息安全等许多研究领域都有广泛的应用,而简明有效的离散化数值计算方法是其得以广泛应用的关键.多参数分数Fourier变换(MPFRFT)是分数Fourier变换的一种广义形式,包含已知的分数Fourier变换作为特例,可为分数Fourier变换的理论研究和应用提供便利.文中详细阐述离散多参数分数Fourier变换(DMPFRF
期刊
金秋送爽,丹桂飘香。由公安部第三研究所《信息网络安全》杂志社精心主办的"第五届政府/行业信息化安全论坛"于9月21日在北京圆满闭幕。来自公安部、工业和信息化部、国家发展和改革委员会、国家保密局、国家密码管理局、最高人民检察院、最高人民法院等部委领导和中石油、
期刊
2010年11月,"第三届ICST电子取证国际会议"在上海举行。本次会议由上海交通大学承办,公安部第三研究所和华东政法大学协办。会议邀请了众多国内外计算机取证专家、相关学术带头人、司法界人士、业内著名厂商,围绕计算机取证的相关技术、法律法规、数据恢复、数据分析与处理、取证勘察等问题展开讨论,并介绍了计算机取证的新技术、新产品的研究进展情况。
期刊
在这篇文章中,我们考虑了一类退化Sobolev-Galpern方程有界解的保持性.我们先研究了线性Sobolev-Galpern方程的解的存在性、唯一性,并由其解定义出了一簇发展算子.在此基础上,我们研究了发展算子的指数二分性、非齐次线性方程有界解的Fredholm更替.最后,我们将此结果用以研究退化Sobolev-Galpern方程在非自治扰动下有界解的保持性,并给出了保持的条件.
期刊
本文主要研究一类Signorini接触条件的非线性传输问题.这类问题可以用耦合的有限元-边界元变分不等式来描述.我们首先提出一种求解变分不等式的预处理梯度投影法.然后对离散系统构造了有效的区域分解预条件子.该预条件子能够使耦合的不等式问题分解成等式问题和小规模的不等式问题,并且这些问题可以并行求解.最后我们详细研究了该迭代方法的收敛性.
期刊
对于次数不小于2、所有周期点双曲、至多有限次可重整的复多项式,以及临界点非平坦的C3区间映射,我们利用沿临界值轨道的扩张性给出Rivera-Letelier意义下逆向压缩性质的等价刻画.
期刊
本文主要讨论当扩散系数κ=0时,三维Boussinesq方程光滑解的爆破准则.利用空间分解技术和能量方法证明了如果压强满足π(x,t)∈Lq(0,T1;Brp,∞(R3)),2/q+3/p=2+r,3/2+rT1.
期刊
本文给出了几个关于一般赋值域上Banach空间上的算子的值域包含定理.这些定理说明:算子的值域包含、算子的强弱以及算子的分解之间有着重要的联系.我们发现,这些结果强烈地依赖于空间的连续延拓性质.在经典情况下,Hahn-Banach定理保证了连续延拓性质自然满足;然而,在非archimedean范畴下,这种性质可能并不满足.我们还给出一些反例说明,这些结果在某种意义下已经不能再改进了.
期刊