部分四值逻辑单纯可离函数集最小覆盖之判定

根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．     

部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。     

关于部分K值逻辑中准完备集之最小复盖的一些结果（Ⅱ）

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。     

部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

P_k~*中互不相同的极大封闭集及其计算

在k值逻辑理论中,函数的完备性之判定是一个基本而重要的问题。此问题的彻底解决依赖于定出k值逻辑函数集中所有极大封闭集。对于完全定义的k值逻辑函数集P_k,经过、罗铸楷和Rosenberg等人的工作已在1973年完全解决。对于部分k值逻辑函数集P_k~*(包括完全函数和非     

集值完备映象与保紧性(摘要)

D.K.Burke研究了在单值完备映象下拓扑空间Y到拓扑空间的保紧性问题。本文是在集值映象下研究拓扑空间Y到拓扑空间X的保紧性问题。首先给出下面的定义: 设f是拓扑空间X到拓扑空间Y上的、闭的、点逆紧致映象,则称f是集值完备映象。     

三值多β门电路的逻辑完备集

根据多β晶体管和二值多β反相电路的工作特点,提出了三值多β反相电路的设计方案,从而构成了三值多β门电路的逻辑完备集,PSPICE模拟证明了所设计的电路具有正确的逻辑功能。     

关于单值与集值映象的公共不动点

在单值与集值映象相容或次相容的条件下，给出了完备度量的空间中两个单与两个集值映象的公共不动点定理。     

1，3-丙二醇在水、乙醇溶液中的体积性质

利用密度计测得常压下的混合液密度,计算1,3-丙二醇分别在水和乙醇溶液中328．15、338．15、348．15K温度下全浓度范围的表观摩尔体积和偏摩尔体积,本文用修正的Redlich-Meyer方程拟合混合液的表观摩尔体积与溶质浓度关系,最大标准偏差低于0．05ml·mol^-1,并与Redlich-Kister方程得到的偏摩尔体积比较．数据表明,溶质在溶剂中无限稀释偏摩尔体积和极限表观摩尔体积是一致的,1,3-丙二醇在乙醇里的无限稀释超额偏摩尔体积负偏差较水中更大,说明溶质-溶剂间的交叉缔合作用较溶剂内分子间作用大,且1,3-丙二醇与乙醇的分子间作用强于1,3-丙二醇与水分子间作用．     

(3+1)维KP方程和Higher-order Kdv-like方程的行波解

用tanh方法求出了(3+1)维Kadomtsev-petviashvili(KP)方程和Higher-order Kdv-like方程的行波解.同时和其它方法相比较,展示了tanh方法求解非线性偏微分方程时的简洁性、实用性.     

四元数矩阵平方保持偏序关系的刻画

给出了四元数矩阵平方保持右(左)星序关系、星序关系的完整刻画,并得到了在减序条件下含EP矩阵的四元数矩阵平方的Lwner偏序、减序的刻画。     

常微分方程部分变元稳定性理论中的矩阵问题

将Lyapunov第二方法用于研究常系数线性系统零解的部分变元渐近稳定性,可引出相关的一些特殊矩阵问题,包括部分稳定矩阵、部分位正定矩阵、矩阵方程的可解性等.给出了部分稳定矩阵的几种判据与部分位正定矩阵的标准型,研究了矩阵方程可解性、唯一性的几种条件,提出一些可供进一步研究的问题.     

拟线性双曲-抛物奇异摄动问题的O（ε^3）阶渐近展开

为讨论一个拟线性双曲-抛物奇异摄动问题的渐近展开问题,首先用能量方法建立稳定不等式,然后利用双重迭代法对原问题进行渐近展开,最后用稳定不O（ε^3）逼近式,从而证明了渐近解的一致有效性．     

CAI课件应用于原子物理课堂教学

面向２１世纪,实现教学手段现代化,在Ｗｉｎｄｏｗｓ９５下,以Ｏｆ－ｆｉｃｅ９７集成软件中的Ｐｏｗｅｒ Ｐｏｉｎｔ工具软件为主,配合３Ｄｍａｘ、ＡｕｔｏＣＡＤ软件的应用,制作了部分原子物理学电予教室（ＣＡＩ）课件,集文字、图象、声音、图形动画为一体,具有多媒体效果,生动形象地展示出教学内容,改革了传统的数学模式。     

一种基于结构和可测性分析的BIST部分扫描算法

提出了一种在内建自测试(BIST)中进行部分扫描的算法,此算法综合了电路的结构分析和可测性分析.文中对其原理和实现分别进行了详细的叙述,最后运用此算法对ISCAS89 benchmark电路进行计算,修改其结构后进行故障模拟,并将实验结果与全扫描结构和仅考虑结构因素的部分扫描结构进行了比较,最后得出结论.     

具有部分次凸位势的非自治二阶系统解的存在性

对于非自治二阶系统,在梯度函数的一个部分满足次凸条件,另一部分满足次线性增长条件下,利用鞍点定理,得到关于该系统一鞍点型解的存在性结果．     

NA序列部分和之和的中心极限定理

研究随机变量序列的部分和之和Tn=sum from i=1 to n(Si)(其中Sn=sum from i=1 to n(Xi))的极限性质,对强平稳NA序列,且EXi=0的条件下,获得了ETn2的稳定公式,并在此基础上,研究了其中心极限定理成立的条件,最后得到强平稳NA序列Tn的中心极限定理.     

用DM-分解求解几何约束问题

提出了几何约束求解的新方法:偶图DM-分解法.这种方法首先将一个几何约束系统分解成一些具有偏序关系的几何约束子系统,然后按偏序关系给出一个构造序列,从而降低了求解的难度.这种方法还可以判断是否存在过约束和欠约束的部分,并指出其存在的位置.同时,在改变几何约束问题的参数时,相应的几何图形不必完全重新构造,只需构造其中的一部分,这大大加快了构造的速度.最后举例说明这种方法的可行性和有效性.