基于CPN的嵌入式RTOS任务调度建模

关键词：有色petri网嵌入式实时操作系统任务调度

针对有色PetriN（CPN）在并行、并发、资源共享描述上的适用性，将其引入到嵌入式实时操作系统（RTOS）建模中，解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型，结果表明该模型能有效反映RTOS系统的动态特性，准确定量模拟出RTOS系统的效率、切换频率指标。
基于概念网络的短文本分类方法

关键词：短文本分类概念网络文档相似度领域本体

针对档案领域的短文本分类，设计一种基于概念网络的自动分类方法。通过分析领域内短文本的语言特点构建领域本体，利用自然语言处理技术将短文本转化为资源描述框架表示的结构化概念网络，在此基础上定义概念网络间的语义相似度，从而实现档案的自动分类。实验结果表明，相比传统基于特征选择的短文本分类方法，该方法的分类错误率下降了24．2...
基于局部路径加锁的XML并发控制协议

关键词：节点编码局部路径加锁 xml数据库并发控制

传统XML数据库并发控制协议大多采用基于XML文档树的路径加锁方式，并发度不高。针对该问题，提出一种基于局部路径加锁模型的XML数据库并发控制协议。该协议基于XML的节点编码，利用查询函数对目标节点的祖先后裔加锁情况进行快速判断，并根据操作类型对目标节点或者其父节点进行加锁，从而减少对锁的频繁请求，提高事务并发度以及实现大规模XM...
属性远程证明中完整性测量的可信性证明

关键词：可信计算远程证明谓词逻辑完整性测量可信属性权威

基于可信计算中的二进制系统完整性测量模型，增加证书权威和可信属性权威，提出一种属性远程证明系统完整性测量模型，并利用谓词逻辑证明其可信性。引入属性远程证明的新特点，应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上，具有更强的适用性和可行性。
联合信源信道算术码研究

关键词：算术码联合信源信道编码联合信源信道算术码

介绍联合信源信道算术码添加禁用符号的编码方法，以实例方式引入联合信源信道算术码的检错原理。综述联合信源信道算术码的检错时延分布、几何分布，分析各种解码方法、序列解码方法及其各种改进，研究基于有限状态机的解码方法与其他信道码构成的迭代式联合解码方法，并展望目前联合信源信道算术码研究存在的问题及其前景。
BIOS恶意代码实现及其检测系统设计

关键词：基本输入输出系统恶意代码安全检测

根据基本输入输出系统（BIOS）恶意代码的植入方式，将其分为工业标准体系结构、高级配置和电源管理接口、外部设备互连模块恶意代码3类，分别对其实现过程进行研究。在此基础上，设计一种BIOS恶意代码检测系统，包括采样、模块分解、解压缩、恶意代码分析模块。应用结果表明，该系统能检测出BIOS镜像文件中植入的恶意代码，可有效增强BIOS的安...
基于小生境遗传算法的网格任务调度

关键词：任务调度网格小生境遗传算法种群排序多峰值优化

任务调度是网格研究中的NP问题。在研究现有任务调度算法的基础上，分析小生境遗传算法的优点，引入种群排序三原则，优化种群结构，提出基于改进小生境遗传算法的网格任务调度方法，并运用GridSim工具进行仿真实验验证。实验结果表明，该方法结果精度和收敛速度优于普通遗传算法，能降低资源占用率。
非线性扩散方程的显式并行计算

关键词：openmp编程模型多核集群系统非线性扩散方程并行计算

在分布共享的多核集群系统中，提出一种求解非线性扩散方程的显式数据分布OpenMP并行计算方法。将数据进行分布式划分后分配到每个OpenMP线程，通过数据拷贝实现同步计算，并设计全局归约算法减少障碍同步次数。性能分析和测试结果表明，该方法在4核Xeon处理器构成的分布共享集群系统上可扩展到1024个CPU核，相对于64个CPU核，其加速比为7．06。
基于频繁变化结构的时序XML文档聚类方法

关键词：时序xml文档文档聚类

为解决XML文档对动态性表示不足的问题，通过对XML文档加入时间信息进行建模，提出2种基于时间序列的XML文档频繁变化结构挖掘算法FCSBF和FCSDF，实现对动态XML文档频繁变化结构的高效挖掘。在此基础上提出一种针对动态XML文档的聚类新方法，实验结果证明，该方法能够对动态XML文档进行有效的聚类。
基于可执行代码中间表示的控制流分析

关键词：逆向分析中间表示控制流抽象表示

为准确刻画程序的控制流和正确地提取程序控制结构，给出可执行代码控制流分析的整体架构和算法，阐述可执行代码反汇编结：果的抽象表示、程序控制流构造等技术。反汇编结果抽象表示采用简化汇编语言中间表示（SAIR）以保证分析的简洁性和严密性。基于SAIR给出程序控制流构造函数，设计程序控制流构造算法并给出分析实例。
一种高效的高维异常数据挖掘算法

关键词：异常数据最大间隔准则最小最大概率机数据挖掘

针对高维异常数据的挖掘问题，提出一种基于最大间隔准则和最小最大概率机的高维异常数据挖掘算法。利用最大间隔准则算法将高维数据投影到低维特征空间，再利用最小最大概率机进行异常数据的挖掘。实验结果表明，该算法检测准确率较高。
基于QR树索引的面包含关系求解算法

关键词：面包含关系空间索引 r树 qr树

为提高空间拓扑计算中求解面包含关系的效率，提出一种基于QR树索引的面包含关系求解算法。根据空间对象的几何信息建立QR树索引，利用QR树查找面包含的空间对象，并将该算法应用于基于线面包含关系的GML空间聚类。实验结果表明该算法能有效提高计算面包含关系的时间效率。
基于最大频繁路径的元数据聚类方法

关键词：元数据聚类元数据树频繁路径特征向量矩阵

探讨元数据树的最大频繁路径以及实现元数据聚类的有效途径。构建元数据树后以最大频繁路径作为元数据树的公共特征，对相关路径赋权重并构建特征矩阵、计算元数据树的相似度，对元数据进行聚类。经实例分析，该方法通过减少参与聚类的路径数量和赋予路径权重，能够较好地提高元数据聚类效率和效果。
基于潜在语义分析的个性化查询扩展模型

关键词：潜在语义分析用户兴趣查询扩展个性化推荐信息检索

为在信息检索系统中获得更好的查询效果，提出一种混合的个性化查询扩展模型。通过潜在语义分析建立潜在语义空间，并在潜在语义空间中计算得到查询的概念相关扩展词和兴趣相关扩展词，不但有效解决了词典问题，而且满足了不同用户需求多样性和用户多兴趣点的需求。实验表明，该算法能够较好地提高搜索引擎系统的查全率、查准率，以及信息检索效...
基于本体的用户兴趣模型构建研究

关键词：兴趣模型本体开放目录专案兴趣修正

针对用户兴趣模型中本体构建和模型更新的难点和不足，提出一种基于本体论的用户兴趣模型构建方法，该方法通过领域本体、用户个性本体、校正本体和本体更新实现模型的构建。对于领域本体的构建，摒弃了训练、学习和聚类的方法，直接从开放目录专案获取类目。对于用户兴趣的更新，采用按照校正本体增加、淘汰和传递原理调整相结合的方式。实验结...
基于延迟时间的实时降载策略

关键词：数据流降载策略数据流管理系统

降载可以有效地解决数据流流速的突变所引发的系统的过载问题。为此，分析现有降载策略在实时性方面的不足，不仅考虑系统的处理能力，同时结合数据的处理延迟，提出基于延迟时间的降载策略（DSP）。实验结果表明，DSP可以有效地解决系统的过载，同时具有较高的实时性。
空管系统中内存数据库的设计与实现

关键词：空中交通管制系统内存数据库

空中交通管制（ATC）系统对数据高速同步的要求越来越高，而目前所使用的传统式集中数据库存取数据的速度已远远不能满足ATC系统的需求。为此，结合ATC系统的特殊需求，设计并实现了一种基于type—index—value的内存数据库，该数据库具有良好的可移植性，可有效提高系统性能以及对数据的存取能力。
基于模式的XML文档相似度算法

关键词：模式相似度结构语义可扩展标记语言

提出一种基于XML模式的文档相似度算法，其中，XML模式间的相似度是XML文档聚类的重要依据，元素是XML模式的主体，模式的相似度由元素相似度组成，该算法综合考虑XML模式中元素的结构和语义信息，进一步提高计算相似度的精度。另外，该算法通过计算XML模式间的相似度，可以降低算法的复杂度，提高聚类的准确性，易于提取聚簇的通用XML模式。
Web站点核心逻辑结构挖掘

关键词：web站点核心逻辑结构逻辑域逻辑域核导入路径

已有Web结构挖掘研究主要是挖掘出站点的核心节点而非整个结构。为此，设计Web站点逻辑域核及其导入路径的模型，提出Web站点逻辑域核挖掘算法和逻辑域核导入路径挖掘算法。在4个大型Web站点上的实验结果表明，Web站点逻辑域核挖掘算法和导入路径挖掘算法均能够达到较高的精度和召回率。
基于上下文的概念语义相似度计算模型

关键词：语义相似度上下文本体语义距离

针对概念语义相似度计算方法在信息检索中存在的漏检、误检等问题，提出一种基于上下文的计算本体内概念间语义相似度的模型。该模型分别从概念的父节点、子节点以及概念间路径权重3个角度进行计算，加权求和并求得语义相似度。实验结果表明，该模型的计算结果更加接近专家的经验值，为概念之间的语义关系提供了有效的量化。
一种扩展正域的属性约简方法

关键词：决策表粗糙集属性约简核属性

在经典粗糙集理论模型中，边界域过大会限制其实际应用。针对这一情况，指出决策表中边界域扩展为正域已有方法存在的不足，基于不确定条件下的自主式学习理论，定义一种新的扩展正域方法，并提出计算不相容决策表中认知属性核和认知属性约简的算法。实验结果证明了该方法的有效性。
基于句法和语义信息的问句特征提取方法

关键词：问答系统特征提取句法结构语义信息

在分析当前中文问答系统中问句分析技术的基础上，提出一种基于句法结构和语义信息的问题特征提取方法。利用依存句法分析出问句的主干，从语义信息角度分析问句主干从而提取出问句的特征词，并用改进贝叶斯算法进行问题分类。实验证明，该特征提取方法能提高问题分类的准确性。
一种多步流程回退方法的研究与实现

关键词：工作流多步回退 shark引擎数据一致性死锁

回退是工作流管理系统的一个重要功能，传统的回退方法大多是单步的、逐级的、禁止跨and合并或跨and分支的，不能很好地满足企业业务流程的多变性及复杂性。基于此，通过改进回退规则和回退算法，运用改进后的规则和算法对shark引擎进行二次开发，实现一个支持流程多步回退的应用模型。实验证明，改进后的引擎较好地解决了工作流流程的多步回退...
关系数据库存储OWL本体方法的研究

关键词：关系数据库 web本体语言本体

Web本体语言（OWL）是一种用于对本体进行语义描述语言，不仅提供强大的语义表达能力，而且能够表达机器可以理解的内容。关系数据库在存储与管理大规模数据方面相应技术比较成熟。针对该情况，结合两者的优势，提出一种关系数据库存储OWL本体的存储模式，在存储大规模数据和保持语义完整性两者之间取得一个平衡点，使关系数据库存储OWL本体既能...
最小频繁闭树的增量式更新算法

关键词：数据挖掘有序树频繁子树频繁闭树增量更新

针对树挖掘算法产生大量频繁子树和树数据库随时间变化的问题，提出最小频繁闭树增量式更新算法以及增量式更新策略，能充分利用已有挖掘知识，无须重新运行树挖掘算法，并且只需进行一次数据库扫描操作。给出一种候选子树剪枝方法，能减少树同构判别次数，有效提高算法的运行效率。通过大量实验结果表明，该算法有效可行且效率较高。
基于差别矩阵的概念格多层次属性约简

关键词：形式背景子概念格特征函数属性约简差别矩阵

给出形式背景新的差别矩阵，利用差别矩阵定义概念与子概念格的特征函数，得到形式背景属性协调集及概念格中存在相似概念的判定定理。采用差别矩阵和特征函数，设计计算概念与子概念格（包括概念格）属性约简的方法，通过实例表明该约简方法的可行性与有效性。
基于TF-IQF模型的查询建议

关键词：查询建议个性化

基于TF-IQF模型的建议方法不考虑用户查询行为的上下文，在满足用户个性化需求方面存在缺蹈。针对这一情况，在该方法的基础上进行优化改进，根据不同用户的查询上下文来分析用户的查询偏好，重新排序系统推荐的查询。实验结果表明，改进方法能够给出个性化的查询建议，提高用户查询的满意度。
基于Voronoi图和三角剖分的闭合曲线重建

关键词：曲线重建点的局部特征值 voronoi图 delaunay三角剖分

以Voronoi图和Delaunay三角剖分为基础，针对二维闭合曲线集的采样点集，提出一种曲线重建算法。该算法按给定采样密度对曲线集进行采样，从而用一条或多条线段准确地重建曲线集，将采样点密集程度的度量定义为点集的本地特征值度量，以此要求采样达到一定的密集程度。理论分析证明该算祛的时间复杂度为O（nlogn）。
基于语义Web规则的软件体系结构

关键词：语义web prova语言规则层 mandarax规则引擎

针对目前软件系统面向大规模和复杂业务处理的要求，研究对业务流程和逻辑进行形式化的逻辑描述和逻辑处理，引入Mandarax规则引擎进行业务逻辑的推理处理，实现业务逻辑的集中处理。作为一个可复用的系统构架设计的基于规则的软件体系结构，使用Prova建立规则层，利用规则引擎实现业务逻辑的推理处理，通过规则层应用实验的实现证明基于规则的...
基于Bayes估计的WSN自适应路由算法

关键词：无线传感器网络路由算法 bayes估计

针对无线传感器网络中存在的路由请求域动态调整问题，提出一种基于Bayes估计的无线传感器网络自适应路由算法。该算法以圆柱形路由请求域的半径作为调整参数，利用Bayes估计对路由请求域进行自适应调整。仿真结果表明，该算法在数据包投递率、路由开销、数据包平均时延和网络剩余能量比率上的性能都优于AODVjr路由算法。
基于免疫克隆的WSN能量空洞避免算法

关键词：无线传感器网络能量空洞免疫克隆选择算法网络寿命

基于同心环模型分析无线传感器网络中的能量空洞，描述动态最长一最短圆环寿命问题，建立该问题的数学模型，提出一种基于免疫克隆的能量空洞避免算法，通过寻找随着圆环宽度不断变化的最优传输距离序列来延长网络寿命。仿真结果表明，该算法能均衡网络能量消耗，有效提高网络寿命。
基于概率偏差的TFRC-RTO算法

关键词：tfrc协议超时重传概率偏差拥塞控制

针对TFRC协议与TCP协议超时重传参数RTO计算方法不同而导致的两协议竞争时吞吐量差异较大的问题，提出一种基于概率偏差的TFRC—RTO算法。该算法以实际丢包事件概率与最优丢包事件概率之间的偏差为依据，对实时TFRC—RTO的值进行放大或缩小，使其更接近当前的TCP-RTO。仿真实验表明，该算法对TFRC协议具有明显的改进作用，与原算法相比，在短延...
CMMB接收机同步优化方案

关键词：中国移动多媒体广播载波频偏采样频偏正交频分复用同步

针对中国移动多媒体广播系统对同步偏差非常敏感的特性，提出一种优化同步方案。该方案充分利用同步信号和离散导频的相关性，达到高精度、低复杂度的符号同步、频偏捕获以及频偏跟踪的目的。仿真结果表明，该同步方案在-2dB SNR，300Hz多谱勒的TU6信道下达到良好的同步捕捉、跟踪效果，频偏估计的均方根误差仅是传统算法的50％。
802．11无线网络实时切换技术研究

关键词：无线网络实时切换延时

802．11标准提供的基于终端的分布式切换技术能够满足基于互联网且实时性要求不高的应用服务要求，但不支持互联网上的实时视音频服务。针对上述情况，通过研究基于802．11技术的无线网络的切换问题，给出切换的定义、切换过程的组成及延时分析。针对切换过程中最耗时的触发阶段和扫描阶段，给出智能触发器、邻居图、SyncScan等实时切换技术，并...
基于CICQ的动态重路由交换机制

关键词：交换结构联合输入交叉节点排队动态重路由

针对现有路由交换机制存在计算复杂度过高以及端口争用问题，提出基于联合输入交叉节点排队交换结构的动态重路由交换机制。该机制依据互联网在路由拓扑层的路径多样化特点，在转发层为每个分组维护多个可选输出端口，并根据交换系统拥塞度实施分组动态重路由，从而实现网络流量的实时动态均衡。仿真结果表明，以该机制为构件的网络交换系统能获...
MIMO-OFDM系统抗干扰信道估计算法

关键词：信道估计正交频分复用多输入多输出符号间干扰子载波间干扰

提出一种抗干扰信道估计（AICE）算法用于解决MIMO—OFDM系统信道估计问题。该算法在接收端通过对收到的累加信号进行分解，得到来自不同发射天线的信号，通过消除符号问干扰与子载波间干扰及采用期望值最大迭代算法进行信道估计来减小估计误差，提高信道估计的准确性。与ICE算法的性能比较证明了AICE算法在瑞利衰落信道下具有更好的信道估计均...
随机反馈延时下回退式ARQ协议的延时分析

关键词：回退式arq 矩阵几何反馈延时

对无线网络中数据业务的延时情况进行研究，在动态自适应传输模式中，提出一种反馈延时随机可变情况下的回退式ARQ协议队列模型，通过采用矩阵几何的方法计算出数据包在发送端延时的概率分布函数。对反馈延时随机可变时每个数据包传输的延时进行仿真，将仿真结果和新模型结果进行比较，验证了计算方法的正确性。
基于带宽估计和ECN的无线TCP改进

关键词：传输控制协议可用带宽估计显式拥塞通知选择性确认

针对无线环境下TCP调用拥塞控制算法致使性能下降的问题，提出一种基于带宽估计和显式拥塞通知的无线TCP改进方法。在数据发送端采用带宽估计算法优化拥塞窗口尺寸，与具有显式拥塞通知的路由器配合区分分组丢失性质，利用选择性确认选项，加快单窗口多包丢失时拥塞窗口恢复速度。仿真结果表明，改进后的TCP吞吐量超过TCP_SACK近30％，超过TCP_R...
WSN中改进的IPv6路由查找算法

关键词：无线传感器网络 ipv6 最长前缀匹配算法路由查找布鲁姆过滤器

针对无线传感器网络（WSN）中的全局单播地址，提出一种IPv6快速路由查找机制。利用布鲁姆过滤器作为存储结构，以合适的存储方法降低错误率，采用最长前缀匹配算法合理分配前缀，以减少静态随机存取存储器的数量，降低成本。实验结果表明，利用该算法可以减少每一次查找的散列探头，从而提高路由表的查找速度，改善WSN的性能。
改进的动态p-坚持CSMA协议

关键词：发送概率吞吐量

通过研究p-坚持CSMA协议发送概率的动态调整算法，提出一种动态p-坚持CSMA协议。在该协议中，发生冲突重传时的发送概率并非固定不变，而是关于冲突重传次数的函数。通过建立二维马尔可夫链模型，进行理论推导并分析归一化系统饱和吞吐量的性能，结果表明，与p-坚持CSMA相比，动态协议的性能更优。

计算机工程杂志

计算机工程学术信息

期刊导航：

基于CPN的嵌入式RTOS任务调度建模

基于概念网络的短文本分类方法

基于局部路径加锁的XML并发控制协议

属性远程证明中完整性测量的可信性证明

联合信源信道算术码研究

BIOS恶意代码实现及其检测系统设计

基于小生境遗传算法的网格任务调度

非线性扩散方程的显式并行计算

基于频繁变化结构的时序XML文档聚类方法

基于可执行代码中间表示的控制流分析

一种高效的高维异常数据挖掘算法

基于QR树索引的面包含关系求解算法

基于最大频繁路径的元数据聚类方法

基于潜在语义分析的个性化查询扩展模型

基于本体的用户兴趣模型构建研究

基于延迟时间的实时降载策略

空管系统中内存数据库的设计与实现

基于模式的XML文档相似度算法

Web站点核心逻辑结构挖掘

基于上下文的概念语义相似度计算模型

一种扩展正域的属性约简方法

基于句法和语义信息的问句特征提取方法

一种多步流程回退方法的研究与实现

关系数据库存储OWL本体方法的研究

最小频繁闭树的增量式更新算法

基于差别矩阵的概念格多层次属性约简

基于TF-IQF模型的查询建议

基于Voronoi图和三角剖分的闭合曲线重建

基于语义Web规则的软件体系结构

基于Bayes估计的WSN自适应路由算法

基于免疫克隆的WSN能量空洞避免算法

基于概率偏差的TFRC-RTO算法

CMMB接收机同步优化方案

802．11无线网络实时切换技术研究

基于CICQ的动态重路由交换机制

MIMO-OFDM系统抗干扰信道估计算法

随机反馈延时下回退式ARQ协议的延时分析

基于带宽估计和ECN的无线TCP改进

WSN中改进的IPv6路由查找算法

改进的动态p-坚持CSMA协议

相关论文