首页>中文会议>工业技术>自动化技术与计算机技术>2005年全国理论计算机科学学术年会

2005年全国理论计算机科学学术年会

召开年：2005
召开地：秦皇岛
出版时间：

主办单位：中国计算机学会

会议文集：计算机科学、燕山大学学报

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.基于神经网络系统辨识的水下航行器源贡献分析研究
- 魏娜;贲可荣;章林柯;庞云福
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文从系统辨识的角度出发,尝试将人工神经网络应用于水下航行器噪声源贡献比分析研究.文章详细分析了神经网络用于水下航行器贡献比分析研究的建模思想、一般框架,给出了具体应用步骤及相应流程,并用一个仿真实验证实了所提出方法的可行性.
2.目标驱动的网络安全智能分析技术
- 刘海燕;邵立嵩;王子强
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文详细地分析了脆弱点之间的逻辑联系,用产生式规则来描述逻辑联系,提出了基于扩展的与或树的搜索技术进行面向目标的安全分析.
3.Agent和MAS中互操作方法研究
- 吴荣华;贲可荣
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对Agent和MAS中互操作方法进行了论述.文章阐述了目前在基于Agent的互操作方面的主要工作,重点关注MAS的互操作方法,给出了一个实现MAS互操作的实体结构模型,当然该模型的实际应用效果和功能还有待进一步研究论证.
4.结构化道路车道线检测与跟踪算法
- 杨广林;苗冬霜
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对结构化道路车道线检测与跟踪算法进行了研究。文章采用PETS2001提供的原始图像及数据,在对图像进行逆透视变换的前提下提取车道线上的部分点并进行二次曲线拟合,使算法变得简洁,提高了算法实时性.系统在PentiumⅣ2.5GHz上运行,每帧图像处理速度达到0.12s左右,满足实时性要求.
5.对分布式协同设计中多媒体系统的语义的分析表达
- 陈娟
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：随着网络技术和分布式系统的普及,越来越多的Web应用包含了多媒体内容,使流媒体能够被运用在分布式设计中.本文对分布式协同设计中多媒体系统的语义的分析表达进行了研究.文章围绕分布式多媒体系统CMMS的语义分析和分布式多媒体系统CMMS正式的语义表达进行了论述.
6.基于分枝时间框架的通信系统的BDI模型
- 费定舟
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文以一种统一的方式描述了发生在分布式通信Agent的过程,给出了其关键概念的BDI逻辑模型.文章围绕Agent工作定义、言语行为理论、M试ti-Agent系统的BDI模型、言语行为理论的形式化等进行了论述.
7.基于代理的Honeypot系统的分布式模型
- 程杰仁;湘南学院数学系;殷建平;唐勇;吕绍和
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文给出了一个基于代理的Honeypot系统的分布式模型框架(DHBA).首先分析了DHBA的产生背景,对其设计思想以及系统实现进行了介绍.讨论了一些曾经阻碍Honeypot系统发展的问题并逐一分析解决.本模型采用了构件化思想、基于代理的分布式结构和规范化管理分析模式,部署简单,容易扩展.系统模型的功能组件之间各自独立,相互协作,合作完成任务.
8.指纹分割技术研究
- 胡春风;殷建平;祝恩
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对现有的指纹分割算法做了总结和分析.文章介绍了指纹分割目标的演变;阐述了各个算法中常用的指纹图像的像素特征;分析了主要的指纹分割算法的原理、应用和不足;对指纹分割的研究给出了一些建议.
9.视图发布过程中信息泄漏问题的研究
- 宋丽;刘国华
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：为了避免无意识的信息泄漏,本文对视图发布过程中信息泄漏问题进行了研究.文章围绕信息泄漏问题的分析、相关的定义、查询-视图安全、关键元组消除信息泄漏算法等进行了论述.
10.一种基于服务关联的Web服务发现算法
- 薛庆;张世栋;隋琪
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文根据服务之间的语义匹配建立服务之间的关联关系,并将这种关系存储在服务关联模块中,通过对服务关联关系进行预处理,提高了服务发现的效率,并能找出原来由单一服务所不能完成的功能,提高了服务发现的准确率和返回率.
11.数据集成中的XML查询重写
- 刘跃军;艾鸿;上海水产大学信息学院;刘国华
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：数据集成中的核心技术就是查询重写,查询重写技术是数据库研究的一个基本问题,在查询优化、数据仓库、数据集成、语义缓存等问题有广泛的应用.本文重点研究了基于约束的查询重写问题.
12.DLMW:一种开放式科学数据库体系结构
- 孙冰;张忠平;刘国华
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对开放式科学数据库体系结构进行了论述.文章介绍了科学数据的类型,分析了科学数据库的特点及面临的一些困难,讨论了科学数据库的体系结构问题,提出了一个开放式环境,采用数字图书馆技术、信息集成机制和基于工作流的系统,在用户级和数据库缀实现可扩展性.
13.基于聚类的个性化推荐算法
- 陶红霞;车建华;刘国华
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文把一个求解高维空间数据聚类问题转换为一个超图分割寻优问题,采用一种基于超图模式的高维空间数据聚类方法,提出了一种新的超边权值的度量方法.该方法不需要减少高维空间数据项的维数,直接用超图模式描述原始数据之间的关系,并能通过选择适当的支持度阈值,有效去除噪声点,保证数据聚类的质量.文章给出了改进算法的实验结果,并与原有算法的聚类质量进行了比较.
14.工作流模型精化及验证
- 黄雨;袁崇义;王捍贫
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：在工作流精化模型中,本文加入了工作流过程相关数据的来进一步细化工作流控制模型,用前置条件后置条件来对活动进行简单规格说明,然后提出了用约减的方法来建立约束条件表达式,并验证工作流精化模型是否存在死锁和语义冲突.
15.基于MBR主方向关系的反关系的研究
- 刘永山;姜书奎;黄章俊
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：基于MBR主方向关系的反关系的探索是研究空间方向关系反关系的基础,这方面的成果不仅可以直接应用于地理信息系统、人工智能等系统中,还是对定性的空间方向椎理理论的补充和完善,本文中把方向关系和矩形代数理论相结合的分析方法也为今后的工作提供了一种解决间题的思路.
16.基于信息完备性的粗关系操作研究
- 王志松;李莉
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文针对已有粗关系操作的缺点,从知识完备性的角度,对已有的粗关系操作进行了改进,提出了新的粗关系操作的定义,讨论了相关的性质,为进一步开展研究打下基础.
17.基于流数据的动态存储技术
- 刘佳;张毅
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对比了传统的数据与流数据的存储方法,并总结了现有流数据存储方式的优缺点,在继承了双向流的优点基础上,针对多数据源、多查询及多级存储建立了一个新的流数据处理系统模型,给出了解决历史数据存储的几种方案,更加突出了"实时性与历史性结合"的特点,同时满足了历史数据查询的需要,实现了流数据的动态存储策略.
18.部分状态空间的建模及其验证
- 韩婷婷;陈韬略;颜锋;吕建
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对部分状态空间的建模及其验证进行了研究.文章提出了一个统一的框架,在一个维度上扩充Krinke结构,一个维度上扩充LTS,另一个维度上扩充到部分状态空间.文章选择u演算为系统的规约语言并给出了针对PKMTS模型的u演算的三值解释和musVmay解释语义,证明了其等价性.文章利用must／may解释将部分空间上的模型检测问题转化为两个完全空间上的模型检测问题.
19.异构任务图在网格环境中的调度实现
- 华安;国家高性能计算机工程技术中心同济分中心;曾国荪;国家高性能计算机工程技术中心同济分中心;乔伟光;国家高性能计算机工程技术中心同济分中心;张飞;国家高性能计算机工程技术中心同济分中心
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：并行分布计算环境的任务调度一直是并行计算研究的热点问题,网格技术的发展则对任务调度提出了新的要求.本文采用带参数的有向超图表达异构任务图,为具有一般性、异构性、分布性、动态性等特点的任务请求提供了通用描述方法.通过设计网格异构任务图描述语言GHDL,实现了网格任务请求的统一封装以及任务请求在异构环境下的计算机理解和识别.通过设计自适应调度策略库,为分布异构动态网格环境下的任务调度提供有效解决方案,实现了在考虑网格任务间优先约束与数据关联的同时,采取异构宿主机识别、异构客户端自动创建等方式开发利用环境异构性与任务异构性,采取实时网格状态信息采集与任务迁移屏蔽了资源动态性.异构任务图在网格环境中的调度效果由树生长的仿真实验进行了展示.
20.一种用于Web服务的密码协议及实现
- 杨扬;李祥
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文根据基于Web服务的系统设计中所遇到的实际问题,设计了密码协议,并利用微软．Net的SOAP扩展加以实现.解决了Web服务的保密通讯、授权访问以及防止重方攻击等安全问题.通过实际应用效果证明,上述密码协议及实现是成功的、实用的.
21.相似度可调的匹配算法的分析与设计
- 潘景昌;程马勇;阎峥;黄垚;黄晓选
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文针对相似度的调整问题进行了初步探讨,分别从内容、字符两个方面,分析和设计了相似度可调的匹配算法.它是对现有的相似匹配算法的一种补充和增强.算法通用性好,便于移植,是其优点.
22.一种改进的H-K数字签名方案
- 崔哲;余梅生
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对一种改进的H-K数字签名方案进行了研究.文章对H-K数字签名方案进行了介绍;阐述了改进的H-K签名方案;对其安全性和效率进行了分析.
23.软件流水领域二维数组数据相关性分析算法研究
- 乔林;黄维通;汤志忠
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对软件流水领域二维数组数据相关性分析算法进行了研究.文章扩展了一般λ测试技术,解决了二维数组的数据相关性判定问题,获得了比传统方法更加精确有效的结果.
24.伪随机序列相关运算的FPGA实现
- 张宝荣
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文设计了一种数字相关器,使用FPGA器件实现了伪随机序列相关运算,能够对伪随机序列的相关特性进行快速检测.
25.防御木马后门的HIDS研究
- 徐德启;黄春晖;贾存虎;冀佩刚
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对防御木马后门的HIDS进行了研究。文章分析了目前操作系统上特洛伊木马和后门的入侵攻击行为特征,提出了一种针对木马后门的HIDS系统架构.该结构模拟人体免疫原理,加强了对系统进程、DLL、注册表、服务的检测力度,同时重点检测网络外出数据包.该结构针对性强,可以弥补防火墙和防病毒软件的不足.
26.URL和文档结构信息在网页检索中的应用
- 邓芳;牛军钰
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：网页的URL,很早就应用于检索领域,然而由于其提供的信息量不足,只是被用来辅助检索,并且只是作为查询相关信息.本文对URL和文档结构信息在网页检索中的应用进行了研究.文章对索引的建立和文档结构信息的使用进行了重点论述.
27.电子商务协议的形式化验证方法及FR验证实例
- 郭华;庄雷
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：形式化分析方法是验证协议的有力工具.本文介绍了一些常用的形式化验证方法,并用UPPAAL对FR协议的一个新属性进行了验证.用自动机建模可借助工具实现协议的自动验证,但不能详细表示各参与者的加解密信息及签名信息.因此如何将定理证明与自动机有机结合,从而增强自动机的表达能力,是今后研究的方向.
28.Spec＃语言中的形式化特性
- 郑宇军;工程兵科研二所;石海鹤;江西师范大学计算机信息工程学院;薛锦云;江西师范大学计算机信息工程学院
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文从形式化方法的基础--程序正确性的概念出发,分析了Spec＃语言中的形式化机制,简要叙述了其它一些有助于提高软件可靠性的新增特性,并对该语言在形式化方向上的优越性和不足进行了讨论.
29.基于XML的文本规划方法
- 刘玲;周经野;罗慧慧
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：篇章生成是自然语言生成研究的重要目标,而对篇章生成而言,文本规划是一个不可或缺的部分,它主要确定并组织生成的内容,分为内容确定和话语规划两部分,对篇章生成的质量起着关键的作用.本文对基于XML的文本规划方法进行了论述.
30.基于进程演算的安全协议形式化分析
- 顾永跟;傅育熙;朱涵;吕银华
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文介绍了安全协议和进程演算的一些基本知识,探讨和分析了基于进程演算分析安全协议的各种方法,以及将来的发展方向.
31.回路双三角的逆M矩阵完备
- 程芳;汤淑英;郭希娟
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文利用有向图的理论研究了对应图为回路双三角这一特殊图形的部分逆M矩阵的完备问题,根据本文所提出的完备定理,可以很方便地判断出对应图形为回路双三角的部分矩阵是否存在逆M矩阵完备,并可根据所提出的算法得到它的完备式.
32.带有启动机制延迟休假的D-MAP/G/1模型的队长计算
- 陈琛;刘杰民;霍占强
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文引入了可以描述突发性和相依性的离散马尔可夫到达过程(D-MAP),对应ATM中交换虚通道的运行机制,建立了带有Setup-Closedelay-Closedown的DMAP/G/1排队模型,给出并证明了系统任意时刻和离去时刻队长的向量母函数.
33.网格环境作业动态冗余分配策略
- 陈庆奎;那丽春
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文给出一个在由多计算机机群构成的数据网格环境下、面向数据并行型计算的m-动态冗余可靠性分配策略,并根据这个策略描述了一个数据并行型计算过程.动态冗余策略结束语在基于网格的数据并行计算的大规模并行算法的实现中,动态负载均衡和有效的容错机制十分重要.文章提出的动态冗余策略有效地解决了这个问题.
34.并行计算中的任务分配算法
- 胡金初
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：在网络十分普及的今天,采用并行计算是提高系统性能的一个较为经济的解决方法,它通常结合目前成熟的技术和已经存在的设计,使系统获得更好的性能.对于一个并行计算系统来说,任务的划分和分配是至关重要的.本文对并行计算中的任务分配算法进行了研究.
35.基于并行PSO的神经网络优化算法的研究
- 张蕾;陈月辉;杨波
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文提出了一种基于并行PSO的神经网络的优化算法,并在曙光3000超级服务器上利用MPICH并行编程环境进行设计实现.对入侵检测数据测试表明,并行粒子群优化算法优化多层前向神经网络不仅能提高求解的速度和解的质量,还能得到较满意的加速比.
36.一种结合外部环境状态的主体语义模型
- 张大鹏;周军锋;陈宝峰
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文在传统的基于BDI的主体模型的基础上,提出了一种结合外部环境状态的主体语义模型.通过引入外部环境状态来改变传统的BDI模型中存在的信息不完全性问题.
37.基于Agent的机器人足球赛中的再励学习算法
- 唐勇;陈宝峰;张大鹏;陈琛
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：关于Agent个体的机器学习一直是Agent研究的一个重要方面,本文对再励学习中的Q学习算法做了简单介绍,然后在一个基于Agent的机器人足球赛平台上将Q学习算法引入,并进行了对比实验.
38.一种基于免疫遗传神经网络的盲信号分离方法
- 张海英;王昆;潘永湘
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文提出一种基于免疫遗传优化神经网络的盲信号分离算法.该算法用网络的第一层先对观测矢量作预处理,将其降维与白化,再用网络的第二层对信号进行分离;分离层的权矩阵设计成正交矩阵,并采用免疫遗传优化与独立分量分析相结合的算法,对网络分离层的权值进行训练,其中,取高阶统计量峭度的变形作为训练的代价函数.实验表明,该算法对于盲信号分离是有效的.
39.移动Agent技术及实现方法
- 吴铁洲;贲可荣
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文给出了移动Agent的实体模型、理论模型和协作模型并详细阐述了实现移动Agent技术所要解决的问题及方法,为移动Agent的应用提供了新的思路.
40.基于VR预显示的月球机器人遥操作仿真系统
- 吕德生;洪炳熔;唐好选;蔡则苏
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：为了消除时间延迟对遥控操作系统稳定性的影响,本文提出了基于虚拟现实(VR)预显示的两级遥操作控制结构的仿真系统方案.文章重点讨论了虚拟环境的建模技术,建立了基于摇杆-转向架的月球机器人的实体模型.最后用月球机器人爬坡的仿真验证了所建模型的正确性和可行性.
41.虚拟实验中虚拟植物的建模
- 戴小鹏;喻飞;浙江大学人工智能研究所;黄璜;官春云;沈岳
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对虚拟实验中虚拟植物的建模进行了研究.文章指出,利用虚拟技术通过计算机模拟植物的生长发育过程,生成的植物不仅可以反映植物的形态结构、具有真实感的三维植物个体或群体,并能获得植物生理生态过程和形态结构的并行过程的共同结果.文章介绍了植物模拟方法和玉米叶片的建模.
42.基于代理群和多计票中心策略的电子投票系统
- 徐德启;张向征;燕昊;李大伟
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文在分析FOO方案和sensus系统的基础上,引入了秘密共享和重路由技术,构建了一个使用投票代理、中转代理群和多计票中心策略的电子投票系统模型.该系统在保证匿名、公正的基础上,具有无收据性和广义可验证性,并且操作简单,实用性强.
43.带宽测量方法与技术的研究
- 吕绍和;殷建平;蔡志平;程杰仁
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：物理链路容量及带宽需求的增长使带宽的准确测量将变得重要,同时也变得更为困难.但目前尚无任何RFC给出带宽测量方面的标准描述,甚至关于带宽的定义也存在争议.本文给出了带宽定义及其测量的主要方法与技术后.讨论了一些影响测量的相关因素,对与之相关的问题的更深入研究是带宽测量未来重要的发展方向.
44.基于Elman网络的未知恶意代码检测系统研究与实现
- 张波云;湖南公安高等专科学校计算机系;殷建平;唐文胜;嵩敬波
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文尝试用基于Elman网络的分类算法来实现对计算机病毒的检测,在此基础上,设计了一个恶意代码检测网络模型,它结合了特征码检测技术与人工神经网络技术,检测成功率较高.在我们的测试床中,将计划进行其它的基于机器学习算法的恶意代码检测实验,并对各种方法的性能与开销进行对比选择和优化以期用于实际的产品中.
45.端到端带宽测量技术研究
- 赵文涛;吕绍和;殷建平;蔡志平
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：带宽是最重要的QoS参数之一,在流媒体点播、端到端访问控制、服务器选择和拥塞控制等多方面的网络应用中都有着广泛的应用.本文对端到端带宽测量技术研究进行了研究.文章围绕网络模型及带宽的定义、测量方法等进行了论述,并对相关问题进行了讨论.
46.传感器网络中的嵌套查询
- 杜礼新;陈子阳
- 《2005年全国理论计算机科学学术年会》 | 2005年
摘要：本文对传感器网络中的嵌套查询进行了论述.文章指出,嵌套查询是广域传感器数据库中的一个重要组成部分,是传感器数据库中分布式数据处理技术和查询优化技术的重要内容.虽然目前对于传感器数据库中的嵌套查询的研究还不是很成熟,还有许多地方有待完善,但它已经开始受到广泛的重视和研究.