首页>中文会议>其他>2004年全国理论计算机科学学术年会

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

召开年：2004
召开地：武汉
出版时间：

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

会议文集：计算机科学

会议论文

热门论文

全部论文

全选（0）

1.基于改进遗传算法的数字图像分割
- 李辉;吕英华
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出一种基于遗传算法的自动阈值的选取方法,并结合区域生长法来对图像进行分割,利用遗传算法的全局高效寻优能力来自动获取阈值,同时作为判定区域的条件,从而达到了有效地将图像的目标和背景分离的目的。
2.基于改进遗传算法的模糊图像复原
- 曹毅;吕英华;李辉
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出了改进遗传算法用于图像复原的方法。该算法用于图像恢复的效果与标准遗传算法相比较，要好于标准遗传算法的复原效果。同时，由于改进了遗传操作，使得算法的计算量大大减少，平均收敛时间减小，而且更接近于全局最优，收敛性能大大优于标准遗传算法。
3.图像压缩中具有混合消失矩小波的构造
- 邹溪;关玉景;李瑛
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对图像压缩中具有混合消失矩小波的构造进行了研究。文章阐述了小波的正交性、对称性、速降性(局部支集)和与多项式正交(震荡性)等特点；介绍了混合消失矩和小波的构造及其应用。
4.数据流持续查询的模型构造
- 邱仕坦;林锦贤
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文从考虑适用数据流的数据管理方法出发，探讨了持续数据流查询系统模型的设计，文章引入数据流定义等系统模型参数，进而介绍了查询计划在该模型中的组织，在此基础上提出了系统的初步模型。
5.对数据集进行聚类分析的可行性研究
- 吴军勇;郭福亮
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：在数据挖掘中，建立一个有效的模型是一项复杂而又困难的任务。其关键在于选出最好能够解决所面临问题的一种模型形式。本文分析了数据集中点的分布特征，通过给出适当的距离约柬条件k，概要地讨论了聚类分析是否适合数据集的问题。
6.IKE协议抗重放攻击的缺陷分析及改进
- 曹来成;李廉;郭萍;沈志远
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：抗重放攻击作为IKE协议的安全性的一个重要方面,对它的研究有着积极和现实的意义。本文对IKE协议抗重放攻击的缺陷分析及改进进行了研究。文章对IKE协议进行了概述；分析了IKE协议抗重放攻击的缺陷；提出了IKE协议的改进方法。
7.基于多代理的调度理论研究
- 黄箐;汪厚祥;姜卫
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对多代理的调度理论进行了研究。文章围绕经典调度理论的局限性、多代理系统的组织特性、基于多代理的调度算法集成、未来研究的展望等进行了论述。
8.一种基于蚁群算法求方程组数值解的新方法
- 叶楠
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出了一种基于蚁群算法求方程组数值解的通用算法。实验结果表明此算法是有可行的，尤其在求解一元方程时，其求解精度与速度都非常优越；但在求解多元方程组时，精度有所下降，但速度仍然非常快。因此，本算法可作为工程应用研究的一个通用工具。
9.计算有理矩阵指数的一种方法
- 王爱银;张知难
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：在数值计算的环境中通常得不到矩阵e的准确自然法式，因此尽管Frobinius矩阵有许多优点，但仅限制在理论上。本文借助于符号计算完成了有理矩阵的自然法式，符号计算用于有理数的四则运算是相当有效的。
10.高性能计算在天气预报中的应用概述
- 张荣荣;彭含辛;冯径
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对高性能计算在天气预报中的应用进行了探讨。文章围绕并行计算在天气预报中的应用、传统计算模型所面临的问题、网格计算在天气预报中的应用等进行了论述。
11.ASP开发技术应用解析
- 常华;王少武
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对ASP开发技术应用进行了解析。文章指出，ASPMicrosoft公司1996年推出的Web应用程序开发技术,既不是一种程序语言,也不是一种开发工具,而是一种技术框架,是一种未经编译的开放的应用软件,是基于服务器端的脚本编写环境。它可以使用户结合已具有的HTML网页、脚本程序和ActiveX组件,更方便地创建和运行动态的、交互式且高效的Web服务器应用程序。
12.基于串行技术图像边缘检测算法实现
- 李峰;傅建平;丛国滋;赵文宽
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于串行技术图像边缘检测算法实现进行了研究。文章提出的算法是在黑白二值线条图形的基础上实现的。线条图形可以通过并行算法的边缘提取并细化得到。对于位图图像其扫描方式是从下到上、从左到右，该算法同样有效，只是邻近起始点S的可能方向变为0，l，2，3四种方向中的一种。
13.条件极值的模糊匹配算法在基于内容的图像检索中的应用
- 王和勇;李磊;姚正安
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文介绍了模糊检索的理论和算法实现，并通过实例进行了检索试验，通过实验看到，利用条件极值的模糊检索，不但可以弥补错过真正需要检索的目的对象，而且与人们的思维方式一致。
14.共轭梯度法改进算法及其推广
- 蒋相猛;李晓梅
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：线性方程组的求解是数值代数的三大问题之一,它是众多科学与工程计算问题的核心。本文对共轭梯度法改进算法进行了探讨。理论分析和测试结果表明，ICG算法和ICR算法都改进了原有的算法，说明改进的方法是可行的。
15.基于LabVIEW的虚拟小功率计实现方法
- 陈冰清;王高山
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于LabVIEW的虚拟小功率计实现方法进行了研究。文章围绕虚拟仪器的设计方法、虚拟小功率计及功率测量的实现、关于功率测量方面的重点难点及运行结果等进行了论述。
16.数据仓库建设中的数据挖掘应用
- 吴克明;郭福亮;石国景
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：随着信息技术的广泛应用,企业每时每刻都在产生和利用大量的数据,同时也面临着如何处理这些日益庞大的数据的问题。本文对数据仓库建设中的数据挖掘应用进行了研究。文章围绕数据仓库与数据挖掘之关系和数据挖掘技术支持数据仓库的建设问题进行了论述。
17.JSP和XML在管理信息系统中的应用
- 鄢能;屈鸿
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对JSP和XML在管理信息系统中的应用进行了论述。文章指出，XML数据库是一种基干Web的新型的半结构化数据库。XML作为一种新型的数据库格式具有一些特别的优势。能够提供高质量的全文搜索引擎，特别适合对半结构化数据的管理。
18.目标识别系统中大尺寸图像的锥体层次存储模式
- 张国敏;殷建平;祝恩;王珊珊
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文针对图像目标识别中常用大尺寸图像处理操作的任务处理时间，设计了一种锥体层次存储模式，实际应用表明该存储模式能对图像创览、点运算、卷积操作、形态学运算、分窗口频域分析、纹理分割等操作提供较好的支持，与不采用该存储模式的方法相比，系统性能有较大幅度的提高。
19.用SQL查询实现XQuery查询的研究
- 吴文辉;熊焕宇;陈玉勋;李沁
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文详细分析了XQuery查询语言，找出了在XTR算法基础上将XQuery查询语句转换为SQL查询语句的方法。文章为了实现查询语句的转换，提出了查询图的概念。查询图用于获取XQuery语句中各变量、元素之间的关系。转换查询语句时，先构建查询图，然后依据查询图转换XQuery语句。文章同时研究了如何将SQL查询结果还原为XML形式的结果。
20.两代小波在数字图像压缩中的应用
- 贾颖;陈莘萌
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文在分析比较两代小波的基础上给出了一个具体的用小波进行压缩的系统。并分别将第一代和第二代小波用于其中，从实验结果可以看到，第二代小波在图像压缩质量和压缩比上优于第一代小波。由于用小波来进行图像压缩有高压缩比、容错性好、压缩数据可分级传送等优点，在视频压缩，多媒体数据库方面也被广泛的应用，在以后的工作中，将会进一步将小波用于多媒体数据库与视频压缩方面。
21.通用财务信息综合管理平台的研究与实现
- 刘兵;刘欣
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对通用财务信息综合管理平台的实现进行了研究。文章开发了"通用财务信息综合管理平台",它把政府机关经费的预算、合同、借款、还款、结算、决算等与经费相关内容统一管理了起来,并与现有的会计账务系统相衔接,可以很好地把多种经费管理软件的数据有机地融合,还与经费管理的法律法规结合起来,可以满足各级领导和各个相关部门对经费管理的查询要求,并能与政府机关的日常业务工作相融合,成为其不可缺少的办公工具,使工作效率有了很大的提高。
22.Spread网格控件在部队经费信息统计管理系统中的应用
- 刘欣;刘兵
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对Spread网格控件在部队经费信息统计管理系统中的应用进行了研究。文章开发的"部队经费信息统计管理系统"是利用计算机技术对部队经费信息统计的业务数据进行登记,对有关数据进行汇总、审核、检查、分析的软件。该系统成功地应用了Spread数据网格控件,使软件达到了处理数据快速、准确的设计目的。
23.基于关联规则的孤立点挖掘
- 覃德泽;陆声链;林士敏
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出了一种利用关联规则挖掘孤立点的方法，通过改进传统的关联规则挖掘算法，使算法同时产生强关联规则和弱关联规则，将强关联规则作为对应的弱关联规则中包含的孤立点的解释。实验结果表明，该算法检测出了一些有着良好解释的异常对象，并且算法有着很高的效率。
24.一种面向中小型企业的WebMIS架构方案
- 刘玲;周经野;肖赤心;邹娟
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文采用CGI／Perl编程技术，在Linux环境下实现了一个中小型的三层结构WebMIS实验系统。文章详细描述了该系统的体系结构，简要介绍了关键的编程技术，从而可以发现CGI／Perl编程简明扼要，易于实现。实验结果显示这种体系结构有很好的安全性、稳定性和速度。
25.基于USB接口和单片机实现的数据采集系统
- 陈丽娜
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：在工业生产和科学技术研究的各行业中,常常需要对各种数据进行采集。传统的采集卡不仅安装麻烦,易受机箱内环境的影响,而且由于受计算机插槽数量和地址,中断资源的限制,不能挂接很多设备。本文利用89C51单片机设计了基于USB总线的数据采集系统。
26.智能网络数据挖掘工具研究
- 王崛;刘海燕
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对智能网络数据挖掘工具进行了研究。文章围绕基于层次结构的网络数据挖掘、智能网络数据挖掘系统构成、网站资源智能探测、网络资源的智能挖掘、网络资源的智能清洗等进行了论述。
27.计算机通信网中路由问题的博弈论解决方案
- 李琳
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对计算机通信网中路由问题的博弈论解决方案进行了研究。文章围绕计算机通信网路由选择的相关研究工作、博弈理论基础知识、基于博弈论的最佳路由解决方案、仿真结果及分析等进行了论述。
28.关于完全非线性的多值逻辑函数
- 肖建龙;罗铸楷
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对关于完全非线性的多值逻辑函数进行了探讨。文章指出，在密码学中一些密码体制的设计与分析，最终可归于多值逻辑函数的设计与分析。文章采用谱分析技术定出了完全非线性函数的两个充要条件和完全非线性函数及Costas阵列。
29.可视化数据挖掘技术
- 傅德胜;耿学华;傅涛
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：使用有效的可视化界面,可以快速高效地与大量数据打交道,以发现其中隐藏的特征、关系、模式和趋势。本文对可视化数据挖掘技术进行了研究。文章介绍了可视化技术；阐述了现有数据挖掘工具中的可视化技术应用概况。
30.不完备信息系统(RRDB)属性约简研究
- 李海涛;郭景峰;彭思维
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文在已有概念定义的基础上,针对精确约简和完全约简提出了RRDB中上下近似集定义,以及属性约简辨识矩阵的模型。文章阐述了相关定义；介绍了计算共同类的改进算法和实例验证。
31.PKI/CA系统的设计及分析
- 郭萍;李廉;曹来成;王炳新
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对PKI/CA系统的设计及分析进行了论述。文章结合校园网的特点及一段时问的工作，总结了PKI／CA系统的设计思想，并分析了所设计系统的功能、安全性及特点。
32.具有流容量约束网络系统可靠度的BDD算法
- 李东魁
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对具有流容量约束网络系统可靠度的BDD算法进行了研究。文章利用BDD和归约技术给出了计算带有流约束网络系统在2－终端情况下2－状态可靠度的一个新算法。
33.平面扩展多边形中圆锥曲线边弓形面积的计算
- 李海军;吉林大学计算机学院;王钲旋;庞云阶
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：计算平面上不规则多边形的面积是计算几何、CAD、CAM中的基本问题。本文主要对圆锥曲线边多边形的弓形面积进行了讨论,并给出了计算椭圆、双曲线、抛物线弓形面积的算法。
34.多协议标签交换与流量工程
- 刘海庆;刘孟仁;陈锋
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文介绍了MPLS新技术，它把IP与ATM技术进行集成，使网络性能得以优化。文章基于 MPLSI作原理分析了MPLS网络流量工程各个环节的作用，并为其构建了网络流量处理模型。该模型能够针对网络的环境、代价、应用模型、约束条件和标准确定控制策略，通过一系列的监控功能，对网络的状态进行监控，实现对网络性能的优化。
35.B样条曲线及其最小二乘法逼近
- 王舜燕;吴帆
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对B样条曲线的最小二乘逼近做了阐述，实际上B样条曲线逼近问题还有很多方法，在实际应用中对曲线的逼近问题是在一定的规定精度的条件下进行的，设计拟和算法必须考虑到用户规定的精度，要对偏差进行检验，只有当偏差在精度范围内，曲线才被接受。
36.最大公因子的求解与Sylvester矩阵
- 赵锡英;兰州工业高等专科学校;张旭;胡东华;李廉
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文给出了求解最大公因子的广义欧几里得算法与子结式算法，分析了它们的特点，通过对余多项式系数的线性化表示与分析，给出了子结式算法的行列式表示，并且给出了算法的时间复杂度。因为广义欧几里得算法中所获得的余多项式是相应子结式算法中多项式的因子，故相同的复杂度描述可用于广义欧几里得算法。
37.无线局域网的安全机制分析
- 齐鸣;汪厚祥
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文鉴于无线局域网的特殊性。对无线局域网的安全机制进行了分析。文章围绕无线局域网安全的定义、已应用的安全机制、推广中的安全机制进行了论述。
38.统计数据仓库的ETL特殊处理技术
- 杨文川;郁文生;朱武杰;刘洋;德妍
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：将大量的业务数据应用于分析和统计原本是一个非常简单和自然的想法,但在实际的操作中,要获得有用的信息非常困难。本文对统计数据仓库的ETL特殊处理技术进行了研究。文章围绕数据变换、数据清洗、数据集成、聚集概括、数据装载等问题进行了论述。
39.连续属性离散化技术的研究
- 周奕辛;于忠清
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对连续属性离散化技术进行了研究。文章围绕离散化技术发展的历史和现状、离散化的过程、离散化结果的评价等问题进行了论述。
40.基于GIS的校园通信资源管理系统
- 朱旭东;张宇;汪厚祥
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对校园通信资源管理系统进行了设计研究，并开发出一个C／S模式的GIS应用系统，将其应用于校园的通信资源管理工作之中，为学校通信管理部门和单位提供了一种新型的、可视化的、高效的管理方法。这对促进校园数字化管理的规范化、系统化和现代化具有重要的意义。
41.一种改进的3DR时空索引技术
- 曹忠升;刘俊彦;易宝林
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文针对GIST索引树的缺点提出了一种改进的通用搜索树mGIST，成功地将其应用到3DR树中，并实现了多种时空查询方式。实验表明，通过mGIST实现的3DR索引树可以有力地支持各种复杂的时空查询，取得了理想的效果。
42.职责分离原则在RBAC中的实现
- 陈娟娟;汪厚祥;鞠熠昊
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：为了更好地在RBAC模型中实现职责分离原则，本文定义了三种冲突实体：冲突权限、冲突用户和冲突角色，描述了RBAC各个组成部件之间的关系。同时形式化阐明了这三种冲突实体在分配关系上的各种准则亦即施加在分配关系上的约束，其中最根本的在于冲突权限不能同时授予同一个用户，从而防止用户具有过多权力。
43.数据挖掘技术在手机销售系统的应用研究
- 张廷香;时念云
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文以手机作为同类产品的代表，依托其销售系统，提出了基于多深度概念树结合遗传算法进行多深度挖掘的思想。适于高维、多概念属性、多层次概念的数据库，适于处理较大规模的问题。也可以发现在不同抽象层次、不同深度上对原始数据空间的不同规则描述。适合推广到同类产品销售与进货规则的数据挖掘应用中。
44.DM4双机热备份的设计与实现
- 吴恒山;杨浩
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文通过在DM4数据库管理系统中实施双机热备份，使系统能够安全稳定地运行，可靠性和可用性，尤其是持续可用性得到了很大的提高。
45.求解加工计划和Job-Shop调度集成问题的遗传算法
- 李强;邱洪泽
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对求解加工计划和Job-Shop调度集成问题的遗传算法进行了研究。文章提出了一种求解加工计划和Job-Shop调度集成问题的方法，在共生遗传算法的框架下，根据问题的需要设计了编码解码方式和遗传操作，并对一组测试问题进行了实际的运行。
46.异构数据库系统集成的研究
- 张正明;佟俐鹃
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：随着计算机应用技术的不断发展,各高校的大部分部门都不同程度地组织开发一些与本部门业务相关的管理信息系统。但由于多方面的原因,这些系统没有和其他部门系统实现数据同步和共享。本文对异构数据库系统集成进行了研究。文章围绕异构数据库系统概述与设计集成模型、异构数据库的集成等进行了论述。
47.IA-64体系结构中软件流水技术的研究
- 陈彧;李文龙;李胜梅;刘利;汤志忠
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对IA-64体系结构中软件流水技术进行了研究。文章阐述了软件流水技术的特点；分析了软件流水的寄存器需求；提出了寄存器不足的解决方法，并介绍了实验结果。
48.基于工业以太网的工业企业控制网络
- 徐周斌;张静波
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于工业以太网的工业企业控制网络进行了论述。文章阐述了工业控制领域系统的结构从最初的计算机集中控制系统到第二代的分布式控制系统的发展历程；介绍了以太网控制网络和一种典型的工业以太网应用实例。
49.基于关联规则的数据挖掘系统体系结构设计
- 徐慧英;熊岳山;薛建新
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于关联规则的数据挖掘系统体系结构设计进行了研究。文章阐述了数据挖掘的定义；介绍了数据挖掘在科学研究、市场营销、金融投资、产品制造、通信网络管理等领域的应用；论述了数据挖掘和AR3基于关联规则的数据挖掘系统体系结构。
50.基于P2P的VoD系统的视频缓存控制
- 孙顺强;范学峰
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文根据用户不再满足于以文本等小型数据量的网络服务,而是寻求网络传输数据量更大的多媒体服务的需求，对基于P2P的VoD系统的视频缓存控制进行了研究，以解决用户无法点播或点播时经常遇到影片播放不流畅、跳跃、甚至出现"渴死"等问题。文章对基于P2P的视频点播系统和视频缓存控制问题进行了论述。
51.一种扩充时间约束关系的RBAC模型
- 姜浩伟;陈娟娟;赵晓欣
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文在Ravi Sandhu提出的RBAC96模型基础之上，提出了扩充时间约柬关系模型XTCRBAC。此模型加强了对角色的时问约束，从而进一步动态制约了权力的使用，减少了危害系统安全的可能因素。文章主要研究了RBAC模型中的角色权限执行顺序问题。
52.基于XML/EJB的税企接口设计与实现
- 黄香君;宁夏税务培训中心;郑庆华
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文讨论的税企接口I－TEXE模型是针对电子税务建设当中税企之间业务系统异构、分布现状提出的。它充分考虑了异构分布数据交换特点，将数据表示与数据交换分解在不同层上进行，有效地均衡了税企接口两端的负担，提高了整个接口系统的性能，同时也有效地保护了已有投资。
53.网络并行计算中相关算法研究
- 徐德启;包煊;满正行;张喜龙
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对网络并行计算中的相关算法进行了研究。文章针对网络并行计算环境的特点，给出了这两个算法实现过程。
54.C＃对多媒体元素控制的研究
- 赵宏;於时才;余冬梅;张秋余
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：C＃是一种现代的、类型安全的、面向对象的编程语言，它使程序员能够快速而容易地在微软NET平台上构建解决方案。本文在 C ＃中通过调用Windows的API函数和媒体播放器组件成功地实现了对音频文件和视频文件的访问；通过RichTextBox控件实现了文本的各种控制；利用RichTextBox控件的RTF码的编程实现了表格和图像的部分操作，图文并排等多媒体文档的功能，并成功地应用到甘肃省公共卫生突发事件预测信息系统和兰州理工大学网络联机考试系统中。
55.办公自动化系统安全模型研究
- 栾京
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对办公自动化系统安全模型进行了研究。文章对办公自动化系统基本元素进行了分析；阐述了办公流程(工作流)；介绍了典型安全模型。
56.反虚拟机技术的分析与对策
- 刘运;殷建平;蒋晓舟
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：计算机病毒利用虚拟机的弱点采取了各种各样的方法来隐藏自身,使得虚拟机查毒的效果大打折扣。本文较为详尽地总结和讨论了病毒中反虚拟机的常用手段,并提出了相应的解决策略。
57.基于MPEG-7标准的新闻视频语义分析及描述
- 邹娟;周经野;李岚;刘玲
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文根据新闻视频的特点提出了一种基于语义帧的全新闻视频语义分析方法,总结了新闻视频的主要语义帧模型,并给出了相应的MPEG-7的描述方法.采用本文得到的标准化的新闻描述后,为新闻视频的检索提供了标准的接口.这对于基于内容的新闻视频检索有着重要的现实意义.
58.小额支付协议的性质及millicent协议的分析
- 张玲;殷建平;龙军
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：小额支付每次交易耗费的代价可能大于交易商品本身的价值,这是用户最不愿意接受的。本文对小额支付协议的性质及millicent协议进行了分析。文章阐述了小额支付协议的性质和millicent协议，并对其进行了分析。
59.基于RSA、AES的数据容错加密机制
- 孙嵘;罗建军
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于RSA、AES的数据容错加密机制进行了研究。文章提出的容错加密传输模型，实现了数据的容错加密传输，具有错误数据的的侦测和纠正能力，并且能够提供确认发送者身份的功能。模型采用公开密钥机制和对称密钥机制的混合增加了运算效率。
60.星形图上基于缓冲机制的无死锁路径算法
- 文学;林亚平;王雷
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文针对星形图中可能产生死锁的问题，对星形图上无死锁的路径算法进行了研究，给出了星形图上的两类基于缓冲技术的无死锁受限条件及其相应的无死锁路径算法。
61.基于ASP动态药品商务系统设计实现与评价
- 杨晓燕
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文以药品电子商务系统开发为例,探讨了电子商务系统的设计与实现及其使用技术利弊分析。文章围绕系统设计、系统功能、测试环境、数据库实现、系统评价等进行了论述。
62.一种多维聚类算法在道路图像识别中的应用
- 冯金光;周华平
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文根据智能化交通的发展方向，对一种多维聚类算法在道路图像识别中的应用进行了研究。文章提出了一种把坐标引入到聚类算法中的简易道路图像识别方法,可以很容易地识别出道路图像中的几大主要目标,而且误差很小,非常具有实用价值。
63.基于格约化的实数整相关性算法
- 贺玲琳;侯晓荣
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文在LLL整数算法的基础上，提出了一个求实数整相关性的算法。通过设计相应的VC++程序，验证了算法的有效性，解决了在平面几何不等式自动生成中的系数处理问题，简化了对不等式的理解。
64.基于IFS的分形快速算法设计
- 陈宁涛;王能超
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文通过对含有概率的IFS的仿射变换系数的改造，使IFS的动态迭代问题静态化，使之成为典型一阶线性递推问题，并利用二分法的思想对这类递推问题进行了并行算法设计。所提出的算法大大降低了基于IFS的大规模分形的生成时间，为分形的实用化奠定了基础。
65.对源于自然界算法应用的探讨
- 刘冠蓉;郑鸯
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文把擅长解决难题的源于自然界的一些仿生算法的部分思想应用到一些实际问题做了尝试性的研究。文章围绕遗传算法的基本理论及特征的应用、人工蚁群算法基本思想及在分布式并行研究中的应用、粒子群优化算法思源及其特点启发等进行了论述。
66.多输出逻辑优化软件OPLG
- 王波;邱建林;刘维富
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：逻辑综合在集成电路设计中是非常重要的一环。本文对多输出逻辑优化软件OPLG进行了研究。文章围绕OPLG的基本框架、OPLG的蕴涵项扩展算法、OPLG的去冗余算法、软件测试、实验结果等进行了论述。
67.遗传算法用于试题库自动组卷问题的求解
- 杨青;马军
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出的改进的遗传算法，采用功能块结构，可以在初始种群时满足试卷的部分约束（题型、题数、题分），并无需在进化过程中对这些约束进行控制，降低了问题的难度，提高了问题求解的效率，减少了组卷时间。尤其适用于网络交互式环境下用户对组卷速度要求较高的考试情况。
68.虚时间乐观事务处理
- 刘聪;张治国;叶昂越;骆伟祺
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文给出了事务处理中的一种高效事务处理方法－虚时间乐观事务处理协议。从该方法与传统乐观事务处理协议的比较开始，通过举出具体例子引出对该协议的算法以及证明，并运用模拟实验的方法进行了比较和性能分析，证明该方法的可行性。
69.数据猜测减小模调度启动间距的方法
- 刘利;李文龙;汤志忠
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对数据猜测减小模调度启动间距的方法进行了论述。文章指出，在软件流水中，模糊相关边增强了相关性限制，从而降低了调度性能。数据猜测能打破模糊相关边，优化SCC，减小RecMll，最终减小模调度的启动间距，提高软件流水的性能。
70.一种高效的XML文档简单路径查询方法
- 张燕霞;陈波;洪晓光
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文利用哈希表和链接表为XML文档建立了一种索引结构,遵循Xpath标准,编写了简单路径查询命令解析器,将路径查询命令解析成步骤对象集合,应用多线程机制实现查询。文章围绕索引结构、路径查询命令解析、多线程查询等问题进行了论述。
71.多层前馈网络的GA-BP混合学习算法
- 段立;冯坤;李忠猛
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：BP网是最基本的神经网络,也是应用最广泛的神经网络。本文对多层前馈网络的GA-BP混合学习算法进行了探讨。文章围绕面向神经网络的遗传算法、算法实现关键点和仿真结果进行了论述。
72.多Agent技术在网络教学交互模型设计中的研究
- 蔡俊
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对多Agent技术在网络教学交互模型设计中的应用进行了论述。文章阐述了软件Agent的概念和特点；对基于MAS的网络教学系统进行了设计；介绍了选课交互模型的实例。
73.XML存储及封锁策略的优化
- 宗海春;洪晓光;钱进
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对XML文档采用SDML的存储策略，减少很多不必要的I／O操作，有效地提高了对XML文档的访问速度。同时在基于SDML的存储策略的基础上，提出了对XML文档封锁策略，对不同的情况选择不同的封锁粒度，以适应于要求高度并发性的系统，大幅度地提高系统的效率。
74.网络可靠性分析方法研究
- 赵翀;贲可荣
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对网络可靠性分析方法进行了研究。文章围绕网络可靠性的定义、网络可靠性分析的一般研究步骤、研究的基本方法、OBDD的方法等问题进行了论述。
75.一种新型模糊逻辑形式系统研究
- 成科扬
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出的基于集对分析的模糊逻辑，不仅能表征逻辑变量的可信度、不可信度、不确定度三度，而且揭示它们的本质联系，将模糊逻辑数量化。该理论较之于传统建立在隶属度基础上的模逻辑，具有更全面、更科学的特点。
76.面向反应式规划系统的动态逻辑
- 费定舟
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：许多关于规划的研究近几年来集中于所谓的反应规划系统。本文对面向反应式规划系统的动态逻辑进行了研究。文章围绕扩展情景演算、FSP动态逻辑等问题进行了论述。
77.对求解多元函数总体极小谷峰法的改进
- 何渝
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文通过对若干测试函数进行了大量的计算，结果显示，应用谷峰法求解函数总体极小的效果非常好，特别对于多峰函数。与其它求解函数总体极小的算法相比，它具有明显的优越性，对函数的条件要求不高，可根据不同的函数选用已有的各种求局部极小的好算法进行求解过程；谷峰法程序简单，实用，计算时间少，效率高，十分易于推广进行实际应用。
78.用于关系数据库的多值逻辑研究
- 毛宇光;南京大学计算机软件新技术国家重点实验室;李旭帅;潘娜
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：探讨关系数据库的逻辑基础不仅具有重要的学术价值,而且具有很强的实用价值。本文对用于关系数据库的多值逻辑进行了研究。文章围绕关系数据库的多值逻辑的发展、含空值的关系数据库示例、SQL语言中空值处理存在的问题等进行了论述。
79.带中介的鸽巢公式
- 刘长云;许道云
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文借助于边带标记的完全二分图，对鸽巢公式的真值指派进行了直观解释，通过在完全二分图中加入一个中介结点集，给出了带中介的一般鸽巢公式的构造方法。基于著名的消解难例——鸽巢公式，给出了一种消解难例的构造方法。
80.0-1二次规划问题的梯度法
- 王大昕;朱文兴;范红
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文提出了一种基于凸函数和按梯度方向搜索的启发式算法求解BQP问题。通过构造一个凸函数作为新的目标函数，然后按照梯度方向搜索下一个可行解，并用l一邻域局部搜索启发式算法对该可行解进行更新。不断重复该过程，直到求出最优解或近似最优解为止。
81.动态计算圆弧并面积算法的证明
- 程西军;黄志军
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文给出了动态计算圆弧并面积算法的一个正确性证明。从逻辑上严格证明了对平面上任意个圆所覆盖的面积都存在一个划分，划分所得各区域内部不存在空区、各区域之间不存在重叠，从而论证了圆弧并面积计算算法是正确的。
82.基于PKI的指纹身份认证系统设计
- 朱信忠;殷建平
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文研究了一种在开放网络环境下的基于PKI的指纹身份认证系统原型,通过简化或稍微改变可以应用于大部分基于各类生物特征识别的身份认识系统中。文章阐述了身份认证系统中的公钥加密技术和身份认证系统中的指纹识别技术及指纹识别身份认证系统实现。
83.基于角色访问控制在舰载分布式处理系统中的应用研究
- 李卉;汪厚祥;范蓓蓓
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于角色访问控制在舰载分布式处理系统中的应用进行了研究。文章阐述了舰载指控系统发展的主要方向；对访问控制进行了概述；对RBAC模型构件进行了分析；介绍了RBAC实现过程。
84.匿名协议问题综述
- 龙军;殷建平;张玲
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对匿名协议问题进行了综述。文章指出，随着网络技术的发展,人们逐渐将网络作为信息交换和信息发布的重要工具。与此同时,信息在网上传输时所涉及到的隐私和秘密性等安全问题也受到了人们的广泛关注。当前匿名性已成为许多在线网络应用的基本要求。本文设计并实现了若干匿名协议以满足这些网络应用的需要。
85.基于J2EE的对象持久化技术研究
- 王琦;翁惠玉
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：随着J2EE在软件开发领域中的广泛应用,越来越多的企业面临着J2EE框架中相关技术的实现和选择问题,对象持久化就是其中一个比较难以解决的问题之一。本文对基于J2EE的对象持久化技术进行了研究。
86.多目标演化算法中一种快速求解群体非劣集合算法
- 曾三友;株洲工学院计算机系;李晖;丁立新;康立山
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对多目标演化算法中一种快速求解群体非劣集合算法进行了研究。文章阐述了偏序集合的非劣集合的应用背景和非劣集合；介绍了一种经典求解非劣集合有效方法和总体优前劣后检查方法。
87.基于Windows的高可用性集群
- 栾京
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于Windows的高可用性集群进行了论述。文章介绍了最常见的高可用性(HighAvailability)集群、负载均衡(Loadbalance)集群和高性能(HighPerformance)科学集群，并介绍了高可用性集群的系统结构。
88.变形病毒的几种检测方法的分析
- 蒋晓舟;殷建平;刘运
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：虚拟机技术和启发式扫描技术的出现,使用基于人工智能的方法,使得检测变形病毒成为可能。本文对这两种检测变形病毒的方法进行了分析。文章围绕变形病毒、虚拟机技术、启发式扫描技术等进行了论述。
89.数据复制环境下的分布实时数据库并发控制协议
- 王晓刚;武汉科技学院计算机科学系;王治纲
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文着眼于具有强截止期的应用环境中如何访问分布实时数据库中的多拷贝数据，这种应用体系正是当前基于 Web的应用的显著特点。针对这种环境本文提出了名为PA—PB的一种新颖的基于事物状态的协议，并与 ZPL、 OZPL、 OCC等并发控制算法的相关性能进行了比较。实验表明PA一PB简单、实际、有效，从低到适度的负载，无论数据完全复制还是部分复制的实时应用中，PA—PB协议均表现良好。
90.结构索引的维护
- 齐春鹏;洪晓光;郭启晶
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文讨论了对一个XML文档集合的更新操作下的索引的维护，这些造作包括增加多个文档和删除一个文档，提出了用于这两种情况下的更新索引的算法，它比已知的其他方法更好。文章提出的这些算法不只适用于远程监控系统，对于其他的类似的应用也是适用的。其实，这些算法也不只适用于以文档集合形式存放的XML数据，对于其他形式的XML数据，比如存放在关系数据库中的XML数据也是适用的。
91.蚁群算法中信息素更新机制的改进
- 熊盛武;孙骏;郭付明
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文结合当前国内外学者对求解TSP问题的蚁群算法的研究，针对算法的性能和搜索能力的不足，从蚂蚁的路径选择机制和信息素更新机制两方面做出改进，提出了一种新的算法模型，并通过实验论证了算法的可行性。
92.基于分形IFS的抗几何形变数字水印算法及实现
- 赵建民;朱信忠;金华振
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文利用自相似分形集的抗几何形变特性提出了一种新的抗几何形变的数字图像水印算法框架，并在该框架下实现了灰度图像中基干迭代函数系统的抗几何形变数字水印算法，同其他抗几何形变水印算法相比，由于本算法是在图像的空间域上进行，因此计算复杂度小，可行性强。从测试结果中可以看出，造成水印检测结果误差的主要因素是自相似水印分形图的嵌入和提取算法。
93.基于XML元素分类聚簇存储的实现
- 张永军;洪晓光
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文在元素聚簇存储方式下通过建立结构框架并结合编码可实现对元素的各类查询，如果元素有关键字的约束可对该类元素及子元素建立索引加快了查找速度，当关键字的值为属性的情况下更有效，而且用散列表实现该索引，只记录编号以及编号所在的块，这样易于维护。
94.逻辑在企业BOM设计中的应用
- 刘洪涛;李磊
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：BOM是产品结构的技术性描述文件,它表明了产品组件、子件、零件直到原材料之间的结构关系,以及每个组件所需要的各下属部件的数量。本文介绍的方法可灵活地处理各种非线性树形数据结构，采用基干查询驱动的BOM维护方法，发挥了逻辑程序强大的查询表示能力，书写的规则和目标清晰易懂，容易维护和扩展。
95.网络磁盘阵列性能研究
- 王刚;熊伟;崔宝江;刘璟
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对基于NBD的网络磁盘阵列的性能进行了研究，给出了性能评价模型。文章通过对影响网络磁盘阵列性能的一些因素的分析，找到了NBD限制网络磁盘阵列性能的一些固有缺陷。本文改进了这些缺陷，实现了FastNBD。
96.NGOSS一致性测试结果自动分析技术研究
- 张川;王柏;艾波
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文针对NGOSS一致性测试结果分析过程进行了深入的研究，总结出了NGOSS一致性测试结果分析的主要特征，提出了一个具有一定通用性的测试结果自动分析模型，并以实例说明了相关技术实现。
97.软件智能防御机制及其实现
- 伍永俊
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文鉴于信息战的战略地位，对网络系统和软件自身的防御和反攻击的智能化进行了研究。文章围绕软件的安全威胁、软件智能防御机制、软件智能防御机制的实现进行了论述。
98.匿名网络中结点标识分配的分布式异步算法
- 吴文鑫;赵致琢;黄小炜
- 《2004年全国理论计算机科学学术年会》 | 2004年
摘要：本文对匿名网络中结点标识分配的分布式异步算法进行了研究。文章阐述了分布式网络系统中网络信息的特点；论述了网络大小的计算；介绍了标识分配算法。