In order to avoid the infeasible path and state explosion problem during test cases generation,this paper presents a formal method to generate test cases for sequential programs written in a flow based program language.
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。
Identifying and sequence analysis of HLA-B~*2736;
HLA-B~*2736等位基因的序列分析
Compositive sequence in treatment of oral and maxillofacial hemangioma;
口腔颌面部血管瘤血管畸形的综合序列治疗
Sequence analysis of HIV-1 subtype B′viruses;
B′亚型人类免疫缺陷病毒的基因序列分析
Study on detector of Mealy type pulse sequences with wrong logic output;
Mealy型脉冲序列检测器中非逻辑输出的研究
Study of Numerical and Figure Expression for DNA Sequences;
DNA序列数形表示的研究
Family of sequences with low cross-correlation and large linear span;
一类具有低相关特性和较大线性复杂度的序列集
cDNA cloning, sequencing and characterization of radish chloroplast ATPase beta subunit;
萝卜叶绿体ATP酶β亚基的cDNA克隆及序列特征
Cloning and Sequencing of gE Gene Fragment Encoding Epitopes of Pseudorabies Virus Fa Strain;
伪狂犬病病毒闽A株gE基因表位抗原编码区的克隆与序列测定
Cloning and Sequencing of Full_length Fusion Gene of Strain ZQ98_1 of Pigeon Paramyxovirus_I;
鸽Ⅰ型副粘病毒ZQ98-1株F基因全序列的克隆和序列分析
Light can be used to divide and limit space,make the alignment and the focus of visual sense so as to meet the demand of physical and psychology of people and also to meet the demand of light space which the function of structure and art pursue.
利用太阳直射或漫射光线可以区分与限定空间、制造空间序列和视觉焦点,从而创造既满足人们生理与心理需要,又符合建筑功能与艺术要求的动态光空间,开辟空间组织的新设计思路,促进人们空间生活的健康发展。
These principles and methods are as follows: One kind of economical characteristics is controlled only by one kind of essential elements; The change of trends of economical characteristics is caused by the quantitative change and alienation of control elements; To ex-chang control elements results in the alignment change of economical ch.
它们是:一项经济特性只由一种要素所支配原理;支配要素量变、异化引起经济特性趋势变化原理;支配要素换元引起经济特性序列变化原理;经济问题的每个分析层次是以一种逻辑(价值或因果)为主,但相邻层次二者(价值、因果)交替变化原理;经济问题在相邻背景层次中意义逆反原理;经济问题外内各推二层次的全面分析方法;经济问题研究中数据的优化个数原理;数学演绎不能生得统计数据中不曾包涵的信息。
In order to carry out its special mission, professional social work must form a complete, practical alignment of ethic value which also can be supervised and measured in addition to a perfect and ripe professional methods and skill.
专业社会工作要实现其专业助人的使命,除了要具备一套完善的、成熟的专业方法和专业技巧,还必须形成一个较完备的、可操作的、能督导和考量的伦理价值序列。
A method for predicting generalized time-varying ARMA series is proposed.
提出一种广义时变ARMA序列预测方法,给出时变序列和广义时变序列的预测公式及其均方误差。
The annual precipitation series of Liuzhou city from 1935 to 1976 is simulated by the step-wise regression based on the Mean Generating Functions crossed by Gram-Schmidt.
采用基于均生函数逐步回归的正交化筛选建模方法对柳州市1935~1976年的年降雨量序列进行拟合计算,并由所得的线性回归模型对1977~1982年降雨量进行预测。
This kind of music is composed with “series”, which run through the whole music.
十二音音乐是用“序列”写成,并在音乐中贯穿使用。
Trinomial properties of three families of nonlinear spreading sequences (GMW sequences, No sequences and Kasami sequences) are discussed in this paper.
讨论了三类非线性扩频序列(GMW序列、No序列和Kasami序列)的三项式特性,利用这三类序列的迹表示,证明了GMW序列、No序列和Kasami序列均具有正则三项式对。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号