从自动监测系统逻辑模型角度进行分析和改进。
Analyze and modify the logical model of the monitoring system.
随后，论文进一步设计了与业务模型相匹配的系统逻辑模型和物理模型。
Then, the paper designs the logic model and the physical model match to the business models.
与服务模型一样，服务规范产生实现这些服务的系统组件的逻辑描述。
Along with the service model, service Specification produces logical descriptions of the system components that realize services.
所支持的逻辑分区的最大数目取决于服务器模型中处理器的数目，系统限制是254。
The maximum number of logical partitions supported depends on the number of processors in the server model and the system limit is 254.
问题在于，遗留系统并不进行数据输入编辑和检验，因此不能确保应用程序中捕捉的数据与逻辑数据模型保持一致。
The problem was that the legacy systems did not have the data entry edits and validations to ensure that the data captured in the application was consistent with the logical data models.
这些属性被映射到源系统的逻辑数据模型，从而确保能够在源系统中找到提供给数据仓库的属性。
These attributes were mapped to source system logical data models in order to ensure that attributes were available in the source systems that were to feed the data warehouse.
每个系统都有其专有的语义，但是被映射到一个逻辑数据模型，可以将此模型实例化为一个物理联合模型或规范消息模型。
Each system has its own proprietary semantic meaning, but is mapped to a logical data model which can be instantiated as a physical federated model or a canonical message model.
不过，由于任何逻辑模型都无法枚举出所有可能性，一旦任何开发人员使用不同的方法定义了一个系统，则此类模型将无法使用。
However, since any logic models cannot enumerate all possibilities, such a model will fail once any developer defined a system using a different approach.
提高沟通性：模型省略了与了解系统逻辑行为不相关的实现细节。
Improved communication: Models omit implementation detail that is not relevant to understanding the logical behavior of a system.
由于逻辑或物理模型是现实中的系统的抽象，它通常非常复杂，由很多构建块和关系组成。
Because a logical or physical model is an abstraction of the real-world system, it is usually very complicated, and it consists of many building blocks and relationships.
的交流模型省略了与了解系统逻辑行为无关的实现细节。
Communication Models omit implementation detail that isn't relevant to understanding the logical behavior of a system.
在我们的MDSK方法中，这种逻辑结构及其伴随的协作将通过使用系统模型工件中的统一建模语言(uml)图被保存下来。
In our MDSD approach, this logical structure and its accompanying collaborations will be captured using Unified Modeling Language (UML) diagrams in the system model artifact.
许多组织在最后将得到逻辑企业数据模型，这样单独的系统就可以被映射到公共逻辑模型上。
Many organizations might eventually derive a logical enterprise data model so that individual systems can be mapped to the common logical model.
有了适当的工具支持，设计人员可以在高层的系统模型上进行执行或模拟，并调试，从而在早期确认并验证系统逻辑。
With appropriate tool support, designers could perform execution or simulation and debugging on high-level system models to validate and verify system logic early on.
每一个应用系统的核心是描述这个系统的基础模型 --领域模型、类模型、逻辑模型、实体模型等等。
The heart of every application is the base model that describes it -- a domain model, class model, logical model, entity model, or the like.
按照功能行为、逻辑结构与物理结构的比较及内部行为状态对这些模型进行归类，可得到有用的系统总体体系结构记录。
Categorizing these models by functional behavior, logical compared with physical structure, and internal behavior states will produce a useful record of the overall architecture for the system.
分析模型描述了系统的逻辑结构，因而它是设计模型的基础。
The analysis model describes the logical structure of the system; thus it is the foundation of the design model.
事物的所有表示和模型的逻辑的，系统的，正式的，和公理性的开发。
The systematic, formal, axiomatic development of the logic of all forms and models of being.
在传统的Web应用程序开发中，采用页面模板系统把视图生成与控制器逻辑和模型数据干净地分离。
In traditional Web application development, page templating systems are used to cleanly separate view generation from controller logic and model data.
逻辑模型、存储模型和服务器端jazzAPI的语义全都与特定的关系数据库系统选择无关。
The semantics of logical models, storage models, and server-side Jazz APIs are all independent of the particular choice of relational database system.
在逻辑设计与物理设计过程中通过数据规范化后得出最终的ER模型图并给出系统数据字典。
The final ERD (entity relationship model diagram) and system datum dictionary are given through data sheets normalization during logic design and physical design.
针对一类非线性系统，把模糊t - S模型和自适应模糊逻辑系统这两种模糊逻辑方式结合起来，提出了一种自适应控制方案。
Combining both kinds of fuzzy logic forms including fuzzy T-S model and adaptive fuzzy logic systems, this paper presents an adaptive control scheme for a class of nonlinear systems.
故障树模型是导致系统失效的基本事件之间逻辑关系的图形表示，应用于系统失效模型的定性和定量分析。
Fault tree model is the graphical expression of connection of basic events which result in system fault, and used in qualitative and quantitative analysis of system fault model.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
同时，给出了关联系统的可靠性逻辑模型。
Meanwhile, the reliability logic model of associated system was provided.
借助随机服务系统理论，探讨带有优先队列逻辑环随机模型的状态转移有关问题。
Based on the theory of stochastic service system, this paper discusses state transition of logic ring stochastic model with priority queues.
提出了模糊系统安全分析的逻辑模型。这一方法是与基于概率理论之上的方法完全不同的安全分析方法。
The logical models for safety analysis of fuzzy system were set up, they were different from the usual method based on the probability theory.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
分析了CRT系统实现的逻辑结构模型；
基于智能报表系统的逻辑模型，探讨了代理的评价和主要协调过程，定义了代理的评价公式。
Based on intelligent report system's logic model, agent's evaluation and main coordination process are discussed and agent's evaluation formulae are defined.
应用推荐