您现在的位置是:词典
析取记号,disjunction sign
2023-03-31 15:30词典 人已围观
1)disjunction sign
析取记号
2)disjunction symbol
析取记号
3)extract
析取
1.
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.
针对实际应用的问题,提出一种基于数据库的文件上传方法,该方法通过表单提交文件信息,服务器端程序从多域数据流析取文件内容并直接写入数据库。
2.
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字段,从而实现文件上传。
4)disjunctive
析取
1.
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.
讨论中介逻辑命题演算扩张系统MP*中在等值(|=|)意义下的完全析取范式的存在性和唯一性。
2.
The definition of complete f-disjunctive and quasi-complete f-disjunctive languages are presented and their algebric characterestics are also discusse
给出了完全f-析取语言和拟完全f-析取语言的定义,讨论了它们的代数性质。
5)disjunction
析取
6)logic sum
析取
7)Disjunctive graph
析取图
1.
Job Shop Scheduling Project with Process Relativity And its Disjunctive Graph Modeling;
考虑工序相关性的Job Shop调度问题及其析取图模型
2.
This paper analyses the critical jobs and the critical path of the disjunctive graph.
本文针对一类Job-shop调度问题关于加工时间在某一闭区间上任意变化的不确定性问题,应用析取图模型,分析图中的关键工序和关键路径,从满意调度的不变性出发,得到了一种针对利用各种启发式算法得到的满意解进行鲁棒性分析的方法。
8)data extraction
数据析取
1.
Data warehouses are widely used in retail trade, finance and insurance; that produce many ways of data extraction.
数据仓库技术在零售、银行、保险等行业得到应用,产生了许多数据析取方法。
2.
0 s DTS program interface, and accomplishes the data extraction from all kinds of OLTP database systems to the data warehouse with the tool.
针对数据仓库中的数据析取问题 ,以通用性为目标 ,分析、设计并利用MicrosoftSQLServer 7。
3.
This paper defines the concept of data extraction on the base of analyzing the structure of data warehouses and study data extraction processes, classify it into six types.
对数据仓库体系结构进行分析的基础上给出了数据析取的定义 ,并对数据析取过程进行分类研究 ,分别对这几类数据析取过程进行了分析和描述 ,由此对数据析取工具进行总体设计。
9)Value extraction
价值析取
10)disjunctive normal form
析取范式
1.
Proceeding with both-branch proposition,the paper provides the characteristics of both-branch fuzzy logic and both-branch fuzzy logic expressions,Disjunctive Normal Form and Conjunctive Normal Form of both-branch fuzzy logic expressions.
从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。
2.
In this paper, through the use of the disjunctive normal form and the principal disjunctive normal form, we propose some general algorithms concerning the grand minimal dominant set, the minimum dominant set, the minimal edge dominant set, and the minimum edge dominant set of graphs.
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算
3.
In this paper, we make use of disjunctive normal form and prinpical disjunctive normal form to give some methods of independent set and maximal independent set,as well as a general algorithm.
给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法 ,并给出了一般算法 。
补充资料:析取
析取
uwpunfcjp
析取{击劝.以如.,几。肠。,哪司 由两个命题A和B构成一个命题“A或B”的一种逻辑运算.形式语言中,两个命题A和B的析取表示为AVB.命题A和B都称为命题AVB的析取项(disjUn加姆妞m‘).析取的意义由如下真假值表(trUth助卜)表示: 厂 B.E.n几那Ko撰沈复兴译
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
析取记号,disjunction sign
其他推荐
射有限群,pro finite group
1)pro finite group 射有限群 2)affine rational transformation 仿射有理变换 3)bilinear mappin...循环连分数,recurring continued fraction
1)recurring continued fraction 循环连分数 1. In the paper,I research into the relation between t...约化代数,reduced algebra
1)reduced algebra 约化代数 2)reductive Lie algebra 约化李代数 1. In this note,we gained a fo...正割法,the secant method
1)the secant method 正割法 1. On the convergence of the secant method in Banach space; Banach空间正...