关键词：空间数据仓库 空间olap 空间数据立方体
研究了基于空间数据仓库的一种决策分析工具——空间在线分析处理（OLAP）的支撑技术。将普通数据立方体与空间数据立方体进行比较，提出空间数据立方体的维和度量的建模方法，解决了空间维与非空间维、空间度量与数值度量的集成建模问题。
关键词：v码 raid 纠错码
在磁盘阵列模型中，关键是如何实现容许多个磁盘阵列故障使得系统性能达到最优。该文提出了一类新的纠双错编码——V码，使用该编码的磁盘阵列数据布局，阵列的盘数可以为偶数、校验信息均匀分散在阵列每个盘中，容许任意2个磁盘故障。与其它纠双码的磁盘阵列布局进行比较，当阵列盘数为偶数时，V码阵列布局具有最优性能，编译码复杂度、冗余率达到最低以及小写性能最优，利于解决磁盘阵列I／O问题。
关键词：结构测试 控制流 数据流 测试数据自动生成
针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题，提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径，并以改进后的迭代松弛法为核心，对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心，开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。
关键词：全序列匹配 数字趋势序列 序列分段向量
针对基于点距离的时序数据分析和传统趋势序列分析的缺点，提出了数字趋势序列、序列的LP距离、序列分段向量等概念，证明了包括“序列分段均值定理”在内的3个重要：电理，设计了专门用于数字趋势序列的“基于序列分段向量（SSV）的全序列匹配算法”。算法使用片段斜率所对应的弧度值来度量片段的趋势，同时用趋势的保持时间来对趋势值进行加权，实现了数字趋势序列之间快速的全序列相似性搜索。
关键词：web挖掘 频繁访问模式 访问模式的顺序子集 close模式
Web日志挖掘的一个主要任务是获得用户的浏览模式，这对Web站点的改进和为用户提供个性化服务提供了非常有价值的潜在信息。该文在分析用户访问模式的特点后，提出了C1ose模式的概念，基于此概念提出了一种挖掘用户频繁访问模式的Close算法。该算法利用频繁访问模式的封闭特性，挖掘出既是频繁的又是封闭的访问模式，在一定程度上减少了下一阶段“寻找最大频繁访问模式”的工作量。用实际数据对算法的性能进行了验证和分析。
关键词：模糊随机petri网 可用性 模糊评价
结合模糊集理论和随机Petri网理论提出了一种可修系统可用性建模与分析的新方法一模糊随机Petri网方法。随机Petri网的状态可达图同构于连续时间马尔可夫链，由可达图可得到系统的稳定状态概率方程组。利用模糊代数理论解该模糊方程组即可得到系统转移概率和各种性能指标的模糊数，通过解模糊可得到系统的可用性指标值。文章进行了实例分析并与已有文献作比较，举例进行分析求解，结果表明该方法是可行的。
关键词：关联规则 数据挖掘 generator
Generator表示方法使得基于频繁集的挖掘任务更加简洁高效。该文提出深度优先挖掘Generator表示的方法，通过候选剪枝和在树结构上通过保留挖掘后缀信息，完成Generator候选检测，而不需重复扫描数据库。同时采用的剪枝策略使挖掘冗余操作尽可能减少，取得了较好的效果。实验表明提出的算法是一种有效挖掘Generator表示的方法。
关键词：网格安全 入侵检测 免疫性 agent
针对传统入侵检测技术难以适应动态的网格计算环境等问题，依据免疫原理，提出了一种基于Multi—agent的网格入侵检测模型（GIDIA）.描述了GIDIA的体系架构，给出了免疫模型、硷测Agent、决策Agent和防御Agent的定义，建立了相应的抽象数学模型及推理方程。理论分析和仿真结果表明，GIDIA解决了信任社区内与社区间的协同预警及防御问题，具有检测率高、自适应能力强等特点，为实现网格安全提供了一种新方法。
关键词：数字签名 不可否认 前向安全 零知识证明
基于零知识的证明，提出了一种前向安全不可否认数字签名方案。将不可否认数字签名与前向安全数字签名结合起来，保持了不可否认数字签名的一般特点，并具有前向安全性，在签名密钥泄露的情况下可将损失减少到最小。该方案具有签名不可伪造性和不可否认性、签名和密钥长度短等特点。密钥更新协议使用了零知识证明的思想，保证密钥进化的安全性。在标准困难问题假设下，该方案是安全的。
关键词：服务自适应 上下文敏感 中间件 模糊理论
提出了一个基于模糊理论的服务自适应模型。完整地形式化了服务自适应选择过程，使用模糊语言变量和隶属度方程定义了上下文状态和服务策略选择规则。基于当前上下文与服务实现策略标准上下文之间的模糊距离概念，提出了计算服务实现策略合适程度的合适度方程。结合名为“校园助理”的上下文敏感应用场景，阐述了该模型的有效性和具体应用。
关键词：无线局域网 数据融合 速率自动选择 模糊平判
为了提高IEEE802．11中速率选择机制的性能，提出了一种基于多信道参数数据融合算法的自动速率选择机制，克服了采用单一参数进行信道状态估计的误差和误判。在发送端，将获取到的RSS、CIR和PER信息模糊化，并运用模糊集理论进行模糊推理，形成单一参数对信道质量评估的局部决策，经过融合中心的合成运算和决策规则得到信道质量的全局判决，以此进行最佳发送速率的选择。该算法在NS2网络仿真软件的Ricean信道模型下进行了仿真。仿真结果表明该机制比固定速率和单一参数信道估计机制提高了28．4％和22．2％的平均吞吐量。
关键词：归一化 粗集理论 神经网络 故障选线
针对神经网络分类器在不同类样本间距离较近时训练速度较慢的缺点，提出了基于粗集理论的归一化方法。利用粗集理论对样本进行归一化处理后，用处理后的样本对神经网络进行训练。并以配电网故障选线为例，对该方法进行了分析。仿真实验结果表明，样本处理后的神经网络训练时间明显缩短。
关键词：情感 情感控制 reb模型 eft ecf
“情感”对行为具有智能控制作用，REB模型为理智情感行为模型，软件人的情感智能控制体系由感知、情感与理智、行为3个部分组成。该文引入了Erf、Ecf2个内部状态参数，分析了它们在个体软件人情感控制中的作用。试验结果表明：Erf、Ecf对个体软件人的情感控制有影响，并且Ecf比Erf的作用更明显一些。这一结果符合人类自身情感控制的实践。
关键词：实时计算 优先级反转 优先级继承协议 优先级上限协议
优先级反向是实时系统中由于任务间需要共享资源以及同步而引起的高优先级任务被低优先级任务阻塞的现象。优先级反向使得高优先级任务的执行时间无法预测，增加了实时系统的不确定性。早期的扩展协议较好地解决了优先级反转问题，但同时也存在着自身的不足。针对这些缺陷，在深入研究相关协议的基础上，该文提出了一种改进的优先级继承协议。该协议中信号量按预定义的非循环固定顺序获取，以防止死锁发生，设置超时保护机制，避免任务在获取信号量时长时间的阻塞，给出了关于该协议的分析，并在实时Linux上实现了基于该协议的算法。
关键词：时态逻辑 度量空间 距离 时空推理
与时态和空间有关的推理问题是人工智能研究中重要的组成部分，近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识，提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL—MSI、PTL—MS2，表示和推理随时间变化的距离关系，看成是时态逻辑和度量逻辑的迪卡尔乘积，给出了语义和语法，研究了它们的表达能力，用于时空约束满足问题、时空知识库以及移动对象数据库（MOD）等。
关键词：正多边形 三维模型 投影
提出了利用正多面体顶点分布来剖分球面，得到球面上物体的投影点，利用这些投影点得到物体的二维投影。这种二维投影的获取方式具有投影点分布均匀的特点，并且根据三维物体的特点对特定区域的投影点进行加密，以获取更多的二维投影信息。该方法已经应用到三维模型及三维动作的识别中，取得了良好的效果。
关键词：信息检索 语言概念空间 聚类 自动阈值下的聚类划分
提出了一种以语言概念空间中的概念为聚类对象的信息检索方法以及适合于该方法的聚类算法。该聚类算法通过瞌线拟合技术来实现文本的自动阈值确定和聚类划分，并最终通过聚类间的迭代和结果修正来完成整个聚类过程。概念的引入为解决词语的同义、多义问题提供了有力保障。实验表明，采用该方法的信息检索系统，与Jelinek—Mercer、k-means模型相比有较高的准确率和召回率，效果理想。
关键词：信息安全 盲签名 数字签名 公钥
通过对一种消息保密的代理签名方案进行安全性分析，发现原始签名人和盲签名的接收者可以在互不泄漏对方秘密的情况下合谋篡改待签名的消息并伪造代理签名，并且代理人可以滥用代理权。为此，通过将代理签名密钥转换为Schnorr签名，并利用授权证书给出了改进方案，可防止代理人滥用代理权和抵制原始签名人和盲签名的接收者合谋攻击，克服了这种方案的缺点，同时具备这种方案的其它安全性要求。
关键词：广义xtr wcdma鉴权 eigamal加密
由于WCDMA的鉴权协议采用对称加密算法，不具备不可否认性，因此在实际应用中存在隐患。通过将广义XTR体制上的EIGamal加密协议进入WCDMA鉴权中，并修改鉴权协议，为系统增加了强不可否认性，有效地克服了隐患。该协议增强了WCDMA鉴权的安全性，具有较强的实用性。
关键词：主动实时数据库 耦合模式 触发度 并发控制
主动实时数据库中触发事务与被触发事务在执行上具有多种耦合模式，传统的并发控制无法对具有复杂耦合模式的事务进行有效调度。通过对不同耦合模式实时要求及事务间冲突关系的分析，提出了新的主动实时并发控制算法（ARTCC-CM），采用时戳区间策略，在验证阶段检测冲突事务触发度及执行时间，动态调整串行化顺序。理论分析与实验证明，在保证可串行性同时减少了不必要的事务重启，提高了系统性能。
关键词：公共对象请求代理体系结构 简单网络管理协议 网关 事件服务
提出了CORBAISNMP网关事件管理部分的实现框架，针对CORBA公共事件服务的局限性，给出了相应的解决方案，包括分组、过滤、插入序列和再同步等，建立了数学模型进行分析，同时通过试验验证了算法的可行性。
关键词：数据挖掘 分类属性数据
数据挖掘中解决分类属性数据聚类的算法有很多种，但大多数基于划分的方法得到的聚类中心一般不是数据集中的实际数据对象，缺乏实际的物理意义，有时会导致某一聚类为空。该文研究了近似k-median的求解算法，用数据的近似中值来代替模式进行聚类，提出了分类属性数据的近似k-median聚类算法，克服了一般基于划分的可分类属性数据聚类中所遇到的问题，仿真实验证明该算法有效。
关键词：层次分析法 信息化项目 评估模型
针对政府组织实施的信息化项目评估问题，建立了信息化项目评估模型。层次分析法是一种定性与定量相结合的决策分析方法，运用层次分析法基本原理，将信息化项目评估问题众多的影响因素分层排序，组成一个有序的递阶层次矩阵，通过计算判断矩阵确定各个因素的权重，在实际评估工作中得到满意的评估结果。
关键词：模型驱动体系结构 软件体系结构 平台无关模型 平台相关模型
为解决MDA开发过程中平台无关模型（PIM）的描述方面存在的问题，从软件体系结构建模出发，通过对UML进行扩展并引入界面展示视图，提出了一种平台无关的Web应用建模方法。该方法保持了PIM平台无关的特性，并能充分利用体系结构在软件开发各阶段间保持的良好可追踪性，能够对模型驱动的软件开发提伊有力的支持。以J2EE目标平台为例说明了用该方法建立的PIM模型到平台相关模型（PSM）的转换。
关键词：文件系统 性能评价 老化
影响文件系统的因素有很多，该文从不同访问模式、多通道硬件配置、文件系统老化等方面设计试验，利用多种性能评测工具，对EXT3、XFS两种本地文件系统进行试验，分析这些因素对本地文件系统性能的影响以及作为NFS服务器端的文件系统时，对NFS性能的影响。在试验过程中，编写了测试文件系统元数据性能的Thputbenchmark以及使文件系统能够快速老化的工具FastAging。通过分析试验结果总结出针对应用中不同的访问模式配置最优的文件系统的解决方案，使用户能够获得最大的I／O性能。
关键词：xml技术 查询 索引
针对XML的相对路径查询及引用路径查询问题，提出了一种面向XML数据的路径分块索引KI。探讨了KI索引构造方法、索引节点分裂算法和相关查询处理的算法，并用VC＋＋实现，利用Shakespeare和Xorder数据集进行了XML查询测试，实验结果表明，提出的KI索引能有效地提高XML查询效率。
关键词：垃圾邮件过滤 特征选择 文档频数 互信息量
垃圾邮件过滤本质上是一个二类文本分类问题，特征选择是其一个重要的组成部分。针对垃圾邮件过滤问题的特殊性，基于“差分贡献”的思想对文档频数和互信息量这两种传统的特征选择方法进行了改进，设计了新的垃圾邮件过滤特征选择方法。实验结果表明，基于差分贡献的特征选择方法使得垃圾邮件过滤的精度得到了有效的提高。
关键词：门户网站 web component xhtml 树
在分析影响用户感知时间的诸多因素基础上，针对网络带宽一定、网络绝对流量增加的情况，从门户网站页面的静态表现结构多半由一些相对独立的区域（主要是Tabletags分割的一些区域）构成这一特点出发，研究了通过页面分解技术构建个性化门户网站用以缩短Web网站对用户click的响应时廷，从而提高用户满意度。
关键词：uml 访问控制策略 rbac 视图策略语言 安全建模
安全是现代软件系统不可缺少的一部分，但是，目前的软件系统建模一般都不涉及安全。系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和措施的完善。这种不规范的处理为系统后期安全维护及系统之间的集成带来很大的隐患。该文通过学生成绩管理系统来讨论如何扩充UML图素、为系统安全访问控制策略建模，引入视图策略语言（VPL）描述角色与授权之间的关联，实现了软件系统UML建模与系统安全建模的集成。
关键词：文档树 模式树 基本节点 风格节点 网页净化
大多数网页都有如广告、版权、导航链接等噪声，影响Web应用系统的工作质量，因此快速准确地清除网页中的噪声内容是提高Web应用程序性能的关键技术之一。提出了一种网页净化方法，通过用模式树（PT）表示网页的布局结构，根据模式树中节点的信息熵来消除噪声，以达到网页净化的目的。试验将此方法应用于一个SVM分类系统，结果显示通过净化的网页对分类结果的正确率和高效性都有了一定的改进。
关键词：报表组件 模板 填充数据 服务定位模式
在报表组件的开发中，一般是按照单元格的坐标向模板填充数据，但这种方法增加了程序代码和模板之问的耦合度，不利于组件的维护和扩展。该文提出了一种优化方法，采用自定义标签解决了这个问题，按照标签名称来填充数据，而不是按坐标，从而有效地降低了程序代码和模板的耦合度，并采用服务定位模式提高了报表组件的性能。
关键词：内存管理 直接存储器存储 语音传输 vxworks
探讨了VxWorks中内存分配策略的实现。对80386／80486的段页式管理机制进行了介绍，对VxWorks下的内存管理机制进行了阐述，并以VxWorks下通过DMA方式传输语音数据为例进一步剖析VxWorks的内存分配策略。对于嵌入式系统和应用的开发具有一定的参考价值。
关键词：多播 应用层多播 聚类 自适应聚类 自适应层次化聚类
自适应层次化聚类算法将单层拓扑映射为一个层次化结构，改善了应用层多播算法的可扩展性。但它也引入了较高的根节点度数，无法有效控制多播树的形态，不适合用于多媒体等内容的多播通信。通过“剪枝重置”和“构建顶层拓扑”操作，可以弥补自适应层次化聚类算法的缺陷。仿真试验表明，前者可以减少树的层数和同一个聚类中的节点密度；后者可以减轻多播树根节点的负担。相对于采用传统路由算法得到的单层拓扑多播树，该文得到的多播树在开销、时延和度数方面都有显著的优化。
关键词：overlay组播网络 服务组合 扩展最短路径算法
在Overlay组播路由中既需要考虑确保数据流能获得它所需要的服务，还需要确保不同的服务按照合适的次序到达，这是一个新的值得研究的问题，称之为服务组合问题。该文研究了Overlay组播网络中的服务组合问题，建立了相应的优化模型，设计了求解该模型的启发式算法。大量的仿真表明了该模型和算法的有效性。
关键词：拥塞控制 tcp 卫星网
TCP—Westwood（TCPW）是针对无线网络误码率高的特点而设计的。它能在大误码率情况下取得较好的性能，但它丢包较多、在长延时环境中性能下降较快，这使得它不能直接在卫星网中使用。该文针对卫星网特点，提出一种TCPW的改进方案：每次带宽估计计算后确定当前拥塞窗口是否适宜，一旦当前窗口大于估计带宽，就迅速降低窗口。仿真实验证明，这种改进方案不仅提高了TCPW的吞吐量，而且使丢包数大幅度下降。
关键词：自治系统 层次模型 出度
提出了一种使用BGP路由表对自治系统进行分类的方法。按照自治系统在Internet中所起的作用，将Internet层次模型分为5层。利用多个BGP路由表生成自治系统拓扑图，根据BGP路由表中自治系统路径的结构特点和传输自治系统的拓扑特点，结合随机扰动方法，对自治系统进行层次分类。与同类算法对比表明，该算法简洁有效。
关键词：ipv6 anycast icmpv6 路由器
提出了一种在应用层实现Anycast服务的通信模型，此通信模型不仅解决了Anycast服务的扩展性问题，同时也解决了IP层实现Anycast服务所存在的一些其它问题，如路由表膨胀、TCP通信失败等，分析和讨论了该通信模型的可行性及其有效性，并且根据实验数据对本通信模型的服务性能进行了分析和总结。
关键词：机群智能构造器 心智模型 agent
提出了一种基于Agent技术的机群智能构造器CIB。通过一种系统构造机制，CIB实现了对机群系统的自动配置、部署和引导，从而构造出用户定制的机群系统。同时，它提供了遵循用户心智模型的GUI，减轻了用户的认知负担。文章概述了CIB系统提出的背景，分析了同类机群管理软件的不足之处，介绍了采用Agent机制解决问题的方法，描述了CIB的设计与实现，并从易用性和效率两个方面对系统进行了评测。
关键词：传感器网络 节点调度 tinyos tossim
传感器网络是由大量形体较小、能源受限并且配置有计算能力和无线通信能力的传感器节点以AdHoc方式组成。传感器节点能源有限性、高密度配置的节点包冲突率高等问题使得节点调度成为必然。该文提出了一种基于动态邻居节点信息的随机睡眠调度机制，并将算法做成了一个可供重复使用的组件嵌入到TinyOS中。通过仿真实验，得到了验证。
关键词：网络管理 网络拓扑发现 snmp vlan 管理信息库
在分析了网络三层拓扑和二层拓扑发现相关协议的基础上，提出了一种仅依赖SNMP协议，实现跨多子网的混合以太网物理拓扑发现算法，给出了算法的实现步骤。该算法不仅可以发现网络上的路由器、交换机等可网管设备，而且具有发现主机、集线器和非网管交换机等哑设备的特点。实验显示，算法运行正确，可以发现各种网络设备，准确识别链路连接类型，是解决该问题的一种有效方法。
购物车(0)