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

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

召开年：1999
召开地：浙江金华
出版时间： 1999-10

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

会议文集：计算机工程与科学21卷

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.基于ANN的HMM训练算法ANN-Based HMM Training Algorithm
- 姚丹霖;陈火旺;殷建平
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了一种基于ＡＮＮ的ＨＭＭ的训练算法。由于ＡＮＮ和ＨＭＭ在ＭＭＳＥ训练准则上是一致的，可利用ＡＮＮ更新ＨＭＭ的观察符号输出概率分布，进而采用ＭＭＩ准则对全体ＨＭＭ的其他参数进行更新，从而在提高特定的ＨＭＭ识别能力的同时，保持不同ＨＭＭ之间的最大差异性。
2.一般搜索空间中演化算法的收敛速度
- 丁立新;刘忠;康立山
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文利用马氏链收敛理论和Ｂａｎａｃｈ代数技术研究了一般搜索空间中演化算法的收敛速度，在转移概率函数满足一定条件下，得到指数阶收敛速度估计，并分析了保证这些条件的选择策略特性。
3.基于椭圆曲线密码体制的盲数字签名方案
- 杨晓元;韩益亮;赵霖
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文设计了一类基于椭圆曲线密码体制的盲数字签名方案，提出了两种利用椭圆曲线盲化消息的方法。
4.基于用户操作剖面的软件可靠性分配研究
- 张志华;贲可荣
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：模块化的软件系统的质量不仅与模块的可靠性有关，而且与软件的操作剖面有关。该文提出了软件系统模块的重要度概念；给出了依据模块的重要性对软件系统进行可靠性分配的方法，最后给出一个实际例子。
5.可靠软件的开发及认证方法
- 颜炯;邢海杰;贲可荣
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：软件可靠性工程不仅是软件模型的应用，同时也是通过软件生命周期进行费效比分析等工程手段来开发可靠性软件基本原理的应用。净室软件工程法可用来开发高可靠性软件。该文讨论了对净室软件工程方法的扩充，强调了高级设计技术及相关方法在软件可靠性确认中的应用。
6.软件可靠性测试研究与实验
- 刘海燕;宫云战;万琳;杨朝红
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文对软件可靠性测试研究的现状进行了简要分析和介绍，进而介绍了作者们对一个具体软件系统的测试实验及正在进行的工作。
7.基于汇编语言的数据流自动测试
- 杨朝红;宫云战;刘海燕;崔伟宁
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文章介绍了基于汇编语言的数据流自动测试工具ＡＤＴＡ（ＡｕｔｏｍａｔｉｃＤａｔａｆｌｏｗＴｅｓｔＦｏｒＡｓｓｅｍｂｌｙＰｒｏｇｒａｍ）的设计，并针对设计过程中所遇到的程序自动插装等问题，提出一些解决办法。
8.INTERNET信息检索技术检索系统IIR的实现
- 解建军;李祥
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：信息检索是网络技术的焦点之一。该文讨论了ＩＮＴＥＲＮＥＴ信息检索的原理与实现中的相关技术解决方案，介绍了作者在Ｗｉｎ９５／ＮＴ平台上平实的信息检索系统ＩＩＲ的主要技术与实验情况。
9.JAVA动态字符串对象处理技术
- 钟诚
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文研究ＪＡＶＡ的动态ＳｔｒｉｎｇＢｕｆｆｅｒ类宇符串对象处理技术，设计、实现ＪＡＶＡ动态字符串对象删除和替换方法，并分析相应算法的时间复杂性。
10.关于q值Bent函数On q-Valued Bent Funetions
- 罗铸楷;朱云飞
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文对ｑ值逻辑函数进行了研究，ｑ＝ｐ〈’ｍ〉，ｐ是质数，首先定出了ｑ值逻辑函数是广义Ｂｅｎｔ函数的４个充要条件，并给出一类新的广义Ｂｅｎｔ函数，其次证明了ｎ元二次ｑ值逻辑函数是广义Ｂｅｎｔ函数必要而且只要其系统矩阵是非奇异的，并给出其全部不同的仿射等价类，其中ｎ是偶数。
11.关于确定有限自动机化简问题
- 刘任任
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文讨论了现有的确定有限自动机的化简方法，指出了此方法容易被忽视的疏漏之处，并提出了一个改进的算法。
12.一种布尔神经元网络的应用
- 谭建军;左孝凌;徐良贤
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了一种利用布尔神经元网络，进行手写汉字识别的应用模型。利用布尔神经元，有效地将神经网络和产生式规则结合了起来。与传统的网络模型相比，由于在网络中引入前期知识，可以大量减少学习时间，提高学习效率。实验结果表明该模型即使不经训练或少量训练时，仍然能进行一定程度的识别。
13.Lsort最坏情况下移动次数分析
- 范志强
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文对一种单向数据移动的基于比较的排序算法Ｌｓｏｒｔ的性能进行了分析，得到了在最坏情况下的移动次数复杂度为１．５ＮｌｏｇＮ。
14.t-闭包与图的k-因子及算法
- 孟亚;俞政
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：设Ｇ是ｎ阶连通简单图。该文通过证明“Ｇ含有ｋ－因子”这个性质是ｔ－稳定的，推证出主要结果：Ｇ含有ｋ－因子当且仅当Ｇ的ｔ－闭包Ｃ〈，ｔ〉（Ｇ）含有ｋ－因子。
- 图;
- k-因子;
- 闭包;
15.算术程序的正确性验证及其实现
- 王继民;李廉
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的ＢＳＳ计算模型来模拟，然后将其转化为一个多项式代数方程组，从而把程序的正确性证明问题变为一个方程组零点判定的代数问题。该方法的证明复杂性依赖于程序的执行步骤；其中，对于直线程序，该方法可以给出完全的正确性证明，而对于非直线程序，则可以对任意指定的ｎ，证明程序在ｎ步执行下的正确性。
16.XYZ系统对实时控制系统中进程调度和中断机制的描述
- 宋悦;郝克刚
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：ＸＹＺ系统是一套基于线性时序语义的软件工程ＣＡＳＥ环境，ＸＹＺ／Ｅ作为其核心既可以用于抽象描述也可以用于程序性的细节描述。该文将ＸＹＺ应用于专用控制系统。描述了优先抢占式系统的事件机制，为形式化方法在实际工程领域的应用做了尝试。
17.着色网用户界面规范及其特性研究
- 陈慧南
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文介绍一种基于ＡＩＰ单元的用户界面模型和扩充着色网的对话规范，并讨论其作为事件驱动用户界面模型所具有的特性。首先概述基于ＡＩＰ单元的用户界面应用系统的概念模型及其特性，其次给出着色网对话模型，并分析其特点。
18.一种基于间断平衡动力学的自适应遗传算法
- 荔建琦;陈火旺;王兵山
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：受生物进化的间断平衡现象启发，该文提出一种基于生物进生控制论的适应性遗传算法。通过监测进化成熟度对选择压力、变异率和终止条件等参数实施适应性调控，以期尽可能地开发探索性与利用性并在二者间建立平衡。通过对函数逼近问题的对比求解表明，该方法与传统方法相比性能有明改进。
19.计算树逻辑的一个高效模型检验算法
- 胡成军;王戟;陈火旺
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文给出了分支时序逻辑ＣＴＬ的一个基于自动机理论的模型检验算法。作者将模型检验问题规约为树自动机的成员问题，即判定给定树是否为自动机所接收。通过模拟自动机在树上所有可能的运行得到的一个简单的算法。该算法自然地以“需求驱动”方式逐步生成全局状态空间，在大多数情况下，算法都无须生成整个状态空间。此外，算法很好地体现了时间与空间的折衷，在实际应用中具有较好的性能。
20.简单一维随机游动的若干性质及应用
- 张立宇;张丕兴;朱洪
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文研究了一类简单的１维随机游动并证明了若干性质。文中应用这一模型分析了一类关于ｋ－ＳＡＴ问题的一致随机算法。对于２－ＳＡＴ问题，得出其时间复杂度下界为ｎ〈’２〉。此外对于一般的ｋ－ＳＡＴ问题，该文也作了相应的讨论。
21.分布存储环境下求解大规模三角方程组的一种分块算法
- 骆志刚;李晓梅;胡庆丰
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了分布式环境下求解大规模三角形方程组的一种并行算法，该算法基于将系数矩阵和右端项分块，调用ＢＬＡＳ３实现基本运算，能过重叠计算与通讯，取得了好的计算效果。文中给出了该算法的数值试验结果及其与块列扫描算法的数值比较结果。
22.并行计算模型
- 陈军;李晓梅
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：计算模型是各种并行体系结构和算法之间的接口，使得在不同体系结构之间能够很方便地移植算法。该文对目前的主要计算模型进行了归纳，并分析了模型的特点和不足。最后还讨论了研究计算模型的可能途径。
23.一种基于状态转换图的联机手写汉字拐点识别算法
- 文艳军;殷建平
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了一种用于联机手写汉字识别的汉字拐点识别算法，通过比较拐点前的笔段的平均方向与笔划上各象素点处的局部方向走势来判断拐点。实验表明，该算法是高效、准确的。
24.并行分枝界限搜索的实用数据结构及算法
- 武继刚;张宪超;陈国良
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文给出了分枝界限搜索算法的复杂度下界，提出了一种称作串队列的数据结构，能方便地实现分枝界限搜索中的选择规则与淘汰规则。在ＰＲＡＭ－ＣＲＥＷ模型上提出了一个并行分枝界限算法，其运行时间为Ｏ（ｍ／Ｐ＋ｈ（ｌｏｇｈ＋ｌｏｇｐ））。
25.维护型意愿的理论框架
- 毛新军;陈火旺;陈跃新;刘凤岐
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：Ａｇｅｎｔ是计算机科学领域中的一个重要概念。Ｍｕｌｔｉ－ａｇｅｎｔ系统由一组对独立、相互作用的自主Ａｇｅｎｔ组成。近年来，如何开发Ｍｕｌｔｉ－ａｇｅｎｔ系统成为人们关注的一个重要研究课题。该文提出了一个抽象概念－维护型意愿以表示Ｍｕｌｔｉ－ａｇｅｎｔ系统的全局性行为约束信息。文中讨论了维护型意愿的直观含义，为了严格、形式化地研究该概念，作者提出了Ｍｕｌｔｉ－ａｇｅｎｔ系统计算的逻辑框架并基于该逻辑框架给出了维护型意愿的严格语义定义，获取和描述了维护型意愿的一些重要属性。
26.关于逆反逻辑的初步研究
- 苏运霖
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文对于逆反逻辑或逆反推理进行了初步研究，讨论了表现形式，推是机制和推理算法，并同其他普通常识的推是机制进行了一些比较。
27.关于主体的知识推理性质的逻辑
- 苏开乐
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文建立了一个逻辑模型，不仅能刻画多主体的知识推理而且能同时刻画特定主体的知识推理性质。
28.演化计算与Data Mining
- 陈毓屏;康立山;曹宏庆;李艳
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了一个观点：“演化计算是智能计算的基础：智能计算是计算科学的未来。”从这一观点出发，提出了五个方向：演化软件、软件硬件、演化建模、演化自动机、演化音乐，并重点介绍了演化建模，即ＤａａｔａＭｉｎｉｎｇ自动化。
29.基于对象流的C/S分布计算及其在求解n皇后问题中的应用
- 陈黔江;李祥
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文讨论了在Ｉｎｔｅｒｎｅｔ上的分布式人工智能问题；提出使用ＪＡＶＡ的对象流，利用线程建立一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ模式的分布式计算模型，工在Ｉｎｔｅｒｎｅｔ网上用多台奔腾机（运行不同的操作系统）对求解Ｎ皇后问题的所有解作了模拟实验，实现了这种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ模式的分布式计算模型。实验结果表明这一方法是可行的。
30.矩阵的一类似Jordan分解
- 张知难;王天军
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文引入矩阵的一类分解，称为矩阵的拟Ｊｏｒｄａｎ分荽，即对于给定的矩阵Ａ存在非奇异矩阵Ｘ和块对角阵Ｆ＝ｄｉａｇ｛Ｆ〈，１〉，…，Ｆ〈，〉｝，使得Ｘ〈’－１〉ＡＸ＝ｄｉａｇ｛Ｆ〈，１〉，…Ｆ〈，ｉ〉｝，这里Ｆ〈，ｉ〉为多项式〔Φ〈，ｉ〉（λ）〕〈’ｍ〈，ｉ〉〉的友矩阵，而Φ〈，ｉ〉（λ）为无重根的首１多项式，然而矩阵的这种分解不是唯的。并且构造性地证明了，元素在数域Ｋ上的任意ｎ阶矩阵Ａ，通过Ｋ上的Ｏ（ｎ〈’３〉）次有理运算可以求得拟Ｊｏｒｄａｎ分解。
31.相容关系
- 本慧灵
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：相容关系与等价关系一样，是一类应用相当广泛的关系，也是一种十分重要的二元关系。集合上相容关系一一对应于完全覆盖，而等价关系一一对应于划分。该文基于对有限集合上的定理做了一定的推广，使之适应于无限集合且对最大相容类作了一些探讨，还把集合上的覆盖按相容关系分成不同的覆盖类，并对其作了一定的讨论。文中关于最大相容类的求法既易于具体编程，且通过关系矩阵来详细描述。
32.GF(2<'m>)上的椭圆曲线密码体制的并行算法
- 雷咏梅;赵霖
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文在分析有限域ＧＦ（２〈’ｍ〉）上椭圆曲线密码体制的基本运算的基础上，提出了ＶＬＳＩ并行算法，并设计了相应的脉动阵列。
33.椭圆曲线密码在电子投票协议中的应用
- 王泽勇;韦宝典;李敏;赵霖
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文将椭圆曲线密码的加解密算法、盲签名算法运用于电子投票协议。文中引入的椭圆曲线概率加密、代理加密机制使协议具有能够防止买票与强制拉票的功能特点。
34.联接不失真分解关系模式成BCNF数据库模式的算法研究
- 周定康
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文深入地研究了ＢＣＮＦ模式的判定规则，提出了关系模式Ｒ属于ＢＣＮＦ的充分条件和函数依赖在属性子集上投影串接的吸收律。尔后提出了将一个关系模式联接不失真分解成ＢＣＮＦ数据库模式的多项式时间复杂度的新算法。
35.面向嵌入式实时系统的需求模型
- 胡春丽;蔡持峰;何峰
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：该文提出了一个面向嵌入式实时系统的新需求模型。该模型在有穷状态的基础上使用属性和规则来描述实时系统的需求和动态行为。根据嵌入式实时系统的特点，该文也讨论了有关状态分析层和时间限制的形式化描述和方法。最后，该文通过一个实例来说明如何使用该模型。
36.形式化方法在计算机可靠性工程中的应用
- 贲可荣;颜炯
- 《1999年全国理论计算机科学学术年会》 | 1999年
摘要：计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前计算机软件硬件可靠性工程中的应用，介绍了一此实例，并讨论了未来的发展方向。