排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题. 相似文献
2.
根据仿生学原理,模拟生物系统的免疫机理,设计了计算机系统安全模型GECISM (GEneral Computer Immune System Model ).该模型由不同的代理构成,各代理模拟不同的免疫细胞的功能,通过相互协作,区分系统中的"自我"、"非我",并消除"非我". 相似文献
3.
伍家凤 《安徽工程科技学院学报:自然科学版》2004,19(2):6-9
设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-连通分支. 相似文献
4.
程功弼 《哈尔滨师范大学自然科学学报》2004,20(1):90-95
徐福东渡的历史传说源远流长,徐福故里——“徐福村”也在近年大白于天下.但目前对于徐福东渡事件的研究还偏重于历史方法,本文通过研究认为:此事件的发生与当时的区域地理环境有很大关系,一定的自然条件和人文条件对此事件的发生有很大影响,其中既有必然因素也有偶然因素.当地区位条件——“秦东门”——使徐福村在当时有着重要的地理和军事政治意义;自然地理环境气候、地形地貌、海岸线等因素是徐福在此东渡的主要条件;当时的人文地理环境对徐福乃至整个秦国有着探索新知的推动作用. 相似文献
5.
本文研究高压叶片泵中存在的配流冲击对油泵性能的影响。指出配流冲击是高压叶片泵的主要振源和噪声源,它直接影响到油泵的效率、可靠性和寿命。消除配流冲击的方法是在叶片泵配流器件——侧板上设置压力过渡区。侧板上的压力过渡计算是以相邻两个叶片组成的密封腔作为工作腔,定子环过渡曲线作为工作曲线。侧板与定子环工作的相对位置决定于压力过渡区的结构要素。 相似文献
6.
陶皖 《安徽工程科技学院学报:自然科学版》2003,18(4):44-48
XML管理系统在各自的表现能力和查询处理效率上有很大的不同,XML的用户应选择适合他们需要的XMLMS。本将介绍XML-enabled数据库系统和Native XML数据库系统的特点和差异,并通过一些数据库产品来比较它们的性能. 相似文献
7.
环境经济在大连城市旅游发展中的重要作用 总被引:2,自引:0,他引:2
近十年来,通过对城市的整体环境的改造,大连率先在全国走出了一条发展环境产业,以环境立市的发展道路,并取得了显著的成效,环境经济促进了大连旅游业的发展;同时大连作为北方重要的滨海旅游城市,旅游业的大发展也促进了城市经济的腾飞。随着城市旅游的兴起,为大连旅游业提供了广阔的空间和持续发展的契机。大连将以环境革命为动力,把大连建设成生态环境更加优美,人与自然和谐并进的国际性风景旅游城市。本文旨在从环境经济与城市旅游相互依存和互动的关系出发,探讨了环境经济下大连城市旅游的发展空间。 相似文献
8.
本文提出的双光束紫外分光光度法,为测定双氯灭痛的含量提供了一种新的测定方法,并对几个生产厂家的感冒通片中的双氯灭痛作了定量分析的比较。 相似文献
9.
以甜瓜无菌苗子叶为供试材料游离原生质体,原生质体在1/2MS培养基附加2,4-D1.0mg/L、6—BA0.5mg/L中做液体浅层培养。4~5天细胞第1次分裂,两周后形成小细胞团,添加低渗培养基继续培养,产生大量愈伤组织和部分胚状体。 相似文献
10.
从杜仲嫩芽中提取和纯化磷酸酯酶,并对其性质进行了初步研究.粗酶液经盐析、DEAE-Cellulose离子交换柱,Sephadex G-25和Sephadex G-200层析柱进行纯化.该酶的最适pH值为8.0,最适温度为30 ℃,以对硝基酚磷酸酯(NPP)为底物,测得Km为3.10 μmol/L.酶活的变化受金属离子的影响,当Mg2+浓度为10 mmol/L时,对酶的激活作用最强. 相似文献