电子学报

浅论软件技术发展

杨芙清, 梅宏, 吕建, 金芝

电子学报. 2002, 30(S1): 1901-1906.

相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

模型检测:理论、方法与应用

林惠民, 张文辉

电子学报. 2002, 30(S1): 1907-1912.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

现代操作系统的思考

顾明, 郭陟, 孙家广, 赵曦滨

电子学报. 2002, 30(S1): 1913-1916.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

性能评价形式化方法的现状和发展

林闯, 李雅娟, 王忠民

电子学报. 2002, 30(S1): 1917-1922.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

特征交互问题导论

梅宏, 黄罡, 邢岩, 彭枫

电子学报. 2002, 30(S1): 1923-1927.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

网络存储技术及发展趋势

陈凯, 白英彩

电子学报. 2002, 30(S1): 1928-1932.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

主动队列管理中的智能分组丢弃新机制

任丰原, 林闯, 魏丫丫, 樊燕飞

电子学报. 2002, 30(S1): 1933-1937.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

PKUAS:一种面向领域的构件运行支撑平台

黄罡, 王千祥, 曹东刚, 梅宏

电子学报. 2002, 30(S1): 1938-1942.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于文档分割的图像兴趣域检测及编码方法

朱庆生, 王茜, 傅鹤岗, 吴中福

电子学报. 2002, 30(S1): 1943-1946.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

网络协议中的时间约束测试

陈东洛, 尹霞, 吴建平

电子学报. 2002, 30(S1): 1947-1952.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

分层小区系统中预留资源的切换策略分析

王莹, 王卫东, 张平

电子学报. 2002, 30(S1): 1953-1956.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种适用于动态/移动环境的新的组播协议

范锐, 程时端

电子学报. 2002, 30(S1): 1957-1961.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

TCP在WLAN中的性能提高与分析

邬海涛, 林宇, 程时端

电子学报. 2002, 30(S1): 1962-1967.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

性能可调的启发式多约束路由算法

崔勇, 徐恪, 吴建平

电子学报. 2002, 30(S1): 1968-1972.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

IP网络传输控制的性能评价标准研究

林闯, 周文江, 田立勤

电子学报. 2002, 30(S1): 1973-1977.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种基于带宽和时延约束的分布式组播路由算法

陆慧梅, 向勇, 史美林, 杨敏

电子学报. 2002, 30(S1): 1978-1981.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种双帧数字图像的双盲水印技术

王道顺, 戴一奇, 梁敬弘

电子学报. 2002, 30(S1): 1982-1985.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于分组标识的网络流量抽样测量模型

程光, 龚俭, 丁伟

电子学报. 2002, 30(S1): 1986-1990.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种适应性复制协议的研究与设计

赵东, 姚绍文, 周明天

电子学报. 2002, 30(S1): 1991-1994.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

混合维定性空间查询语言MQS-SQL

王生生, 刘大有, 杨博

电子学报. 2002, 30(S1): 1995-1999.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

开放分布系统中基于RBAC和策略实施的协调模型

张亚英, 尤晋元

电子学报. 2002, 30(S1): 2000-2003.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种基于单层包络控制的三角形网格简化算法

申煜湘, 邹北骥, 孙家广, 朱理

电子学报. 2002, 30(S1): 2004-2007.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

分布式Web Crawler的研究:结构、算法和策略

叶允明, 于水, 马范援, 宋晖, 张岭

电子学报. 2002, 30(S1): 2008-2011.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

结合多种语义信息的半自动视频对象分割

陈韩锋, 戚飞虎

电子学报. 2002, 30(S1): 2012-2015.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种适用于网络应用的压缩图象快速检索方法

李晓华, 沈兰荪, 贾克斌

电子学报. 2002, 30(S1): 2016-2019.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

组播通信的访问控制和密钥管理

戴琼海, 覃毅力, 张莹

电子学报. 2002, 30(S1): 2020-2023.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于MPLS骨干网络的VPN解决方案

赵鹏, 罗平, 刘蓓洁

电子学报. 2002, 30(S1): 2024-2026.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

网边缘可控的IP QoS体系结构及其算法

樊秀梅, 林闯, 王忠民

电子学报. 2002, 30(S1): 2027-2031.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于过程控制的软件质量管理

李明树, 王青

电子学报. 2002, 30(S1): 2032-2035.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于XML的构架描述语言XBA的研究

赵文耘, 张志

电子学报. 2002, 30(S1): 2036-2039.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于反省技术的灵活工作流管理系统

姚绍文, 王敏毅, 周明天

电子学报. 2002, 30(S1): 2040-2044.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

GF(2ⁿ)域上的一种Ⅱ型优化正规基乘法器及其FPGA实现

方冰, 樊海宁, 戴一奇

电子学报. 2002, 30(S1): 2045-2048.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于UML的软件建模工具的研制

麻志毅, 蒋严冰, 李劲宇, 戴耀飞

电子学报. 2002, 30(S1): 2049-2051.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一个支持动态变化的工作流元模型

孙瑞志, 史美林

电子学报. 2002, 30(S1): 2052-2056.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种基于XML的主动应用程序描述符AADX

周悦芝, 张尧学, 王勇

电子学报. 2002, 30(S1): 2057-2060.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于Mobile Agent的服务移动性实现

于玉海, 张平

电子学报. 2002, 30(S1): 2061-2065.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种非对称链路带宽测量算法

林宇, 邬海涛, 王重钢, 程时端, 王文东, 金跃辉

电子学报. 2002, 30(S1): 2066-2070.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

WLFVC:WLAN中的分布式公平调度机制

邬海涛, 林宇, 孙亮, 程时端

电子学报. 2002, 30(S1): 2071-2074.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

虚拟企业及其协作模型

陈刚, 金芝, 陆汝钤

电子学报. 2002, 30(S1): 2075-2078.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于字频的单模式匹配算法

刘功申, 王永成, 许欢庆

电子学报. 2002, 30(S1): 2079-2082.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

UML Statecharts的切片模型检验方法

董威, 王戟, 齐治昌

电子学报. 2002, 30(S1): 2082-2089.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

Web软件的生长式开发过程模型及其支撑工具

朱鸿

电子学报. 2002, 30(S1): 2090-2093.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

实时中间件的研究与实现

郭长国, 王怀民, 邹鹏, 苑洪亮

电子学报. 2002, 30(S1): 2094-2098.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

密码协议的SPIN建模和验证

邵晨曦, 胡香冬, 熊焰, 蒋凡

电子学报. 2002, 30(S1): 2099-2101.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种基于分形布朗运动包封过程的CAC算法

邓钢, 纪阳, 张平

电子学报. 2002, 30(S1): 2102-2104.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于DCT变换的渐进式图像编码方法

卓力, 沈兰荪, 李朝峰, 朱青

电子学报. 2002, 30(S1): 2105-2107.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

可移动系统安全模型统一框架

王立斌, 陈克非

电子学报. 2002, 30(S1): 2108-2110.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于3GPP2框架的无线移动网络的RSVP扩展研究

华蓓, 熊焰, 蔡承杰

电子学报. 2002, 30(S1): 2111-2114.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

面向语义Web的逻辑描述原语扩展

姚绍文, 余江, 周明天

电子学报. 2002, 30(S1): 2115-2118.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

移动agent系统基准模型的研究

陶先平, 吕建, 马晓星, 胡昊

电子学报. 2002, 30(S1): 2119-2121.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

从UML状态图到PVS规范的自动转换、验证

赖明志, 尤晋元

电子学报. 2002, 30(S1): 2122-2125.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种新型2-DCT/IDCT结构的设计与实现

傅宇卓, 王嘉芳, 胡铭曾

电子学报. 2002, 30(S1): 2126-2129.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于逆问题扰动的脆弱数字水印认证

赵险峰, 汪为农, 陈克非

电子学报. 2002, 30(S1): 2130-2133.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

编译系统中间代码的一种抽象表示

戴桂兰, 张素琴, 田金兰, 蒋维杜

电子学报. 2002, 30(S1): 2134-2137.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于模糊认知图的机器人高层规划研究

骆祥峰, 高隽, 王晓嘉, 谢昭

电子学报. 2002, 30(S1): 2138-2141.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

带宽测量实验研究及其算法改进

谢高岗, 汤艳霞, 张大方, 李忠诚

电子学报. 2002, 30(S1): 2142-2145.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一个基于相关存储的模式识别方法

周景洲

电子学报. 2002, 30(S1): 2146-2148.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

多构件库统一刻面检索机制

马亮, 谢冰, 杨芙清

电子学报. 2002, 30(S1): 2149-2152.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

CMAC的无交叠感受域变分辨率学习方法

杨艳丽, 曹广忠

电子学报. 2002, 30(S1): 2153-2154.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于构造类别代数的变异分析

周晓煜, 赵保华, 屈玉贵

电子学报. 2002, 30(S1): 2155-2157.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一个改进的路由器包转发模型

李小勇, 刘东喜, 陈凯, 梁阿磊, 白英彩

电子学报. 2002, 30(S1): 2158-2160.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于多层竞争的高效并行遗传算法

李碧, 雍正正

电子学报. 2002, 30(S1): 2161-2162.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种软件代码精细分析技术

唐英, 徐良贤

电子学报. 2002, 30(S1): 2163-2165.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

软件复杂性与测试用例集价值

吴际, 金茂忠, 刘超

电子学报. 2002, 30(S1): 2166-2168.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

基于部分匹配的XML文本文档向量检索模型

吴劲, 陈泽琳

电子学报. 2002, 30(S1): 2169-2171.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

用Monte Carlo模拟方法评估Web Services系统的可靠性

支小莉, 陆鑫达

电子学报. 2002, 30(S1): 2172-2176.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )

一种在汉语文本中抽取重复字串的快速算法

马颖华, 王永成, 苏贵洋

电子学报. 2002, 30(S1): 2177-2180.

参考文献 | 相关文章 | 计量指标

摘要 ( )

PDF下载 ( )