19 goltz u , gorrieri r , rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789 , 1994 , pp . 385 - 404 . 20 aceto l , action refinement in process algebra . cambridge univ 即精化后的系统行为可以由精化前的系统行为和用于替换原系统动作的子系统的行为组合推导出来2同余性。
With integration of the information that is collected from inside and outside of this system it leads to a reasonable mechanism . each variable in the simulation is not only numerical value but also symbolized 每个变量的取值既有数值的,也有符号化的,最终通过求解该定性模型来获得对系统行为的定性描述。
Because of the heterogeneous of a wireless sensor network system , traditional design of wireless sensor networks system modeling just focus on one aspect of entire system generally 由于无线传感器网络系统行为具有异构性,传统无线传感器网络系统模型设计建模侧重从无线传感器网络系统中单个子系统行为建模仿真。
Application of emd and correlative dimension to diagnosis machine fault fractal dimension can be used to show the structure character of the signal , and is widely used in denoting the nonlinear system 利用emd方法和关联维数进行机械故障诊断。分数维表征了信号的结构特征,广泛地被用于非线性系统行为的刻划中。
Rmi provides a mechanism of communication and message passing between client and server . the mechanism is fulfilled with the reuse of executable code . the code has customized system behavior and interface criterion Rmi为服务器和客户机进行通信和消息传递提供了一种机制,以可执行代码重用形式,通过定制的系统行为和接口规范,有别于传统的客户机服务器模式。
This paper analyzes the state of hopf bifurcation in a chaotic system , judge the direction of the bifurcation by calculating the first lyapunov coefficient , and then briefly discuss some corresponding dynamic system behaviors 摘要讨论了一个混沌系统的霍普夫分叉情况,并通过计算系统的第一李雅普诺夫系数判断了其分叉的方向,对相应的动力系统行为也作了简要的分析。
In order to implement the generality and crossing - platforms , the discussion about how to get the system calls sequences on the different platforms such as linux and windows is still made , and with comparison of their goods and bads 为了实现系统的通用性和跨平台性,本文还就检测系统行为分别在linux和windows平台上探讨了获取系统调用序列的几种方法,并比较了各种方法的优缺点。
Firstly , a set of oo modeling elements of real - time system is defined based on uml language . in order to facilitate automatic code generation , we define the structure and semantic of the core elements formally 本文首先基于uml语言建立了一个实时系统对象模型的四部分核心元素集合,给出了系统行为特别是时间约束有关的建模元素的形式化定义,它们是对实时系统进行分析和实现的依据。
2 nonlinear behavior of enterprises " technical innovation behavior system behavior of enterprises " technical innovation behavior means any variation in contrast to circumstances . it includes interior behavior and exterior behavior 二、企业技术创新行为系统的非线性系统行为企业技术创新行为系统的系统行为是企业技术创新行为系统相对于环境发生的各种变化,可分为内部行为和外部行为。
This article provides an introduction to the common base event as part of the common event infrastructure service , and demonstrates different methods for creating and populating an event to capture and correlate both system and business behavior 本文介绍了通用基础事件( cbe ) ,它是common event infrastructure ( cei )服务的一部分,并演示了创建和填充事件来捕捉并关联系统行为和业务行为的不同方法。