助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[1939]条 当前为第1条到20条[由于搜索限制,当前仅支持显示前5页数据]
 

相关语句
    Motivated by the need for the effective modeling and optimization of hybrid system,a type of hybrid Petri nets model called general hybrid Petri nets(GHPNs) is defined.
    为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题,定义一种新的混杂Petri网模型广义混杂Petri网,提出了相应的迁移使能和迁移引发语义.
    A new particle filter algorithm called unscented particle filter(UPF) algorithm was given based on the analysis of each algorithm's characteristic and the combination of PF's and UKF's advantages,and it was applied to GPS/DR integrated navigation system.
    通过分析3种算法各自的特点,将PF算法和UKF算法的优点相结合,提出了一种新的粒子滤波算法U粒子滤波(UPF)算法,并将其应用于GPS/DR组合导航系统中。
    A new norm which is equivalent to the Orlicz norm and the Luxemburg norm is introduced in Orlicz space. It is called generalized Orlicz norm.
    在Orlicz空间中,引进了一个与Orlicz范数和Luxemburg范数等价的新范数广义Orlicz范数.
    This paper considers the problem of outlier detection in data stream, proposes a new metric called weighted frequent pattern outlier factor for categorical data streams, and presents a novel fast outlier detection algorithm named FODFP-Stream (fast outlier detection for high dimensional categorical data streams based on frequent pattern).
    提出类别属性数据流数据离群度量加权频繁模式离群因子(weighted frequent pattern outlier factor,简称WFPOF),并在此基础上给出一种快速数据流离群点检测算法FODFP-Stream(fast outlier detection for high dimensional categorical data streams based on frequent pattern).
    Brief Introductionto ANew Type of Dam Called Face Plate Cementing Rockfill Dam
    一种新坝型面板胶结堆石坝简介
    However, the ability of IE-CEC for separationof neutral compounds is poor, therefore, a new mode of CEC, so called CEC withdynamically modified stationary phase (DMS-CEC), was developed.
    但是IE-CEC分离中性化合物的能力不足,为此,发展了一种新的电色谱模式动态改性电色谱(DMS-CEC)。
    4) Based on the matrix theory and the constraint condition of the Z transformation,a rapid and effective algorithm of ambiguity decorrelation is provided. This algorithm is called OSD (ordering screen decorrelation).
    4) 基于矩阵理论和Z变换的约束条件,提出了一种性能优越的模糊度去相关算法排序筛选去相关算法(Ordering Screen DecorrelationOSD)。
    Fujian and Taiwan culture, so called Mintai culture, is a Rind of regional culture which is created by Fujian and Taiwan's people with Mindialet as a main barrier.
    闽台文化是指生活在闽、台两地人民所共同创造的,以闽方言为主要载体的区域文化,它既是中国传统文化的重要组成部分,又富有鲜明的区域文化特色海洋文化。
    This paper also- introduces our works on implementation a router switch, called KDS50. using ISP and Pipe model.
    本文最后还介绍了使用ISP算法和Pipe模型设计的交换开关原型KDS50。
    This paper presents an e-Science Grid architecture called as Virtual and Dynamic Hierarchical Architecture (VDHA).
    本文提出了一个可扩展的、基于语义的e-Science体系结构虚拟动态分层体系结构(Virtual and Dynamic Hierarchical Architecture,VDHA)。
    Cytotoxic lymphocytes (CTL) adhered to HLA-1 molecular through CD8+ molecular in the cell surface, and TCR recognized above T cell epitope. Such kind CTL was called HBV antigens specific cytotoxic lymphocytes.
    CTL通过表面的CD8~+分子与HLAⅠ类分子产生粘附,并由TCR识别上述寡肽表位,此类CTL即为HBV抗原特异性CTL(HBV antigens specific cytotoxic lymphocytes,HBV sCTL)。
    and 4 efficacious constituents revealed by 4 HPLC peaks - X27, X31, X38 and X52- were recognized and statistically inferred at the significance level a<0.1 %. Such a chromatogram may be called distinctive chromatogram and used to identify aloe sample.
    于是识别出由4个HPLC峰X_(27)、X_(31)、X_(38)和X_(52)显示的4个药效成分,该识别过程属于统计推断,其风险率小于0.001;
    Then we proposed a grid-based architecture for networked manufacturing system by integrate the grid architecture and networked manufacturing system's architecture, we called it as manufacturing grid architecture.
    接着介绍网格体系结构的研究情况,以及课题组所承担项目的总体目标和定位,给出了网络化制造系统的总体方案,并把网格体系结构与网络化制造系统体系结构进行结合,提出一个基于网格的网络化制造系统制造网格体系结构。
    (2) It proposes a new Semantic Web service model called OWL-S+ by enriching OWL-S with the expression power of users' preferences.
    (2)在现有语义Web服务描述模型OWL-S的基础上进行了扩展和完善,形成增加用户偏好表示的模型OWL-S+。
    Third, the ideas of lightweight formal methods are extended and applied to modeling the formal security policy model (FSPM) of secure operating system. A lightweight Z-based specification and verification method for FSPM called LFSV (Lightweight Formal Specification and Verification) is proposed. In this method, theformal specification and verification are performed with succinct and unitary formal techniques.
    第三,对轻量级形式化方法的核心思想进行了发展,将其应用到安全系统的FSPM规格说明和验证中,提出了一种轻量级的基于Z语言的安全操作系统FSPM规格说明及验证方法LFSV(Lightweight Formal Specification and Verification)。
    Secondly, A UML profile for framework modeling based on the extensionmechanisms of UML was defined, called Framework Profile, which customizes UML for the straightforward modeling of framework hot-spots and design patterns. The semantics of the Framework Profile was formalized using the Object Constraint Language (OCL) to facilitate its understanding by the framework developers.
    其次,基于UML的扩展机制定义一个满足面向对象框架特征建模的UMLprofileFramework Profile,使UML更好地支持框架“热点”的建模和设计模式的直观表示,并用OMG的对象约束语言(OCL)对Framework Profile的语义进行形式化描述,便于框架开发人员的正确理解和使用。
    In the present study, we characterized the complete open reading frames of the newly cloned HMW glutenin genes D~tx1.5 and D~ty10 using the new restricted enzyme based method called restricted deletion method (RDM).
    利用一种新的基于限制性内切酶的方法限制性缺失法,本研究测定了D~tx1.5+D~ty10亚基编码基因全长开放阅读框的DNA序列并进行原核表达,为研究D~tx1.5+D~ty10亚基的结构与功能奠定了基础。
    Integrating intelligent prosthesis and biped robot study, a new-style robot, biped robot with heterogeneous legs (BRHL) that is composed of a leg of normal biped robot, called artificial leg (AL), and an intelligent bionic leg (IBL), a kind of advanced intelligent prosthesis, is proposed.
    本文将智能仿生腿和双腿行走机器人集成起来研究,提出一种新型机器人研究模式异构双腿行走机器人(Biped Robot with Heterogeneous Legs, BRHL)。 其中一条腿采用普通行走机器人模式,称为人工腿;
    Because this kind of material combines TiO_2 nanoparticles(20nm) and eutectic salt solution, it is called "Phase Change Nanocomposites for Cool Storage ".
    其基本配方是,在低温共晶盐(BaCl_2H_2O溶液)蓄冷材料中,添加少量纳米尺度(20nm)的TiO_2粒子。
    Class 1 Hbs had different affinities and dissociation kinetics of oxygen and was called stress-induced hemoglobin, which could be induced by hypoxic stress and excessive nitrogenous nutrition (Dordas et al., 2003) .
    另一类血红蛋白1(class 1)的氧结合特性完全不同于共生的血红蛋白,表达受低氧胁迫和过量氮营养的诱导,因此也称之为压力诱导的血红蛋白(Dordas et al.,2003)。
 

首页上一页12345下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社