R-偏序集及其Scott拓扑

本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑.

R-偏序集上的不动点定理

研究对象是带有偏序逼近族的偏序集(posets withfamilies of approximating partial orders,简称R-偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Lu姫s Monteiro在带有等价关系的集合(sets withfamilies of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial orders)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET(即以R-偏序集为对象,R-单调映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路.

计算机基础课程评价体系的改革与实践

计算机基础是高校非计算机专业的公共基础课,侧重培养学生的上机操作能力和利用计算机解决实际问题的能力。本文依据牡丹江医学院计算机基础课程评价体系的改革与实践经验,指出采取过程性评价与终结性评价相结合的考核方式,对学生的实践技能培养和学习态度的转变起到了积极的推动作用,提高了教学质量。

考虑搜索行为与节点内容的P2P搜索方法

针对基于兴趣驱动的P2P搜索方法在挖掘节点兴趣和扩展搜索兴趣的上下文语义等方面不足,改进Social-P2P算法,给出考虑搜索行为和节点内容的P2P搜索方法。引入概念格理论,根据节点内容和用户搜索行为建立朋友列表,以朋友列表为形式背景构造概念格,建立兴趣域。搜索消息在概念格内查询,缩短搜索路径和减少搜索消息,概念偏序关系扩展查询消息的上下文语义,增强搜索精确度。实验验证该方法比Social-P2P搜索方法和泛洪搜索方法具有更好的召回率和精确率。

提高医学影像专业学生对C语言学习兴趣的探讨

《C语言程序设计》是一门基础编程语言，对刚接触这门语言的学生来说是难学而且不易入门的课程，特别是对于医学影像专业的学生来说更是难学、不容易理解，学生学习起来枯燥无味，对这门课程不感兴趣。为了提高学生学习《c语言程序设计》的兴趣及学习效果，本文根据教学的实际情况，提出有效的横向比较与纵向比较方法，在纵向比较当中运用一题多解以及程序优化等方法来实现教学目标，提高了学生对这门课程的学习兴趣，最终达到更好的教学效果。

R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.