形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

高校学科导航资源的知识组织模式及优化

就目前国内外学科资源导航建设现状 ,CALIS学科导航项目建设进展 ,导航库知识组织模式 ,Web站点信息资源的维护方案 ,信息技术对组织模式的影响 ,网络信息资源评价体系的建设方法、指标 ,建立信息质量控制机制和体系 ,信息的优化方案等问题做了探讨 ,分析了网络信息组织的发展趋势 .由此为用户提供具有较高可信度的网络信息资源的有效服务     

两类自反有向平衡不完全区组设计的存在性

给出了一个递归构造，并且应用这个递归构造给出了区组长为4，v≡2（mod12)和v≡6（mod 12)的SCDB（4，3；v)；这相当于上述两类结构存在性的证明。     

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念，采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理，为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法．通过一个“过热警报”的应用实例说明了模糊事件-条件一动作(ECA)触发器的建立及其实现方法．     

算子的模糊范数及其空间性态的刻画

利用模糊分解原理提出模糊赋范线性空间上算子的模糊范数的定义，指出赋此范数的模糊有界线性算子集构成模糊赋范线性空间且保持值域空间的完备性．     

生物医学研究热点及意义

生物医学研究是目前发展最快、令人振奋的科技领域。本文概述了生物医学的发展趋势，并对生物医学前沿领域的研究热点，如基因组、蛋白质组、细胞信号转导机制、干细胞研究、神经科学研究、生物信息学等进行了分析。对生物技术领域的研究热点，如生物芯片技术、高效基因转移系统技术、组织工程技术和干细胞定向分化技术、基因敲除和敲入技术、克隆技术等进行了综述。提出研究中应该注意针对研究热点选题，注意多学科交叉和集团作战，同时注意知识产权保护。     

一个智能型试题库管理系统的设计与分析

介绍智能型试题库管理系统的设计思想、系统特征与结构，并给出了系统的质量指标体系，重点论述了运用学生模型库和教师模型库实施组卷的关键技术。     

基于VB的自动组卷生成系统设计与应用

试题库的建设是学校考务工作发展的必然趋势 ,根据大连医科大学成人教育学院考务工作的实际情况 ,经过几年的工作总结分析 ,我们开发出了《试卷自动生成系统》,本系统从设计理念上坚持采用树状管理结构 ,每道题目都有一个主题设置 ,由“科目”、“学年”、“学期”、“章”、“节”、认知层”这六个参数组成 ,加上试题类型和试题难度 ,进而演变出试卷和成绩。本文从系统的初始设置、试卷生成等方面简要介绍了该系统的设计与实现的情况。     

西太平洋暖池温区中心沉积物磁化率记录的YD和Heinrich冷事件

通过西太平洋暖池温区中心WP 92-5 柱样沉积物磁性地层学、磁化率和δ ¹⁸O等测试与分析, 获得了布容正极性期内哥德堡、莫诺湖(Mono Lake)和蒙哥(或Maelifell)3个短暂的地球磁场漂移, 它们发生的时间约12.1～11.3, 25.0～24.0和31.0～28.0 kaBP; 并从该柱样的磁化率记录中发现Younger Dryas (YD)和Heinrich冷事件沉积层. YD 冷事件出现于30～22 cm, 年龄约11.5～10.6 kaBP; Heinrich层中的H1, H2和H3冷事件分别出现于51～39, 108～91和140～126 cm, 发生时间约15.1～13.0, 25.0～22.1和30.6～28.2 kaBP, 与大西洋中部SU90-09柱样沉积物磁化率所记录的H1, H2和H3冷事件具有较好的对应关系, 表明磁化率的变化可能是气候频繁颤动特征在大洋沉积中的一个重要标志.     

基于隧道的IP组播访问技术及其应用

UMTP是一种能使未接入组播网络但支持组播应用的单台主机透明访问组播网络的协议。本文主要介绍了UMTP的基本原理，最后使用已经实现了UMTP的应用程序在未接入组播网络的主机与组播网络之间建立了UDP隧道。