ESTELLE

作品数：19被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：丁晋杨培根李腊元杨晓燕刘积仁更多>>
相关机构：清华大学南京大学中国科学技术大学东北大学更多>>
相关期刊：《电子学报》《计算机研究与发展》《软件学报》《计算机工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划甘肃省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
读者来信
《家饰》2014年第9期16-16,共1页
江小鲜：这期的家饰专题真是浪漫指数破表，一直以来我都被老婆嫌弃不够浪漫？看她最近挺累的？准备用专题里打造浪漫餐厅的方法在我们的结婚纪念日给她一个惊喜，另外，这次介绍的最佳约会餐厅都蛮漂亮的，特备是那个香港的SEWA，让我...
关键词：读者来信 ESTELLE 浪漫 设计师 专题 餐厅 
Grammy Nominees 2009
《黄河之声（科教创新版）》2009年第2期53-53,共1页
歌曲列表01.Coldplay-Viva La Vida 02.Estelle-American Boy （Feat.Kanye West） 03.Sara Bareilles-Love Song 04.Ne-Yo-Closer 05.Lil Wayne-Got Money （Feat.T-Pain） 06.Robert Plant ＆ Alison Krauss-Please Read The Letter 0...
关键词：华纳音乐 音乐艺术 歌曲 《Estelle-American Boy》 
梵克雅宝French Kiss婚戒诠释恒久之爱
《时尚时间》2008年第9期31-31,共1页
为了向神圣的Bridal婚嫁系列致意，梵克雅宝于2007年在中国开设了其在亚洲的第一家婚嫁系列珠宝专门店，并随之于08年隆重推出”FrenchKiss“全新婚戒珠宝系列。婚戒珠宝系列中的每只戒指都用细致工艺及钻石打造，并被赋予一个充满诗意...
关键词：KISS ESTELLE PRELUDE 诠释 OPERA 珠宝 
Van Cleef ＆ Arpels（梵克雅宝）——创新中的永恒经典
《中国宝石》2007年第3期176-177,共2页辛薇 
1896年，来自荷兰的珠宝商人Estelle Arpels与继承宝石雕刻家族生意的Alfred Van Cleef结为连理。于1906年，两个家族结合了极致的珠宝工艺，成为巴黎凡顿广场上的第一家珠宝商，开始了绵延近一个世纪的Van Cleef＆Arpels的珠宝传奇。
关键词：VAN ESTELLE 创新 宝石雕刻 珠宝 家族 
基于ESTELLE的网络协议建模方法被引量：2
《电子学报》2007年第4期743-746,共4页李国庆 安建平 杨杰 
协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C...
关键词：协议建模 形式描述 有限状态机 
名为“ESTELLE ELEGANCE”的简易款电动自行车
《中国自行车》2007年第1期52-52,共1页江国强（翻译） 
德国著名的电动自行车生产厂商——海茨曼姆公司，在“2006科隆国际自行车展”上强劲推出了一款其历经艰辛而开发成功、名为“ESTELLE ELEGANCE”的简易款电动自行车新品。这款全避震的简易款电动自行车（既可依靠电力驱动，同时又可踩...
关键词：ESTELLE 电动自行车 国际自行车展 生产厂商 电力驱动 行驶距离 多用户 强制性 
Estelle中的通道扩展及广播通道被引量：1
《计算机工程与设计》2006年第4期578-580,592,共4页王继增 苗志锋 姜春艳 孙昊 
甘肃省自然科学基金项目(32204)
广播通道(点到多点通道)是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术(FDT)标准之一的Estelle,其本身并不支持广播通道的描述。对Estelle中的通道概念进行扩展,使其能够描述广播通道。通过分析Estelle通道的3种扩...
关键词：ESTELLE 通道 广播通道 形式描述技术 虚拟接口模块 协议 
基于面向对象模型的通信系统形式化规范
《小型微型计算机系统》2004年第6期951-955,共5页张永谦 史杏荣 张晓燕 
国家 8 63项目资金 ( 2 0 0 2 AA783 0 43 )资助
通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实...
关键词：通信软件工程 形式化技术 非形式化技术 UML ESTELLE 
用于通信网络协议开发的形式化方法被引量：8
《计算机工程》2004年第2期129-130,134,共3页潘红艳 于全 
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方...
关键词：协议工程 形式化方法 形式描述技术 SDL ESTELLE PETRI网 LOTOS 
Formal Specifications and Verification of a Secure Communication Protocol Model被引量：2
《Journal of Systems Engineering and Electronics》2003年第2期90-97,共8页夏阳 陆余良 蒋凡 
This paper presents a secure communication protocol model-EABM, by which network security communication can be realized easily and efficiently. First, the paper gives a thorough analysis of the protocol system, system...
关键词：Protocol Model ESTELLE Extended alternating bit machine. 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部