|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) virtual logical model
虚拟逻辑模型
2) virtual logic
虚拟逻辑
3) logic virtual machine
逻辑虚拟机
1.
The ladder pilot expressing the control logic is implemented by the logic virtual machine (VM) similar to CPU.
在PLC中,体现控制要求的梯形图逻辑是由类似于CPU功能的逻辑虚拟机(VM)执行实现的。
4) logic simulation
逻辑模拟
1.
Research of dispersed waveform and adventure in logic simulation;
逻辑模拟验证中波形离散化及冒险问题研究
2.
Waveforms are used as a tool for describing circuits during logic simulation and accurate simulation is achieved by computing and checking waveforms.
在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 。
3.
The design and implementaion of Windows environment-based digital circuit logic simulation software (DCLSS) are presented in order to be able to conduct experiments of Digital Circuit course in a computer.
为了能够在微机上用软件实现不依赖于特定实验装置的数字电路实验 ,开发了基于Windows环境下的数字电路逻辑模拟软件DCLSS 。
5) analog/logic
模拟/逻辑
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.
文章主要介绍了数据仓库的概况,并以保险代理业务数据仓库为实例进一步提出了建立其数据仓库的概念模型和逻辑模型设计方案。
补充资料：虚拟企业集成模型的形式化方法
文 摘： 为开发正确、可靠、基于模型驱动的虚拟企业信息系统，满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求，在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法)，分析了在虚拟企业组建中应用形式化方法的优点，讨论了RAISE与有着广泛应用的传统IDEF(集成计算机辅助制造定义方法)的结合，并给出了运用形式化方法进行虚拟企业建模的方案。该方法是虚拟企业建模与实现技术的重要研究方向。 关键词： 虚拟企业； 企业模型； 形式化方法； 工业软件工程严格方法(RAISE)； 集成计算机辅助制造定义方法(IDEF) CIMS的研究与开发正处于企业集成阶段，虚拟企业研究正是这一阶段的重要研究课题和使能技术之一。对于虚拟企业的建立与运作，尤其是在作为其基础与要素的虚拟企业模型以及相应的信息系统实现问题上，还不存在成熟的理论、方法与规范。本文应用形式化的工业软件工程严格方法(RAISE)与集成计算机辅助制造定义方法(IDEF)相结合的手段建立虚拟企业模型，并探讨有关模型驱动的系统集成与系统实现问题。 1、虚拟企业建模 1.1 虚拟企业模型 虚拟企业是一组企业的临时组织或联盟，其目的是通过联合的成本与技术开拓适应快速变化的市场。建立具有指导意义的虚拟企业模型，以模型为驱动，实现虚拟企业信息系统，是当前解决虚拟企业集成问题普遍认可的方法。因此，建立虚拟企业模型，尤其是建立企业生产过程与经营过程模型，是分析企业过程，进而有效的组建虚拟企业系统的必需。 1.2 虚拟企业建模面临的问题 虚拟企业的集成和企业模型的构建很复杂，建模需要着重解决以下问题： 1) 企业模型必须能从高层抽象企业功能、结构、特性，以便企业级的过程重组； 2) 企业模型必须适应动态虚拟企业的特点，做到易于重构(即有可重构性)； 3) 可重用性与可伸缩性； 4) 建模方法必须简单易用，这是因为一般企业，尤其是中小型企业，不具备专业的建模人员； 5) 企业建模过程应该融合企业的不同层次，使虚拟企业涉及的各层次人员能够广泛参与。
虚拟企业的复杂性使得一些单一信息系统中低层次的问题也必须提高到模型(抽象)层次才能解决。这使虚拟企业建模问题更加复杂化。以IDEF为代表的传统企业建模方法在处理虚拟企业建模问题上逐渐暴露出自身的某些局限性。为了解决上述问题，增加系统实现的自动化程度、减少系统的不一致性，更快、更好、更可靠的实现虚拟企业系统，尝试在企业模型建立与系统实现的过程中引入形式化方法作为传统建模方法的补充。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|