公共文化服务平台

共 9 条记录，以下是 1-8

全选清除导出

排序方式：

基于Seal演算的分布式系统安全模型: 2015年; 针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出一种无干扰安全模型,其可以方便地刻画不同的安全性质。为满足实际安全需求,提出了一种可复合的安全属性,并给出了相应的证明。最后,通过实例分析表明了模型的有效性。; 黄勇吴尽昭; 关键词：分布式系统 SEAL演算

一种蜂窝基站的迭代加权质心定位算法被引量：3: 2013年; 在蜂窝系统中,信号受多径传播和非视距传播等因素影响,导致基于距离的GPRS定位的精度难以提高。针对该问题,提出一种基于多个基站的GPRS定位算法,它综合考虑了蜂窝网络中基站的分布特征和移动台接收的信号强度。在对孤立基站的有效性进行检测之后,以最近基站为中心,运用加权质心法求得移动终端的最终坐标。为了获得最好的定位效果,对加权系数进行了精确调优。与经典质心定位法相比,新提出的算法在精度上提高了30%左右。; 张飞虎吴尽昭沈强田一姝; 关键词：移动台定位加权质心异常点检测

城市智能交通系统知识库的综合推理被引量：1: 2013年; 城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。; 熊玲芳杨世瀚吴尽昭卢道设; 关键词：描述逻辑 TABLEAU算法信息查询

一种基于路径的快速均值偏移算法: 2013年; 均值偏移算法是一种统计迭代算法,因为其具备良好的鲁棒性,所以被广泛地应用于计算机视觉与模式识别等领域。然而该算法因计算量大、收敛速度慢而无法适用于一些对实时性要求较高、资源受限的场合。提出一种改进的迭代算法,该迭代算法通过使用偏移均值邻近的样本点来代替它,进而在样本集中构建出迭代路径。相对于传统的均值偏移算法,该改进方法在不影响结果的情况下减小了算法复杂度。通过大量的聚类分析和图像分割实验对算法的有效性和普适性进行了验证。; 康青杨吴尽昭沈强赵志军; 关键词：图像分割聚类分析

Approximate Reachability and Bisimulation Equivalences for Transition Systems被引量：1: 2016年; Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation.; 王超吴尽昭谭红艳付军; 关键词：互模拟可达性等价传递性

线性半代数变迁系统的近似互模拟等价被引量：1: 2013年; 针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在工程应用中大多数实验所得数据仅为给定误差范围内的近似值,精确的系统等价关系缺乏容错性及灵活性。为获得更恰当的系统关系,利用奇异值分解对系统进行近似处理,建立了系统的近似互模拟等价概念及计算方法。通过符号与数值混合计算,实现误差可计算及可控制。最终选取近似等价系统代替原复杂系统。并发通信程序中的实例分析表明,该方法在简化软件程序设计中具有合理性及有效性。; 邓辉吴尽昭; 关键词：计算机软件特征列奇异值分解

基于描述逻辑的组合知识库推理被引量：5: 2012年; 由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。; 卢道设杨世瀚吴尽昭熊玲芳; 关键词：描述逻辑知识库

虚拟机系统在计算机教学中的应用初探被引量：6: 2012年; 计算机课程种类多、工程性强,计算机实验环境配置复杂,实验要求多样,导致教师和学生花费了大量精力来准备课程、调试实验和维护实验.虚拟机系统可以非常方便地虚拟课程演示或上机实验需要的操作系统和实验环境,支持这种虚拟系统环境的导入导出,其传播和分发也非常便捷.在计算机教学中应用虚拟机系统,可以极大地降低教师的备课、调试和维护成本,可以良好地调动学生的积极性和增加其学习兴趣,是一种非常值得推广的教学方式.; 何安平; 关键词：计算机教学虚拟机系统穿插教学

全选清除导出

共1页<1>

广西壮族自治区自然科学基金(2011GXNSFA018154)