In BDD-based model checking, it is a critical step to build a small and efficient transition relationship.
迁移关系的构建是基于BDD模型检验中的一个重要环节 ,而建立占内存尽可能小且运算高效的迁移关系一直是难点 ,通常做法是对迁移关系进行分割 提出一种的对按位分割后的迁移关系进行分组的方法 通过对IS CAS 89中时序电路的试验表明 ,该方法对其中部分电路是有效可行
As equation arising in transport theory.
作为应用,研究了迁移理论中的一类积-微分方程。
In this paper, a class of the control critical parametric equations, which arises in transport theory is discussed.
讨论了迁移理论中一类控制临界参数方程的求解问题。
In this paper,a class of integro-differential operators,which arises in transport theory is discussed.
讨论了迁移理论中出现的一类积—微分算子 ,运用L2 空间上的线性算子理论 ,获得了这类算子本质谱的表示及占优本征值的存在条
The transfer theory is an important element in the studies of educational psychology.
迁移理论是教育心理学研究的一个重要内容,在其发展过程中不断有新观点产生。
Based on the transfer theory, and using the method of literature, experimental comparison and mathematical statistics, combining with athletic teaching practice, this paper put forwards the suggestions on general pattern and application of skill transfer.
本文从迁移理论出发,采用文献资料法、实验比较法、数理统计法,结合田径教学实践,就技能迁移的一般原理、应用及对策提出建议,意在探讨如何科学合理地安排田径教学顺序和教学内容,采用最有效的教学手段,从而提高田径教学的质量。
This paper appraises both the early and the contemporary theories of transfer concisely and briefly.
对早期迁移理论进行了简要评析 ,阐述了当代迁移研究的最新理论进展———认知结构迁移理论、产生式迁移理论和认知策略迁移理论。
Study on the Relationship of Integrin αVβ3, αVβ5 and β1 Relative Molecules Activation State with Tumor Metastasis;
整合素αVβ3、αVβ5与β1类分子激活状态与肿瘤迁移关系的研究
The transference of ISIS BASE to relational database
ISIS Base化学数据库向关系数据库的迁移
An Empirical Study on Relationship between Pragmatic Transfer and L2 Proficiency
语用迁移与二语水平关系的实证研究
Task migration is a key technology of distributed measurement and control system.
任务迁移是分布式测控系统的一项关键技术.
Study on the Learning Culture s Influence upon the Training Transfer;
学习型文化对培训迁移的影响关系研究
Labor Transfer:Social Change and Family Relations--Taking the Baoans as an example;
劳动力转移:社会变迁与家庭关系——以保安族为例
The Study of Work-family Relationships among Migrant Workers of Family Migration
家庭式迁移农民工的工作—家庭关系研究
Investigation Progress of the Correlation between HMGB1 and Sepsis
高迁移率族蛋白B1与脓毒症关系的研究进展
Sino-Japanese Relatious:A Power Transition Theory Perspective
东亚结构变迁与中日关系:权力转移理论视角
Preemptive Process Migration System with Socket Migration Supporting;
支持socket迁移的抢占式进程迁移系统
Our office has removed.
我们的机关迁移了。
Research and Analysis on Migration Mechanism and Migration Strategies of Mobile Agent System;
移动Agent系统迁移机制及迁移策略的分析研究
Our office has removed(from Lanzhou to Xi'an).
我们的机关迁移了(从兰州迁到了西安)。
Study of Integrity Detection for Migrating Instance in Migrating Workflow System;
迁移工作流系统中迁移实例完整性检测研究
As they all migrated in a body together, their mutual relations will not have been much disturbed.
又因为是集体的迁移,它们的相互关系也没有十分变动。
Change in High Mobility Group Box-1 Protein Expression and Its Role in Mediated Multiple Organs Dysfunction after Severe Injury.;
严重损伤后高迁移率族蛋白B1的改变及其与多器官损害的关系
Study on the Relationship between Pollutants Attenuation and Microbial Activity in the Landfill Leachate Contaminated Sites;
垃圾渗滤液污染场地微生物活性与污染物迁移转化关系研究
An Empirical Study of Language Transfer in Chinese Students Learning of English Relative Clauses;
中国学生英语关系从句学习中语言迁移的实证研究
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号