说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 逻辑数学模型
1)  logical maths model
逻辑数学模型
1.
The research model,research approach,logical maths model,research content is discussed by analyzing distributed test and control system.
通过对分布式测控系统的分析,提出了测控网络与信息网络的逻辑集成模型,并讨论了分布式测控系统的研究模型、逻辑数学模型、研究方法和研究内容。
2)  logical data model
逻辑数据模型
1.
On the basis of current navigation electronic map,logical data model and feature extraction rules and corresponding target recog.
本文基于目前的导航电子地图,提出了动态位置参考的逻辑数据模型、特征提取规则和对应的目标识别算法,并依据上述动态位置参考方法的理论,针对我国路网数据特征,在北京导航电子地图上进行了位置参考的特征提取和识别的试验,验证了该方法的可行性和实用性。
2.
The idea of physical and logical data model was put forward,which divided the battlefield situation information\'s data model into two levels.
提出了物理数据模型和逻辑数据模型的概念,将战场态势信息数据模型分为两个层面:通过将数据库结构分为基本表、控制表、动态表三部分,设计了一个支持动态扩展、多用户并发访问等特性的静态、动态态势目标一体化存储的物理数据模型;通过提出并引用"快照"的概念,在逻辑层面消除了静态与动态态势目标的区别,设计了内存结构一致的高效逻辑数据模型。
3)  Epicentre logical data model
Epicentre逻辑数据模型
4)  DATA LOGIC MODEL
数据逻辑模型
5)  database logical model
数据库逻辑模型
6)  logical model
逻辑模型
1.
A survey on logical models of databases for OLAP;
支持OLAP的数据库逻辑模型述评(英文)
2.
The star logical model is achieved which gives birth to corre.
根据概念模型和最终用户的需求划分分析主题,并以港口货运量主题为例详细设计相应的事实表和维表,得出货物运输主题的星型逻辑模型,按照逻辑模型的设计讨论物理模型设计中遇到的问题。
3.
This paper mainly introduced the data warehouse, and as a insurance agency data warehouse for an example, we presented the concept model and logical model of the data warehouse.
文章主要介绍了数据仓库的概况,并以保险代理业务数据仓库为实例进一步提出了建立其数据仓库的概念模型和逻辑模型设计方案。
补充资料:逻辑-数学演算


逻辑-数学演算
logico-mathematical calculus

【补注】“逻辑一数学演算”一术语在西方科学界中并不通用:对该概念西方用的名称是“(一阶)理论”((俪t刃川er)山印ry).逻辑一数学演算〔扬乡。峨.‘曰阳‘口.Od浏迢;JIOr。-姗”姗侧e~胭~“],应用演算(aPp回cal-eulus) 数学理论的形式化.一个形式化的数学理论由它的语言及一组假设组成.这两部分组成了形式化理论的语法.通常它还配置了一个语义.一个形式化的数学理论及一个通常意义下的公理化理论之间的区别在于:l)通常逻辑中的工具和方法被用到公理的公式化及推理规则的限制上,这样,人们可以形式化地由一个命题推导至另一个命题.2)后者的非形式语言转换成一个精确的形式语言(fbrmallangua罗).逻辑-数学演算的基础通常是一个逻辑演算(拓目cal calculus)(基本逻辑演算(hasic fogicai calcl习谓)).它的语言包括该逻辑演算的语言,再加上一些特殊的函数符号及谓词符号(有时排除谓词变元;有些函数不含变目).它的假设包括该逻辑演算的假设(以新语言的表达式表示),再加上一些用以描述新增加函数符号及新增加谓词符号不同性质的假设.例如,形式化的初等群论,其语言包括带等式的谓词演算的语言,增加符号·(乘法),inv(逆)以及。(恒等元),保留等号,除去所有其他的谓词符号.增加的假设 丫x丫y丫:(e·x二x%26inv(x)·x“ =e%26(x·y)·Z=x·(y·:))断言。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条