计算机科学

隐蔽通道发现技术综述

夏耐林志强茅兵谢立

计算机科学. 2006, 33 (12): 1-5.

摘要 ( 276 )

PDF(425KB) ( 667 )

相关文章 | 多维度评价

本文首先解释了隐蔽通道的概念，介绍了隐蔽通道的分类。然后花主要精力，结合实例概述了当代国际上已经使用过的隐蔽通道的方法。并且对目前已有的这些方法从不同的方面给出了对比性的评价。在文章的讨论部分，作者基于目前的形势以及传统发现方法的限制给出了针对隐蔽通道发现方法建设性的见解和展望。

一种新的网格环境模型——TGrid Model

齐德昱林伟伟

计算机科学. 2006, 33 (12): 6-9.

摘要 ( 92 )

PDF(442KB) ( 342 )

相关文章 | 多维度评价

在分析了现有网格环境不足的基础上，提出一种新的网格环境模型——基于树形结构的网格体系与环境TGrid，支持高性能计算，面向主题的资源共享和新一代的需求建模。它以树结构来组织网格节点和集成各种资源，实现了自底向上、多级、面向需求的资源抽象和多种资源融合。而且树型结构符合自然层次组织关系，容易实现网格系统的层次化管理，有利于减轻中心节点的负载和实现大规模应用的负载平衡，提高资源查找效率。同时，TGrid以虚拟资源的形式实现网格资源的共享，利用分布式JVM（TJVM）虚拟网格节点上CPU和主存资源，利用多数据库

一种模型驱动的工作流过程定义途径

赵文袁崇义张世琨王立福

计算机科学. 2006, 33 (12): 10-15.

摘要 ( 99 )

PDF(468KB) ( 341 )

相关文章 | 多维度评价

传统的工作流管理系统在互操作性，可复用性，可移植性和开发效率等方面遇到了挑战，MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中，工作流模型处于核心地位，本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次，运用模型驱动的途径，依据给出的工作流模型，本文提出了一种模型驱动的，用于快速构造工作流管理系统的框架。针对工作流过程模型，着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换（转换过程和转换规则），并以扩展的Petri网标注语言E-PNML规约了

对象存储系统形式化研究

计算机科学. 2006, 33 (12): 16-18.

摘要 ( 82 )

PDF(221KB) ( 340 )

相关文章 | 多维度评价

对象存储系统是近来兴起的存储领域研究热点，它改变了传统的存储模式，用对象接口取代了传统的块接口。作为下一代互联网存储模式的关键技术——对象存储，它的出现使得海量信息存储、数据异构灵活共享、存储系统的可扩性、信息安全等问题迎刃而解。对象作为对象存储系统的基本单位，它的管理将是系统管理的关键。为了更好地研究对象存储系统对象的管理，本文对对象的形式化做了系统的研究。首先根据对象存储系统的实际给出了对象存储系统中对象的形式化描述；接着我们给出了对象存储系统的形式化描述；最后讨论了对象存储系统中对象间的关系，并通过

异构网络中丢包识别研究综述

叶进王建新

计算机科学. 2006, 33 (12): 19-22.

摘要 ( 111 )

PDF(423KB) ( 683 )

相关文章 | 多维度评价

异构网是将具有不同媒体、不同性能的子网统一构建成的单个逻辑网络，在这种网络中随着信道的变化丢包事件会更频繁地发生，同时丢包的原因比单一网络环境更加复杂，为有线环境设计的传统TCP不能满足应用的要求，因此改进TCP协议成为异构网中研究的热点。本文在研究各种TCP协议的基础上，深入分析了其中丢包识别这一关键问题，概括了丢包识别的一般性策略，然后时典型的区分丢包原因的方法进行了归纳和比较，最后提出了通过丢包控制提高异构网性能的研究方向，为各种环境下TCP协议的改进提供了较好的研究基础。

AI-MIPv6：一种基于归属信息的移动IPv6预测切换协议

周琼琼孙波陈峰李智伟

计算机科学. 2006, 33 (12): 23-29.

摘要 ( 106 )

PDF(450KB) ( 331 )

相关文章 | 多维度评价

已经提出的快速和平滑切换框架中，普遍使用接入路由器进行信令的处理和数据的缓存，这种结构不易部署和扩展。本文提出了利用链路层与网络层之间的归属信息进行预测切换的协议，描述了预测切换协议的切换过程，阐述了归属信息的组织和使用方法，分析了切换协议的时延特性，并进行了实验验证。该协议通过对本地管理单元和域管理单元的使用，能够有效减少切换时延和丢包!并具有易部署和易扩展的能力。

一种负载均衡的移动Ad-hoc网络路由协议及改进

计算机科学. 2006, 33 (12): 30-33.

摘要 ( 72 )

PDF(320KB) ( 312 )

相关文章 | 多维度评价

随着移动ad hoc网络负载的增加，现有路由协议的性能将急剧下降。为适应重负载网络，本文提出了一种带宽估算模型和负载平衡技术，并结合AODV（Ad hoc On-demand Distance Vector Routing）设计了新的路由协议。同时考虑到时廷因素，对新协议进一步改进。仿真表明，本文提出的协议可以提高分组传送率，降低平均端到端时延，并减少路由开销。

MNCML：一种面向多协议网络通讯的模式语言

计算机科学. 2006, 33 (12): 34-36.

摘要 ( 90 )

PDF(278KB) ( 241 )

相关文章 | 多维度评价

软件设计模式作为一种高级别的概念模型，已逐渐成为软件体系结构相关的重要理论。在软件体系结构级别支持复用的通用方法中，传统设计模式在性能和灵活性之间偏重后者。目前资源有限的移动设备和嵌入式环境，主要面临了三个方面的限制：计算能力、存储能力以及电源供应能力。针对移动设备的通讯特点，为移动设备定制的网络软件必须高效、可靠、灵活。本文主要介绍我们在EMXE（Extensible Multifunctional XML Engineer）中设计的一种面向多协议网络通讯的模式语言（MNCML），并展示了此模式系统产生

在BGP／MPLS VPNs中用BGP实现域间流量工程

计算机科学. 2006, 33 (12): 37-42.

摘要 ( 86 )

PDF(400KB) ( 299 )

相关文章 | 多维度评价

在BGP／MPLS VPNs中，用MPLS实现的流量工程主要被限止在单个管理域内。然而，随着企业规模的不断扩大，VPN跨越越来越多的管理域，急需管理域间流量的有效方法。以BGP属性、BGP策略和AS关系为基础的，一方面通过配置LOCAL-PREF属性值，运用输入策略，控制AS的出界流量；另一方面，保证客户AS不在提供者间或对等体间过渡流量，或允许客户AS向它的部分提供者通告路由，或人为增长AS-PATH，控制AS的入界流量。仿真表明此方法能有效地在BGP／MPLS VPNs中用BGP实现域间流量工程。

一种基于合作博弈的均衡路由方法

张惠娟周利华翟鸿鸣

计算机科学. 2006, 33 (12): 43-45.

摘要 ( 93 )

PDF(185KB) ( 323 )

相关文章 | 多维度评价

网络资源公平性分配是网络可存性研究中的关键问题，路由选择算法是影响网络资源分配的公平性和均衡性的关键因素。本文研究路由器路径选择中的均衡性问题，提出了基于博弈论思想的解决方案，即将IPv6协议中的任意播路由问题看作是合作参与者间的博弈；针对该博弈问题，建立了路由算法的合作博弈模型，求得了该博弈均衡点，并在此基础上，提出了一种基于合作博弈的均衡路由方法；最后通过实验仿真了算法结果。

基于密度树的应用层多播算法

彭金祥

计算机科学. 2006, 33 (12): 46-48.

摘要 ( 95 )

PDF(228KB) ( 306 )

相关文章 | 多维度评价

在IP多播的路由器上转发数据，存在一些弊端并不适应当前网络的需要，在终端主机上选择路由进行多播已经成为目前的趋势。为此，本文在IHC算法上进行优化改进，提出一种新的DHCM（density-based hierarchical clustering multicast）应用层多播模型，DHCM对Cluster的密度进行层次划分，使Cluster满足单调性和同构性，组建一个密度树，实现最短路由，并把Peer-to-Peer技术用在数据传输上，最终把视频服务器的内容分发到密度树上的各个主机，实现应用层多播。实

自组网中节点分布对网络连通度的影响分析

周一鹿钟剑刘林森

计算机科学. 2006, 33 (12): 49-51.

摘要 ( 122 )

PDF(232KB) ( 279 )

相关文章 | 多维度评价

本文通过对不同网络规模的自组网中节点分布密度与网络连通性关系的研究分析，为在自组网的网络规划中选择与网络规模相适合的满足网络连通性要求的网络覆盖范围，从而提高网络容量，提供一种有效的设计方法。

抗共谋数字指纹研究综述

梁睿超卢增祥路海明

计算机科学. 2006, 33 (12): 52-55.

摘要 ( 92 )

PDF(400KB) ( 550 )

相关文章 | 多维度评价

随着互联网以及多媒体技术的发展，数字版权保护技术已经成为了人们广泛关注的话题，而多个用户联合进行的共谋攻击已经威胁到发行商和其他合法用户权益。本文主要对多媒体数据中的抗共谋攻击研究现状进行了综述，介绍了若干具有代表性的抗共谋攻击方案，并提出了一些可行的研究方向。

信用扩散与信用扩散场：一种MAS信用机制研究的新方法

计算机科学. 2006, 33 (12): 56-58.

摘要 ( 80 )

PDF(254KB) ( 323 )

相关文章 | 多维度评价

为了研究复杂网络环境中MAS（Multi-Agent Systems）信用机制，本文引入信用扩散和信用扩散场的思想。为研究MAS的信用机制提供一种新的思路和方法。定义和分析了信用扩散系统，建立了信用扩散场数学模型，将影响信用扩散的主要因素加以抽象，建立了信用扩散场的三维空间坐标，为信用扩散构建了扩散的空间。并根据信用扩散场模型，提出了一种单源点信用梯度扩散算法。

一种基于隐藏证书的自动信任协商模型

计算机科学. 2006, 33 (12): 59-61.

摘要 ( 80 )

PDF(338KB) ( 268 )

相关文章 | 多维度评价

自动信任协商是一种通过逐步暴露证书和访问控制策略以确立协商双方信任关系的安全方法。隐藏证书采用椭圆曲线加密的原理，具有极好的安全保密性与数据完整性。本文将隐藏证书引入到自动信任协商系统中，提出了一种基于隐藏证书的自动信任协商模型（简称为HCBATN）。该模型使用隐藏证书来携带并传递双方交换的证书、访问控制策略、资源等信息，充分保护了证书、策略的敏感信息以及用户个人隐私；同时具有单轮回证书交换、较小的网络开销、较低的证书保存、较高安全保密性等优点。

基于层次分析法的信息系统脆弱性评估方法

计算机科学. 2006, 33 (12): 62-64.

摘要 ( 89 )

PDF(235KB) ( 608 )

相关文章 | 多维度评价

脆弱性评估是信息系统安全风险评估过程中的一个重要环节，本文结合层次分析法AHP（Analytic Hierarchy Process），提出了一种信息系统脆弱性量化评估方法。

基于Agent的网络入侵检测技术的研究

计算机科学. 2006, 33 (12): 65-69.

摘要 ( 90 )

PDF(562KB) ( 431 )

相关文章 | 多维度评价

入侵检测作为一种主动的信息安全保障措施，已成为计算机安全特别是网络安全领域的研究热点。基于Agent技术的入侵检测系统因为其分布式协同处理和智能化的特点，正引起研究者的重视并成为未来入侵检测的一个发展方向。本文首先介绍了入侵检测系统的发展、分类与演变过程，然后分别对基于静态Agent与移动Agent技术的入侵检测系统的研究现状进行了阐述，分析了它们的研究重点与发展方向，最后指出了基于Agent技术的入侵检测系统的研究展望和面临的挑战。

基于切片技术的远程缓冲区溢出攻击检测模型

计算机科学. 2006, 33 (12): 70-74.

摘要 ( 76 )

PDF(429KB) ( 284 )

相关文章 | 多维度评价

远程缓冲区溢出漏洞是网络安全领域危害最严重的安全漏洞，提高远程缓冲区溢出攻击防御能力成为安全研究的重要课题。本文提出了一种基于切片技术的远程缓冲区溢出攻击检测模型，给出了模型的架构思想和结构，以及各模块单元的实现技术和方法。最后，通过实验对模型的有效性进行了验证，并对各要素对模型性能的影响进行了客观的分析和评价。

网格环境中一种基于SPKI证书的授权模型

王茜杨广超

计算机科学. 2006, 33 (12): 75-77.

摘要 ( 104 )

PDF(227KB) ( 286 )

相关文章 | 多维度评价

网格环境中的授权问题是网格安全的一个研究热点。社区授权服务CAS是网格安全基础设施GSI中的授权机制，鉴于社区授权服务CAS授权机制中提供各种服务的Resource只能粗粒度地授权给CAS服务器，很难细粒度地控制客户权限，本文提出了一种新的授权模型，采用了SPKI电子证书进行授权。与CAS相比，该模型授权更加灵活，通过委托授权增强了系统的可扩展性，而且能够细粒度地控制用户权限。

移动代理系统中恶意主机攻击模型的研究

计算机科学. 2006, 33 (12): 78-80.

摘要 ( 83 )

PDF(309KB) ( 292 )

相关文章 | 多维度评价

作为一种新的分布式计算模式，移动代理技术具有广泛的应用前景。但在目前的移动代理系统中，恶意主机问题，即保护代理免受恶意主机的攻击是很棘手的问题。为了更好地理解该问题，我们提出了基于抽象机器模型的攻击模型（RASPS）。该模型有助于提出有效的移动代理保护方案，并可以作为评价各种保护方案的基础。本论文首先分析了恶意主机的攻击行为，并在此基础上提出了恶意主机的攻击模型，最后分析了攻击实例程序。

基于Winsock技术的数据包解析研究

熊安萍

计算机科学. 2006, 33 (12): 81-82.

摘要 ( 86 )

PDF(236KB) ( 285 )

相关文章 | 多维度评价

数据包解析技术是数据包过滤的基础。对数据包进行解析，是基于数据包过滤的防火墙要解决的核心问题，构造数据包的协议有很多种，要根据构造数据包的协议对该包进行处理，要正确理解在网络中传榆的单元，进而才能很好地控制网络单元的传输，实现数据包的过滤。Winsock的服务提供者编程接口的编程技术，打破了底层网络服务提供者的透明性，提供了修改系统SPI接口服务的可能性，利用这项技术能比较容易地完成数据包过滤功能，具体地说就是能增加一些自定义的功能函数，来实现数据包通信的控制，比如截获、转发、丢弃数据包等功能，也就是所说

一种基于时空混沌的数字图像加密系统设计与分析

计算机科学. 2006, 33 (12): 83-85.

摘要 ( 70 )

PDF(204KB) ( 297 )

相关文章 | 多维度评价

基于时空混沌设计了一种图像加密系统。将128比特长度的加密密钥划分成2个等长的子密钥，分别驱动2个不同的混沌系统以产生时空混沌序列矩阵，再与原始图像异或实现图像的加密处理。对系统的分析结果表明，该系统不但具有容易快速实现、密钥空间大等特点，而且利用混沌系统对初值参数的敏感依赖性，很好地实现了对密钥的敏感特性。本系统可广泛应用于Internet上的数字图像加密传输。

一种基于复合离散混沌系统的对称图像加密算法

计算机科学. 2006, 33 (12): 86-90.

摘要 ( 78 )

PDF(348KB) ( 277 )

相关文章 | 多维度评价

提出了一种基于复合离散混沌系统的对称图像加密算法。在该算法中，通过复合离散混沌系统隐藏了混沌序列产生时所经历的迭代次数，来避免常用的基于符号动力学的密码分析。理论分析和仿真实验表明，本文提出的算法具有较高的安全枉能，特别是在统计攻击、差分攻击和选择明文攻击能力方面具有很好的抗攻击性能。

基于WEP协议的无线局域网安全性的改进思路

熊江

计算机科学. 2006, 33 (12): 91-93.

摘要 ( 82 )

PDF(245KB) ( 470 )

相关文章 | 多维度评价

无线网络系统的迅速发展和广泛应用令市场时其安全要求不断提高，本文通过分析WEP协议的安全性能，在WEP协议的基础上，针对其安全漏洞，提出了EWEP协议，彻底消除了已知攻击的危害并且实现了抵御这类攻击的最佳效果，保证了数据在无线局域网中的安全性。

流数据密度估计

聂国梁卢正鼎

计算机科学. 2006, 33 (12): 94-96.

摘要 ( 123 )

PDF(208KB) ( 265 )

相关文章 | 多维度评价

密度估计在许多流数据决策系统中都有重要的意义。本文考虑了最近数据的重要性．利用核心密度估计方法，提出了一种适合流数据特点的密度估计算法。该算法利用远远小于数据长度的内存，通过对流数据进行窗口划分，为单个窗口保留少量的分布信息，再综合这些窗口信息，从而实时评估流数据的密度分布。理论和实验证明．该算法是快速有效的。

动态Web Services的约束满足优化技术研究

刘壮郭荷清韩涛李冬

计算机科学. 2006, 33 (12): 97-100.

摘要 ( 80 )

PDF(315KB) ( 273 )

相关文章 | 多维度评价

Web Services合成是Web Services技术的重要方面，能够按要求提供选择新的服务。本文首先提出了Web Services服务约束的分类描述，进而分析了Web Services服务合成中如何按照服务约束指导服务选择，进而选择合适的服务集来满足客户的要求。该方法把动态Web Services合成转化为约束满足问题。

工作流系统上下文相关访问控制模型

王小明刘丁付争方

计算机科学. 2006, 33 (12): 101-104.

摘要 ( 77 )

PDF(418KB) ( 298 )

相关文章 | 多维度评价

访问控制是提高工作流系统安全性的重要机制。基于角色的访问控制（RBAC）被绝大多数工作流系统所采用，已成为工作流领域研究的热点。但是，现有的基于角色的访问控制模型没有考虑工作流上下文对任务执行授权安全的影响，容易造成权限冗余，也不支持职责分离策略。该文提出一种工作流上下文相关访问控制模型WfCAC，首先，定义该模型的构成要素和体系结构，然后讨论工作流职责分离和访问控制机制，并对模型性质进行分析。WfCAC模型支持用户组及其层次结构，支持最小权限授权策略和职责分离策略，实现了工作流上下文相关访问控制。

传感器网络中数据融合过程的事务分析与建模

胡侃刘云生

计算机科学. 2006, 33 (12): 105-109.

摘要 ( 82 )

PDF(419KB) ( 283 )

相关文章 | 多维度评价

传感器网络是计算机科学技术的一个新的研究领域，它综合了传感器技术、嵌入式计算技术、分布式信息处理技术和通信技术，能够协作地实时监测、处理各种环境或监测对象的信息并传送给用户，具有十分广阔的应用前景。本文以面向事务的观点，基于事务工作流模型，结合数据的时间特性、事务流的依赖关系及数据与事务流间的相互关联，提出事务的控制区域的概念并给出一种基于应用事务的行为语义控制区域的事务模型，为传感器网络数据融合过程提供一个适当的正式模板；给出该模型的提交、回滚、可见定理及规则；通过性能测试，表明该模型提高了数据的相对外

基于网格的半结构化网络数据搜索模型

计算机科学. 2006, 33 (12): 110-113.

摘要 ( 81 )

PDF(302KB) ( 265 )

相关文章 | 多维度评价

为了提高大规模网络数据搜索的效率，提出了一个基于网格机制的Internet网络数据搜索模型。给出了数据搜索节点、数据搜索服务器、数据搜索区域、数据服务器区域和数据搜索网格（Data Searching Grid-DSG）等一系列定义。利用网络跳距离、数据搜索节点密度、计算节点能力和可信性机制以及市场服务代价原则，给出了DSG结构和构建算法。描述了基于DSG的网络数据搜索过程。该模型的控制结构是基于网格结构的，其具体搜索机制是非结构化的。理论分析表明，该模型具有良好的扩展性和较高的效率。

一种内容分发网络中的快速复制方案

赵进张福炎

计算机科学. 2006, 33 (12): 114-116.

摘要 ( 72 )

PDF(241KB) ( 251 )

相关文章 | 多维度评价

由于在内容分发网络中．将大文件从一台服务器复制到其他服务器需要耗费大量的时间。本文首先对内容分发网络中的复制问题进行了形式化描述，然后提出了一种分布式的方案NCOM，用于减小复制时间。方案的创新性在于，NCOM在CDN中构建一个Mesh结构，利用多路径传输数据块，提高速率；同时也利用Network Coding技术来避免需要从不同路径调度不同数据块所带来的协调开销。实验结果表明，与现有方案相比，NCOM可以显著减小复制时间。

基于ESMS过滤器的信息融合理论研究及SLAM应用

计算机科学. 2006, 33 (12): 117-121.

摘要 ( 73 )

PDF(405KB) ( 268 )

相关文章 | 多维度评价

本文解决了多源信息融合时信息源选择的难题，提出了一种广义的证据支持贴近度过滤器来选择最一致的证据源，并耦合基于DSmT和PCR5的融合机，应用于Pioneer Ⅱ移动机器人的SLAM;通过对运行在虚拟环境中的一个虚拟机器人（自身携带16个Sonar传感器），感知周围环境信息，对有或没有ESMS过滤器两种情况下的环境地图重构效果进行比较，充分验证了ESMS过滤器作为信息融合源选择先决条件的优点。

应用组播技术构建校园网视频传输

许晓宁

计算机科学. 2006, 33 (12): 122-124.

摘要 ( 93 )

PDF(290KB) ( 323 )

相关文章 | 多维度评价

组播技术是20世纪90年代初发展起来的网络传输新技术。本文主要介绍了组播技术的基本原理，描述其机制与特点，并具体说明了利用组播技术传输视频信息的方法和实现过程。

基于ArcSDE Geodatabase的城市规划管理GIS数据库的应用研究

计算机科学. 2006, 33 (12): 125-127.

摘要 ( 54 )

PDF(381KB) ( 453 )

相关文章 | 多维度评价

采用ArcInfo平台的Geodatabase数据模型和ArcSDE技术，探讨将AutoCAD图形数据导入数据库，并以VB＋MapObjects平台为例介绍如何从数据库中实现空间数据的存取。

基于MVCC的保存点设计与实现

陶能锋叶晓俊

计算机科学. 2006, 33 (12): 128-130.

摘要 ( 79 )

PDF(252KB) ( 362 )

相关文章 | 多维度评价

通过保存点实现部分回滚是事务理论中的一个重要方法，它能够极大地提高数据库管理系统的事务管理的灵活性和系统的性能。基于保存点的原理，本文提出了基于多版本并发控制下DBMS的事务保存点实现方法，并通过改进PostgreSQL进行了验证。最后给出保存点在工作流事务中的应用。

基因组重组排序算法综述

崔筠朱大铭马绍汉

计算机科学. 2006, 33 (12): 131-134.

摘要 ( 91 )

PDF(325KB) ( 704 )

相关文章 | 多维度评价

随着快速测序技术的发展，对大规模DNA分子的研究与其中的基因相对次序有关。基因组重组是计算生物学的一个重要研究领域，是基因组在基因水平比较分析的基础。其研究目标是找最短的重组操作序列，将一种基因组转变为另一种基因组。基于分子生物学的实验证明，这种序列有助于估计不同基因组间的进化事件。基因组进化过程虽然非常复杂，但可用3种基本的重组操作模拟，即反转（reversal）、移位（transloeation）和转位（transposition）。本文讨论了这些操作相关的重组算法以及各种排序距离的计算方法。

基于Markov决策过程的交互虚拟人情感计算模型

计算机科学. 2006, 33 (12): 135-138.

摘要 ( 95 )

PDF(353KB) ( 305 )

相关文章 | 多维度评价

情感在生物体的交流和适应性方面起到了关键作用。同样，交互虚拟人也需要有恰如其分的表达情感的能力。由于具有情感交互能力的虚拟人在虚拟现实、电子教育、娱乐等领域均有着广阔的应用前景，当前，在虚拟人中加入情感成分的研究受到了越来越多的重视。本文提出了一个人工心理的情感计算模型，模型用马尔可夫过程来描述情感的变化过程，并且使用马尔可夫决策过程建立了情感、个性与环境之间的联系，并且我们把该模型应用到了一个交互虚拟人系统中。研究结果表明，模型能够构建具有不同性格特征的虚拟人，使之产生较为自然的情感反应。

一种基于自然语言的模式推理算法

计算机科学. 2006, 33 (12): 139-141.

摘要 ( 81 )

PDF(311KB) ( 307 )

相关文章 | 多维度评价

传统的基于谓词模式推理算法，需要把自然语言表示的知识，人工转换为机器可以理解的谓词，这就需要耗费大量的人力物力。本文提出一种基于自然语言的模式推理算法，可以基于自然语言进行模式推理，不需要将自然语言表示的知识转换为谓词，从而大大节省了人力物力。实验结果表明，本算法可以基于自然语言，有效的进行模式推理。

汉语语句形式结构到语义结构的理解自明度

计算机科学. 2006, 33 (12): 142-144.

摘要 ( 68 )

PDF(362KB) ( 324 )

相关文章 | 多维度评价

计算机理解语句的方法之一是从形式结构出发得到语义结构。本文从计算机的角度给出了语句形式结构的表示方法，基于概念层次网络理论说明了语句语义结构的描述单位，介绍了从语句形式结构得到语句语义结构的分析方法。用理解自明度来反映分析结果的可靠性，并给出了描述分析过程中各子过程的理解自明度的计算公式。理解自明度是衡量系统分析性能的一个重要指标，也有助于系统解模糊能力的改进和提高。

现代汉语主谓谓语句的HNC处理研究

计算机科学. 2006, 33 (12): 145-147.

摘要 ( 95 )

PDF(344KB) ( 497 )

相关文章 | 多维度评价

主谓谓语句是汉语特有的语言现象，主谓结构做谓语的格式也是汉语最常见、最重要的句式，也是汉语区别于印欧语的重要句式之一。现代汉语语法对这种特殊句式进行了深入的研究，在语法、语义等方面取得了长足进展。本文尝试在HNC理论的总体框架下，对这一特殊句式展开全面、系统的解释，并从计算语言学的角度形成特有的处理规则，便于计算机在原始语料中发现这类语句，最终形成针对主谓谓语句的专家处理系统。

形式背景同构判定的等价类算法

计算机科学. 2006, 33 (12): 148-151.

摘要 ( 82 )

PDF(397KB) ( 256 )

相关文章 | 多维度评价

同构生成概念格是获取概念格的另一途径，而形式背景同构判定是这一方法的前提，也是决定整个算法时间复杂度的关键。本文提出的基于等价类法的形式背景同构判定算法，有效地提高了同构判定的效率。结合形式背景的分解和约简等手段，为概念格的构造提供了一种有实用价值的方法。本文对该方法的原理和算法设计进行了较详细的讨论，并通过实验，验证了算法的正确性和有效性。

一种新的模糊补偿多类支持向量机

计算机科学. 2006, 33 (12): 152-155.

摘要 ( 73 )

PDF(307KB) ( 298 )

相关文章 | 多维度评价

支持向量机是Vapnik等学者在统计学习理论的基础上提出的一种新的机器学习方法。针对支持向量机理论中的多类分类问题和对于噪音数据的敏感性，本文提出了一种模糊补偿多类支持向量机算法FC-SVM。该算法是在Weston等人提出的多类SVM分类器的直接构造方法中引入模糊补偿函数，针对每个输入数据对分类结果的两方面影响，将目标函数中的惩罚项不仅进行了模糊化，而且对于分类情况进行了加权补偿，并重构了优化问题及其约束条件，然后重构了Lagrange公式，给出了理论推导。在充分的数值实验基础上，将文中提出的方法应用于建

多Agent协作的强化学习模型和算法

刘菲曾广周宋言伟

计算机科学. 2006, 33 (12): 156-158.

摘要 ( 69 )

PDF(309KB) ( 394 )

相关文章 | 多维度评价

结合强化学习技术讨论了多Agent协作学习的过程，构造了一个新的多Agent协作学习模型。在这个模型的基础上，提出一个多Agent协作学习算法。算法充分考虑了多Agent共同学习的特点，使得Agent基于对动作长期利益的估计来预测其动作策略，并做出相应的决策，进而达成最优的联合动作策略。最后，通过对猎人。猎物追逐问题的仿真试验验证了该算法的收敛性，表明这种学习算法是一种高效、快速的学习方法。

用于药物活性预报的Co-Training方法

计算机科学. 2006, 33 (12): 159-161.

摘要 ( 87 )

PDF(283KB) ( 355 )

相关文章 | 多维度评价

在药物设计中，可以利用药物分子的构效关系模型进行药物活性的预报，从而降低药物开发的成本、缩短开发的周期。本文尝试结合Co-Training方法和嵌入式特征选择方法，提出了一种新的FESCOT（Feature Selection for Co-Training）算法。算法在药物活性数据集上进行了实验，结果显示结合了特征选择的Co-Training方法较之以前泛化能力有所提高。

基于PCA和SVM的步态识别

吴清江许文芳王青力

计算机科学. 2006, 33 (12): 162-163.

摘要 ( 74 )

PDF(248KB) ( 292 )

相关文章 | 多维度评价

提出了一种新颖的沿中线投影得到特征的步态识别方法。首先，应用背景差方法分割出运动人体轮廓，对外轮廓沿人体中线投影可以得到前后两个向量，合成1D向量作为步态特征。然后，通过主成分分析对得到的一维向量进行特征提取和压缩，对得到的识别量应用支持向量机进行步态的分类和识别。实验中，该方法取得了很好的识别性能。

分布式环境下领域本体的自动提取

高英郭荷清邹智敏

计算机科学. 2006, 33 (12): 164-168.

摘要 ( 96 )

PDF(439KB) ( 313 )

相关文章 | 多维度评价

分布式环境下领域本体模型必须具备明确而且清晰的语义，以便于被共享和利用，本文基于该目的,提出了一种从分布式环境下自动提取本体的方法，并对如何提取本体中概念、关系、关系冲突消解和自动提取算法做了详细的阐述。

基于最大频繁等价类的Web信息自动抽取

计算机科学. 2006, 33 (12): 169-173.

摘要 ( 53 )

PDF(454KB) ( 225 )

相关文章 | 多维度评价

在定义模板的基础上，提出了页面创建模型。该模型描述了如何使用模板将来自于后台数据库的值编码生成页面。基于这个模型，设计了一个基于最大频繁等价粪的抽取算法EBMFEC，通过分析给定的数据导向型页面的终端符号的出现情况，找出最大频繁等价类，并推导出用于生成页面的未知模板。然后使用推导出的模板，从输入页面中提取出相关信息。在大量实际HTML页面上的实验证明，EBMFEC在大部分情况下都可以从给定页面中推导出模板，并正确抽取出数据信息。

基于散度差准则的隐空间特征抽取方法

计算机科学. 2006, 33 (12): 174-176.

摘要 ( 197 )

PDF(301KB) ( 268 )

相关文章 | 多维度评价

本文提出了一种新的非线性特征抽取方法——基于散度差准则的隐空间特征抽取方法。该方法的主要思想就是首先利用一核函数将原始输入空间非线性变换到隐空间，然后，在该隐空间中，利用类间离散度与类内离散度之差作为鉴别准则进行特征抽取。与现有的核特征抽取方法不同，该方法不需要核函数满足Mercer定理，从而增加了核函数的选择范围。更为重要的是，由于采用了散度差作为鉴别准则，从根本上避免了传统的Fisher线性鉴别分析所遇到的小样本问题。在ORL人脸数据库和AR标准人脸库上的试验结果验证了本文方法的有效性。

基于CWM的元数据集成中形式化推理技术的研究

赵晓非黄志球

计算机科学. 2006, 33 (12): 177-182.

摘要 ( 78 )

PDF(467KB) ( 241 )

相关文章 | 多维度评价

在使用公共仓库元模型（CWM）进行元数据集成的过程中，参与集成的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。本文研究了利用描述逻辑，一个一阶谓词逻辑的可判定子集，形式化CWM元模型和模型并进行推理的方法，将一致性检测分为水平一致性和演化一致性进行分别处理，在处理演化一致性的过程中对CWM元模型进行了扩展，使之支持元数据的版本能力从而能够推理由于演化引起的不一致问题，然后

梯形模糊因果图及归一化研究

计算机科学. 2006, 33 (12): 183-186.

摘要 ( 88 )

PDF(263KB) ( 286 )

相关文章 | 多维度评价

因果图理论是一种基于概率论的推理方法。文章在分析因果图理论发展和存在的问题基础上，将模糊数学引入因果图理论，即模糊因果图，从而可以克服因果图分析中概率难以精确赋值的缺点，将因果图理论应用扩大到了模糊领域。文章主要对事件概率为梯形模糊教进行讨论，提出了模糊因果图的算子，得到了模糊条件概率的计算公式，讨论了模糊概率的归一化方法。最后，以核电站的一个子系统为例进行仿真实验，实验结果与实际一致，归一化方法可行。研究表明：模糊因果图能有效地用于故障分析，比原来的因果图方法具有更大的灵活性和适应性.

基于机器学习的本体集成框架

计算机科学. 2006, 33 (12): 187-188.

摘要 ( 56 )

PDF(252KB) ( 244 )

相关文章 | 多维度评价

语义服务是下一代Web服务面临的关键问题．语义网为实现广泛的语义服务提供了可能，Ontology是语义网体系结构的核心。针对协作的分布式系统需要语义互联的问题，本文分析了造成语义互联困难的主要因素是本体的匹配和集成，提出了一个基于机器学习的Ontology集成的框架模型。

多代表点特征树与空间聚类算法

计算机科学. 2006, 33 (12): 189-195.

摘要 ( 58 )

PDF(577KB) ( 300 )

相关文章 | 多维度评价

空间数据具有海量、复杂、连续、空间自相关、存在缺损与误差等的特点，要求空间聚类算法具有高效率，能处理各种复杂形状的簇，聚类结果与数据空间分布顺序无关，并且对离群点是健壮的等性能，已有的算法难以同时满足要求。本文提出了一个适合处理海量复杂空间数据的数据结构一多代表点特征树。基于多代表点特征树提出了适合挖掘海量复杂空间数据聚类算法CAMFT，该算法利用多代表点特征树对海量的数据进行压缩，结合随机采样的方法进一步增强算法处理海量数据的能力；同时，多代表点特征树能够保存复杂形状的聚类特征，适合处理复杂空间数据。实

一种双向挖掘频繁项的有效方法

王晓峰张松筠

计算机科学. 2006, 33 (12): 196-199.

摘要 ( 89 )

PDF(335KB) ( 253 )

相关文章 | 多维度评价

Apriori算法已成为关联规则挖掘的一个经典方法，广泛地被应用于如贸易决策、银行信用评估、金融保险等诸多领域。这种自底向上方法挖掘短频繁项集时效果较好，当频繁项集较长时，其时间复杂度量呈指数增长态势。本文结合自顶向下和自底向上搜索两种方法，提出一种能更好解决长、短频繁项集问题的双向挖掘方法。通过计算复杂度分析的实验表明，所提出的方法是有效可行的。

商务网站数据挖掘方法

黄斐

计算机科学. 2006, 33 (12): 200-202.

摘要 ( 80 )

PDF(298KB) ( 295 )

相关文章 | 多维度评价

本文介绍了商务网站数据挖掘基本原理和方法，结合数据仓库研究，论述了多维数据模型，关联规则挖掘算法，商务网站数据挖掘的基本过程，以及联机分析处理。

采用贝叶斯网络建立一种智能学习环境学生代理模型的研究

计算机科学. 2006, 33 (12): 203-204.

摘要 ( 76 )

PDF(282KB) ( 282 )

相关文章 | 多维度评价

贝叶斯（Bayesian）网络近年成为智能代理引人注目的研究方向，本文在介绍Bayesian网络及其构建方法、学习方法的基础上，构建了一个通用的可扩展的智能学习环境中的学生模型。

免疫排课算法

梁立肖飞郜松

计算机科学. 2006, 33 (12): 205-206.

摘要 ( 94 )

PDF(144KB) ( 303 )

相关文章 | 多维度评价

为了排课的高效性，提出了利用免疫算法求解排课问题。该算法根据生物免疫系统机理设计，将排课的目标和约束条件作为抗原，将问题的解作为抗体，对抗体采用二进制编码，对新抗体的繁殖是通过部分交叉和变异算子实现，对抗体产生的刺激和抑制通过抗体浓度调节，而抗体浓度通过计算抗体之间的最大亲和力获得。时排课问题的测试表明，适当调整繁殖参数，能快速获得最优解或近似最优解，更可喜的是排课结果较为均匀。

基于VC^＋＋的车牌识别系统关键技术研究

赵启升李存华

计算机科学. 2006, 33 (12): 207-209.

摘要 ( 163 )

PDF(337KB) ( 285 )

相关文章 | 多维度评价

车辆牌照识别（LPR）系统是一个专用的计算机视觉系统，LPR系统的广泛应用将有助于加快我国交通管理自动化的进程。本文对车牌识别系统中的图像预处理、车牌定位、字符分割和字符识别等环节涉及到的技术、算法以及系统整体设计作了全面的论述，并与已有方案进行了比较，对部分关键算法进行了设计和改进。用采集到的40多幅汽车图片作为实验样本数据，用纯软件的方法实现了车牌字符的自动识别。

双二次多项式动力系统的分形图

计算机科学. 2006, 33 (12): 210-213.

摘要 ( 82 )

PDF(282KB) ( 1347 )

相关文章 | 多维度评价

本文主要讨论如何利用计算机图形学方法绘制由A.Douady在上世纪末期建议研究的双二次动力系统的分形图，并利用这种分形图定性地观测、验证一些双二次动力系统参数空间连通迹M和Julia集的性质。以往这一领域大量研究都是针对fc（z）=z^2＋c动力系统的性质展开的，本文则重点讨论了性质更为复杂的特殊双二次动力系统fc（z）=z^4-2c^2z^2，对更一般的双二次动力系统fc（z）=z^2＋az^2＋b绘制出了它Julia集的分形图。采用时间逃逸算法，本文在Visual Basic 6．0编译器上实现双二次

基于Hamiltonian三角剖分的三角网格多分辨率表示

詹海生周利华

计算机科学. 2006, 33 (12): 214-216.

摘要 ( 73 )

PDF(304KB) ( 303 )

相关文章 | 多维度评价

三角网格模型的多分辨率表示是几何模型绘制与传输的基础，本文通过三角形之间的拓扑相邻关系将三角网格划分为广义三角形带的集合，然后利用Hamiltonian三角剖分的性质构造三角网格的多分辨率表示。该方法统一了单分辨率网格和多分辨率网格的表示方法，当模型有c个不同分辨率表示时，其编码效率为（logc＋5）bit／vertex。

适用于凹多边形的Cyrus-Beck改进算法

陈涛

计算机科学. 2006, 33 (12): 217-220.

摘要 ( 88 )

PDF(300KB) ( 866 )

相关文章 | 多维度评价

本文对目前常用的二维线段裁剪算法进行分析，提出了一种基于Cyrus-Beck算法的改进算法，使其能够扩展到对凹多边形的处理，通过对线段与裁剪窗口位置关系的严格判断将求交次数减到最少，并且通过对交点性质的判断来识别出线段的可见部分。理论分析和实验结果均表明该算法优于目前处理任意多边形裁剪框的算法。

全球地壳结构数据的三维可视化建模与应用

计算机科学. 2006, 33 (12): 221-224.

摘要 ( 76 )

PDF(351KB) ( 387 )

相关文章 | 多维度评价

利用可视化技术表现地壳结构，形象地模拟地震波在地壳内部的传播，对于增强地震事件解释具有重要意义。通过分析改进的CRUST5．1全球地壳结构数据特征，提出了基于长方体与四棱柱相结合的三维可视化建模方法。利用OpenGL建模技术，建立了全球地壳结构数据的可视化模型，在Delphi中基于OpenGL三维图形库实现了CRUST5．1全球地壳结构数据的三维可视化表达，结合OpenGL的人机交互功能完成了多视角观察以及基于地表剖切线的三维剖切功能。

基于积分图像的快速模板匹配

计算机科学. 2006, 33 (12): 225-229.

摘要 ( 63 )

PDF(410KB) ( 382 )

相关文章 | 多维度评价

人脸检测中，模板匹配前往往需要对图像窗口进行灰度分布标准化，而灰度分布标准化则要先算出图像窗口的灰度均值及方差。在积分图像基础上，提出和应用平方积分图像，实现了一种计算速度与图像窗口大小无关的快速灰度均值和方差算法。应用这种快速算法，结合对灰度分布标准化近似计算公式、相关系数和平均偏差计算公式的变换，以厦灰度分布标准化处理时省略拷贝图像窗口及窗口灰度值变换等不必要的步骤，大大提高了模板匹配速度。人脸检测实验证明这种快速模板匹配算法是有效的。

量子纠缠和量子计算

钱辰

计算机科学. 2006, 33 (12): 230-234.

摘要 ( 372 )

PDF(421KB) ( 3656 )

相关文章 | 多维度评价

量子纠缠是量子力学中的一种非经典现象。本文从介绍纠缠和纠缠态出发，着重讨论纠缠的本质和非定域性概念。文末还讨论了纠缠在量子计算中的作用：它是量子计算优于经典计算的重要原因之一。

基于Babel的构件程序设计

谭袆炙黄春赵克佳

计算机科学. 2006, 33 (12): 235-237.

摘要 ( 88 )

PDF(308KB) ( 263 )

相关文章 | 多维度评价

为了解决高性能科学计算程序设计当中存在的开发难度大，开发周期长以及时开发人员要求高等问题，人们已经开始将软件构件技术引入该领域。由美国能源部、犹他州大学、印弟安那大学等联合提出的CCA便是研究高性能科学计算构件技术的项目之一。本文主要介绍了CCA以及CCA框架下的语言互操作工具－Babel的相关情况，并且通过NPB基准测试程序IS详细描述了Babel的使用，分析了基于Babel的程序设计对程序性能的影响。初步实验表明Babel能够有效解决语言的互操作问题，在面向科学计算的构件程序设计环境中能够发挥关键作用

实时系统形式规格说明在PVS中的建立

许庆国缪淮扣

计算机科学. 2006, 33 (12): 238-242.

摘要 ( 121 )

PDF(368KB) ( 266 )

相关文章 | 多维度评价

本文首先简介了时间自动机和时间Büchi自动机形式模型，结合时间化时序逻辑（Timed Temporal Logic）的语法和语义，利用定理证明器PVS（Prototype Verification System）实现了定义在时间自动机状态（或运行）上的时间化分支（或线性）时序逻辑规格说明的形式体系。在此基础上，结合一个经典的实时系统实例，用该体系对其实时特性进行了形式描述和形式验证，并得到了良好的结果。

进化存储系统中的物理进化

计算机科学. 2006, 33 (12): 243-248.

摘要 ( 43 )

PDF(555KB) ( 322 )

相关文章 | 多维度评价

系统整体结构不能很好地适应系统磁盘的动态变化，这是现有存储系统中普遍存在的一个问题。而我们提出的进化存储系统ERAID（Evolving RAID system）是一个动态存储系统，能够在不停止系统I／O服务的前提下，采用DAA、HDAA、e-HDAA算法分别实现存储系统中同构磁盘的添加、异构磁盘的添加以及异构磁盘的替换,即实现存储系统的物理进化。仿真实验结果表明：在较小的系统开销下，DAA、HDAA、e-HDAA算法能逐渐吸收添加或替换到ERAID系统的（同构或异构）磁盘，使ERAID系统获得优化的存储

基于模型检查实现J2EE规范的实例研究

计算机科学. 2006, 33 (12): 249-254.

摘要 ( 59 )

PDF(490KB) ( 255 )

相关文章 | 多维度评价

J2EE规范描述了当前开发应用服务器和分布式多层应用所遵循的技术蓝本。然而，它所使用的自然或半自然语言描述方式并不严格，易产生二义性，套影响J2EE应用服务器实现的正确性和应用服务器之间的兼容性。针对这一问题，本文以EJB2．1规范中的Timer Service为例，研究了一种基于模型检查技术设计与实现规范方法。首先根据规范的描述提出Timer Service的形式化模型，定义了Timer Service的行为；然后使用模型检查工具SPIN对模型进行分析与验证，不仅证明了模型符合规范要求，而且发现并修正了

基于抽象-验证-细化范例的软件模型检测

计算机科学. 2006, 33 (12): 255-260.

摘要 ( 189 )

PDF(560KB) ( 397 )

相关文章 | 多维度评价

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。

一种基于分支覆盖的测试数据自动生成算法

陈继锋朱利沈钧毅王志海

计算机科学. 2006, 33 (12): 261-264.

摘要 ( 63 )

PDF(355KB) ( 294 )

相关文章 | 多维度评价

通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的计算方法。当所选路径的分支谓词均为线性表达式时，直接求解线性约束集即可生成测试数据，或判定路径不可行；当分支谓词含有非线性表达式时，利用均差近似导数将非线性函数线性化，通过简单的迭代，亦能容易生成测试数据或判定路径在很大程度上不可行。若所选路径不可行或在很大程度上不可行，则选取新的路径，重复以上过程，直至求出所期望的数据，或无新的路径被选取，给定分支不可达。实例和实验表明，

基于蒙特卡罗方法的内核代码热点动态检测技术研究

杨宁卢显良

计算机科学. 2006, 33 (12): 265-267.

摘要 ( 86 )

PDF(228KB) ( 311 )

相关文章 | 多维度评价

计算机操作系统是计算机系统中最为重要的系统软件，其性能的高低直接影响整个计算机系统的性能。因此，发现和优化操作系统内核中最经常运行的代码是一件重要的工作。本文分析了Linux2．4内核中采用的基于蒙特卡罗方法的代码热点检测算法和实现机制，指出了其中的不足，并在此基础上提出了改进措施。

一种基于组合测试的Web应用兼容性故障诊断方法

计算机科学. 2006, 33 (12): 268-269.

摘要 ( 65 )

PDF(269KB) ( 253 )

相关文章 | 多维度评价

Web应用兼容性故障诊断涉及到种类繁多的软硬件设备、数目庞大的设备品牌和型号以及各种情况的组合，如何有效而又快速地对故障定位是一项很重要的工作。针对Web应用兼容性测试的特性以及组合测试的基本模型和特征，我们对组合测试的结果进行分析，根据初步分析结果补充一些附加测试用例进行重新测试，并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内．为Web应用兼容性的调试和测试工作提供方便、有价值的线索和参考。

基于IRCFG覆盖的UML顺序图测试方法

计算机科学. 2006, 33 (12): 270-273.

摘要 ( 62 )

PDF(315KB) ( 267 )

相关文章 | 多维度评价

本文提出了一个基于UML顺序图产生测试序列的方法。根据UML顺序图中消息控制条件，使用函数间约束的控制流图（IRCFG）描述出UML顺序图中的消息事件序列。首先，分析UML顺序图的消息控制条件，构造与其相等价的IRCFG图；然后，根据测试覆盖准则采用类似完全IRCFG路径覆盖方法来产生测试序列。在文中还通过一个实例说明该方法的实现过程，进一步阐述该方法的可行性。

多操作系统平台间数据共享的设计与实现

计算机科学. 2006, 33 (12): 274-277.

摘要 ( 74 )

PDF(302KB) ( 254 )

相关文章 | 多维度评价

本文首先介绍了多种软硬件平台上实现通用数据共享的必要性，然后分析了用FTP协议和文件系统为基础的解决方案的可行性，并以两个操作系统为例，进行了方案的设计和细节实现的阐述。

模型驱动架构（MDA）相关技术研究与实现

徐晓钟

计算机科学. 2006, 33 (12): 278-279.

摘要 ( 68 )

PDF(208KB) ( 564 )

相关文章 | 多维度评价

MDA的实现关键在于正确地建立模型和模型之间、模型和平台之间的关系，并准确地定义并实现不同模型之间的映射，本文探讨在MDA框架下，从元模型的构建、模型的映射到最终代码的生成一系列的实现技术。

基于工业CT切片数据的CAD模型重构

段黎明刘炉武记超林海

计算机科学. 2006, 33 (12): 280-283.

摘要 ( 160 )

PDF(307KB) ( 342 )

相关文章 | 多维度评价

为了使工业CT（computed tomography）扫描获得的切片数据能够被CAD软件直接处理并进行模型重构，在得到切片轮廓点坐标数据的基础上，提出了用IGES（Initial Graphics Exchange Specification）格式作为边缘轮廓坐标数据和CAD软件交换标准的方法，并采用VC^＋＋设计了IGES格式转换软件。实现了IGES格式文件的生成，并用逆向软件Imageware重构出三维CAD模型，取得了较好的效果。

数据挖掘技术在教育中的应用研究

杨永斌

计算机科学. 2006, 33 (12): 284-286.

摘要 ( 123 )

PDF(280KB) ( 840 )

相关文章 | 多维度评价

随着教育信息化进程的推进，产生并积累了大量的、复杂的数据，为了更充分、有效地利用这些数据，本文就数据挖掘技术在教育中的应用进行了一些探讨，并以教学评价作为简单的实例研究，目的在于发现大量教育数据中隐藏的、有用的知识，以指导教育、发展教育、为教育服务。

计算机科学2006年第33卷（卷终）总目次

无

计算机科学. 2006, 33 (12): 287-294.

摘要 ( 79 )

PDF(804KB) ( 304 )

相关文章 | 多维度评价