This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义,同时分析它们的形式和用法。
A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。
The definition of complete f-disjunctive and quasi-complete f-disjunctive languages are presented and their algebric characterestics are also discusse
给出了完全ｆ－析取语言和拟完全ｆ－析取语言的定义，讨论了它们的代数性质。
By sending the file information through HTML form, the Action on the server side extract the file from multipart stream and store it into the database.
针对实际应用的问题,提出一种基于数据库的文件上传方法,该方法通过表单提交文件信息,服务器端程序从多域数据流析取文件内容并直接写入数据库。
In this solution, the file information is sent in the browser side via filling of HTML form, and extracted from multipart stream in the server side, and stored as binary stream into the BLOB field of database.
该方法通过表单提交文件信息,从多域数据流析取文件内容,并以二进制方式存入数据库的BLOB字段,从而实现文件上传。
Thermodynamic Properties of Extraction of Nonionic Surfactant;
非离子表面活性剂析相萃取的热力学性质
Effect of Chromotropic Acid Reagent Structure on Extraction Efficiency;
偶氮变色酸类试剂的分子结构对析相萃取率的影响
Job Shop Scheduling Project with Process Relativity And its Disjunctive Graph Modeling;
考虑工序相关性的Job Shop调度问题及其析取图模型
This paper analyses the critical jobs and the critical path of the disjunctive graph.
本文针对一类Job-shop调度问题关于加工时间在某一闭区间上任意变化的不确定性问题,应用析取图模型,分析图中的关键工序和关键路径,从满意调度的不变性出发,得到了一种针对利用各种启发式算法得到的满意解进行鲁棒性分析的方法。
A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form
合取范式化为析取范式的DNA表面计算
quasi-prenex disjunctive kernel normal form function
拟前束析取核范式函数
Of a proposition that presents two or more alternative terms.
析取的，选言的有两个或两个以上可供选择的析取命题的
Sampling methods for chemical analysis of crude gold
GB/T17373-1998合质金化学分析取样方法
Returns a set of tuples from extracted dimension elements.
从析取的维度元素中返回元组集合。
automatic noise sample analyzer
自动噪声取样分析仪
random access wiring analyzer
随机存取布线分析仪
The conclusion reached by such analysis.
由此类分析获取的结论.
The Progress on Quantitative Analysis of the Precipitated Phase in Stainless Steel
电解提取定量分析不锈钢析出相进展
Determination of the saturation parameters by application of the sealed core data
应用密闭取心分析资料求取饱和度参数
Extraction and Separation of Effective Constituents from Tripterygium Wilfordii Hook.f--Extraction and Column Chromatogram;
雷公藤有效成份的提取及分离研究——萃取、柱层析
Study on the Application of Solid Phase Extraction Technology in the Gold Extraction and Gold Determination;
固相萃取技术在金提取和分析中的应用研究
Forensic Analysis of Network Intrusion and Research on the Modeling for Network Intrusion Forensic System;
网络入侵的取证分析及取证系统建模研究
Analysis of the assisted reproduction outcomes of 11 cases with semen procurement difficulty on the day of oocyte pick-up
取卵日取精困难患者11例助孕结局分析
sampling and preparation method for analysis raw material for pulp
纸浆原料分析-取样方法和制备方法
Fibrous raw material of sampling for analysis
GB/T2677.1-1993造纸原料分析用试样的采取
Pig iron-Sampling for chemical analysis
GB/T719-1984生铁化学分析用试样制取方法
Structural Analysis and Summarization of Soccer Video
足球视频的结构分析及其概要抽取