暂无评论
为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBox T、ABox A和角色层次H，该算法通过预处理将A转换成标准的ABox [A]，按照特定的完整策略将一套Table
近年来,人们设计各类算法来实现协同编辑中的文本一致性维护,而关于Word中图文混排的研究相对较少。对Word中的图片对象和文字对象重新建模、分别存储,以行作为单位设置文档中对象的摆放位置,并通过算法消
为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;
基于TD-LTERRM一致性测试系统的测量上报研究，陈必仙，张治，本文对TD-LTE(TimingDivingLongTermEvolution，分时长期演进)系统中测量上报的机制进行研究，并通过实例
TD-SCDMAHSUPA终端RRM一致性测试的研究与实现，林如涵，，本文主要介绍了TTCN的一致性测试方法，分析了TD-SCDMAHSUPARRM策略中功率分配问题，同时结合终端E-TFCI选择得出
TD-LTE终端RRM一致性测试系统的研究与实现，杨洁，张平，TD-LTE终端RRM一致性测试是终端测试的重要组成部分，也是终端入网认证测试的重要环节。本文在介绍TD-LTE终端RRM一致性测试的基本
TD-SCMDA/GPRS终端RRM一致性测试的研究与实现，徐小芳，李亦农，本文主要介绍了基于TTCN的一致性测试原理和方法，终端RRM一致性测试系统架构和TD-SCDMA/GPRS双模终端RRM一致
构件演化是一种基于软件产品族的软件开发方法，它能够以较低的开发成本满足用户不断变化的功能需求。然而，构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究，提出了正常运行
TD-LTE一致性测试安全模块的研究与仿真，张兵全，贾林，近些年来，TD-LTE通信系统受到广泛的关注，其技术标准也不断丰富完善，得到了广泛的发展。TD-LTE一致性测试技术近些年来在国内发展迅
对现有蕴涵业务规则的商业应用系统的应用现状和程序特点进行了深入分析，并对业务规则系统中存在的一致性冲突及其相应对策进行了阐述，最后提出了基于本体的面向业务规则的商业应用系统开发流程，并且成功应用于指导
暂无评论