关于递归可枚举度可杯可盖性质的一道命题

运用关键点编码技巧构造性地证明了在递归可枚举度集中，对任给的非递归的递归可枚举度ｄ，存在可盖的递归可枚举度ａ和递归可枚举度ｃ满足ｄ≮≠ｃ，并且有ｄ≤ａ∪ｃ。     

商偏序R／M非零等价类中存在不可比代表元

证明了在商偏序Ｒ／Ｍ中，任意非零等价类中存在不可比代表元，即对任意〔ａ〕∈Ｒ／Ｍ，如果〔ａ〕≠〔ｏ〕，则存在递归可枚举度ｂ１和ｂ２满足ｂ１＊ｂ２，并且（ｂ１）＝（ｂ２）＝（ａ）。     

光盘存储技术

光盘存储技术郑州轻工业学院田辉光盘存储技术是通过光学的方法读出、写入数据的一门存储技术，使用的光源是激光光源。按读写类型来分，目前光盘一般可分为只读型、一次写入型和可抹型三种。只读型光盘由生产厂家预先用激光写入视频、音频、数字信息而成。用户只能读取光...     

数据处理与数据库

一、数据与数据处理 数据库技术是计算机软件的一个重要分支，是当代先进的数据管理技术。计算机处理的对象是数据或信息。从这个意义上说，计算机科学就是研究数据或信息的传输、存储、组织和处理的科学。 数据是一种能够由计算机处理的符号序列，它用来表示或描述客观事物或概念。为了使计算机能够对事物进行分析处理，必须将客观世界中的各种对象表示为计算机可接受的形式，即数据。也就是说，数据是客观事物的符号表示。数据一般可以分为两大类：一类是表示量值的数据，称为数值型，诸如价格、工资、长度、年龄等都属于数值型数据；另一…     

用于卷积计算的搏动型结构的研究

本文介绍一组用于卷积计算的搏动型线路,包括总数据通讯和无总数据通讯的搏动型卷积阵列两大类别,搏动型结构允许对每次访问存贮器的数据多次计算,无需增加I/O带宽就能够提高运算受限问题的运算速度.搏动型结构(Systolic Architectures)系统可以解决许多运算受限计算问题.卷积计算可用于搏动型结构系统的研究.由单片机作为处理单元的搏动型结构,可有效地实现卷积计算.     

参数化二叉树编码实现加密图像可逆数据隐藏

为了提高数据嵌入容量，提出了一种基于参数化二叉树编码的加密图像可逆数据隐藏新方法。该方法的系统由图像所有者、数据嵌入者和授权接收者三方组成，其中，图像所有者采用特殊的图像块随机调制和置乱对原始图像加密并上传；由于加密操作很好地保留了图像块的像素相关性，数据嵌入者可在加密域充分利用图像块相关性，通过自适应选择参考像素来预测同一图像块的其余像素得到预测差值，再使用参数化二叉树编码进行无损压缩生成嵌入空间，实现大容量数据嵌入；授权接收者可正确提取嵌入数据或无失真恢复原图像。仿真实验结果表明：所提方法提高了嵌入容量，且可用于医学、云服务、军事等众多领域。     

集成CAD系统中的工程数据库

该文从工程数据的复杂性出发，主要探讨集成CAD系统中工程数据库所应具有的数据的特性，可采用的数据模型、数据库语言、数据库体系结构以及数据存储方法。     

YN－V型土壤养分速测仪电路设计

ＹＮ－Ｖ型土壤养分速测仪电路设计河南农业大学潘建斌，孙玉峰，金伟土壤养分的测定是指导科学种田的一个重要方面，通过测量土壤中氮、磷、钾的含量，再根据不同作物的需肥规律，计算施肥量，就可做到科学施肥，减少浪费和污染，提高农作物产量和质量。若利用常规的化学...     

科技信息

科技信息ＱＤⅡ－６型汽车强力点火高压线郑州强力科技公司研制的专利产品（专利号９３２４４５４７．０）ＱＤⅡ６型汽车强力点火高压线，经“中国汽车技术研究中心汽车产品检测所”检测表明：该产品在不提高点火电压、高压电流和白金电流的前提下，可将火花能量提高几倍...     

渗滤液回灌促进垃圾填埋场甲烷产生的研究进展

填埋是垃圾处理处置最常见的手段。随着生物反应器型填埋场的广泛应用，渗滤液回灌作为其中一项关键技术发挥着重要作用。渗滤液回灌在加速填埋场稳定化、加速填埋场沉降和提高产甲烷气量等方面具有关键作用。本文主要回顾了渗滤液回灌技术在垃圾填埋场中增大甲烷产量的研究历程，阐述了渗滤液回灌至垃圾填埋场可促进产甲烷的机理及影响因素。渗滤液回灌技术提高了甲烷产量，若是将甲烷气体加以收集利用，可减少化石燃料的燃烧，实现废物的资源再利用，从而得到较好的社会效益。     

参数化类型及动态类型检查

数据类型是程序设计语言设计中的一个重要概念。该文通过对Milner多态类型系统的扩展,提出了一个允许将类型作为一阶对象处理的参数化类型系统,并给出了相应的动态类型检查规则。     

时态数据采掘中的时态型与时间粒度研究

研究了时态型与时间粒度的有关理论,提出了时态型、时间粒度、粗时间粒度、基时态型、基时间粒度和基准时间等概念,并研究了它们在刻画绝对时间的关系,最后给出一个一类简单频繁事件式发现的例子,对于研究时态数据采掘具有重要意义。     

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.     

两种生态型羊草叶片蛋白质的SDS-PAGE比较分析

SDS-PAGE电泳可区分不同相对分子质量的蛋白质,该法现已广泛应用于各种生物的蛋白质相对分子质量检测及不同生物种类蛋白质的比较研究.利用SDS-PAGE电泳比较分析了黄绿型和灰绿型两种生态型羊草在蛋白质水平上不同的分子质量的差异.对两种生态型羊草野外采集与移栽叶片的SDS-PAGE电泳图分析后,每个样品分别获得20～30条蛋白质条带,其中两个时期不同生态型之间稳定存在的差异条带有3条,并且可以大致确定其相对分子质量,初步推测其中可能有导致叶色差异的蛋白质.     

一类含卷积核的对偶型奇异积分方程的非正则型解法

本文研究了一类既含Cauchy核又含卷积核的对偶型奇异积分方程的非正则型积分方程的求解方法,得到了该类方程在{0}类中的可解条件与一般解。     

小型氢频标磁控管微波腔与空型腔性能的比较

用Ansoft HFSS仿真软件建立了小型氢频标空型和磁控管型微波腔模型结构,仿真了2种不同微波腔的谐振频率、品质因数和电磁场结构,通过比较发现空型微波腔当加入壳电极后,腔体内电磁场分布被改变,使得腔体轴线附近磁场分布更加均匀,而电场则主要分布在微波腔壳电极缝隙区域．     

在网球教学中实施研究型教学的实验研究

为了探索一种体育教学的新方法,依据研究型教学理论,结合网球技术课教学特点,借鉴现代教学理论的成果,针对传统体育教学法的不足,在我校2届学生中进行研究型教学实验.结果表明,实验班学生的网球技术、基本知识和考评成绩优于对照班.研究型教学的效果优于传统教学方法,该方法值得在教学中推广。     

有机化学实验教学改革的实践与探索

介绍在有机化学实验教学中 ,以培养新世纪需要的创新型人才为主导思想 ,对教学内容和教学方法不断进行改革的做法和取得的良好效果     

一阶积分-微分方程周期边值问题的极值解

通过建立新的比较定理和利用上下解单调迭代方法，获得了最大解和最小解的存在性定理。其结果是文献[1]和文献[2]给定最近结果的必要改进和补充。     

东北鼢鼠血清蛋白质成分与染色体组型的研究

用醋酸纤维薄膜电泳法分离东北鼢鼠血清蛋白质 ,用常规空气干燥法分析东北鼢鼠染色体组型 ,结果表明 :东北鼢鼠血清中含 7种蛋白质 ,分别是清蛋白1 、清蛋白2 、α1 —球蛋白、α2 —球蛋白、β1 —球蛋白 ,β2 —球蛋白、β3—球蛋白 .清、球蛋白比为 :1 44∶1 .东北鼢鼠染色体组型为 2N =62