排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
给出Banach空间E上一个C0-半群{T(t)}t≥0的生成元A与其对偶半群{T^*(t)}t≥0的生成元A^#之间的关系,证明了A^#=A^*;讨论了E^⊙是Banach格E^*的子格条件和带的条件,证明了当T^*(t)保分离性时E^⊙是E^*的子格;当E^*的任意有界递减序列按范数收敛时E^⊙是E^*的带;当E^*有分解E^⊙ E^⊙^d时,对每个ψ∈E^⊙^d,T^*(t)ψ与ψ是分离的. 相似文献
2.
Quantale中的理想 总被引:5,自引:0,他引:5
给出了Quantale中(左,右)理想的概念,讨论了Quantale中任意子集生成的(左,右)理想的具体结构,研究了Quantale中的理想与它的格意义下理想之间的关系,得到了当Q是可换Quantale时,Id(Q)中元是幂等的充要条件。 相似文献
3.
Quantic格上的同态定理 总被引:1,自引:0,他引:1
研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈ Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj(~=)Q. 相似文献
4.
基于完备余剩余格的反向三I算法 总被引:1,自引:0,他引:1
提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法. 相似文献
5.
针对目前表面粗糙度在线监测准确度比较低的现状,对影响切削表面粗糙度的多种因素进行了总结,提取了具有显著影响的因素.对常用的传感器和建模方法进行了比较,分析了改进的人工智能算法在监测建模中的优越性,可为加工表面质量在线监测提供参考,为今后的研究和监测结果的改善提供依据. 相似文献
6.
鉴于超声振动车削在实际生产中的重要意义,设计了一套超声振动车削系统.对换能器设计中需要考虑的多种因素进行分析,通过解析法确定变幅杆尺寸,利用abaqus对变幅杆进行模态分析,验证了设计的合理性. 相似文献
7.
引入黎曼不变量对中心疏散波重解,构造了压差方程的广义黎曼问题格式.数值结果验证了广义黎曼问题格式的高精度性质,发现Godunov类型格式对压差方程只包含强简单波的黎曼解有很高的精度,对包含弱简单波的黎曼解是不适用的. 相似文献
8.
Girard quantale的若干性质 总被引:1,自引:1,他引:0
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D—quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质。 相似文献
1