Lambek逻辑的名词化扩充

出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的.     

判断的定性映射模型与非线性模式分类（I）

基于事物属性量-质特征转化关系的简单性质判断可归结为一个定性映射τp(x，cp)，(判断元素x是否属于集合S的)特征函数、单(或多)指标性质判断和单(或多)特征向量判断(或检索)，可分别归结为以一般集合S、区间(αi，βi)、区间向量、区间矩阵、向量和矩阵为定性基准cp的定性映射．     

利用iTECS检测桥梁混凝土结构的内部缺陷

通过iTECS(Integrity Test Equipment for Concrete Structures)检测三小营南桥T梁混凝土厚度,利用最大熵频谱分析和傅里叶频谱分析结果误差很小,最大熵谱分析更精确.通过多次试验,得出根据测试厚度判断混凝土结构内部离析、不密实与空洞的不同方法:当测试的厚度明显小于实际厚度时表明该混凝土构件内部存在孔洞;当测试的厚度远大于实际厚度时表明该混凝土构件内部存在不密实、离析等缺陷.通过对室内大厚度混凝土结构的厚度探测,发现当混凝土结构内部缺陷深度超过一定范围时,利用iTECS只能测试混凝土结构内部缺陷的位置,而不能精确的探测出缺陷的深度.同时对正对空洞处及空洞边缘处测试到的明显不同厚度进行了探究.     

谈体育游戏在体育教学中的合理运用

体育课中合理的运用体育游戏能够充分调动学生上课的积极性,提高教学质量,还可以弥补少数学校体育设施不完善的不足。     

高师体育教育改革之我见

为适应素质教育的需要 ,针对师范生的职业特点和目前我国学生与成人的健康状况 ,高师体育教育应加强对师范生健身意识和健身能力的培养。通过对高师体育教育中存在的问题进行分析 ,提出了一些改进措施与方法。     

属性论的分级推理方法

有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。     

论排球的攻防发展和演变

运用文献资料和逻辑分析的方法对排球运动技术、战术和球队指导思想等三个方面的发展与演变进行了探讨,提出排球运动发展的基本规律是从攻防的不平衡到平衡再到不平衡的转化过程中不断发展的,遵循这一基本规律将促进排球运动的发展。     

作文教学中的思想教育

在作文教学中，既要传授知识，更要注重学生的思想教育。引导学生，指导学生，唤起学生，鼓励学生，让他们健康地成长。