1) Logic equational group
逻辑方程组
1.
For the varied and easy solution to the logic equational group,this paper gives the necessary condition to establish the logic equational group made up of zero-one type and non-zero type and non-one type logic equations,and also gives the method to change the logic equational group into zero type and one type logic equations.
为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。
2.
The article gives some theories about the relations among solution sets of logic equations ∏from i=1 to m (Fi+■)=1,∏from i=1 to m Fi■=1 and logic equational group {F1=G1, Fm=Gm.
给出了逻辑方程∏from i=1 to m (Fi+■)=1,∏from i=1 to m Fi■=1及逻辑方程组F1=G1,┇Fm=Gm的解集关系定理,得到了如下结论:若逻辑方程∏from i=1 to m (Fi+■)=1和∏from i=1 to m Fi■=1解集分别为S1和S2,则逻辑方程组F1=G1,┇Fm=Gm的解集为S1-S2。
2) linear logical equations
线性逻辑方程组
1.
First,the method to finding the solutions to one kind of linear logical equations was given.
首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法。
3) logical equation
逻辑方程
1.
The methods of finding the solutions to logical equation and logical equations;
逻辑方程和逻辑方程组的解法
2.
The author systematically describes the design and the development of the KPS system from aspects of the innovation background,the functional requirements,the design of logical equation,the software architecture and the functions application,and so forth.
从改造背景、功能需求、逻辑方程设计、软件体系结构及功能应用等方面对KPS系统的设计开发进行了系统的描述。
4) logic equation
逻辑方程
1.
Exploration of logic equation F=G s solution;
逻辑方程F=G解法的探讨
2.
To simplify mutual exclusive multivariable logic function through logic equation;
用解逻辑方程的方法化简互斥多变量逻辑函数
3.
The article gives some theories about the relations among solution sets of logic equations ∏from i=1 to m (Fi+■)=1,∏from i=1 to m Fi■=1 and logic equational group {F1=G1, Fm=Gm.
给出了逻辑方程∏from i=1 to m (Fi+■)=1,∏from i=1 to m Fi■=1及逻辑方程组F1=G1,┇Fm=Gm的解集关系定理,得到了如下结论:若逻辑方程∏from i=1 to m (Fi+■)=1和∏from i=1 to m Fi■=1解集分别为S1和S2,则逻辑方程组F1=G1,┇Fm=Gm的解集为S1-S2。
6) logistic equation
逻辑化方程
补充资料：拟线性双曲型方程和方程组
拟线性双曲型方程和方程组
quasi-linear hyperbolic equations and systems
尸二。*(“，卢)，g=u，(“，刀)的六个一阶方程，其中之一是由所有其他的导出的，可以考虑这个具有五个未知函数的五个拟线性方程的组.对类似的方程组，因此对拟线性方程，成立Q成勿问题解的存在性和唯一性定理.这个方法，无需作任何重大的改变，可以应用于二阶拟线性组 a。二，+b。女，+eu堆。+韶二0，j=l，‘·，k，其中系数依赖于x，t和诸函数叼【补注】有关应用，见仁A2]一汇A3].拟线性双曲型方程和方程组【q退函七翔口hy碑比叱e闰四d.”.川另喊曰璐;~If皿.e益”砒咖eP加皿，ee翩e郑姗尹H.，“c邢cWM曰] 形如 乙「ul二又a‘D，u二f(l、 】口】‘爪的微分方程和微分方程组，方程组(l)是对具有分量。，(x)，…，。*(x)(在单个方程情形下，丸二l)的矢量值函数u(x)来求解的.系数矿是矩阵，它的元依赖于空间自变量x=(x。，二，x。)和矢量值函数u，以及它的直到嫩一1阶在内的偏导数.右端项f亦依赖于这些变量.如果矿是和u的分量个数有相同阶的方阵，那么称(1)是确定方程组(de沈rn应贺d哪t曰m).特征形式(chara叱ristic form) e‘古’一。‘“。，”‘，“·，一det…1.:落。二;·……是由L的丰邵(p血cip司part)艺{二{一‘少所决定的.这里D“=沙!/刁瑞。…日袱·，而扩=鱿，.‘’C“· 方程组(1)的双曲性是由算子L的下列表征所定义的.对于x，u及其直到川一1阶在内的导数的每一组值，存在一个矢量心‘R”+’，使得对任一不平行于心的叮〔R”+’，特征方程(cllaraCteristic叫Uation) Q(又心+粉)二0(2)有mk个实根又(每个根有多少重就算多少次). 通过某点尸‘R”十’且垂直于矢量省的面元称为空向的(印ace】正e)，垂直于空向面的方向称作时向的(石力℃」正e)， 一曲线，在它每个点上都有时向的切线，称作时向曲线(ljme.】ike~). Ca.dly问题(Ouchy Problem)在拟线性双曲型方程和方程组的所有问题中占有中心位置，它是在下列条件下求方程组(l)的解u的问题:在由方程 职(x)“0，!D，卜}gad甲1尹0所定义的某个光滑的n维超曲面n上，已给函数u以及它的(沿某个不切于n的方向的)直到爪一l阶(在内)的偏导数的值.如果总可以求得这样的解，那么n称作是关于L的自由超曲面(6优b)咪r-surfa此). 如果(1)的系数和给在解析自由超曲面n上的Q叻y条件都是解析的，那么在n的一个邻域中的解析解是唯一的;如果Q公勿条件还包含有n上所有直到。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条