-
题名R-偏序集及其Scott拓扑
被引量:3
- 1
-
-
作者
高泾萍
何伟
樊磊
李娜
-
机构
中央民族大学数学与计算机科学院
首都师范大学教育技术系
-
出处
《中央民族大学学报(自然科学版)》
2006年第4期330-333,共4页
-
文摘
本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑.
-
关键词
R-偏序集
SCOTT拓扑
迁移系统
部分模拟
-
Keywords
R-poset
Scott topology
transition system
partial simulation
-
分类号
O174
[理学—基础数学]
-
-
题名R-偏序集上的不动点定理
被引量:1
- 2
-
-
作者
高泾萍
樊磊
何伟
武利刚
-
机构
牡丹江医学院教育技术与信息中心
首都师范大学
中央民族大学教学与计算机科学学院
-
出处
《首都师范大学学报(自然科学版)》
2008年第4期1-4,共4页
-
文摘
研究对象是带有偏序逼近族的偏序集(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-偏序集提供了思路.
-
关键词
不动点
逼近映射
R-偏序集
R-POSET
-
Keywords
fixed-points, approximating mapping, R-poser, R-POSET
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名浅谈计算机教学中的素质教育
被引量:2
- 3
-
-
作者
高泾萍
林利
-
机构
牡丹江医学院计算机中心
-
出处
《牡丹江医学院学报》
2003年第2期74-75,共2页
-
-
关键词
计算机教学
素质教育
应试教育
大学生
创新能力
-
分类号
G434
[文化科学—教育技术学]
-
-
题名计算机基础课程评价体系的改革与实践
被引量:3
- 4
-
-
作者
王芳
王俊林
王海波
闫实
高泾萍
刘畅
韩婷
-
机构
牡丹江医学院教育技术与信息中心
牡丹江医学院教学质量监控处
-
出处
《中国管理信息化》
2015年第6期253-254,共2页
-
基金
黑龙江省高等教育教学改革项目(JGZ201201292)
-
文摘
计算机基础是高校非计算机专业的公共基础课,侧重培养学生的上机操作能力和利用计算机解决实际问题的能力。本文依据牡丹江医学院计算机基础课程评价体系的改革与实践经验,指出采取过程性评价与终结性评价相结合的考核方式,对学生的实践技能培养和学习态度的转变起到了积极的推动作用,提高了教学质量。
-
关键词
计算机基础
课程评价体系
过程性评价
终结性评价
-
分类号
TP3-4
[自动化与计算机技术—计算机科学与技术]
-
-
题名考虑搜索行为与节点内容的P2P搜索方法
- 5
-
-
作者
王海波
高泾萍
刘占波
初晓峰
-
机构
牡丹江医学院教育技术与信息中心
深圳研发中心中兴通讯
-
出处
《计算机系统应用》
2010年第8期216-220,共5页
-
文摘
针对基于兴趣驱动的P2P搜索方法在挖掘节点兴趣和扩展搜索兴趣的上下文语义等方面不足,改进Social-P2P算法,给出考虑搜索行为和节点内容的P2P搜索方法。引入概念格理论,根据节点内容和用户搜索行为建立朋友列表,以朋友列表为形式背景构造概念格,建立兴趣域。搜索消息在概念格内查询,缩短搜索路径和减少搜索消息,概念偏序关系扩展查询消息的上下文语义,增强搜索精确度。实验验证该方法比Social-P2P搜索方法和泛洪搜索方法具有更好的召回率和精确率。
-
关键词
无结构P2P网络
P2P搜索
兴趣域
概念格
-
Keywords
unstructured P2P network
P2P Search
interest domain
concept lattice
-
分类号
TP391.3
[自动化与计算机技术—计算机应用技术]
-
-
题名提高医学影像专业学生对C语言学习兴趣的探讨
- 6
-
-
作者
林利
杨宇军
高泾萍
-
机构
牡丹江医学院教育技术与信息中心
-
出处
《医学综述》
2009年第15期2397-2399,共3页
-
文摘
《C语言程序设计》是一门基础编程语言,对刚接触这门语言的学生来说是难学而且不易入门的课程,特别是对于医学影像专业的学生来说更是难学、不容易理解,学生学习起来枯燥无味,对这门课程不感兴趣。为了提高学生学习《c语言程序设计》的兴趣及学习效果,本文根据教学的实际情况,提出有效的横向比较与纵向比较方法,在纵向比较当中运用一题多解以及程序优化等方法来实现教学目标,提高了学生对这门课程的学习兴趣,最终达到更好的教学效果。
-
关键词
学习兴趣
横向比较
纵向比较
程序改进
-
Keywords
Interest
Longitudinal comparison
Horizontal comparison
Improve program
-
分类号
R-05
[医药卫生]
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名R-偏序集上的cpo,代数cpo与连续cpo
被引量:1
- 7
-
-
作者
武利刚
樊磊
高泾萍
-
机构
首都师范大学数学科学学院
首都师范大学教育技术系
牡丹江医学院教育技术与信息中心
-
出处
《数学杂志》
CSCD
北大核心
2010年第5期871-876,共6页
-
文摘
本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.
-
关键词
R-偏序集
CPO
代数cpo
连续cpo
-
Keywords
R-poset
cpo
algebraic cpo
continuous cpo
-
分类号
O189.1
[理学—基础数学]
O153.1
[理学—基础数学]
-