0-1型与非0非1型逻辑方程构成的逻辑方程组的解法

为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1＋S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3＋S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。     

逻辑方程F=G的解集研究及其应用

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F G=0和F- G-=0的解集分别为S3、S4,则F=G的解集为S3 S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′ S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。     

用逻辑方程解集关系求逻辑方程组的解集

给出了逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１,ｍｉ＝１　ＦｉＧ－ｉ＝１及逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集关系定理,得到了如下结论：若逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１和ｍｉ＝１　ＦｉＧ－ｉ＝１解集分别为Ｓ１和Ｓ２,则逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集为Ｓ１－Ｓ２．     

用逻辑代数探索破案

设F为逻辑式,则称F=1为Ⅰ型逻辑方程;F=0为0型逻辑方程.并且若干个逻辑方程可组成逻辑方程组.其一般解法为:例如(A B)(B (?))=1推得 ABC AB(?) (?)BC (?)B(?) A(?)(?)=1得解集为:S={111,110,011,010,100}通常的公安人员在破案过程中采用逻辑推理的方法,通过严密的调查、推理论证、去伪存真最后断案.本文试图变上述繁杂语言逻辑推证过程为采用逻辑运算符号,并建立公式化的逻辑方程(组)进行运算,使破案过程程序化.从而能科学、快速、准确地得出结论,为破案工作开创一条新的捷径.     

二阶非线性差分方程的非振荡性

本文讨论二阶非线性差分方程△(r_n△x_n)+f(n,x_n)=0 (1)的非振荡性。我们有如下结果:a) 若有sum from k=n_0 to + (1/r_k)<+∞,则方程(1)的非振荡解有且仅有下列四种类型:K_α~β,K~∞,K_0~β,K_0~β,K_0,;b) 若有sum from k=n_0 to + (1/r_k)<+∞,则方程(1)的非振荡解有且仅有下列三种类型:K~0,K~β,K_α~0;c) 当f是超线性或次线性时,给出了方程(1)存在属于K_(■)~β,K_(■)~β,K_0~β,K_α~0,K_(■)~β型非振荡解的充要条件。这些结果已推广并改进了Szmanda在[5]中的结论。     

一类非局部边值条件抛物型方程组解的性质

研究了一类具有3个方程的带局部源的非局部边值条件的非线性抛物型方程组解的爆破性质,通过构造上下解的方法,得到了方程组解的爆破性与整体存在性。     

一类非局部边值条件抛物型方程组解的性质研究

研究了一类具有3个方程的带局部源的非局部边值条件的非线性抛物型方程组解的爆破性质,通过构造上下解的方法,得到了方程组解的爆破与整体存在的条件.     

max-~*合成模糊关系方程的解集

主要讨论[0,1]上max-*合成模糊关系方程的解集.首先,给出单个变量方程有解的充要条件.然后,讨论多变量单一方程的解集,给出方程解集非空的充要条件;在解集非空时,给出方程的极小解以及极小解的个数.最后,讨论方程组解集非空的充要条件,并且在方程组解集非空时,给出求极小解的方法和方程组的解集.     

非一致拟线性抛物型方程广义解的极值原理

本文讨论非一致拟线性抛物型方程和一类方程组的广义解的极值原理,结果由定理2和定理3给出,它们是椭园型和一致抛物型方程相应结果的推广。     

几类超椭圆丢番图方程组的解

利用初等方法及超椭圆丢番图方程x4-Dy2=1的解与Pell方程基本解的关系,研究由两个超椭圆方程x4-D1y2=1和y4-D2z2=1构成的方程组,证明了该方程组至多只有一组正整数解;对于D1,D2的四类取值,给出了其唯一正整数解的求解公式.本文结果还说明,有无穷多个非平方的正整数D1,D2,使该方程组有正整数解.     

类型系统λωX≤

为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类型系统λωX≤,文章介绍该类型系统有关类别（Kind)算子（Operator),项（Term）的规则,及其与建立范畴论语义模型有关的结构性质。     

电学中的验证型、设计型和综合型实验对比分析

实验一般分为验证型、设计型和综合型三种。本文着重对比分析在电学实验中这三种类型实验教与学的特点。     

零级型函数

建立了一种适用零级的上型函数及下型函数,为更精确地研究零级函数创造了条件.     

文章类型和考题类型对二语完形填空测试成绩的影响

通过实验考查了文章类型（叙述文和说明文）和考题类型（选择式和填空式）对二语完形填空测试成绩的影响，以及这种影响是否会受到不同题目性质（意义类和形式类）的调节作用。实验结果表明：总体上，文章类型、考题类型及两者交互作用均对成绩有显著影响；对于意义类题目，两个变量及其交互作用均对成绩有显著影响；对于形式类题目，文章类型和考题类型有显著影响，而其交互作用无显著影响。     

实用型指纹识别系统的研究

描述了一种兼有联机式和独立式的实用型指纹识别系统.在联机式工作模式下,终端通过以太网和中央服务器连接,将指纹算法的运行、指纹数据库的存储放在服务器端,该系统具有存储量大、运算速度快、功能强等特点,但是一旦网络瘫痪则系统无法工作;独立式指纹识别系统能够在终端识别指纹,不依赖网络.通过将两者结合起来,解决了指纹识别系统中性能和可靠性的矛盾.     

H型群上半线性次Laplace方程的Liouville型定理

研究了H型群上的半线性次Laplace方程．在适当的条件下,通过建立一个先验不等式,证明了其唯一非负解是平凡的．     

P方凸函数及其Jensen型和Rado型不等式

给出p方凸函数的定义和判别方法及其Jensen型和Rado型不等式,进一步推广了一些已知的结果.     

“立项式”管理与“活动式”服务——关于河北省城市社区建设的思考

搞好城市社区管理与服务工作关乎民生幸福与城市形象。河北省城市社区建设中存在的主要问题有行政性事务繁多、活动经费不足、社区工作人员待遇不高等,可考虑采取"立项式"管理与"活动式"服务的措施,以进一步提高城市社区管理与服务的水平。