计算机工程杂志

关于RBAC模型中约束的研究综述

关键词：rbac    约束    时间约束    

约束是RBAC模型中的一组强制性规则，是RBAC的重要组成。目前对约束的研究主要集中在关系约束、前提约束、数值约束、职责分离约束、势约束和时间约束等方面。时间约束是时间变化和角色许可的依赖关系的规则表示。该文就连续时间约束和周期时间约束进行了描述。约束的标准化、规范以及应用领域中提出的新的约束。都需要进一步研究。

计算机和网络事件的分类分级研究

关键词：事件    分类    分级    事件库    

从事件作为事件情景的一个组成部分出发，提出了一种基于事件对象和意图的层次化分类方法，通过每层定义不同的分类多维空间使得该分类方法具有很好的扩展性。提出了7个量化指标定义事件的危害值，对事件进行分级。利用该分类和分级方法进行了事件库的设计，显示出这种分类和分级方式的优越性：容易对事件进行定位，可扩展性强。

基于水平线插值的图像修复算法

关键词：图像修复    水平线    euler弹性    星型插值    

讨论用水平线插值的方法进行图像修复。先讨论了基于Euler弹性的图像水平线模型，并用这个模型作为图像水平线的局部插值核。其次用星型插值的方法，从破损区域边界处出发，由外向内、一环一环地对水平线进行插值，把水平线逐步地延伸进去，让修复区域逐步缝合起来。该文的算法速度快，能保持强边缘，而且结构更合理，重构的水平线不再只是直线...

基于特定失效概率的软件恢复策略分析

关键词：软件恢复    系统可靠性    软件老化    软件失效概率    

对软件的两阶段失效与恢复模型进行了分析，基于特定失效概率求解最优恢复时间间隔，并利用半马尔可夫过程，得到特定失效概率下的平均恢复成本。为了将恢复成本降到更低，采用了嵌套的基于时间的软件恢复策略，同时考虑应用级和系统级的恢复，并求得了特定失效概率下的最大应用级恢复次数、恢复时间间隔序列以及最低年平均恢复成本。

多主体行为冲突的Petri网方法研究

关键词：智能主体    多主体系统    冲突    petri网    

将主体的动作分为内部动作和外部动作，单个主体的内部行为通过其对应的Petri网系统进行描述，进一步得到多主体系统对应的层次Petri网系统。通过主体间的外部动作关系的讨论分析得到多主体系统出现冲突的必要条件，并且Petfi网系统运行时的一个死标识对应多主体系统的一个冲突，特别是资源冲突。

一种结合局部搜索策略的求解TSP的演化算法

关键词：演化算法    局部搜索    流动旅行商问题    

介绍了一种结合局部搜索策略的求解流动旅行商问题（TSP）的演化算法。该算法的主要思想是将局部搜索策略在邻域内搜索的快速性与演化方法在全局搜索上的鲁棒性结合起来，从而跳离局部最优。将该算法用于TSPLIB中部分TSP实例上的试验结果表明：与传统的各种求解TSP的演化方法相比，该算法在获得全局最优解的精确度上有了一定的改善。

基于模糊聚类的信任类型动态定义机制研究

关键词：模糊聚类    信任类型    信任管理模型    主观信任    信任协作    

从主观信任的本质出发，提出了基于Agent的主观信任协作模型，分析了主体信任协作关系的本质；引入模糊集台理论的隶属度概念，以信任向量的形式对主观信任进行定量的描述，解决了主观信任的建模问题；结合主观信任协作模型，引入模糊聚类理论，提出了基于模糊聚类的信任类氆动态定义机制，为各主体之间的信任评估提供了依据。

用有向图实现的ATLAS编译系统中的设备分配

关键词：atlas    有向图    设备分配    uut    ate    

ATLAS是测试领域的流行语言，用其编写的测试程序可在任一个具体的自动化测试平台上工作。设备分配是每个ATLAS编译系统都要面临的任务之一。该文提出了将被测设备与自动化测试平台组成的系统看成是有向图，利用图的遍历算法来实现设备分配过程。

大规模并行文件系统中的数据可靠性机制

关键词：可靠性    基于对象存储系统    并行文件系统    

把分布式的备份思想应用到大规模并行文件系统中，在使用冗余机制构建数据的系统中提供快速恢复机制。并使用马尔可夫模型建立了一个平均直到数据丢失时间的分布模型，指导如何在数据可靠性需求和冗余数据开销之间进行平衡。根据可靠性模型分析，在快速恢复机制下，使用m-n机制，只要n≥m＋2，并且恢复数据所需的计算时间与磁盘I／O时间相比可以...

基于依赖结构和Gibbs Sampling的离散数据聚类

关键词：聚类    离散数据    依赖结构    gibbs抽样    mdl标准    

建立了一种新的离散数据聚类方法，该方法结合变量之间的依赖结构和Gibbs sampling进行离散数据聚类，能够显著提高抽样效率，并且避免使用EM算法进行聚类所带来的问题。试验结果表明，该方法能够有效地进行离散数据的聚类。

认证协议设计逻辑的语义

关键词：逻辑语义    认证协议设计    串空间    

Levente Buttyan等人提出了一种认证协议设计的简单逻辑，协议设计者可以使用该逻辑，用一种系统的方法来构造认证协议。该文把简单逻辑和串空间（Strand Space）模型结合起来，给出了简单逻辑的串空间语义，然后运用该语义证明了简单逻辑的推理规则是正确的。

基于模糊方位编码和神经网络的汇率走势预测

关键词：神经网络    外汇汇率    模糊方位编码    

汇率的波动受到多种不确定因素的影响，很难找到一种模型精确有效地刻画汇率波动与其影响凼素之间存在的联系。该文提出了采用改进的模糊方位编码疗法表示汇率走势，然后采用神经网络预测汇率走势的方法。通过实际系统运行，结果表明，该方法具有较岛的预测准确度，并且能够得到客户更关心的较高的理论获益度。

无线传感器网络中连通问题的研究

关键词：无线传感器网络    连通问题    簇首    网格    解析    

通过把复杂的连通问题逐步化简，并利用理论分析、数学建模和几何证明。采用几何理论和数学归纳法的思想，从拓扑学的角度给出了传感器区域的一种网格划分方法。最后从理论上给出了在一个实现完全无缝连通的传感器区域内最少衙要多少簇首的解析表达式，即从理论上解决了把整个传感器区域至少划分成多少个簇才能实现完全无缝连通的问题。

用遗传算法优化二值图像信息隐藏技术的方法

关键词：信息隐藏    二值图像    混沌映射    遗传算法    

提出了一种新的基于块的二值图像信息隐藏方法，该方法用遗传算法进行优化。首先用混沌映射置乱欲隐藏信息的比特顺序，然后用遗传算法来寻找一个较好的系统参数，使之确定的比特顺序与块的特征具有较好的一致性。从而减少要取反的像素个数，提高图像的视觉质量。另外，该参数也是提取信息比特的密钥，增强了所隐藏信息的安全性。实验结果证实了...

卫星影像仿射畸变的自动校正方法

关键词：卫星影像    几何校正    仿射畸变    坐标变换    双线性插值    

针对卫星影像存在的仿射畸变，研究并给出了一种实用的自动校正疗法。分析了仿射畸变模型参数的计算方法，对几何校正控制点进行了自动选定，辨识出了畸变模型参数，采用均值法及中值法对模型辨识参数进行优化处理，进而通过坐标变换及灰度的双线性插值实现卫星影像仿射畸变的自动、精确校正。仿真实验结果说明了该方法的可行性、有效性。

基于多Agent混合推理的故障诊断方法

关键词：多agent    混合推理    故障诊断    冲突消解    

提出了基于正反向混合推理的故障诊断疗法，运用基于动态模糊综合评判的正向推理生成候选故障集，作为反向推理的基础。基于诊断任务的多层次混合分解策略，提出了融合不同知识表达方式和推理机制的多Agent并行诊断结构，分析了管理Agent、诊断Agent和决策Agent的基本职能，给出了并行推理过程中的冲突消解算法。

一种多边形方向识别的新算法

关键词：简单多边形    多边形方向    特征点比较法    

针对传统经典叉积法在识别任意简单多边形方向时不能解决奇异情形的问题，提出了多边形方向识别的特征点比较法，用列举法作了几何证明。算法中的运算主要是整数之间的大小比较，因而速度较快。并且有效地解决了奇异情形下的方向识别问题。分析表明，该算法能对所有简单多边形作出正确的方向判断，具有较好的通用性和鲁棒性，可以发展成为独立的...

Linux可信启动的设计与实现

关键词：可信计算组织    tpm    信任根    信任链    可信引导    

可信计算组织（TCG）提出了可信计算规范，其主要思想就是通过度量和保障组成平台的各组件的完整性来保证平台及应用的安会。启动过程是操作系统的基础，因此实施可信启动对操作系统意义重大。基于Linux启动的现实条件，结合TCG规范中可信度量和可信链的思想，利用TPM提供的可信计算和保护存储功能，设计了Linux可信启动过程TSPL，并实现了原型...

一种基于Jini构建的多数据库系统研究

关键词：多数据库系统    jini    家居信息系统    xml    

针对家居信息系统环境中数据存取的特殊环境，提出了基于Jini架构基础上的多数据库系统。介绍了Jini的结构和特点以及在家居信息系统中的适用性，建立起基于Jini的多数据库系统，描述了系统的整体结构，提出了整体架构的实现方法，为家居信息系统的实现奠定了基础。

关联规则挖掘在Web信息检索中的应用

关键词：数据挖掘    查询扩展    信息检索    关联规则    

查询扩展是智能信息检索中重要组成部分，该文提出了一种基于关联库的查询扩展方法。该方法利用关联规则挖掘技术，自动从文档中导出概念／词语之间相关性及层次关系，由此构建关联库，通过关联库对查询需求进行查询扩展。实验结果显示，该方法是有效的，能提高信息检索的查全率和查准率。

基于公共服务的知识管理系统的研究

关键词：公共服务    知识管理机制    知识管理系统    

随着知识经济时代的到来，知识管理的成效已成为现代企业管理创新与发展亟待解决的秉大问题。该文就所实现的软件企业知识管理的主要工具——“基于公共服务的知识管理系统”的架构和采用技术进行了探讨。该系统建立了一套完善的知识管理机制，弗通过运用协吲过滤聚类算法进行知识推送、运用频繁模式增长算法进行知识关联、运用本体技术进行全文...

一种基于交互式数据迁移技术的数据采集方法

关键词：计算机审计    数据采集    数据迁移    

针对计算机审计的现状，阐述了数据采集在计算机审计中的重要性。在分析了数据采集和数据迁移技术的基础上，提出了一种基于交互式数据迁移技术的数据采集方法。该方法不仅可灵括、准确地完成数据采集，还同时完成了数据的清理工作。最后，总结了该方法的优点，它为开展计算机审计提供了一种有效的数据采集方法。

多实化视图的自维护算法

关键词：辅助视图    自维护    实化视图    多实化视图    

实化视图的维护是数据仓库技术的重要问题，近几年产生了很多的维护算法。已有的维护算法大多是针对单个实化视图的维护。该文提出了一种多实化视图的自维护算法，该算法利用局部约简规则和主外键引用关系生成较小的辅助视图集，使多实化视图和辅助视图集都是自维护的。

基于MDA的HLA仿真系统开发研究

关键词：联邦开发与执行过程模型    模型驱动架构    高层体系结构    

模型驱动架构（MDA）是先进的软件开发方法学。对开发HLA仿真系统具有很好的借鉴作用。在系统地总结了MDA系统开发原理的基础上，归纳了MDA系统开发的技术优势。将MDA应用于HLA仿真系统的开发，初步探讨了基于MDA的HLA仿真系统开发过程，并描述了该过程的顶层视图。

Ei收录查询

一种新的多层关联规则算法

关键词：关联规则    数据挖掘    概念层次树    

通过数据库和Web日志构建概念层次树，在继承FP算法思想的基础上，提出了由概念层次树挖掘多层包括交叉层次的关联规则算法。实验结果表明，该算法在性能上比传统算法有了较大的改善，能为客户提供多层次的关联推荐和电子商务的个性化服务。

面向对象程序设计语言的部分求值动作分析

关键词：部分求值    动作分析    面向对象    

提出了一种面向对象程序设计语言的部分求值动作分析方法，利用带有绑定时间标注的源程序生成部分求值动作原语序列，作为各种部分求值实现策略的基础。这种方法使部分求值算法独立于具体的实现方法，从而降低了部分求值系统的实现难度。

关于仓库管理领域的面向特征的领域分析

关键词：面向特征    领域分析    面向对象    仓库管理    

介绍了一些现有的领域分析方法，将面向对象的概念引入到领域分析中，借助领域中特征和领域用例的作用，将面向对象分析的涵盏范畴扩展到应用领域中。并以仓库管理领域为例，介绍了对特定应用领域确定领域上下文范畴，建立了特征模型和领域用例模型，最后建立了对象模型的分析过程。

基于子树匹配的交互式Web数据抽取方法

关键词：web数据抽取    dom    

查询相关的Web页面中的数据记录之间具有极高的代码结构相似性。Web数据记录对应的DOM子树之间自然也就具有很高的结构相似性。针对查询相关的Web页面的特点，提出了一种基于DOM子树匹配的交互式Web数据抽取方法，实验证明，该方法能保证很高的数据抽取查全率和准确率。

ERP软件质量模糊综合评价方法

关键词：erp    软件质量    模糊综合评价    

为给ERP软件供应商和应用ERP软件的企业提供一种定量的ERP软件质量评价方法，基于Waiters和McCall3层软件质量度量模型，建立了适用于ERP软件的质量评价模型。研究了运用模糊理论对ERP软件质量进行评价的方法。通过模糊运算获得了ERP软件质量的评价结果。通过一个典型ERP软件实例，验证了该方法的有效性和可行性。

Web Services合成方案向BPEL4WS的自动转换

关键词：saso    web    services合成    bpel4ws    动态联盟    

合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为Web Services合成方案的表示方法；在此基础上提出了WTOP自动转换算法，通过运行时代码动态生成的方法，实现从DAG到BPEL4WS的自动转换。

两种重用本地代码库的方法比较

关键词：java    java本地接口    本地代码    动态链接库    

通过分析JNI技术利用本地代码库的常见方法，提出了一种不需修改原始代码，完全封装现有本地代码库的方法，并给出了在32位Windows平台上的实现实例。最后对两种方法的优缺点进行了分析和比较。

一种实时事务并发控制的新方法：SMVCC

关键词：实时数据库    实时事务    并发控制    多版本并发控制    

提出了新颖的实时数据库事务并发控制方法：语义多版本并发控制协议（SMVCC）。利用实时数据库中存在多版本数据的特点，考虑实时数据和实时事务语义，结合实时数据库相似性概念，对传统多版本并发控制方法进行扩展，对不同事务采用不同并发控制策略，提高了事务并发度。

一种基于反射的非功能特性分析设计方法

关键词：反射    非功能特性    uml    

软件系统非功能特性的分析设计一直是面向对象方法研究中的薄弱环节，缺乏系统化的建模手段。文章提出了一种基于反射的非功能特性分析设计方法，该方法利用反射思想分离功能特性和非功能特性。对于非功能特性，扩展UML并结合相关的非功能需求建模策略对其进行分析设计。

WebGIS服务器场的负载平衡算法设计

关键词：webgis    集群    动态负载平衡    动态反馈    

分析了利用集群技术解决网络地理信息服务负载问题的必要性和可行性，提出了基于集群技术的WebGIS服务器场模型，着重研究了面向地图内容的自适应动态反馈负载平衡算法，最后建立了试验床，对基于该算法的平衡负载器进行了验证。

高误码率无线环境下的TCP改进算法

关键词：拥塞控制    误码率    带宽估计    选择性确认    tcp    westwood    

针对TCP Westwood拥塞避免算法在误码率较高的无线网络环境下性能仍显不足的问题，对TCP Westwood算法进行了改进，形成了基于选择性确认丢包恢复的TCP Westwood-SACK改进算法。通过仿真表明，改进后的TCP算法柜高误硝率情况下，进一步提高了网络利用率和吞吐量，同时仍具有很好的公平性和友好性。

基于分段的分布式服务部署和查找

关键词：服务发现    p2poverlay    分段路由    关键字部署    

P2P网络由于其良好的可扩展性非常适合于规模日渐扩大的互联网，服务查找成为它的基本问题。该文提出一种基于分段的分布式的服务查找方法，主要特点是给定了一个关键字，可以在有限的跳数范围内，找到部署有这个关键字的overlay节点，得到查询结果，并且最大的查找跳数与网络大小无关。

一个语音信息门户的设计与实现

关键词：语音门户    交互式语音问答    语音合成    语音识别    voice    xml    

语音门户是利用了CTI技术实现电话网与互联网集成的重要部件，支持了用户通过普通电话访问互联网获取信息，是由IVR（Interactive Voice Response）、TTS（Text To Speech）、ASR（Automatic Speech Recognifion）、Voice XML4个子系统组成，该文在一个实用的语音门户系统的基础上，讨论了系统结构以及4个模块的设计实现，系统设计采用面向对象...

基于网格的分布并行计算策略

关键词：分布并行计算    策略    网格服务    globus工具    

网格计算为用户处理很多复杂问题提供了新方法，用网格实现大规模分布并行计算是必然的趋势。文章给出了基于网格中间件Globus Toolkit来实现分布并行计算的两种策略：紧密耦合并行程序和松散耦台并行服务，并给出实现这两种策略的实现方法，为实现分布并行计算提供了新方法。最后根据所提出的并行计算策略，在网格计算环境下实现了一个分布并行...

计算网格中作业调度系统GridPBS的设计与实现

关键词：pbs    计算网格    gridpbs    网格调度系统    

通过对目前流行的集群调度系统PBS进行封装和扩展，设计并实现了一个计算网格作业调度系统GridPBS。该系统可使PBS系统的应用拓展到整个计算网格环境，克服了现有PBS系统只能在单个集群节点上运行的局限性。根据计算网格中的集群资源运行情况对用户作业进行凋度分配，从而有效地整合和利用计算网格各节点的计算能力。