DRTSADL可视化建模及其工具的设计与实现
作者:
罗景;叶俊民;赵良;陈利
期刊:
计算机工程 ,2005年31(9):88-90 ISSN:1000-3428
作者机构:
[罗景; 叶俊民; 陈利; 赵良] Dept. of Computer Science, Central China Normal University, Wuhan 430079, China
关键词:
软件体系结构;体系结构描述语言;分布式实时系统体系结构描述语言;可视化建模
摘要:
提出了将DRTSADL进行可视化建模的设计方案:抽取基本建模元素,给出它们的BNF范式定义;按照体系结构的配置将这些元素连接起来,分别从静态结构方面和动态行为方面,完成整个软件系统的设计.最后给出了可视化建模支持工具的具体实现.
语种:
中文
展开
TSP及其操作语义模型研究
作者:
叶俊民;王振宇;黄萍;赵恒
期刊:
海军工程大学学报 ,2005年17(2):12-18,27 ISSN:1009-3486
作者机构:
[叶俊民; 王振宇; 赵恒] 哈尔滨工程大学,计算机学院;[黄萍] 武汉大学
关键词:
时间标号迁移系统;操作语义
摘要:
在有限状态进程(Finite State Process,FSP)和时间自动机(Timed Automata,TA)的基础上,提出了一种描述分布式实时系统(Distributed Real-Time System,DRTS)行为的模型:时间状态进程(Timed StateProcess,TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System,TLTS)的转换规则.
语种:
中文
展开
基于网络拓扑结构的智能故障定位系统设计与实现
作者:
彭熙;李艳;王倩;肖德宝
期刊:
计算机工程 ,2005年31(2):219-221 ISSN:1000-3428
作者机构:
[彭熙; 王倩; 肖德宝] 华中师范大学计算机科学系;[李艳] 南京理工大学自动化系;华中师范大学计算机科学系 武汉430079;南京210094
关键词:
网络管理;故障管理;事件关联;故障定位
摘要:
故障管理是网络管理的一个重要组成部分.故障在网络运行中不可避免,一旦故障发生,会在网络中传播.智能故障定位是实现网络故障管理自动化的关键.文章介绍了一个基于网络拓扑结构的智能故障定位系统的设计与实现,主要包括总体功能设计、智能故障定位算法的设计与实现等.
语种:
中文
展开
普适计算的信任计算模型
作者:
郭亚军;洪帆
期刊:
计算机科学 ,2005年32(10):59-62 ISSN:1002-137X
作者机构:
华中科技大学计算机科学与技术学院数据安全与保密实验室;华中科技大学计算机科学与技术学院数据安全与保密实验室 武汉430074华中师范大学计算机科学系430079
关键词:
普适计算;信任;安全;信任模型;计算模型;普适计算;计算环境;Hasse图;安全技术;偏序关系;信任关系;评估机制;交互
摘要:
信任和安全有紧密的联系,当前的安全技术都隐含地与信任相关.普适计算环境是一个开放的环境,相互合作的主体具有自发性和不可预知性.在互相不知道的主体之间进行交互,必须有足够级的信任.普适计算比传统计算更强调信任的作用.本文在分析普适计算的信任特征后给出了适合该环境的信任计算模型.证明了普适计算环境中的信任关系是偏序关系,根据信任Hasse图,我们给出了信任评估机制.最后分析表明该模型满足Lamsal的普适计算信任建模要求.
语种:
中文
展开
基于统计模型的词语搭配自动获取方法的分析与比较
期刊:
计算机应用研究 ,2005年22(9):55-57 ISSN:1001-3695
作者机构:
[刘辉] 华中师范大学;[何婷婷; 全昌勤] 华中师范大学,计算机科学与技术系,湖北,武汉,430079
关键词:
自然语言处理;词语搭配;统计模型
摘要:
对搭配的定义及搭配在自然语言处理中的应用作了介绍,着重分析了目前广泛使用的基于统计模型的词语搭配自动获取方法,并对衡量搭配强度的六种统计指标进行了详细的分析和比较.
语种:
中文
展开
伪造路径下PPM算法IP追踪性能研究
作者:
姚娟;赵尔敦;曾庆江
期刊:
计算机工程与应用 ,2005年41(15):169-171 ISSN:1002-8331
作者机构:
华中师范大学计算机科学系武汉430079
关键词:
概率分组标记(PPM);拒绝服务攻击(DoS);IP追踪
摘要:
该文研究了概率分组标记(PPM)IP追踪机制对拒绝服务攻击(DoS)的有效性。在攻击者伪造多条攻击路径的情况下。分析得到PPM可以选取最优追踪标记概率以提高追踪效率;进一步的分析则表明,在伪造路径长度增加时,PPM效率将明显降低。
语种:
中文
展开
一种全文检索系统的设计与实现
期刊:
计算机工程 ,2005年31(17):55-57 ISSN:1000-3428
作者机构:
[何婷婷; 涂新辉; 罗景] Department of Computer, Central China Normal University, Wuhan 430079, China
关键词:
全文检索;全文索引;倒排文件;分布式
摘要:
在对全文检索有关技术进行分析和研究的基础之上,提出并实现了一个实用的全文检索系统 UFRS,它能够处理中英文文档并可以扩展到其它语言,支持多种不同的索引存储方案以及分布式检索.依次讨论了该系统中的存储层、词法语法分析层、系统核心接口层.最后给出了该系统的一种分布式部署方案.
语种:
中文
展开
消息传递模型下的等待阻塞策略
作者:
苗浩;黄刘生;陈国良
期刊:
小型微型计算机系统 ,2005年26(7):1183-1186 ISSN:1000-1220
作者机构:
中国科技大学计算机系;中国科技大学计算机系 安徽合肥230026;[苗浩; 黄刘生; 陈国良] 中国科学技术大学
关键词:
消息传递;等待阻塞策略;全局同步操作
摘要:
在基于消息传递的并行模型中,通信密集型的应用通常存在大量进程切换的问题.针对集群环境中大量的周期性地进行全局同步操作的应用,传统采用的等待阻塞策略由于没有考虑到应用的特殊性而效果不太明显.本文提出了适合于此类型应用特点的新策略,即一方面在同步点采取阻塞进程抢占策略,另一方面在周期内采取固定时间等待阻塞策略或者应用级的等待阻塞策略.通过基于离散事件的模拟器,对该策略和其他策略进行了模拟比较,结果说明无论从CPU占用时间和系统响应时间该策略都获得了比较理想的效果.
语种:
中文
展开
用VC++设计的多线程关机程序
作者:
宋铭利;郭岗;何东健
期刊:
西北农林科技大学学报(自然科学版) ,2005年33(1):155-159 ISSN:1671-9387
作者机构:
[宋铭利; 何东健] 西北农林科技大学,信息工程学院;[郭岗] 洛阳师范学院,计算机科学系
关键词:
API函数;异步通讯;关机;多线程
摘要:
以Client/Server程序设计理论为基础,通过对在网络程序设计中使用单线程和多线程不同连接方式的讨论,选择了在编制计算机实验室远程关机程序中的方法--多线程程序设计.并利用VC++6.0实现了远程关闭计算机、重新启动计算机、注销当前用户等功能,该程序适用于Win9X,Win2000和WinXP.
语种:
中文
展开
从搭配知识获取最优种子的词义消歧方法
期刊:
中文信息学报 ,2005年19(1):30-35 ISSN:1003-0077
作者机构:
[刘辉] 华中师范大学;[姬东鸿] 新加坡国家科技局信息科学研究院;[何婷婷; 全昌勤] 华中师范大学,计算机科学与技术系,湖北,武汉,430079
关键词:
人工智能;自然语言处理;自然语言处理;词义消歧;搭配;种子优选
摘要:
基于统计的词义消歧模型的一个关键问题是如何自动从语料库中获取指示词,虽然通过学习初始搭配实例能够在语料库中获取更多的搭配知识,但人工获取质量较好的初始搭配是比较困难的,并且无法保证有效的扩大搭配知识.针对该问题,提出了通过机器学习初始搭配实例获取最优种子,再由最优种子扩增更多指示词,最后利用这些指示词实现具有多个义项的多义词消歧.采用该方法对8个多义词进行消歧的测试实验中取得了87.7%的平均正确率.
语种:
中文
展开
基于义类的无导词义消歧方法的研究
期刊:
计算机应用研究 ,2005年22(4):39-41 ISSN:1001-3695
作者机构:
[刘辉] 华中师范大学;[姬东鸿] 新加坡国家科技局信息科学研究院;[何婷婷; 全昌勤] 华中师范大学,计算机科学与技术系,湖北,武汉,430079
会议名称:
第二届全国学生计算语言学研讨会
会议时间:
2004-08-01
会议地点:
北京
会议论文集名称:
第二届全国学生计算语言学研讨会论文集
关键词:
自然语言处理;词义消歧;无导方法;义类
摘要:
词义消歧在自然语言处理的许多应用领域都起着十分重要的作用。为了适用于大规模的词义消歧,提出了一种无导的学习方法。基于向量空间模型,结合机读词典和义类词典建立从义项到义类的映射关系,再利用义类知识在语料库中无导学习消歧特征,最后利用这些特征实现词义消歧。
语种:
中文
展开
基于主题区域发现的中文自动文摘研究
期刊:
计算机科学 ,2005年32(1):177-181 ISSN:1002-137X
作者机构:
[何婷婷; 胡珀] 华中师范大学计算机科学与技术系;[姬东鸿] 新加坡国立信息通信研究院
关键词:
自动文摘;主题区域发现;聚类分析;表达熵
摘要:
自动文摘是自然语言处理领域的一项重要的研究课题.文中提出了一种基于主题区域发现的中文自动文摘的方法.该方法的特色在于:产生的文摘能在尽可能全面地覆盖全文多个主题的同时,显著地缩减自身的冗余,从而能有效地平衡两者之间的矛盾.通过采用K-medoids的聚类算法联同新的自定义目标函数的聚类分析方法,实现了段落自适应聚类下的文本潜在主题区域的发现及其在自动文摘领域的应用.此外,一种基于表达熵的新的评价因子被用来评价摘要的冗余.实验结果验证了该方法的可行性,有效性,是对中文自动文摘研究的一种有意义的探索.
语种:
中文
展开
蜂窝移动网络中重拨模型及其性能分析
作者:
姚娟;曾庆江;赵尔敦
期刊:
华中科技大学学报(自然科学版) ,2004年32(12):10-12 ISSN:1671-4512
通讯作者:
Yao, J.(yaojuan@email.ccnu.edu.cn)
作者机构:
[姚娟; Zeng, Qingjiang] Dept. of Comp. Sci., Central China Normal Univ., Wuhan 430079, China;[赵尔敦] Huazhong Univ. of Sci. and Technol., Wuhan 430074, China
通讯机构:
Dept. of Comp. Sci., Central China Normal Univ., China
关键词:
蜂窝移动网络;重拨;过区切换
摘要:
蜂窝移动网络中存在的用户重拨现象对网络的性能有较大影响.在重拨情况下,当本地呼叫与切换呼叫服务速率不同时,系统模型非常复杂,通过将到达流分解成各次重拨过程,使分析模型得到简化,并给出求解简化模型的迭代算法.数值分析结果表明,系统阻塞率性能随允许重拨次数的增加而显著降低.
语种:
中文
展开
A Distributed Self-Tuning Explicit Rate Controller for Multicast Flows
期刊:
软件学报 ,2004年15(6):940-948 ISSN:1000-9825
通讯作者:
Tan, L.-S.(l.tan@ccnu.edu.cn)
作者机构:
[谭连生; 刘芹; 余一娇] Dept. of Comp. Sci., Central China Normal Univ., Wuhan 430079, China
通讯机构:
Dept. of Comp. Sci., Central China Normal Univ., China
关键词:
distributed algorithym;explicit rate;multicast congestion control;rate-based congestion control;self-tuning controller
摘要:
The ever-increasing multicast data applications recently have aroused considerable interests in the design of congestion control scheme for multicast services. This kind of study is indeed important, especially to those multicast receivers with large propagation delays which mean the feedbacks arriving at the source node are somewhat outdated and harmful to control actions. A distributed self-tuning explicit rate algorithm is presented in this paper to overcome the vulnerability that suffers from the heterogeneous multicast receivers. It is suggested that congestion controllers be located at the source and the participating intermediate nodes to regulate the transmission rate. This network-assisted property is different from the traditional control scheme in that the router computes the appropriate transmission rate of itself and executes it rather than sends packets in best efforts. This active manner makes the control more responsive to the network status. The proposed self-tuning controller has essentially a proportional controller structure. The proportional gain is related to the extent that the router buffer occupancy deviates from the desired point. Simulation results show the efficiency of the proposed scheme in terms of fast response, high link utilization, and relatively stable buffer occupancy.
语种:
英文
展开
基于嵌入式开发板SOM-2353F的电子课本应用系统设计
作者:
郑世珏;张江陵
期刊:
计算机应用研究 ,2004年21(3):125-127 ISSN:1001-3695
作者机构:
[郑世钰; 张江陵] 华中科技大学计算机科学与技术学院;华中科技大学计算机科学与技术学院 湖北武汉430074华中师范大学计算机科学系;湖北武汉43 0 0 79
关键词:
嵌入式开发平台
摘要:
讨论了基于模板系统(System On Module)嵌入式开发板SOM-2353F的结构、性能指标、主要功能及电器特性,并描述了SOM-2353F采用的Geode~(TM) GXl-300 X86CPU工作状态和特性。讨论了以该嵌入式开发板设计一种便携式电子课本的系统结构和设计方案,进一步说明了应用SOM-2353F进行嵌入式个人PDA产品设计和规模化生产的优势.
语种:
中文
展开
A note on intrusion detection in Telnet
作者:
熊乃学;杨燕
期刊:
华中师范大学学报(自然科学版) ,2004年38(2):160-164 ISSN:1000-1190
作者机构:
[熊乃学; 杨燕] Department of Computer Science, Central China Normal University
关键词:
入侵检测;远程登录;选项协商
摘要:
远程登录是互连网上最常用的应用之一,而Telnet已经是Internet上实现远程登录的事实标准,它为客户访问一个远程主机提供一个标准接口,即网络虚拟终端服务.利用Telnet协议的入侵主要集中在选项协商上,所以根本问题是从选项协商入手.通过对几种选项协商的分析,给出了此检测的流程图、相关代码和其运行结果.
语种:
中文
展开
基于音视频特征和文字信息自动分段新闻故事
作者:
刘华咏
期刊:
系统仿真学报 ,2004年16(11):2608-2610 ISSN:1004-731X
作者机构:
[刘华咏] Dept. of Comp. Sci., Central China Normal Univ., Wuhan 430079, China
关键词:
新闻视频;故事分段;音视频特征分析;文字检测
摘要:
提出了一种新的基于音视频特征和文字信息自动分段新闻故事的方法.其基本思想是先对新闻视频进行镜头边界检测;其次,通过文字检测算法检测包含有主题字幕文本的帧来获得新闻故事分段的线索;接着用短时能量和短时平均过零率(ZCR)来检测新闻视频中存在的静音片段;最后,综合音视频特征和文字信息实现故事自动分段.在包含135,400帧的实验素材上获得了85.8%的准确率和97.5%的查全率,实验结果证明该方法是十分有效的.
语种:
中文
展开
数字图像水印嵌入强度的矩估计方法
作者:
金聪;彭嘉雄
期刊:
计算机辅助设计与图形学学报 ,2004年16(5):691-696 ISSN:1003-9775
通讯作者:
Jin, C.
作者机构:
[金聪; 彭嘉雄] Lab. for Image Processing, Inst. for Pattern Recognition, Huazhong Univ. of Sci. and Technol., Wuhan 430074, China;Lab. of Information Security, Chinese Acad. of Sciences, Beijing 100039, China;Dept. of Computer Science, Central China Normal Univ., Wuhan 430079, China
通讯机构:
Lab. for Image Processing, Inst. for Pattern Recognition, Huazhong Univ. of Sci. and Technol., China
关键词:
数字水印;矩估计方法;嵌入强度
摘要:
在水印图像是均值为零的随机二值序列、原始图像是服从Weibull分布(具有参数α和β)的独立同分布随机序列的条件下,对于原始灰度图像,水印嵌入强度的估计问题可归结为对隐秘图像和原始图像灰度平均值的简单计算的问题.提出矩估计方法,实验结果证实了该方法的有效性.对加法、乘法和融合三种嵌入规则的性能进行了比较和分析,所获得的结论对今后的研究有意义.
语种:
中文
展开
一种电子结算/电子商务网络的发展方案
作者:
陈静;陆泉
期刊:
计算机应用研究 ,2004年21(4):88-90 ISSN:1001-3695
作者机构:
[陈静] 华中师范大学计算机学院;[陆泉] 武汉大学信息管理学院
会议名称:
中国计算机学会网络与数据通信学术会议
会议时间:
20021202
会议地点:
武汉
会议论文集名称:
中国计算机学会网络与数据通信学术会议论文集
关键词:
电子结算;电子商务
摘要:
讨论了电子结算/电子商务网络的发展策略,提出了电子结算网络的一般体系结构和低成本、高效率的处理方案.
语种:
中文
展开