计算机科学

范国闯陈宁江钟华

计算机科学. 2004, 31 (1): 1-4.

摘要 ( 111 )

PDF(234KB) ( 526 )

相关文章 | 多维度评价

Web应用服务器是Web计算环境下产生的新一代中间件，为创建、部署、运行、集成和管理事务性Web应用提供一个跨平台运行环境，是我国企业信息化的基础软件设施。诸多国际知名IT企业纷纷推出其各自的Web应用服务器产品和系统。本文全面系统地对Web应用服务器进行综述，主要包括传统中问件的发展及其挑战，Web应用服务器的定义、主要功能、分类、研究内容和评测标准。根据评测标准，对若干主流Web应用服务器从功能和性能两个方面进行分析和比较。此外，指出了Web应用服务器目前存在的不足以及未来发展趋势。

电子现金技术

李继国曹珍富李建中

计算机科学. 2004, 31 (1): 5-10.

摘要 ( 241 )

PDF(316KB) ( 633 )

相关文章 | 多维度评价

本文首先介绍电子现金产生的背景、概念、研究思路、国内外现状与进展。然后介绍了电子现金系统的模型、分类、关键技术、存在的问题及述评。最后对电子现金技术的未来进行展望。目的在于让广大读者了解电子现金的发展和重要意义，激发读者积极参与电子现金技术的研究，促进我国电子商务的发展。

一个移动进程演算的互模拟同余定义框架

陈韬略李斌胡昊吕建

计算机科学. 2004, 31 (1): 11-15.

摘要 ( 111 )

PDF(292KB) ( 615 )

相关文章 | 多维度评价

并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题，而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上，通过抽取定义的核心要素，提出了一个三维的互模拟同余定义模型，从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来，加深了我们对移动进程演算中互模拟概念的理解；同时本文利用这个模型，系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。

基于状态机的UML行为继承关系

李润博李明树

计算机科学. 2004, 31 (1): 16-19.

摘要 ( 113 )

PDF(185KB) ( 545 )

相关文章 | 多维度评价

行为继承是面向对象领域的重要概念，UML是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型，给出了UML行为继承关系的形式化定义，同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在UML中的具体实现。所讨论的行为继承与Harel，Sourrioulle等人的定义相比，具有更精确的含义。

一种基于指向路径分次删剪的移动Agent通信算法

贾志勇罗杰王德强谢立

计算机科学. 2004, 31 (1): 20-24.

摘要 ( 109 )

PDF(271KB) ( 443 )

相关文章 | 多维度评价

在移动agent环境下，agent的移动为应用程序的开发提供了更灵活的通信处理方式，但也同时对通信算法的设计提出了许多挑战，其中最突出的就是由于消息传输和agent移动之间的异步性而造成的通信不可靠问题。针对目前解决该问题的各种机制和算法的不足之处，该文提出了一种新的agent通信算法——S—COMP，它综合采用了Home寻址、途经节点转发、指向路径分次删剪和集中同步等手段，能够适应具有不同移动和通信特点的agent的通信需要，在确保消息传输可靠性的同时兼顾了效率和适应性。

计算随机流量网络可靠度的算法综述

孙伟平周敬利余胜生

计算机科学. 2004, 31 (1): 25-27.

摘要 ( 101 )

PDF(142KB) ( 542 )

相关文章 | 多维度评价

随机流量网络比二态网络更适合用于描述现实生活中的许多系统。给定要求d，随机流量网络的可靠度定义为最大流不小于d的概率。这一领域的研究提供了许多算法来估计系统的可靠度。本文介绍了这些算法(特别是基于最小路径和最小割集的算法)的来源及思想。文章最后给出了将来研究工作的方向。

遥科学网络环境下的可靠多播文件传输

石军鲁士文

计算机科学. 2004, 31 (1): 28-30.

摘要 ( 122 )

PDF(204KB) ( 539 )

相关文章 | 多维度评价

本文根据适科学地基网络拓扑结构和试验数据分发的特点，在应用层设计了一个可靠多播文件传输协议。本协议具有简单、高效和安全性较高的特点，不仅适合遥科学试验数据的分发，也可用于需要安全、可靠保证的其它应用中的小规模多播文件传送。

EI内核中TCP状态机约简的研究

林涛王济勇韩光洁王金东赵海

计算机科学. 2004, 31 (1): 31-34.

摘要 ( 125 )

PDF(193KB) ( 484 )

相关文章 | 多维度评价

在嵌入式Internet(EI)环境中，可以利用的资源十分有限，而要在这种条件下实现Internet接口是很困难的，通常的做法就是扩充系统资源，但是这种方法增加了系统成本，大材小用。而且嵌入式Internet设备将要最终嵌入到设备中去，因此必须要在尽量小的空间内实现所需要的功能。本文提出一种TCP状态机的约简原则，减少状态机的处理流程，将复杂状态变换转化为简单变化，将状态机中的状态数和跳转条件进行约简与合并，提高了性能，减少实现代码。在不改变协议接口的前提下在原有的资源空间内实现通用的TCP／IP协议栈，

移动计算环境下的QoS技术

张知皦徐明

计算机科学. 2004, 31 (1): 35-38.

摘要 ( 134 )

PDF(234KB) ( 514 )

相关文章 | 多维度评价

QoS管理和控制是移动计算中的一个重要研究领域。该领域的主要研究内容有环境识别、适应性管理、资源管理和资源预留等。本文论述了移动计算环境下QoS研究中的一些基本概念、主要问题、研究内容和方法，并对该领域最近的研究工作进行了综述。

移动计算环境中缓存失效策略的归类研究法

吴劲卢显良任立勇周旭

计算机科学. 2004, 31 (1): 39-41.

摘要 ( 94 )

PDF(153KB) ( 455 )

相关文章 | 多维度评价

缓存失效报告法是在移动计算环境中普遍采用的缓存方案，即服务器定期广播缓存失效报告，该报告中包含了最近被更新的对象，根据报告内容，客户可使缓存中被更新对象失效，以保证缓存的有效性。缓存失效报告技术可采用多种策略，本文在研究多种缓存策略的基础上，提出了一种针对缓存失效方案的归类研究法，可对具体策略加以分析和评估，在此基础上对其性能进行改良，以形成更适应特定移动计算环境要求的缓存方案。

一种无线自组网的路由实现方法

徐洁魏正曦夏梦芹

计算机科学. 2004, 31 (1): 42-45.

摘要 ( 129 )

PDF(188KB) ( 543 )

相关文章 | 多维度评价

路由算法是无线自组网最为重要的技术之一。本文提出了一种策略和一个基于目的节点度盖数的源选径算法。这种路由策略节省了无线通信中的带宽，减少了网络的传输流量。

基于802．11a／b MAC的WLAN用户定位技术研究

陈永光

计算机科学. 2004, 31 (1): 45-48.

摘要 ( 120 )

PDF(217KB) ( 576 )

相关文章 | 多维度评价

本文研究了包括IEEE 802，11a／b结构特征在内的IEEE 802，11无线局域网(WLAN)的特性，提出了基于IEEE 802．11a／b MAC的WLAN用户室内室外定位技术方案。

DLMCC：一种动态层次组播拥塞控制机制

任立勇卢显良吴劲周旭

计算机科学. 2004, 31 (1): 49-52.

摘要 ( 97 )

PDF(211KB) ( 526 )

相关文章 | 多维度评价

由于Internet本身固有的异构性，累积层次组播受到广泛关注，但现有的层次组播大多是粗粒度和静态的，不能适应动态变化的网络环境。为解决这一问题，提出了一种动态层次组播拥塞控制机制DLMCC。在该机制中：①给出了一种反馈聚集算法，动态确定层次组播的层次数和层次速率，从而有效地提高了网络的带宽利用率；②采用了一种逐级分组对探测带宽方法，可准确快速测量本地带宽，同时可保证粗拉度的TCP友好；③所有组播层次的数据在同一个组播组中传输，彻底消除了接收者加入新的层次和离开最高层次时需执行复杂和耗时的IGMP操作，以

基于ATM单瓶颈节点模型的PID拥塞控制器设计

关新平刘志新龙承念

计算机科学. 2004, 31 (1): 53-55.

摘要 ( 103 )

PDF(190KB) ( 523 )

相关文章 | 多维度评价

针对ATM单瓶颈节点网络模型，提出ABR业务拥塞控制方案，给出使系统闭环稳定PID参数应满足的约束条件。设置前馈环节以抑制带宽波动对缓冲区队列长度的影响。仿真结果表明，业务服务质量得到了保证，系统具有较好的动态性能。

基于FAR模型的网络通信量自适应预测

徐晓东饶云华邹雪城

计算机科学. 2004, 31 (1): 56-58.

摘要 ( 124 )

PDF(130KB) ( 502 )

相关文章 | 多维度评价

本文分析了网络通信量中存在的自相似现象，并讨论了自相似通信量的预测及其对于网络性能分析的重要意义，提出了一种考虑了网络通信量自相似性的自适应预测方法，该预测方法在利用通信量自相似性的同时也考虑了通信量的短程相关特性，能够对实际通信量进行良好的预测。最后用实验仿真验证了这种方法在通信量预测中的有效性。

面向滥用检测的反馈预测机制

张剑龚俭

计算机科学. 2004, 31 (1): 59-61.

摘要 ( 105 )

PDF(228KB) ( 548 )

相关文章 | 多维度评价

在高速主干网络环境中的入侵检测系统应该满足两个要求：第一，需要尽早发现入侵企图；第二，要努力降低入侵检测的操作代价。两者的解决办法与入侵检测模型和测度密切相关。本文在一般的滥用检测系统中嵌入反馈预测机制，它不仅能预测用户当前行为是否入侵，而且能大幅度降低该入侵检测系统的操作代价，可适应在高速网络中的实时检测需要。实际测试结果表明反馈预测机制能比较精确地预测入侵，嵌入了反馈预测机制的滥用检测系统的数据处理能力有了较大的改善。

基于Web的嵌入式网络管理平台的研究和设计

李捷王汝传

计算机科学. 2004, 31 (1): 62-65.

摘要 ( 111 )

PDF(190KB) ( 508 )

相关文章 | 多维度评价

根据Web Server在网络管理系统中的位置，分别有基于中间层和嵌入式两种解决方案。而后者凭借其强实时性而具有较高的理论和实用价值。本文首先提出了嵌入式WEB网管的几个关键模块的结构模型和内部工作流程并在此基础上提出了一个基于WEB的嵌入式网管平台的模型EWBMS(Embedded Web Based Management)，考虑到作为事实工业标准的SNMP应用的广泛性，作者以SNMP作为网管协议，实现了与传统SNMP设备的平滑过渡和无缝集成。最后作者结合实际项目并利用业界主流软硬件平台，给出了一个该模

企业集成平台技术研究

李建强范玉顺

计算机科学. 2004, 31 (1): 66-68.

摘要 ( 132 )

PDF(155KB) ( 535 )

相关文章 | 多维度评价

作为支持企业内部信息系统之间的数据交换及互操作的使能工具，集成平台是企业实现更高层次上的信息集成、过程集成乃至企业集成的基础支撑环境。本文对集成平台的OSI标准化模型、应用集成实现技术的发展等相关问题进行了综述，在此基础上，讨论了当前集成平台产品的现状及发展趋势。

基于Web Service的地理信息服务研究

毕建涛王雷池天河何建邦

计算机科学. 2004, 31 (1): 69-71.

摘要 ( 129 )

PDF(151KB) ( 651 )

相关文章 | 多维度评价

通过对已有的WebGIS相关技术的研完与分析，提出了基于Web Service的地理信息服务框架体系结构，并对实现地理信息服务结构的各种关键技术进行归类与分析，实现各种服务的主动与互动相结合，最后选取中国可持续发展信息共享系统来进行基于Web Service的地理信息服务系统应用示范研究。

地理信息语义关系元数据研究及应用

曹彦荣何建邦

计算机科学. 2004, 31 (1): 72-76.

摘要 ( 178 )

PDF(268KB) ( 508 )

相关文章 | 多维度评价

地理信息的发现是地理信息共享的前提和基础，目前主要以基于元数据的目录服务为主。目录服务中的信息发现是以关键字匹配为主，这种方法往往难于满足用户的需求。本文讨论了如何利用计算机领域内的本体(ontology)理论和语义网络的方法，建立描述数据之间语义关系的关系元数据(Relation Metadata)，并初步实现了基于语义关系元数据的地理信息资源发现服务的原型系统。

基于oracle的空间拓扑管理研究

刘峻明朱德海张晓东

计算机科学. 2004, 31 (1): 77-79.

摘要 ( 94 )

PDF(221KB) ( 488 )

相关文章 | 多维度评价

空间拓扑关系是GIS的一个重要内容。本文提出了基于Oracle的空间拓扑管理模型。首先，将拓扑元素定义成对象，并列出了这些对象所应该具有的最基础的属性。其次，定义一个拓扑元数据表来对拓扑相关的内容进行描述，拓扑元数据表将起到一个管理和信息导航的作用。最后，讨论了基于该模型如何建立拓扑元素索引的问题。

内存数据库中一种改进的图论存取方法及其性能分析

万常选刘云生

计算机科学. 2004, 31 (1): 80-83.

摘要 ( 165 )

PDF(259KB) ( 440 )

相关文章 | 多维度评价

内存数据库是支持高性能信息处理的一种方法，对于内存数据库而言，数据库的存储结构与存取方法是关键。本文给出了一种内存数据库组织与存取的改进图论方法，并对该方法给几个基本的查询处理操作所能带来的优势进行了探讨，最后从存储空间和操作执行时间两方面进行了性能分析，结果显示改进的图论方法能提供很好的性能。

规则路径表示下XML数据查询的动态规划优化方法

洪晓光李晖

计算机科学. 2004, 31 (1): 84-88.

摘要 ( 145 )

PDF(252KB) ( 512 )

相关文章 | 多维度评价

本文介绍了对有规则路径表示的XML数据查询的处理方法，包括传统的处理方法、改进的处理方法及相关的理论基础；然后提出了用动态规划算法对XML数据查询的处理进行优化，包括设计步骤和具体算法；最后对全文内容进行了简要总结。

变时长变速XYZ视频编码

王福龙余英林

计算机科学. 2004, 31 (1): 89-91.

摘要 ( 233 )

PDF(118KB) ( 504 )

相关文章 | 多维度评价

将数字视频序列可以看作是从模拟视频信号中抽样得到，帧间相关性过强是由于采样过密造成的；而帧间相关性太弱是由于采样频率太小造成的。本文从采样定理的角度提出变时长变速XYZ编码方案，得到很好的编码效果。

互模拟与逻辑

沈浩孙永强

计算机科学. 2004, 31 (1): 92-94.

摘要 ( 122 )

PDF(146KB) ( 880 )

相关文章 | 多维度评价

本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。

知识表达系统的简化与集族的极小子集（Ⅰ）

李小霞陈绵云

计算机科学. 2004, 31 (1): 95-97.

摘要 ( 129 )

PDF(115KB) ( 607 )

相关文章 | 多维度评价

论文定义集族的Ⅰ型极小子集和Ⅱ型极小子集，揭示集族的Ⅰ型极小子集问题和Ⅱ型极小子集问题的转化关系，Ⅰ型极小子集族与Ⅰ型核以及Ⅱ型极小子集族与Ⅱ型核之间的关系，描述了生成集族近似Ⅰ型极小子集的贪心方法和生成所有的Ⅰ型极小子集的幂集树方法。

一种基于算盘的 —算盘机

胡海星宋方敏

计算机科学. 2004, 31 (1): 98-102.

摘要 ( 228 )

PDF(209KB) ( 587 )

相关文章 | 多维度评价

本文介绍了一种基于算盘的计算模型，定义了“算盘机”和“算盘机可计算”的概念，证明了算盘机的计算能力与递归函数的计算能力相同。

音乐领域本体的建立和分析

高颖曹存根眭跃飞

计算机科学. 2004, 31 (1): 103-107.

摘要 ( 109 )

PDF(260KB) ( 541 )

相关文章 | 多维度评价

音乐是一门重要的社会学科，具有丰富的领域知识，这些知识是计算机音乐应用系统所需要的专业知识。本文基于本体论方法形式化地探讨音乐领域本体的建立和分析，具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容。我们给出两个判断类间关系一致性的算法并分析其性质，还探讨了基于公理的知识的一致性。

基于模糊支持向量机的数据域描述

魏立力龙卫江张文修

计算机科学. 2004, 31 (1): 108-109.

摘要 ( 107 )

PDF(97KB) ( 466 )

相关文章 | 多维度评价

受模糊支持向量机的启发，本文系统论述了带有模糊隶属度的数据域描述方法，称为模糊支持向量域描述。适用于数据集中的数据不完全肯定来自于假设总体的情形，不同的数据对数据集的域描述可以有不同的贡献。

关联规则挖掘技术研究的新进展

刘君强孙晓莹潘云鹤

计算机科学. 2004, 31 (1): 110-113.

摘要 ( 157 )

PDF(221KB) ( 676 )

相关文章 | 多维度评价

在数据库中发现频繁模式和关联规则是数据挖掘领域的最基本、最重要的问题。自从Agrawal的开创性工作以来，有关研完从未停止过。然而由于其内在的计算复杂性，这一问题并未完全解决。本文对关联规则的基本概念和类型、重要挖掘算法、特别是近年来相关研究的新进展做了全面综述与深入分析，并指出了未来的研完方向。

基于Apriori算法的多循环关联规则挖掘综述

袁军鹏朱东华

计算机科学. 2004, 31 (1): 114-117.

摘要 ( 117 )

PDF(228KB) ( 753 )

相关文章 | 多维度评价

介绍了基于Apriori算法的关联规则挖掘的研究状况，对一些典型采掘算法进行了分析和评价，总结和归纳了国内外学者对Apriori的改进，展望了关联规则挖掘的未来研究方向。

关于一般存储器神经网络的学习收敛性研究

彭宏京陈松灿

计算机科学. 2004, 31 (1): 118-121.

摘要 ( 94 )

PDF(254KB) ( 475 )

相关文章 | 多维度评价

本文在一类称为一般存储器神经网络(General Memory Neural Network(GMNN))的统一框架下来研究学习收敛性。该一般模型类的结构由三部分组成：输入空间量化、存储器地址产生器、查表式某种组合输出。当产生的地址是固定有限的个数以及网络输出是线性求和时，可以证明GMNN能在最小平方误差意义下收敛。CMAC(Cerebellar Model Articulation Controller)、SLLUP(Single—Layer Look up Perceptrons)是该类模型的典型代表

基于Agent的智能决策支持系统模型

樊玮陈增强袁著祉

计算机科学. 2004, 31 (1): 122-125.

摘要 ( 106 )

PDF(199KB) ( 486 )

相关文章 | 多维度评价

本文提出一个用多Agent实现的通用智能决策支持系统的框架——AIDSS。该系统由接口Agent、信息Agent、策略Agent、数据挖掘Agent及其它构件组成，可用于Intranet中的数据仓库环境。讨论了智能决策支持的结构及功能，重点讨论了其核心功能，例如接口Agent功能、Agent之间的通信及知识交换。最后介绍了一个为航空公司收益管理设计的基于Agent的智能决策支持系统。

基于Internet信息采集和决策的Multi—Agent系统的设计

袁平张伟

计算机科学. 2004, 31 (1): 126-128.

摘要 ( 151 )

PDF(170KB) ( 441 )

相关文章 | 多维度评价

Internet数据的特点，阻碍了人们充分有效地利用Internet信息。传统的集中式方法侧重于对长期积累数据的趋势分析，无法适应动态、实时的信息变化，因此采用Multi—Agent技术是利用Internet数据进行决策支持的必然。本文构建了一个用于多个异构数据源监测、集成、分析并进行决策的Multi—Agent系统，文章重点描述了该系统的组织情况，提出了在Agent体系结构基础上开发可重用部件的思想，从而提高了Agent创建的效率。文中还对试验进行了说明，最后作了小结。

数据隐藏中图像去噪攻击及其对策

袁渊窦文华

计算机科学. 2004, 31 (1): 129-132.

摘要 ( 133 )

PDF(179KB) ( 410 )

相关文章 | 多维度评价

数字水印是数字版权保护中的关键技术，本文从水印攻击角度分析了去噪攻击的原理，并且提出了相应的解决办法，通过实验证明了理论分析的正确性，这对水印算法研究和设计有一定的参考价值。

基于小波多尺度积的边缘检测算法

杨丹张小洪

计算机科学. 2004, 31 (1): 133-135.

摘要 ( 109 )

PDF(181KB) ( 706 )

相关文章 | 多维度评价

在分析小波变换对噪声和边缘点影响规律的基础上，结合多尺度乘积的特性，提出了一种基于小波变换的多尺乘积边缘检测新算法。通过边缘检测性能评测计算和实验验证表明，该算法能有效增强边缘、抑制噪声，且定位精度高。

基于图结构的候选序列生成算法

郭平刘潭仁

计算机科学. 2004, 31 (1): 136-139.

摘要 ( 109 )

PDF(204KB) ( 487 )

相关文章 | 多维度评价

先生成候选序列再判断候选序列是否为频繁序列，最后获得频繁序列是序列数据挖掘中基于候选序列挖掘算法的一般结构，如Apriori类算法，GSP算法，SPADE算法等。因此，研究候选序列生成算法具有普遍意义。本文首先研究了序列数据集(序列数据库)与图结构间的关系，证明了一个序列是频繁序列的必要条件是该序列对应于一个完全子图。以此为基础提出了基于图结构的候选序列生成算法，文中给出了算法正确性证明。在T25110D10K和T25120D100K数据集上的挖掘实验表明在本文提出的候选序列生成算法上进行挖掘比用Apri

一种在多三维协坐标系统间建立联系的方法

傅彦 LaxmishaRai 陈镔李毅超

计算机科学. 2004, 31 (1): 140-141.

摘要 ( 98 )

PDF(84KB) ( 579 )

相关文章 | 多维度评价

本文将建立在两个三维协坐标(Co—ordinate)间的一系列关系函数，用以对相关的转换参数进行计算。本文的目的就在于在两个三维协坐标系统间建立一种关系，以助于通过已知的其中一个协坐标系统的少量信息来获得另一个协坐标系统的相关参数。

可减少模型简化误差的边折叠简化算法及应用

王健何明一

计算机科学. 2004, 31 (1): 142-144.

摘要 ( 108 )

PDF(156KB) ( 910 )

相关文章 | 多维度评价

基于三角形网格边折叠简化思想，提出一种基于边顶点重要度简化算法，简化算法能有效保持模型局部特征，减小简化模型和原始模型之间的误差；采用一种改进的三角形网格数据结构，利用二叉树对顶点重要度进行快速排序并记录三角形合并关系，得到所需分辨率下的近似网格模型。数据结构具有层次清楚、操作简单、可扩充性等特点，能有效支持多分辨率简化与快速可视化。

一种过程定义模型及其验证性分析

费立蜀顾庆陈道蓄

计算机科学. 2004, 31 (1): 145-151.

摘要 ( 85 )

PDF(302KB) ( 472 )

相关文章 | 多维度评价

软件过程是管理、开发、维护软件系统所需要的一系列活动的偏序集合。软件过程作为一种工作流，其建模和分析可以采用工作流的理论和技术作为支撑。因为任务控制流的图示表示办法直观方便，因此大多系统都采用这种定义方式为软件过程建模。而过程定义的合理性验证问题复杂度通常是非常高的，必须寻求合理的算法。图规约算法就是一种实际可行的算法。

轨道模型（OM）：大中型软件项目开发新模式的建构

邓冰钟莹陈春梨

计算机科学. 2004, 31 (1): 152-153.

摘要 ( 102 )

PDF(123KB) ( 589 )

相关文章 | 多维度评价

轨道模型(Orbit Model)作为一种新的功能驱动、架构驱动和风险驱动的开发模式，可用于对复杂大中型软件项目进行流程管理，并已在项目开发中试行近两年。本文阐连了轨道模型的架构原理和方法，并希望引起业界对该新模式的探讨和实践。

TBus：一种CASE环境体系结构风格研究与实现

郭兵谢俊赵平原沈艳熊光泽

计算机科学. 2004, 31 (1): 154-156.

摘要 ( 99 )

PDF(199KB) ( 417 )

相关文章 | 多维度评价

CASE(Computer Aided Software Engineering计算机辅助软件工程)环境作为一类复杂的系统软件，其体系结构至关重要。本文在工具总线(ToolBus)的基础上，从软件体系结构的角度，提出了一种基于工具总线的CASE环境体系结构风格TBus，对体系结构模型、系统行为进行了形式化描述，以及相应的工具结构模型、工具适配器结构模型、工具集成机制等方面进行了深入的研究与分析。建立TBus体系结构风格，对于促进分布式CASE环境和软件平台开发具有重要的指导意义。

一种嵌入式系统实时性能分析的融合机制

王济勇林涛王金东韩光洁赵海

计算机科学. 2004, 31 (1): 157-161.

摘要 ( 106 )

PDF(263KB) ( 466 )

相关文章 | 多维度评价

许多嵌入式系统要求硬实时或者软实时地执行，为了确保这些要求得到满足，不仅要对单个任务或代码段的执行时间进行测量，同时还必须确定整个系统的实时性能。为此，针对导致传统的纯软件方法测量精确度低的两个主要原因，借助于多源数据的信息融合思想，依据改进后的纯软件的实时代码执行时间的测量方法，提出了一种用于嵌入式系统实时性能分析的融合机制，基于这种机制，设计和开发人员能够查明时限错误，找出需要优化的代码以解决期限错过问题，并确定特定环境下实时任务集的可调度性。

嵌入式Linux库裁剪技术分析与改进

卢延云孙玉芳

计算机科学. 2004, 31 (1): 162-164.

摘要 ( 112 )

PDF(199KB) ( 1093 )

相关文章 | 多维度评价

系统裁剪是嵌入式Linux系统开发过程中的一个重要环节。现在有很多裁剪技术可以使系统变小，本文则分析了其中的共享库裁剪技术的原理。针对现有技术的不足，本文提出并实现了一种函数级的库裁剪方案，可以在很大程度上提高裁剪效率。

安全操作系统中的安全管理增强功能

郭玮茅兵谢立

计算机科学. 2004, 31 (1): 165-169.

摘要 ( 101 )

PDF(266KB) ( 750 )

相关文章 | 多维度评价

针对一般操作系统在自保护和管理控制机制薄弱方面的缺陷，本文介绍了由笔者等设计开发的一个基于特权分化模型PDM(Privilege—Divided Model)，该模型依据最小特权原则，将原有系统中超级用户的特权集合加以细分，由多个管理员取代单个超级用户，同时采用了Capability机制和引进了Voting机制。最后介绍了在安全增强操作系统SoftOS上从管理层到核心层的特权细化实现工作。

一个基于硬件计数器的程序性能测试与分析工具

车永刚王正华李晓梅

计算机科学. 2004, 31 (1): 170-174.

摘要 ( 175 )

PDF(281KB) ( 941 )

相关文章 | 多维度评价

在Intel P6系列处理器与Microsoft Windows NT平台上开发了一个工具软件PTracker，它利用处理器中的硬件性能计数器来获取程序性能数据，并结合机器体系结构参数对数据进行分析。它无需用户编程，与应用程序所使用的编程语言无关，使用很方便。它不仅能够通过性能计数器获得精确的性能参数，而且还能通过对测试得到的性能数据的分析，揭示程序高层次的性能特征，对程序性能评价与优化具有一定的指导作用。本文介绍了PTracker的技术背景、设计与系统实现，并给出了一个应用实例。

一种简明实用的软件度量过程评价框架

曹会明金茂忠刘超

计算机科学. 2004, 31 (1): 175-179.

摘要 ( 86 )

PDF(268KB) ( 983 )

相关文章 | 多维度评价

提出了一种软件度量过程评价框架，指出对软件度量过程主要从过程依从性、过程性能和过程能力等三个方面进行评价，并分别给出了适合它们各自特点的评价方法。同时，总结了一个软件度量过程评价报告的模板，并深入讨论了软件度量过程评价的时间间隔。此框架简明实用，灵活性强，易于软件组织实施和推广。

几种范畴划分测试充分性准则的比较

朱彬刘玲缪淮扣

计算机科学. 2004, 31 (1): 180-184.

摘要 ( 102 )

PDF(242KB) ( 1163 )

相关文章 | 多维度评价

选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category—Partition)测试中的All—Combination、Each—Choice—Used和base—Choice—Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较，并给出一个量化的比较结果，帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。