2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

基于小波的图像隐藏方法在信息安全中的应用

随着信息时代的到来,互联网和多媒体技术迅猛发展,数字多媒体信息在网上传播越来越便捷,同时也带来了信息安全的隐患问题。小波变换具有良好的时频特性且小波的多分辨分析与人眼视觉特性是一致的。在小波域对图像进行分解,可以根据HVS特性更好地隐藏信息,解决信息安全的问题。     

基于ATCA技术的IPTV系统

IPTV技术有效的把计算机，通信和电视领域结合在了一起，提供了视听，信息，通信，互动游戏，远程教育等多种业务。而高可信的电信架构ATCA正是为这样一种高要求的体系提供了一个可靠的平台。本文除了对这两种技术做详细介绍，还提供了B—STAR的IPTV系统实例。     

（BN）n及SiB（n-1）Nn（n=2-11）稳定结构的研究

利用遗传算法及Gastreich提出的经验势函数,研究了（BN）n（n=2-11）和SiBn-1Nn（n=2-11）团簇的可能稳定结构,对能量较低的异构体在HF/STO-3G水平进行优化,得到了（BN）n（n=2-11）和SiBn-1Nn（n=2-11）团簇稳定结构单环及线状结构,并进一步分析了单环的结构特征及相对稳定性。     

开区间连续函数的最大(小)值

本文将微积分中闭区间连续函数最大(小)定理推广到开区间内连续函数,在一定条件下证明了在开区间内连续函数最大(小)值的存在性,并在此基础上给出了一个求开区间内连续函数最大(小)值的一般方法.     

1,3—二(正辛基亚磺酰)丙烷的合成及其反相纸层析的R_f图谱

本文合成了1,3—二(正辛基亚磺酰)丙烷(DOSP),完成了1,3—二(正辛基亚磺酰)丙烷的四氢萘饱和溶液的反相纸层析的R_f图谱。     

河北省科技示范县（市）工业技术进步的评价

本文利用Cobb-Douglas生产函数,对河北省十三个科技示范县(市)1979～1988年间工业企业技术进步状况进行了定量分析和评价。结果表明,这些县市的年平均技术进步速度在2.34％到7.42％之间,技术进步对经济增长的贡献在24.03％到51.05％之间;与全省全民所有制独立核算工业企业在1979～1987年间的技术进步状况相比,绝大部分科技示范县(市)工业企业技术进步的效果更加明显。这一测算和分析结果大体上符合各县(市)的实际情况,对于制定科技发展和经济规划,具有重要指导意义。     

抗(耐)甜菜丛根病新品系—SN8901的选育

抗(耐)甜菜丛根病新品系—SN8901系从亲本8—67中优选单株,经丛根病圃培育,优选出的抗(耐)病品系.该品系属多粒2倍体自交系.试验、生产示范结果均优于对照新甜4号.根产量、含糖率、产糖量分别比对照新甜4号提高41.56%、2.66度和71.52%.     

Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.