职业院校教师专业化发展评价体系重构的研究

师资队伍建设是提高职业教育质量的重要保障和学科建设的核心内容之一,职业教育教师的专业化发展问题逐步为教育界所关注。本文提出了职业院校教师专业化发展评价体系重构的原则为可持续发展原则,多元化原则,以人为本原则,动态性原则。从职业道德、行业联系、课程设计、教学组织和实施、学生服务与管理、专业发展等方面对初级教师、中级教师、高级教师设计了专业化发展评价体系。     

构造信息势场的一个偏微分方程模型

提出了用于构造传感器网络中的信息位势场的一个偏微分方程模型。一个抛物方程被引入并用于确定这个位势场;有限差分法则被用于数值求解。求解得到的位势场保留了大部分对实际应用有利的节点特征。归功于偏微分方程所具有的良好性质,多个信息位势场能够很自然地被聚合起来。     

无吊顶或镂空吊顶空间排烟设计的优化

目前建筑防排烟系统的常规设计尚存不足,对于无吊顶或镂空吊顶形式的空间,排烟口的开设方式被忽略。针对该类空间,该文进行了优化设计研究,提出了排烟口的开设不应只拘泥于常规设计中面向地面的向下排烟口,而应该更多考虑采用侧向排烟口和面向顶棚的向上排烟口。数值模拟结果比较表明:侧向排烟口和向上排烟口与常规设计的向下排烟口相比,烟气控制效果显著改善;其中向上排烟口获得的烟气控制效果最好,挡烟垂壁高度得以减小;优化设计方案可行且更加经济合理,提高了消防安全性。     

模糊完备格上模糊G-理想和模糊Galois伴随之间的一一对应

以交换单位quantale为取值格,研究了模糊完备格上的模糊G-理想。首先,给出了模糊G-理想的定义,证明了由X×Y上的所有模糊G-理想构成的集合在包含度下是一个模糊完备格。其次,研究了模糊G-理想和模糊Galois伴随之间的关系,证明了由X×Y上的模糊G-理想构成的模糊完备格与X和Y之间的模糊Galois伴随构成的模糊完备格相互同构。     

基于拟幂等的交换单位Quantale的模糊Domain

基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。     

函数式积拓扑:和拓扑、积拓扑和点式收敛拓扑的共同推广

首先,借助和拓扑,对于离散拓扑空间X,证明了任意一族以X为指标集的拓扑空间族的积空间和相对于X的点式收敛空间相同。其次,对于某拓扑空间族的笛卡尔积和其上的任意一个拓扑,给出了该积空间到其任意坐标空间的投射连续的充要条件。最后,给出了函数式积空间的定义,并且指出这类空间可以作为积空间、和空间和函数空间(点式收敛拓扑)的共同推广。     

连续格的极小集刻画

仿照完全分配格中的做法,定义了完备格上的定向极小集和连续格上的定向极小映射,从而得到了连续格的定向极小集刻画,并研究了它们的一些性质。     

基于非标准分析湍流模型及其应用

基于自然界层次结构的非标准分析湍流理论是新近提出的湍流理论，它以Robinson的非标准分析为数理逻辑基础，从全新的角度得出了三阶精度湍流封闭方程，从理论上证明了粗网格数值计算理论的正确性，为湍流及湍流相关理论如燃烧的数值计算开辟了全新的发展空间.文中运用有限体积法数值求解忽略0(ε2)项的非标准分析湍流封闭基本方程，比较了平板速度边界层计算解和Blasius解，比较了两种不同湍流模型的计算结果，初步验证了非标准分析湍流理论的正确性.     

内部算子与闭包算子的若干性质

研究了内部算子与闭包算子的一系列性质,得到如下结果:1)解决了有限完备链上内部算子和闭包算子的个数问题;2)证明了偏序集上的内部算子和闭包算子的图像是阶梯状的;3)建立了内部算子之集和闭包算子之集与某集合的幂集之间的序同构;4)找到了一个映射成为内部算子或闭包算子的等价刻画.     

内部算子及闭包算子与伴随的一些关系

研究了内部算子及闭包算子与伴随的关系,得到了2个主要结论：1)在f是内部算子,g是闭包算子的条件下,(f,g)成为伴随的充要条件是f和g的不动点集相同;2)在(f,g)为伴随的条件下,f是内部算子(或闭包算子)与g是闭包算子(或内部算子)的等价刻画．