|
2001年全国理论计算机科学论文目录
|
|
编号
|
论文题目
|
作者
|
|
1
|
进化机器人学研究的若干问题
（中南大学信息科学与工程学院，湖南长沙，410083） |
蔡自兴等 |
|
2
|
一类灰色混杂自动机及其白化方法
（山东大学计算机科学系，山东济南，250100） |
郭清泉等 |
|
3
|
Represent Problem of Boolean Function
（Xiamen University,Xiamen,Fujian,361005） |
Wenjin Xiao |
|
4
|
关于分布式软件体系结构的研究
(华中师范大学计算机科学系，武汉，430079) |
胡金柱等 |
|
5
|
并行对象的Action演算
（吉林大学前卫校区计算机科学系，长春，130012） |
金英等 |
|
6
|
概率计算复杂性语言类BPP的研究（桂林空军学院，桂林，541003） |
李雅瑞 |
|
7
|
图的自同构个数的计算
（兰州大学信息科学与工程学院，兰州，730000） |
陈洪陶等 |
|
8
|
序贯相似性快速检测SSDA算法的应用及改进
（浙江师范大学计算机科学与工程学院，321004） |
赵建民等 |
|
9
|
面向对象程序的正确性证明方法探讨
（安徽建筑工业学院环电系，安徽合肥，230022） |
方程平 |
|
10
|
一种结合网络资源开销估算的QoS随机路由算法
（中南大学信息科学与工程学院，长沙，410083） |
王伟平等 |
|
11
|
关于实际构造最大带宽路由算法的研究
（中南大学信息科学与工程学院，长沙市麓山南路410083） |
陈建二等 |
|
12
|
W3C资源描述框架的形式化表达
（西南师范大学计算机科学系，重庆北碚，400715） |
程小平等 |
|
13
|
基于概率神经网络的手写体数字识别系统
（汕头大学工学院00级研究生，汕头，515063） |
苏玉彬等 |
|
14
|
采用串联模糊神经元形式实现PID控制器的设计
（福建省泉州市国立华侨大学机电工程系，362011） |
王伟等 |
|
15
|
基于VAGUE集的动态模糊逻辑系统研究
（石油大学（华东）计算机科学系，山东东营，257062） |
陈继东等 |
|
16
|
数据仓库的模糊条件析取研究
（福州大学计算机系，福州，350002） |
郭朝珍等 |
|
17
|
抽象和求精过程中用算子标识约束信息
（吉林大学计算机科学系，吉林长春，130012） |
程晓春等 |
|
18
|
一种用于脱机手写汉字识别的多级分类器
（清华大学计算机科学与技术系，北京，100084） |
叶少珍等 |
|
19
|
递归领域和项重写系统等价性
（北京师范大学计算机系，100875） |
冯速等 |
|
20
|
正规系统可计算性研究
（西安交通大学计算机系统结构与网络研究所，710049） |
陈传峰等 |
|
21
|
The Lambda-definability of Boolean Operation
（南京大学计算机系，210093） |
SongFangmin |
|
22
|
一个随机组合游戏
（广州暨南大学计算机科学系，510632） |
苏运霖 |
|
23
|
An Integer Programming Approach for System-Reliability
Design
（福建省福州大学计算机科学与技术系，350002） |
Guolong Chen 等 |
|
24
|
计算机求解N皇后问题的半确定性随机搜索法
（贵州工业大学资环学院，550003） |
杨玉兰等 |
|
25
|
背包问题算法研究新趋势
（山东大学计算机学院，济南，250100） |
朱大铭等 |
|
26
|
CNLPS中嵌套结构的论元定位模式初探
（解放军外国语学院，河南洛阳，471003） |
陈治平 |
|
27
|
GROBNER基计算的神经网络模型
（广西民族学院数学与计算机科学系，南宁，530006） |
周永权等 |
|
28
|
用于模式识别的有监督-无监督混合网络结构
（浙江大学计算机系99研58信箱，310028） |
吴明等 |
|
29
|
一个遗传程序设计的超模式理论
（吉林大学前卫校区计算机系，130023） |
卢奕南等 |
|
30
|
层次有穷状机与多并发语义模型结合方法研究
（武汉大学软件工程国家重点实验室，430072） |
舒风笛等 |
|
31
|
图像分类识别协同算法的研究
（福州大学计算机系，福州，350002）
|
刘秉瀚等 |
|
32
|
K-L变换中产生矩阵分析
（福州大学计算机科学与技术系，福州，350002） |
徐戈等 |
|
33
|
商业银行信用评价的一种新方法
（厦门大学自动化系，厦门，361005） |
张柳园等 |
|
34
|
将随机算法应用于理论证明
（山东大学计算机科学系，济南，250100） |
贺红 |
|
35
|
中介逻辑命题演算系统MPM的范式
（南京大学软件新技术国家重点实验室，南京，210093） |
毛宇光等 |
|
36
|
中介逻辑谓词演算系统MFM
（南京航空航天大学计算机科学研究所，南京，210016） |
周勇等 |
|
37
|
一种多Agent系统协调工作模型的应用研究
（苏州大学计算机工程系，苏州，215006） |
钱旭培等 |
|
38
|
基于Agent的谈判模型及其应用
（苏州大学计算机工程系，苏州，215006） |
李凡长等 |
|
39
|
图自同构的一个多项式时间算法
（兰州大学信息科学与工程学院，兰州，730000） |
徐德启等 |
|
40
|
基于SAN的同城异地容灾系统方案
（海军航空工程学院青岛分院航空军械系，266041） |
魏伟等 |
|
41
|
安全协议验证中的形式化方法
（中科院信息安全国家重点实验室，） |
胡成军等 |
|
42
|
语言、自动机与图象
（北京市北京工业大学计算机学院，100022） |
徐美瑞等 |
|
43
|
Representation and Processing of Discontinuous constituency
structure in Chinese（Institute of Electrics &Information,Shanghai
JiaoTong University,Shanghai,200030） |
Liu Zubin |
|
44
|
目标序列符号顺序固定的翻转距离星树问题
（山东大学计算机科学与技术学院，250100） |
栾峻峰等 |
|
45
|
谓词转换器的相容性
（上海师范大学数学科学学院，200234） |
陈仪香等 |
|
46
|
商务网站中行为模式的比较
（重庆西南师范大学计算机与信息科学院） |
谢中等 |
|
47
|
频域数字图像水印算法的改进模型及其分析
（福州大学计算机系，350002） |
张荣等 |
|
48
|
计算机病毒的本质特性分析及检测
（国防科技大学计算机学院，长沙，410073） |
祝恩等 |
|
49
|
神经模糊系统学习算法研究
（南京理工大学计算机系，南京，210094） |
孙怀江等 |
|
50
|
基于Rough Set 理论的新增知识对原有决策树的影响的分析
（湖南省湘潭大学信息工程学院，411105） |
朱红 |
|
51
|
利用SWARM平台建立复杂适应系统模型
（中国人民大学经济科学实验室，丁浩） |
丁浩 |
|
52
|
关于部分K值逻辑Sheffer函数
（湖南省湘潭大学信息工程学院，411105） |
刘任任 |
|
53
|
神经网络分类器的可靠性评估
（福州大学计算机科学与技术系，福州 ，350002） |
林炳桂 |
|
54
|
软件质量的FUZZY综合评价方法
（福建农林大学计算机科学系，南平市，353001） |
宁正元等 |
|
55
|
Web Minig 中的网页本分类
（重庆西南师范大学计算机与信息科学院） |
程静等 |
|
56
|
WINDOWS NT 的服务安全评估管理方案及其实现
（福州大学计算机科学与技术系，350002） |
陈黄焱等 |
|
57
|
基于表情特征的人脸识别系统
（福州大学计算机科学与技术系，350002） |
郭文忠 |
|
58
|
虚拟汽车检测与控制系统的研究
（温州大学信息科学与工程学院，浙江温州，325027） |
黄剑飞等 |
|
59
|
基于多条件的QoS路由选择优化算法
（中国民航学院计算机系，天津，300300） |
刘山 |
|
60
|
二次曲线的有理Bezier形式几何特征的计算
（福建农林大学计算机系，353001） |
李小林等 |
|
61
|
移动Agent系统的联盟形式
（哈尔滨师范大学计算机系，哈尔滨，150080） |
王建华等 |
|
62
|
入侵检测技术及待解决的一些问题
（国防科技大学计算机学院，湖南长沙，410073） |
蔡志平等 |
|
63
|
入侵检测系统的安全问题
（国防科技大学计算机学院，长沙，410073） |
刘湘辉等 |
|
64
|
新一代网络安全标准-IPSEC
（国防科技大学计算机学院，长沙，410073） |
王媛丽等 |
|
65
|
人工神经元的一种定性映射解释
（上海海运学院计算机科学系，上海，200135） |
冯嘉礼 |
|
66
|
Kerberos系统的分析和改进方案
（山东省计算机网络重点实验室，济南，250014） |
邓素平等 |
|
67
|
并行编译中数据分布的线性划分模式计算
（南京大学计算机软件新技术国家重点实验室，210093） |
胡南军等 |
|
68
|
信息系统开发中的责任流分析
（浙江大学人工智能研究所，杭州，310027） |
干红华等 |
|
69
|
一种图象理解的Multi-agent 协作平台
（ 福州大学计算机科学与技术系，350002） |
张涛等 |
|
70
|
一种具有良好多样性的遗传算法
（四川省内江市第六中学，641000） |
陈烨 |
|
71
|
自动机理论在汉字信息输入处理研究中的应用
（东北师范大学计算机系，吉林长春，130024） |
谷文祥 |
|
72
|
A New Approach of Fault Diagnosis for Large Analog Networks（西安交通大学，710049） |
CaJindingMa Xikui |
|
73
|
改进的Steiner树近似算法
（福州大学计算机科学与技术系，350002） |
王晓东等 |
|
74
|
一种个性化Agent 的轮廓学习与自适应目标匹配策略
（福州大学计算机系，350002） |
唐依珠等 |
|
75
|
基于模糊互熵的模糊Agent 的冲突消解方法
（福州大学计算机系，350002） |
陈国龙等 |
|
76
|
快速成型制造中截面信息的计算方法研究
（西安科技学院计算机系，710054） |
李占利 |
|
77
|
从不完备数据中学习条件概率的实验比较
（福州大学计算机系，350002） |
刘传才等 |
|
78
|
逆向差分定位系统的实现及若干算法设计
（福州大学计算机系，350002） |
唐依珠等 |
|
79
|
小波分析在印鉴鉴别中的应用
（南京气象学院，210044） |
傅德胜等 |
|
80
|
一类基于椭圆曲线密码的不可否认签字体制
（武警工程学院电子技术系，西安，710086） |
杨晓元等 |
|
81
|
偶数G old bach猜想计算机可解问题讨论---[2]
（福州大学计算机系，350002） |
林柏钢等 |
|
82
|
统计表达式的编译器
（福州大学计算机系，350002） |
陈兰生 |
|
83
|
软件工程问题综述
（海军工程大学计算机系，武汉，430033） |
俞立军等 |
|
84
|
粗糙集求核的一个改进方法
（福州大学计算机系，350002） |
叶东毅等 |
