论文部分内容阅读
定义了一种既永真又易于识别的析取范式──三角式，用它对析取范式的结构进行了分析，得出如下结果：在由ｎ个确定的命题变无所可能构成的一切析取范式中，含三角式的占绝大多数．基于这个结果，探究出一个判定析取范式永真性的近似快速求解算法．
用三角式判定析取范式永真性的算法研究
【摘 要】
：
定义了一种既永真又易于识别的析取范式──三角式，用它对析取范式的结构进行了分析，得出如下结果：在由ｎ个确定的命题变无所可能构成的一切析取范式中，含三角式的占绝大多数．基于这
【出 处】
：
江汉学术
【发表日期】
：
1996年6期
其他文献
Currently, pancreatic adenocarcinoma mainly occursafter 60 years of age, and its prognosis remains poor despite modest improvements in recentdecades. The aging
Following the characterization of a human betaretrovirusin patients with primary biliary cirrhosis （PBC）,pilot studies using antiretroviral therapy have beencondu
本文讨论状态方程Ｐ＝γρг且指数г＝ 时，引力源为理想流体的爱因斯坦场方程，在Ｒ－Ｗ度规下无宇宙因子时的解．这可以丰富我们的求解宇宙模型．
Since its introduction into clinical practice 15 yearsago, capsule endoscopy （CE） has become the first-lineinvestigation procedure in some small bowel pathologies
用“对流免疫电泳法”检测２１７例人群血清中苏云金杆菌１８７、１８９７菌株的天然抗体，阳性率为１８７：１．４％、１８９７：０．９％，其中１２例经常接触这两种微生物的实验室工作人员的血清都为阴性，表明它们对人体均无大的影响．
Hepatocellular carcinoma （HCC） is one of the mostcommon causes of cancer-related death worldwide.Chronic infection of hepatitis B virus （HBV） and/orhepatitis C viru
作者考虑一类具有有界于扰和未知参数的非线性系统（１），设计出一种适用于输出跟踪的鲁棒自适应控制器。该控制器对线性参数化的不确定性和有界干扰具有鲁棒性，能保证闭环系统的全局