Quantale中的理想

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

Prequantale同余及其性质

本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之间的关系,得到了Prequantale上的全体商、全体核映射和全体同余作为完备格是同构的结论．找到了与同余相对应的商的具体结构．证明了Prequantale范畴有余等子．

Girard quantale的若干性质

研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质.

Quantale中的模糊滤子

在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。

Quantale中的素理想及弱素理想

本文把Quantale中的序结构与代数运算&结合在一起给出了Quantale中素理想和弱素理想的概念。讨论了它们之间的关系,得到了Quantale中理想是(弱)素理想的充要条件。

Quantic格上的同态定理

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

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

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

“国培计划”实施过程中存在的问题及对策——以南阳师范学院数学与统计学院小学数学培训为例

以南阳师范学院数学与统计学院“国培计划”小学数学培训为例,通过问卷、访谈和研讨等调查方式,发现培训中存在着训前“诊断分析”不够全面和准确、遴选的学员难以符合项目要求、课程设置针对性不强、训后网络研修难以为继、效果评价缺乏明确的标准等问题。要解决这些问题可从以下几方面着手:加强高校与县级教育行政部门间的沟通和协作,压实双方的义务和责任;组建培训专家团队,搭建教师发展平台;鼓励高校教师参与小学的教学与管理,促进学科的建设与发展;加强资源库建设,做实训后管理与服务;承训单位及时自评,真实呈现培训实效。

用微格教学提高师范生的说课能力

总结了微格教学的基本特点,研究了影响师范生说课技能的相关因素,结合微格教学法的原理论证了利用微格教学提高师范生的说课能力的可行性,结合实际给出了微格实训的具体措施.

R(L)上分明拓扑的连通性及可数性

以点集拓扑学中的理论为工具 ,讨论了R(L)上分明拓扑的某些拓扑性质 ,证明了R(L)在此拓扑下是连通空间 ,并是第一可数和第二可数的。

LF拓扑空间的T_2与弱T_2分离性比较

主要讨论了LF拓扑空间上的T_2和弱T_2分离性的关系,给出了二者之间的一些等价条件,并得出了弱T_2空间的一些好的性质。

Girard Quantale中的算子

讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.

子Quantic格

研究了Quantic格的内部结构,给出了子Quantic格和余核映射的定义,讨论了余核映射和子Quantic格之间的关系以及子Quantic格的若干性质.

Quantic格同余

给出了Quantic格同余的定义,研究了Quantic格同余、核映射以及商对象之间的关系,证明了Quantic格的又一同态定理.

对偶C_0-半群的性质

首先给出Banach空间X上一个C0 半群 {T(t) } t≥ 0 的生成元A及其对偶半群 {T(t) } t≥ 0 的生成元A 的性质 ,接着把C0 半群扩充成C 半群 ,并讨论C 半群生成元的耗散性及其对偶半群的生成元的性质。

Quantale上的Boolean子代数

给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左(右)保持元和左(右)零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.

Excel结合CAD软件在矿产勘查中的应用

针对目前矿产勘查、储量核实中,储量估算结果块段多、数据杂,最后其估算数据及各项参数均须在图上以估算结果圈的形式表达,按常规方法在CAD中处理效率低,特别对于各块段各项数据的标注通过复制已有估算结果圈来修改容易出错的特点,讨论Excel结合CAD软件快速自动生成储量估算结果圈的方法,为处理相类似的数据提供参考。

Excel结合CAD软件在煤矿勘查中的应用

目前煤矿勘查中,见煤钻孔见煤点点位多、数据量大,按常规方法在CAD中处理效率低,特别对于分层间距的偏移量、分层数据的标注、录用纯煤厚度的标示等易出错的特点,可用Excel结合CAD软件快速自动生成煤柱子的方法,为处理类似的柱状图数据提供参考。

Banach格上对偶C_0-半群

给出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⊙ E⊙d时,对每个φ∈E⊙d,T (t)φ与φ是分离的.

R(L)型诱导空间的权、特征和浓度

针对F格R(L)引入权、特征和浓度的概念,证明了F格R(L),满层LF拓扑空间(LX,δ)及其所诱导的R(L)型诱导空间(R(L)X,ω(δ))三者在权、特征和浓度三方面三个重要的等式。