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

作品数：9被引量：17H指数：3
导出分析报告
相关作者：吴尽昭卢道设熊玲芳杨世瀚沈强更多>>
相关机构：广西民族大学中国科学院成都计算机应用研究所中国科学院北京交通大学更多>>
相关期刊：《计算机与数字工程》《Chinese Journal of Electronics》《计算机应用与软件》《计算机应用研究》更多>>
相关主题：描述逻辑EQUIVALENCE互模拟穿插教学虚拟机系统更多>>
相关领域：自动化与计算机技术文化科学自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Approximate Reachability and Bisimulation Equivalences for Transition Systems被引量：1
《Transactions of Tianjin University》2016年第1期19-23,共5页王超 吴尽昭 谭红艳 付军 
Supported by the National Natural Science Foundation of China(No.11371003 and No.11461006);the Natural Science Foundation of Guangxi(No.2011GXNSFA018154 and No.2012GXNSFGA060003)
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 framewor...
关键词：approximate equivalence REACHABILITY BISIMULATION transition system 
基于Seal演算的分布式系统安全模型
《计算机科学》2015年第7期178-181,共4页黄勇 吴尽昭 
国家自然科学基金(11371003;11461006);广西自然科学基金(2011GXNSFA018154);广西高等学校优秀人才资助计划项目(桂教人[2011]40号);广西高校科学技术研究重点项目(2013ZD021);广西可信软件重点实验室开放课题(kx201122)资助
针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出一种无干扰安全模型,其可以方便地刻画不同的安全性质。为满足...
关键词：分布式系统 SEAL演算 位置互模拟 安全模型 
Revised Singleton Failures Equivalence for Labelled Transition Systems被引量：1
《Chinese Journal of Electronics》2015年第3期498-501,共4页WANG Chao WU Jinzhao TAN Hongyan 
supported by the National Natural Science Foundation of China(No.11371003,No.11461006);the Natural Science Foundation of Guangxi(No.2011GXNSFA018154,No.2012GXNSFGA060003);the Science and Technology Foundation of Guangxi(No.10169-1);the Scientific Research Project from Guangxi Education Department(No.201012MS274);Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(No.HCIC201301)
Based on previous researches, the set of all traces and Singleton failures(SF) pairs is used to characterize SF equivalence. Since the trace information can not be obtained from the SF information, the set of all SF p...
关键词：SINGLETON FAILURES EQUIVALENCE LABELLED TRANSITION SYSTEMS 
一种基于路径的快速均值偏移算法
《计算机应用与软件》2013年第12期1-3,11,共4页康青杨 吴尽昭 沈强 赵志军 
国家自然科学基金项目(60873118;60973147);中国博士后科学基金项目(20100470568);江苏省省科技型企业技术创新资金项目(BC2011040);广西混杂计算与集成电路设计分析重点实验室开放基金项目(HCIC201101);广西自然科学基金项目(2011GXNSFA018154);广西区主席科技资金项目(10169-1);广西教育厅科研资助项目(201012MS274)
均值偏移算法是一种统计迭代算法,因为其具备良好的鲁棒性,所以被广泛地应用于计算机视觉与模式识别等领域。然而该算法因计算量大、收敛速度慢而无法适用于一些对实时性要求较高、资源受限的场合。提出一种改进的迭代算法,该迭代算法...
关键词：迭代路径 均值偏移 图像分割 聚类分析 
线性半代数变迁系统的近似互模拟等价被引量：1
《吉林大学学报（工学版）》2013年第4期1052-1058,共7页邓辉 吴尽昭 
国家自然科学基金项目(60973147;60873118);高等学校博士学科点专项科研基金项目(20090009110006);广西自然科学基金项目(2011GXNSFA018154);广西壮族自治区主席科技基金项目(10169-1);广西教育厅科研项目(201012MS274)
针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简化软件程序结构,采用特征列的方法,提出了基于线性半代数系统共同零点的互模拟等价概念及计算方法。但在...
关键词：计算机软件 近似互模拟 线性半代数变迁系统 特征列 奇异值分解 并发通信程序 
一种蜂窝基站的迭代加权质心定位算法被引量：3
《计算机应用与软件》2013年第7期1-3,61,共4页张飞虎 吴尽昭 沈强 田一姝 
国家自然科学基金项目(60873118;60973147);广西自然科学基金项目(2011GXNSFA018154);广西混杂计算与集成电路设计分析重点实验室开放基金项目(HCIC201101);新一代宽带无线移动通信网科技重大专项(2012ZX03005007);中国博士后科学基金项目(20100470568)
在蜂窝系统中,信号受多径传播和非视距传播等因素影响,导致基于距离的GPRS定位的精度难以提高。针对该问题,提出一种基于多个基站的GPRS定位算法,它综合考虑了蜂窝网络中基站的分布特征和移动台接收的信号强度。在对孤立基站的有效性进...
关键词：多基站 移动台定位 加权质心 最近基站 异常点检测 
城市智能交通系统知识库的综合推理被引量：1
《计算机与数字工程》2013年第2期214-217,共4页熊玲芳 杨世瀚 吴尽昭 卢道设 
国家自然科学基金(编号:60973147);广西自然科学基金(编号:2011GXNSFA018154);广西教育厅科研资助项目(编号:201012MS274);中国科学院2010年度"西部之光"人才培养计划项目"数字科技文献资源语义元数据自动获取"资助
城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知...
关键词：公共交通知识库 描述逻辑 TABLEAU算法 信息查询 
基于描述逻辑的组合知识库推理被引量：5
《计算机应用研究》2012年第12期4503-4506,4511,共5页卢道设 杨世瀚 吴尽昭 熊玲芳 
国家自然科学基金资助项目(60973147);广西自然科学基金资助项目(2011GXNSFA018154);广西自然科学基金创新研究团队资助项目(2012JJGAG0002);广西教育厅科研资助项目(201012MS274);中国科学院2010年度"西部之光"人才培养计划资助项目;广西混杂计算与IC设计分析重点实验室开放基金资助项目(HCIC201110)
由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及...
关键词：描述逻辑 推理 相似 跨领域 知识库 
虚拟机系统在计算机教学中的应用初探被引量：6
《广西民族大学学报（自然科学版）》2012年第2期94-97,共4页何安平 
国家自然科学基金(60873118;60973147);教育部博士点基金(20090009110006);广西自然科学基金(2011GXNSFA018154);广西区主席科技资金(10169-1);广西教育厅科研资助项目(201012MS274)
计算机课程种类多、工程性强,计算机实验环境配置复杂,实验要求多样,导致教师和学生花费了大量精力来准备课程、调试实验和维护实验.虚拟机系统可以非常方便地虚拟课程演示或上机实验需要的操作系统和实验环境,支持这种虚拟系统环境的...
关键词：计算机教学 虚拟机系统 寄生操作系统 虚拟系统环境 穿插教学 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部