GAL器件的编程和复制系统的研制

本文在原有破译仪的基础上,研制了GAL器件的编程系统,扩充了原系统的编程和复制功能,使用户能对任何GAL16V8或GAL20V8编程的GAL芯片进行破译、编程和复制,在用户自己的开发环境中设计所需的逻辑系统。     

高原鼠兔体重生长动态数学模型之再探讨

本文用麦夸算法构造高原鼠兔体重生长的Logistic和Compertz曲线模型,其结果表明:Logistic曲线比Gompertz曲线更优化,Logistic模型比逻辑斯谛-指要饱和模型的精确度更高.     

理论确证与证据相关性

确证悖论的论争，仅在一阶逻辑框架内是不可真正解决的。对科学理论的确证，除了待证理论与证据之间的逻辑关系外，还取决于证据对理论关系的认识论分析，其中主要有证据对理论的正相关及其相关程度，证据与理论间的自然属性的对应性。     

面近正则外平面地图的色计数函数

首先给出了不可分离面近正则(除根面外,其它每个面的次均是常数k,其中k≥3)外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程,并给出了它的显式表达式.然后,给出了可分离面近正则外平面地图的色数、根面次和边数3个参数的色计数函数所满足的方程.     

控制工程中常用拉普拉斯变换对的准确表达

研究了在控制工程中常用拉普拉斯变换式的特点,对常用控制工程教材所附拉普拉斯变换表中的一些不完善之处进行了分析和订正。给出了检验原函数准确表达的方法,对MATLAB软件的某些符号运算结果提出了质疑。     

用矩阵讨论多元函数的极值问题

利用矩阵给出了多元函数在稳定点取极值的充分条件，提出了解决两类极值问题的代数方法。     

康托函数的应用

本文对［ａ，ｂ］上任一连续函数，利用康托函数的特性及构造方法给出一个连续逼近。     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

MFRG-DPIR FOR THE DISORDERED TRANSVERSE ISING MODEL

A new approximate scheme which is combined by the mean-field renormalization group theory (MFRG) with the discretized path-integral renormalization (DPIR) is employed in the study of the disordered tranverse Ising model (TIM). The critical properties of random-bonds Ising systems on a d-dimensional lattice are calculated with this new approximate scheme.