一阶谓词演算自然演绎型直觉主义系统NDPI

学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.     

GECISM—— 一种通用的计算机免疫系统模型

根据仿生学原理,模拟生物系统的免疫机理,设计了计算机系统安全模型GECISM (GEneral Computer Immune System Model ).该模型由不同的代理构成,各代理模拟不同的免疫细胞的功能,通过相互协作,区分系统中的"自我"、"非我",并消除"非我".     

超越整函数的有限连通分支

设f是一个非常数的亚纯函数,f的迭代序列由f0=id,fl=f,…,fn 1,…确定,我们定义F=F(f)={z∈C:序列{fn}被定义,在是正规的}和J=J(f)=C-F(f),它们分别被称作Fatou集和Julia集,正规的概念按Montel意义.U是F(f)的一个有限连通分支.用解析函数理论的经典方法证明:对充分大的自然数n,fn(U)是一个2-连通分支.     

地理环境对徐福东渡历史事件的影响

徐福东渡的历史传说源远流长,徐福故里——“徐福村”也在近年大白于天下．但目前对于徐福东渡事件的研究还偏重于历史方法,本文通过研究认为：此事件的发生与当时的区域地理环境有很大关系,一定的自然条件和人文条件对此事件的发生有很大影响,其中既有必然因素也有偶然因素．当地区位条件——“秦东门”——使徐福村在当时有着重要的地理和军事政治意义;自然地理环境气候、地形地貌、海岸线等因素是徐福在此东渡的主要条件;当时的人文地理环境对徐福乃至整个秦国有着探索新知的推动作用．     

高压叶片泵的配流与消振

本文研究高压叶片泵中存在的配流冲击对油泵性能的影响。指出配流冲击是高压叶片泵的主要振源和噪声源,它直接影响到油泵的效率、可靠性和寿命。消除配流冲击的方法是在叶片泵配流器件——侧板上设置压力过渡区。侧板上的压力过渡计算是以相邻两个叶片组成的密封腔作为工作腔,定子环过渡曲线作为工作曲线。侧板与定子环工作的相对位置决定于压力过渡区的结构要素。     

XML管理方式及实现技术

XML管理系统在各自的表现能力和查询处理效率上有很大的不同，XML的用户应选择适合他们需要的XMLMS。本将介绍XML-enabled数据库系统和Native XML数据库系统的特点和差异，并通过一些数据库产品来比较它们的性能．     

环境经济在大连城市旅游发展中的重要作用

近十年来，通过对城市的整体环境的改造，大连率先在全国走出了一条发展环境产业，以环境立市的发展道路，并取得了显著的成效，环境经济促进了大连旅游业的发展；同时大连作为北方重要的滨海旅游城市，旅游业的大发展也促进了城市经济的腾飞。随着城市旅游的兴起，为大连旅游业提供了广阔的空间和持续发展的契机。大连将以环境革命为动力，把大连建设成生态环境更加优美，人与自然和谐并进的国际性风景旅游城市。本文旨在从环境经济与城市旅游相互依存和互动的关系出发，探讨了环境经济下大连城市旅游的发展空间。     

双光束紫外分光光度法测定双氯灭痛的含量

本文提出的双光束紫外分光光度法,为测定双氯灭痛的含量提供了一种新的测定方法,并对几个生产厂家的感冒通片中的双氯灭痛作了定量分析的比较。     

甜瓜原生质体培养及胚状体发生的初步探讨

以甜瓜无菌苗子叶为供试材料游离原生质体,原生质体在1/2MS培养基附加2,4-D1.0mg/L、6—BA0.5mg/L中做液体浅层培养。4～5天细胞第1次分裂,两周后形成小细胞团,添加低渗培养基继续培养,产生大量愈伤组织和部分胚状体。     

杜仲磷酸酯酶的分离、纯化及特性分析

从杜仲嫩芽中提取和纯化磷酸酯酶,并对其性质进行了初步研究.粗酶液经盐析、DEAE-Cellulose离子交换柱,Sephadex G-25和Sephadex G-200层析柱进行纯化.该酶的最适pH值为8.0,最适温度为30 ℃,以对硝基酚磷酸酯(NPP)为底物,测得Km为3.10 μmol/L.酶活的变化受金属离子的影响,当Mg2+浓度为10 mmol/L时,对酶的激活作用最强.