高泾萍
- 作品数:9 被引量:10H指数:2
- 供职机构:牡丹江医学院更多>>
- 发文基金:黑龙江省高等教育教学改革工程项目中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域:自动化与计算机技术理学文化科学医药卫生更多>>
- 计算机基础课程评价体系的改革与实践被引量:3
- 2015年
- 计算机基础是高校非计算机专业的公共基础课,侧重培养学生的上机操作能力和利用计算机解决实际问题的能力。本文依据牡丹江医学院计算机基础课程评价体系的改革与实践经验,指出采取过程性评价与终结性评价相结合的考核方式,对学生的实践技能培养和学习态度的转变起到了积极的推动作用,提高了教学质量。
- 王芳王俊林王海波闫实高泾萍刘畅韩婷
- 关键词:计算机基础课程评价体系终结性评价
- R-偏序集及其Scott拓扑被引量:3
- 2006年
- 本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑.
- 高泾萍何伟樊磊李娜
- 关键词:SCOTT拓扑
- R-偏序集上的cpo,代数cpo与连续cpo被引量:1
- 2010年
- 本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.
- 武利刚樊磊高泾萍
- 关键词:CPO
- R-偏序集上的不动点定理被引量:1
- 2008年
- 研究对象是带有偏序逼近族的偏序集(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-偏序集提供了思路.
- 高泾萍樊磊何伟武利刚
- 浅谈计算机教学中的素质教育被引量:2
- 2003年
- 高泾萍林利
- 关键词:计算机教学素质教育应试教育大学生
- 提高医学影像专业学生对C语言学习兴趣的探讨
- 2009年
- 《C语言程序设计》是一门基础编程语言,对刚接触这门语言的学生来说是难学而且不易入门的课程,特别是对于医学影像专业的学生来说更是难学、不容易理解,学生学习起来枯燥无味,对这门课程不感兴趣。为了提高学生学习《c语言程序设计》的兴趣及学习效果,本文根据教学的实际情况,提出有效的横向比较与纵向比较方法,在纵向比较当中运用一题多解以及程序优化等方法来实现教学目标,提高了学生对这门课程的学习兴趣,最终达到更好的教学效果。
- 林利杨宇军高泾萍
- 基于R-偏序集的语义域研究初探
- 本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.本文在R-偏序集上定义了Scott拓扑,这为在R-偏序集上的逼近...
- 高泾萍
- 关键词:SCOTT拓扑不动点
- 文献传递
- 考虑搜索行为与节点内容的P2P搜索方法
- 2010年
- 针对基于兴趣驱动的P2P搜索方法在挖掘节点兴趣和扩展搜索兴趣的上下文语义等方面不足,改进Social-P2P算法,给出考虑搜索行为和节点内容的P2P搜索方法。引入概念格理论,根据节点内容和用户搜索行为建立朋友列表,以朋友列表为形式背景构造概念格,建立兴趣域。搜索消息在概念格内查询,缩短搜索路径和减少搜索消息,概念偏序关系扩展查询消息的上下文语义,增强搜索精确度。实验验证该方法比Social-P2P搜索方法和泛洪搜索方法具有更好的召回率和精确率。
- 王海波高泾萍刘占波初晓峰
- 关键词:无结构P2P网络P2P搜索兴趣域概念格