1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2003年第9期, 刊出日期:2003-03-15
  
智能互联网
史忠植 董明楷 蒋运承 盛秋戬 张海俊
计算机科学. 2003, 30 (9): 1-4. 
摘要 ( 72 )   PDF(289KB) ( 352 )   
相关文章 | 多维度评价
Intelligent Web functions essentially as an autonomic entity. The Web automatically regulates the func-tions and cooperation of related Web sites and available application services. In the paper we will discuss the key is-sues related to the intelligent W
面向Aspect的程序设计——一种新的编程范型
曹东刚 梅宏
计算机科学. 2003, 30 (9): 5-10. 
摘要 ( 74 )   PDF(331KB) ( 340 )   
相关文章 | 多维度评价
Currently the main stream programming paradigm is Object Oriented Programming: OOP, which has got-ten great success. The advantage of OOP is that it provides effective modularity support, and enables direct mappingfrom requirement space to design space,
算法工程的思想、方法与工具——以SAT算法为研究实例
焦加麟 韩晓峰 徐良贤
计算机科学. 2003, 30 (9): 11-13. 
摘要 ( 71 )   PDF(212KB) ( 321 )   
相关文章 | 多维度评价
The recently emerging idea of Algorithm Engineering in the community of Computer Science is about how to engineer computer algorithms by integrating the design, analysis, implementation, experimental testing, refine-ment, etc. of them, aiming at improvin
基于UniNet的对象概念研究
周国富 余鹏 袁崇义
计算机科学. 2003, 30 (9): 14-18. 
摘要 ( 84 )   PDF(268KB) ( 319 )   
相关文章 | 多维度评价
This paper discusses concepts on object from UniNet view and shows that there exists the flow of controlin object system except for exchanging of messages between objects. Meanwhile, the paper presents an independent mechanism of object communication s
关于HLA研究的几个问题
吕良权 赵沁平
计算机科学. 2003, 30 (9): 19-21. 
摘要 ( 78 )   PDF(204KB) ( 572 )   
相关文章 | 多维度评价
With the requh-ement of actual simulation application and the development of simulation standards, this pa-per analyzes HLA/RTI services characteristics, and then summaries the advantage and disadvantage of HLA. It is pointed out that RTI performance meas
统计语言模型综述
邢永康 马少平
计算机科学. 2003, 30 (9): 22-26. 
摘要 ( 105 )   PDF(247KB) ( 1018 )   
相关文章 | 多维度评价
The Statistical Language Model (SLM) is a distribution to capture the generation rule in natural language.Since the first model was proposed in 1980, the SLM was used in many application such as speech recognition, opticcharacter recognition, machine tra
双库协同机制对知识发现主流发展的驱动
周颖 杨炳儒
计算机科学. 2003, 30 (9): 27-30. 
摘要 ( 95 )   PDF(218KB) ( 328 )   
相关文章 | 多维度评价
The paper, by a research report, summarizes emergence and definition of double bases cooperating mecha-nism, and introduces its driving force and influence to many sides of main stream of knowledge discovery from struc-tural model to algorithm , from str
逻辑AI中的容变能力的研究
朱建中 戈也挺 骆斌 陈世福
计算机科学. 2003, 30 (9): 31-34. 
摘要 ( 94 )   PDF(203KB) ( 241 )   
相关文章 | 多维度评价
In this paper a survey of elaboration tolerance in logical AI is provided. John McCarthy views elaboration tolerance as the key property of any formalism that can represent information in the common sense informatic situa-tion. The goal of studying elabo
基于混合杂交与间歇变异的约束优化演化算法
周永华 毛宗源
计算机科学. 2003, 30 (9): 35-38. 
摘要 ( 83 )   PDF(165KB) ( 291 )   
相关文章 | 多维度评价
In solving constrained optimization problems with genetic algorithms, more emphases are laid on handling constraints than increasing the search capability of algorithms, which often leed to unsatisfied results as reported inmost literatures. This paper pr
肺癌分类识别中的神经网络集成技术研究
杨育彬 李宁 陈世福 陈兆乾
计算机科学. 2003, 30 (9): 39-42. 
摘要 ( 70 )   PDF(247KB) ( 324 )   
相关文章 | 多维度评价
This paper describes a neural network ensemble method in lung cancer cell identification process. A neural network ensemble algorithm LCNE based on image feature extraction is proposed. Firstly, LCNE algorithm trains different neural network classifiers
基于概率型径向基神经网络(P—RBFN)的人脸识别
於东军 赵海涛 杨静宇
计算机科学. 2003, 30 (9): 43-45. 
摘要 ( 68 )   PDF(183KB) ( 256 )   
相关文章 | 多维度评价
A probabilistic radial basis function network (P-RBFN)is presented for face recognition. Each P-RBFN isonly responsible for the recognition of one class. To a given face pattern to be identified, the probability of the givenface pattern belonging to eve
Web使用挖掘的应用研究
刘丽珍 宋瀚涛 陆玉昌
计算机科学. 2003, 30 (9): 46-48. 
摘要 ( 66 )   PDF(149KB) ( 269 )   
相关文章 | 多维度评价
Some effective and efficient knowledge patterns will be gained through searching, integrating, mining and analyzing on the Web. These useful knowledge patterns can help us to build so efficient Web site that WWW can ser-vice people well. In this paper we
空间数据挖掘关键问题研究
肖予钦 景宁 吴秋云 钟志农
计算机科学. 2003, 30 (9): 49-53. 
摘要 ( 74 )   PDF(277KB) ( 324 )   
相关文章 | 多维度评价
With the rapid development of remote sensing and mapping technology and the widespread application of spatial database system, the spatial data collected and stored by human expand increasingly. These very large datasets far exceed human's capabilities o
基于统计的句法分析技术综述
孟遥 李生 赵铁军 杨沐昀
计算机科学. 2003, 30 (9): 54-58. 
摘要 ( 88 )     
相关文章 | 多维度评价
Parsing is a fundamental problem in natural language processing. This paper presents a critical overview of the state-of-the-art in statistical parsing technology, including the primary statistical theory, statistical models and the parsing evaluation. At
基于统计语言模型的双向词类标注方法
刘启和 詹思瑜 杨国纬
计算机科学. 2003, 30 (9): 59-60. 
摘要 ( 73 )   PDF(148KB) ( 264 )   
相关文章 | 多维度评价
In the paper, we introduce chinese corpus tagging based on statistical language model (bi-gram model)and Huang-Yu's smoothing method. Especially, we also suggest a two-directions method based on statistical languagemodel, namely, we not only compute proba
UML与多Agent应用系统建模
孙华志
计算机科学. 2003, 30 (9): 61-63. 
摘要 ( 74 )   PDF(157KB) ( 299 )   
相关文章 | 多维度评价
In order to guarantee the quality and raising the reliability and maintainability of the system, we need to provide the support for designing the Agent-based software system. In view of the consistency of the Agent's conceptwith Object's, we analyze the t
Foley—Sammon鉴别矢量集理论分析及优化模型
徐勇 杨强 杨静宇
计算机科学. 2003, 30 (9): 64-66. 
摘要 ( 82 )   PDF(170KB) ( 308 )   
相关文章 | 多维度评价
The attribute of the maximum of R(ξ) in arbitrary subspace of Rn is discussed dedicatedly. The theory anal-ysis indicates that every F-S discriminant vector is better than respective vector in other discriminant vectors sets,which consist of eigenvectors
扩展的向量辐射度计算方法
孙元浩 龚震宇 潘金贵
计算机科学. 2003, 30 (9): 67-69. 
摘要 ( 69 )   PDF(178KB) ( 374 )   
相关文章 | 多维度评价
An algorithm is introduced which extends vector-based radiosity to be suitable for volume clusters. In thisalgorithm, the powers and surface areas of volume cluster are represented by vectors, which are used in a modified formula to compute the transferr
一种基于自适应阈值的图像去噪新方法
尚晓清 王军锋 宋国乡
计算机科学. 2003, 30 (9): 70-71. 
摘要 ( 75 )   PDF(99KB) ( 292 )   
相关文章 | 多维度评价
Selecting threshold is the most important in threshold-based nonlinear filtering by wavelet transform. In this paper, a novel adaptive threshold is proposed by minimizing a Bayesian risk(It is adaptive to subband because it depends on data-driven estimate
基于彩色立体视觉的障碍物快速检测方法
李庆忠 陈显华 顾伟康
计算机科学. 2003, 30 (9): 72-75. 
摘要 ( 68 )   PDF(195KB) ( 380 )   
相关文章 | 多维度评价
Real-time obstacle detection method is a key technique for machine vision based mobile robot and au-tonomous land vehicle navigation in unstructured environments. In this paper o considering the real-time requirement for stereo matching algorithm, an adap
基于Markov随机场和Bayesian理论的脑内磁源重建
胡净 胡洁 叶盛
计算机科学. 2003, 30 (9): 75-78. 
摘要 ( 95 )   PDF(195KB) ( 343 )   
相关文章 | 多维度评价
MEG source image reconstruction, an important and difficult problem in image processing applications, is formulated as ill-posed inverse problem, so regularization is necessary. Here, we adopt stochastic regularization,i.e. , based on Markov random field
一种基于视觉特性的图像盲去模糊方法
蒋金山 余英林 陆子强 郭国雄
计算机科学. 2003, 30 (9): 79-80. 
摘要 ( 83 )   PDF(130KB) ( 360 )   
相关文章 | 多维度评价
In many various image-debluring methods, Visual Characteristics are not consides. This paper proposes an image-dehluring method based on the frequency and direction characteristics of human visual system by weighting high frequency subband of blured imag
具有真实感的长纱丝形态图像智能生成系统核心算法的设计
徐汀荣
计算机科学. 2003, 30 (9): 81-82. 
摘要 ( 69 )   PDF(92KB) ( 307 )   
相关文章 | 多维度评价
This thesis illustrates configuration of continuous twisted thread mathematic model construction and the key algorithm of how to intelligent produce the configuration of continuous twisted thread real picture from its mathe-matic model construction and b
粗糙模糊集的格论性质
刘贵龙
计算机科学. 2003, 30 (9): 83-84. 
摘要 ( 64 )   PDF(76KB) ( 289 )   
相关文章 | 多维度评价
Let U denote a finite and nonempty set called the universe, and P(U) a power set. Suppose R is an equiva-lence relation on U. Consider the equivalence relation ≈ (X≈Y←→^-RX=^-R and RX=RY, X,Y, ∈ F(U)) on F(U),the quotient set denoted by F(U)/≈. In this pa
IPoIB体系结构及其应用
刘爱华 钱德沛 董小社 乔楠
计算机科学. 2003, 30 (9): 85-88. 
摘要 ( 77 )   PDF(156KB) ( 714 )   
相关文章 | 多维度评价
InfiniRand (IB) is a high speed, channel based interconnecting technology between systems and devices. It will remove the bottleneck limiting the performance of current servers and storage divices. This article proposes an IP over IrdiniBand (IPoIB) archi
Web超链分析算法研究
朱炜 王超 李俊 潘金贵
计算机科学. 2003, 30 (9): 89-93. 
摘要 ( 87 )   PDF(307KB) ( 403 )   
相关文章 | 多维度评价
The World Wide Web serves as a huge, widely distributed, global information service center, and expand-ing in a rapid speed. It is import to find the information the user need precisely and rapidly. In recent years, re-searchers discovery that rich and im
对等网络中搜索策略的研究
李晓戈 杨寿保
计算机科学. 2003, 30 (9): 94-96. 
摘要 ( 95 )   PDF(155KB) ( 351 )   
相关文章 | 多维度评价
Being supported by distributed computing technology, Peer-to-Peer(P2P) computing may be one of themost important technology that influences the Internet in the future. Searching problem seems tg be more importantin P2P environment for lacking of centraliz
时间序列的快速相似性搜索改进算法
肖晶 黄国兴 赵若韵 黄豫蕾
计算机科学. 2003, 30 (9): 97-99. 
摘要 ( 80 )   PDF(122KB) ( 692 )   
相关文章 | 多维度评价
This paper introduces a new method for finding all subsequences similar to a given time series sequence.The method takes into account noise ,offset translation and amplitude scaling. Based on a piecewise linear representa-tion, the speed is exceptionally
局部子立方体连通的超立方体网络容错路由算法和概率分析研究
肖晓麟 王国军 陈建二
计算机科学. 2003, 30 (9): 100-102. 
摘要 ( 123 )   PDF(219KB) ( 370 )   
相关文章 | 多维度评价
In this paper, first we analyze and give opinions of fault tolerant routing and probabilistic analysis. Then,on the basis of locally subcube-connected hypercube networks, we put forward some ideas to develop efficient fault tolerant routing algorithms and
VSAT系统改进隔离型随机N叉树形冲突分解算法研究
李莉 彭云帆 刘丽梅 云利军
计算机科学. 2003, 30 (9): 103-105. 
摘要 ( 69 )   PDF(145KB) ( 290 )   
相关文章 | 多维度评价
In this paper, a new random N-ary tree collision resolution algorithm of improved isolation type is used to analyze the packet collision resolution in VSAT random multiple access system. The analytic formulae of the mean slot number which is needed by pa
基于网络资源消费者模型的调度策略
杨祥茂 谭曦
计算机科学. 2003, 30 (9): 105-106. 
摘要 ( 69 )   PDF(108KB) ( 303 )   
相关文章 | 多维度评价
With the popularity of Internet, technological advance is less than the demand of network resources. In this paper, first we introduce that consumer models in the today's technique condition, how to make prices in light to the models. Then discuss how to
USN安全研究与设计
韩德志 耿红琴 谢长生 胡玉平
计算机科学. 2003, 30 (9): 107-110. 
摘要 ( 55 )   PDF(198KB) ( 274 )   
相关文章 | 多维度评价
With the development of networked storage, the USN converging NAS and SAN appears, USN has many virtues: high performance, low lost and so on, but its security becomes more complex. Considering the situation,with making a deeply research on the performanc
基于Internet传输的视频压缩编码技术现状与发展
陈蜀宇 杨茂斌
计算机科学. 2003, 30 (9): 111-116. 
摘要 ( 63 )   PDF(290KB) ( 313 )   
相关文章 | 多维度评价
This paper provides an overview of the video compression coding techniques based on streaming video over the Internet from the viewpoint of video coding architecture especially. And the future research directions are pointed out at last.
基于AccessGrid的视频会议
沈华品 吴朝辉
计算机科学. 2003, 30 (9): 116-117. 
摘要 ( 83 )   PDF(148KB) ( 317 )   
相关文章 | 多维度评价
This paper first describes the Grid concept and its current research status. Access Grid is a complement of computational grid. This paper gives a deep analysis of Access Grid and gives a basic model of it. After describing the Access Grid Node's software
基于Internet的视频代理缓存服务器设计的若干关键问题
杨书慧 顾铁成 陈道蓄
计算机科学. 2003, 30 (9): 118-123. 
摘要 ( 64 )   PDF(312KB) ( 366 )   
相关文章 | 多维度评价
With the boom of the network technology, all kinds of services based on the Internet come into being. A-mong them, the most promising one is the video service. All of this kind of service has been paid much attention,such as videoconference and video-on-
基于RM—ODP模型的G—WebService的设计
李琦 夏晖
计算机科学. 2003, 30 (9): 124-126. 
摘要 ( 91 )   PDF(196KB) ( 302 )   
相关文章 | 多维度评价
Web Service,as a new standard framework for distributed computing,is to solve the existing problem of cross-platform communication and collaboration between distributed applications. Evolving from the Web Service ar-chitecture ,G-WebService framework, wh
工作流过程建模方法及模型的形式化验证
杨东 王英林 张申生 傅谦
计算机科学. 2003, 30 (9): 127-131. 
摘要 ( 60 )   PDF(276KB) ( 454 )   
相关文章 | 多维度评价
Work/low technology is widely used in business process modeling, software process modeling as well as en-terprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, express
基于多尺度动态模型的自适应跟踪算法
李涛 王宝树 乔向东
计算机科学. 2003, 30 (9): 132-134. 
摘要 ( 59 )   PDF(119KB) ( 284 )   
相关文章 | 多维度评价
This paper simply introduces multi-scale analysis and target-tracking theory, presents a better solution for Px(t), with theoretical proof of the solution's correctness. Based on multi-scale analytical idea, combing the dynamic system analysis of movemen
ORACLE的存储体系结构及其对象空间分配的研究
杨华千 刘勇国 杨德刚 廖晓峰
计算机科学. 2003, 30 (9): 135-137. 
摘要 ( 53 )   PDF(150KB) ( 274 )   
相关文章 | 多维度评价
With fast development in information times, the database, as the kernel unit of information storage, has been playing an increasingly role in the field of the modern information technology. In this paper, ORACLE storage architecture is analyed from physi
采用移动代理技术建立数据仓库的研究
钟国祥 张为群
计算机科学. 2003, 30 (9): 138-140. 
摘要 ( 72 )   PDF(146KB) ( 263 )   
相关文章 | 多维度评价
The thesis sets forth for the policy maker a way of achieving the aim of building model data warehouse based on relation model distributed database by using Mobile Agent technology. According to the design principal of data warehouse and the standard tech
利用蓝牙技术组建无线办公网络
康劲 徐超 侯建辉 冯文江
计算机科学. 2003, 30 (9): 141-143. 
摘要 ( 65 )   PDF(131KB) ( 367 )   
相关文章 | 多维度评价
Bluetooth becomes the focus in the world as a new technology on wireless connection in a short distance.The paper builds the application model which is applied to the wireless office network in the modern corporation. We invent a new Bluetooth routing sch
网格监控系统研究
黄达明 李国东 张德富
计算机科学. 2003, 30 (9): 144-147. 
摘要 ( 60 )   PDF(256KB) ( 273 )   
相关文章 | 多维度评价
The monitoring system is very critical for complex and large high-performance distributed system such as a Grid. With the help of a monitoring system the users and developers of a Grid can perform tasks such as fault-detec-tion and diagnosis, performance
EH—GRBAC:遍在计算环境中基于知识的访问控制原型
张向刚 张云勇 刘锦德
计算机科学. 2003, 30 (9): 148-151. 
摘要 ( 61 )   PDF(210KB) ( 297 )   
相关文章 | 多维度评价
In pervasive computing environment, users can access to various information, resources and services at anytime and anywhere, so access control has become an exigent security problem. In the traditional access control modes, the decisions o[ access control
一个软件服务协同中的信任管理框架设计
徐锋 曹春 郑玮 冯扬悦 吕建
计算机科学. 2003, 30 (9): 152-154. 
摘要 ( 61 )   PDF(201KB) ( 254 )   
相关文章 | 多维度评价
Internet-based Web application systems are gradually built as software service coordination systems. In an open, dynamic and collaborative application environment, traditional methods assumed with closeness, centralization and independence are not able to
TFSP:一种分布式实时系统的形式化描述工具
叶俊民 王振宇 陈利 赵恒
计算机科学. 2003, 30 (9): 155-157. 
摘要 ( 62 )   PDF(138KB) ( 283 )   
相关文章 | 多维度评价
Distributed Real Time Systems (DRTS) have very broad applications in space navigation, nuclear reaction,military affairs and industry department where the security and reliability requirement of the DRTS is very high.Thus, how to develop correct DRTS appl
可扩展并行计算机系统结构和发展现状
曾庆华 陈天麒
计算机科学. 2003, 30 (9): 158-161. 
摘要 ( 64 )   PDF(206KB) ( 417 )   
相关文章 | 多维度评价
Scalable parallel computer is becoming a trend in developing parallel computers. Scalable computers are classified into three system models: the Symmetric Multiprocessor, the Massively Parallel Processor and the Cluster of Workstation. In this paper, the
频率、二维到达角和极化联合估计的并行算法研究
曾庆华 陈天麒
计算机科学. 2003, 30 (9): 162-164. 
摘要 ( 57 )   PDF(122KB) ( 259 )   
相关文章 | 多维度评价
In this paper, the serial algorithm analysis and parallel implementation of multi-parameters joint estimation are reported. The numerical results under the PVM computer network environment are presented. Compared with the serial results, the advantages of
可信计算及其关键技术研究
王志刚 李师贤
计算机科学. 2003, 30 (9): 165-168. 
摘要 ( 70 )   PDF(221KB) ( 305 )   
相关文章 | 多维度评价
The dependability is the latest and highest techno-target used to evaluate the performance quality of a dis-tributed computing system in open network environment, it includes traditional reliability, availability, robustness,survivability, security, data
异常处理——一种提高软件健壮性的方法
姜淑娟 徐宝文
计算机科学. 2003, 30 (9): 169-172. 
摘要 ( 49 )   PDF(207KB) ( 322 )   
相关文章 | 多维度评价
Exception handling is a technique that tests and handles exception events. Unlike the traditional methods that usually deal with exceptions at later design and implementation phases and easily result in many problems, we emphasis that sufficient attention
Java并发系统的ACP模型
刘园 徐宝文
计算机科学. 2003, 30 (9): 173-174. 
摘要 ( 83 )   PDF(93KB) ( 473 )   
相关文章 | 多维度评价
Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs′ representations.This paper proposes a model of Java concurrent system by using ACP,so that Java concurrent system can be trans-formed to process algebra expressions
基于Linux系统的分权设计与实现
林志强 金雷 茅兵 谢立
计算机科学. 2003, 30 (9): 175-178. 
摘要 ( 73 )   PDF(193KB) ( 348 )   
相关文章 | 多维度评价
The secure operating system is the foundation of secure enhanced information systems. As an open source software. Linux has robust functions and good compatibilities with Unix. This paper analyzes the hidden troubles and faults in secure aspect of it. and
形式化与可视化结合的FDOOM软件开发方法
周彦晖 张为群
计算机科学. 2003, 30 (9): 179-182. 
摘要 ( 55 )   PDF(181KB) ( 283 )   
相关文章 | 多维度评价
It is an important issue in Software Engineering that combines the formal development method with the vi-sual development method. This study is based on the transform method and rules between the UML model and the RAISE model.We developes a new software d
论对象程序设计同构化教学教改与教育创新
周启海
计算机科学. 2003, 30 (9): 183-184. 
摘要 ( 58 )   PDF(105KB) ( 310 )   
相关文章 | 多维度评价
In this paper, the new viewpoint about the objectized (i. e. object-oriented) program design in all kinds of computer languages, hich should and could be isomorphized, is advanced, and the new direction of isomorphized teaching reform and blazing new trai