阎林
- 作品数：5 被引量：0H指数：0
- 供职机构：河南师范大学计算机科学系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学更多>>
- K-Suslin树同ZF+┐AC的协调性问题
- 1992年
- 本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M[G]之间构造一个模型N,即M(?)N(?)M[G],使得在N中T仍为K—Suslin树且N(?)+ZF+┐AC,于是便有N(?)存在K—Suslin树+ZF+┐AC。该问题的证明过程中主要采用了力迫法。
- 阎林
- 同构于U1tu的传递模型中序数的性质
- 1993年
- 对于可测基数K,有非主K-完备的超滤∪■P(K),由此可得到ZFC的模型∪ltu以及同构于∪ltu的传递模型M.本文讨论了M中序数的一些性质,得出了如下结论:1)若f:K→Ord为函数,则Π([f])为M中序数(Π:∪ltu→M为同构映射);2)M中的基数Π(j_u(k))不为∨中的基数(j_u=∨→∪ltu为自然嵌入);3)Π与自然嵌入ju的复合Π·ju不为满射,由此可推知ju不为满射。
- 阎林
- 关键词：同构序数
- 教师的辅助工具——瑞文标准推理智力测试系统
- 对学生智力水平的了解是教师能够有目的地、更好地实施教学的重要参考依据。"瑞文标准推理智力测试系统"就是能够帮助教师对学生进行智力测试的一套应用软件。本文首先介绍了"瑞文测试"的科学理论方法,然后着重研究与讲述了"瑞文测试...
- 周万松阎林
- 文献传递
- “DRAW”语句作图技巧
- 1994年
- DRAW语句是BASIC语言中作图语句之一,对该语句的灵活运用可以在屏幕上绘制出各种比较复杂的图形。本文讨论了利用DRAW语句作图的一些技巧,比如坐标的选取问题,特殊图形的动画问题等。
- 阎林
- 关键词：BASIC语言
- 利用TURBOC直接访问图象存储区的方法
- 1995年
- 不利用TURBOC中的图形函数直接访问象存储区,在显示器上画出各种图形对于开发图形软件是非常重要的.本文以VGA模式18(分辨率为640×480)为前提,通过具体的例子讨论了如何直接访问该模式存储区的方法.这种方法也为访问其它模式的存储区提供了值得借鉴的做法.
- 阎林
- 关键词：C语言微机
