The paper introduces formal description techniques and SDL.
介绍了形式化描述技术及其SDL语言,并以PPP协议 为例,研究了协议的形式化开发的整个过程.
互联网摘选
FFT通信模式嵌入环形光网络及其性能分析
互联网摘选
Senescence-Accelerated Mouse ( SAM): An Animal Model and Its Application in Gerontological Studies
动物模型SAM小鼠及其在老年医学研究中的应用
互联网摘选
Some were holding wooden crosses, prayer books, and other holy objects to ward off the evil spirits.
他们一些人手里拿着木制的十字架、祷告书以及其他一些圣物来辟邪。
互联网摘选
Psychological Inadaptability and Adjustment of the New Students at Higher Vocational College
浅谈高职新生的心理适应问题及其调适
互联网摘选
现在登陆您将成为在第一时间得到购票新闻以及其他令人激动的事件人群的一员。
互联网摘选
简要论述他对佛教“空”、“无”观念、佛性、三世轮回、不杀生和偶像崇拜的批判,并分析他对佛教的批判这一历史现象出现的原因及其思想意义。
互联网摘选
Analysis on Stochastic Volatility Models and Their Applications in Shanghai Stock Exchange
随机波动模型分析及其在上海股市的应用
互联网摘选
The Announcement Effect of Dividend in Shanghai Stock Exchange and Empirical Study
沪市股利的公告效应及其实证研究
互联网摘选
ARCH-Type Models and Its Application of the Return Volatility in Shanghai Stock Exchange Index
ARCH类模型及其在上证指数收益波动中的应用
互联网摘选
详细介绍了Control net网络平台的特点、通信模式、信息交换及其应用场合。
互联网摘选
研究了区熔再结晶 ( ZMR ) 设备及其工艺特点.
互联网摘选
异化:人类历史转型期的永久困惑&《变形记》与《一地鸡毛》主人公异化比较及其思考
互联网摘选
首先,提出了顾客容忍区的重心问题及其含义;之后,将“双因素”理论应用于解释顾客容忍区;
互联网摘选
Third, to investigate the causes of "Miscellaneous Poems" artistic value and its style.
第三,探讨《乌鲁木齐杂诗》的艺术价值及其风格的成因。
互联网摘选
