Quantic格上的同态定理

研究了Quantic格的内部运算,证明了Quantic格中的二元运算&满足结合律的充分必要条件是对任意的a、b、c∈ Q,均有a&b→c=a→(b→c).讨论了商Quantic格与核映射之间的关系,证明了Quantic格上的同态定理:设f:P→Q是满的Quantic格同态,则存在P上的核映射j,使得Pj(～=)Q.     

Banach格上对偶C0-半群

给出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)ψ与ψ是分离的．     

Quantale中的理想

给出了Quantale中(左，右)理想的概念，讨论了Quantale中任意子集生成的(左，右)理想的具体结构，研究了Quantale中的理想与它的格意义下理想之间的关系，得到了当Q是可换Quantale时，Id(Q)中元是幂等的充要条件。     

基于完备余剩余格的反向三I算法

提出了一般余剩余格中的反向三I算法规则,给出了基于完备余剩余格的反向三Iα-MIFMP算法和反向三Iα-MIFMT算法,证明了CRL-型反向三IMIFMP算法和CRL-型反向三IMIFMT算法是P-还原算法,并基于Lukasiewicz余伴随对和R0余伴随对中的Θ算子给出了FMP问题和FMT问题关于反向三IMIFMP规则和反向三IMIFMT规则的解法.     

金属切削表面粗糙度在线监测研究现状

针对目前表面粗糙度在线监测准确度比较低的现状,对影响切削表面粗糙度的多种因素进行了总结,提取了具有显著影响的因素.对常用的传感器和建模方法进行了比较,分析了改进的人工智能算法在监测建模中的优越性,可为加工表面质量在线监测提供参考,为今后的研究和监测结果的改善提供依据.     

压差方程的广义黎曼问题格式

引入黎曼不变量对中心疏散波重解,构造了压差方程的广义黎曼问题格式.数值结果验证了广义黎曼问题格式的高精度性质,发现Godunov类型格式对压差方程只包含强简单波的黎曼解有很高的精度,对包含弱简单波的黎曼解是不适用的.     

超声振动车削系统设计及变幅杆模态分析

鉴于超声振动车削在实际生产中的重要意义,设计了一套超声振动车削系统．对换能器设计中需要考虑的多种因素进行分析,通过解析法确定变幅杆尺寸,利用abaqus对变幅杆进行模态分析,验证了设计的合理性．     

Girard quantale的若干性质

研究了Girard quantale的内部结构，讨论了新算子｜→r（｜→l）的一系列性质．找到了Girard quantale的等价刻画以及一个D—quantale是Girard quantale的充要条件，并探讨了Girard quantale中有效元的一些简单性质。