检索结果-内蒙古大学图书馆

智能系统学报 2014年第6期9卷 714-722页

作者：朱创营常亮徐周波李凤英桂林电子科技大学广西可信软件重点实验室广西桂林541004

时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该文在ALC-LTL中进一步引入合取查询,增强ALC-LTL公式的描述能力,并在此基础上给出了含有合取查询的时态描... 详细信息

时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该文在ALC-LTL中进一步引入合取查询,增强ALC-LTL公式的描述能力,并在此基础上给出了含有合取查询的时态描述逻辑模型检测算法。模型检测算法由3个步骤组成:首先,根据时态规范中涉及的合取查询从描述逻辑的角度在系统状态中进行推理和检索,求出满足合取查询的所有实例;其次,将这些实例映射为命题并带入时态规范中,将含有合取查询的ALC-LTL模型检测问题转换为命题LTL的模型检测问题;最后调用LTL的模型检测算法完成规范验证。该工作从描述逻辑的角度对传统的命题线性时态逻辑的模型检测问题进行了扩展,适合于在语义Web环境下对语义Web等动态系统的时态性质进行刻画和验证。

关键词：线性时态描述逻辑模型检测合取查询语义Web

来源：评论

学校读者我要写书评

暂无评论

矩阵有理标准形的性质研究及其应用

引用

大学数学 2015年第2期31卷 76-83页

作者：李绍刚桂林电子科技大学数学与计算科学学院广西密码学与信息安全重点实验室广西桂林541004

研究了矩阵的有理标准形理论,给出了友矩阵的主要性质和判断其相似对角化的条件,证明了线性定常系统的能控性,研究了伪随机数的生成过程和周期性,并对其在自动控制和计算机科学领域的应用做了一定的解读,最后用实例验证系统的有效性.

关键词：友矩阵有理标准形状态方程能控系统伪随机数

来源：评论

学校读者我要写书评

暂无评论

基于SQLite和SVF的边界扫描测试生成设计

引用

计算机测量与控制 2015年第10期23卷 3304-3306页

作者：陈寿宏侯杏娜陈林艳颜学龙桂林电子科技大学电子工程与自动化学院广西自动检测技术与仪器重点实验室广西桂林541004

针对边界扫描中的测试生成问题,研究了一种SVF文件解析器;通过解析SVF文件,生成符合JTAG时序的测试信号,包括TCK、TMS、TDI以及预期的TDO值,这些测试信号可直接与被测系统相连,控制边界扫描测试过程;为方便查找与参数信息共享,将编译信... 详细信息

针对边界扫描中的测试生成问题,研究了一种SVF文件解析器;通过解析SVF文件,生成符合JTAG时序的测试信号,包括TCK、TMS、TDI以及预期的TDO值,这些测试信号可直接与被测系统相连,控制边界扫描测试过程;为方便查找与参数信息共享,将编译信息分类存入嵌入式开源SQLite数据库中;最后利用CY7C68013通过并口方式验证SVF解析器产生的测试信号;验证结果表明,所设计的SVF解析器可正确解析SVF文件,产生符合JTAG时序的测试信号,符合边界扫描测试生成要求。

关键词： SQLite 边界扫描测试 SVF 测试生成

来源：评论

学校读者我要写书评

暂无评论

NoC系统测试软件设计

引用

微型机与应用 2015年第14期34卷 15-17页

作者：孙统雷万春霆桂林电子科技大学电子工程与自动化学院广西自动检测技术与仪器重点实验室广西桂林541004

随着片上网络(Network-on-Chip,NoC)技术的发展,片上网络系统的测试成为不可或缺的一部分。NoC系统的测试主要包括路由器、资源节点、互连线等的测试。传统的测试技术由于检测过程复杂、耗时、费用高、故障检测率低,不能满足高效测试的... 详细信息

随着片上网络(Network-on-Chip,NoC)技术的发展,片上网络系统的测试成为不可或缺的一部分。NoC系统的测试主要包括路由器、资源节点、互连线等的测试。传统的测试技术由于检测过程复杂、耗时、费用高、故障检测率低,不能满足高效测试的需求。针对NoC故障检测技术的需求,以Visual Studio为开发平台,采用重用资源节点与边界扫描相结合的技术,设计基于VC++的边界扫描测试系统。设计主要由计算机软件控制系统与数据转化模块组成,可完成对NoC系统的故障检测,该系统具有人机界面友好、功能全面、操作简便的优点,在NoC系统上进行测试,取得了预期效果。

关键词：片上网络故障检测数据转换通信模块 VC++

来源：评论

学校读者我要写书评

暂无评论

稳健的多基线SAR干涉相位估计

稳健的多基线SAR干涉相位估计

引用

中国测绘地理信息学会大地测量与导航专业委员会2015年学术年会

作者：谢先明桂林电子科技大学广西无线宽带通信与信号处理重点实验室广西桂林 541004

针对传统多基线合成孔径雷达干涉相位估计方法存在稳健性不高、适应性不强的问题,该文提出一种稳健的多基线合成孔径雷达干涉相位估计方法.利用最大似然频率估计准则从最短基线干涉图中提取每一复像元随基线变化频率的粗略估计值,并把... 详细信息

针对传统多基线合成孔径雷达干涉相位估计方法存在稳健性不高、适应性不强的问题,该文提出一种稳健的多基线合成孔径雷达干涉相位估计方法.利用最大似然频率估计准则从最短基线干涉图中提取每一复像元随基线变化频率的粗略估计值,并把提取的粗略频率通过共轭复乘补偿给相应的抽样复干涉信号,来降低抽样复干涉信号频率,避免了干涉基线间隔过大导致的抽样复干涉信号频谱混叠现象,从而克服了干涉基线间隔对长基线干涉相位估计精度的限制.实验结果表明,该方法不受干涉基线间隔的限制,能较为精确地获得长基线干涉相位估计值,对多基线干涉合成孔径雷达技术应用拓展以及高精度地理信息系统构建等具有参考价值.

关键词：合成孔径雷达干涉相位最大似然估计信号频率稳健性

来源：评论

学校读者我要写书评

暂无评论

基于演化博弈论的功率控制和垂直切换研究

引用

计算机研究与发展 2014年第6期51卷 1185-1198页

作者：董荣胜孙栋栋郭云川刘建明广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 中国科学院信息工程研究所北京100093

基于演化博弈论分别构建了无线资源管理中功率控制和垂直切换的形式化模型,设计了一种基于定价机制的功率控制收益函数,根据3GPP对无线通信业务的分类,将切换判决过程划分为4个不同层次,降低了切换决策的复杂性,定义了目标网络的代价函... 详细信息

基于演化博弈论分别构建了无线资源管理中功率控制和垂直切换的形式化模型,设计了一种基于定价机制的功率控制收益函数,根据3GPP对无线通信业务的分类,将切换判决过程划分为4个不同层次,降低了切换决策的复杂性,定义了目标网络的代价函数,将网络参数划分为成本型参数和收益型参数两类,并对其进行归一化处理,实现了异构网络参数比较的公平性.证明了功率控制博弈和垂直切换博弈中存在唯一的演化稳定策略,给出了基于演化博弈论的功率控制算法和垂直切换方案.仿真结果表明,给出的功率控制算法减少了网络中隐终端的数目,提高了网络容量;垂直切换方案既可以减少切换发生的频率,增加网络选择的准确性,又使运营商与用户之间的利益得到平衡.

关键词：功率控制垂直切换演化博弈论演化稳定策略定价机制

来源：评论

学校读者我要写书评

暂无评论

模糊二人零和对策的纳什均衡求解

引用

经济数学 2015年第3期32卷 36-40页

作者：安京京南江霞卜红桂林电子科技大学数学与计算科学学院广西高校数据分析与计算重点实验室广西桂林541004

用三角模糊数刻画二人零和对策支付值的不确定性,提出了计算模糊二人零和对策纳什均衡解的多目标规划方法.给出了一种基于区间数比较的三角形模糊数排序方法,根据该方法将模糊二人零和对策转化为多目标线性规划.通过一个数值实例说明了... 详细信息

用三角模糊数刻画二人零和对策支付值的不确定性,提出了计算模糊二人零和对策纳什均衡解的多目标规划方法.给出了一种基于区间数比较的三角形模糊数排序方法,根据该方法将模糊二人零和对策转化为多目标线性规划.通过一个数值实例说明了该方法的有效性和实用性.

关键词：二人零和对策三角形模糊数区间数多目标线性规划

来源：评论

学校读者我要写书评

暂无评论

MgH_2/PMMA复合储氢材料的制备及其脱氢研究

引用

电源技术 2015年第8期39卷 1668-1670,1693页

作者：李志宝孙立贤徐芬褚海亮周怀营大连化学物理研究所辽宁大连116023 桂林电子科技大学材料科学与工程学院广西新能源材料结构与性能协同创新中心广西电子信息材料构效关系重点实验室广西桂林541004

利用固相球磨和液相超声的方法合成了Mg H2/PMMA(聚甲基丙烯酸甲酯)复合储氢材料。利用扫描电镜(SEM)和X射线衍射(XRD)对其表面形貌及晶体结构进行了表征。77 K氮气吸附实验表明Mg H2/PMMA复合材料的比表面积随着PMMA复合量的增加而降... 详细信息

利用固相球磨和液相超声的方法合成了Mg H2/PMMA(聚甲基丙烯酸甲酯)复合储氢材料。利用扫描电镜(SEM)和X射线衍射(XRD)对其表面形貌及晶体结构进行了表征。77 K氮气吸附实验表明Mg H2/PMMA复合材料的比表面积随着PMMA复合量的增加而降低。通过热重分析(TG)对Mg H2/PMMA复合材料的脱氢过程进行了表征,结果显示复合材料的脱氢性能得到了提高,起始脱氢温度由420℃降低到120℃。利用热重-质谱(TG-MS)联用技术,对复合材料的脱氢产物进行了表征。

关键词： MgH2/PMMA复合材料表面形貌脱氢性能

来源：评论

学校读者我要写书评

暂无评论

Cr-MOFs/氧化石墨烯复合材料H_2及CO_2储存研究

引用

电源技术 2015年第8期39卷 1664-1667页

作者：刘双孙立贤徐芬张箭邹勇进大连化学物理研究所辽宁大连116023 桂林电子科技大学材料科学与工程学院广西新能源材料结构与性能协同创新中心广西电子信息材料构效关系重点实验室广西桂林541004

采用水热法合成了不同配比的金属有机框架化合物(metal-organic frameworks,MOFs)MIL-101和氧化石墨烯的多孔复合材料,并测试了其对氢气和二氧化碳的吸附性质。对多孔复合材料进行了X射线粉末衍射、红外光谱、热重分析和氮气吸附等一系... 详细信息

采用水热法合成了不同配比的金属有机框架化合物(metal-organic frameworks,MOFs)MIL-101和氧化石墨烯的多孔复合材料,并测试了其对氢气和二氧化碳的吸附性质。对多孔复合材料进行了X射线粉末衍射、红外光谱、热重分析和氮气吸附等一系列表征分析。复合材料与MIL-101具有相似的晶体结构和物理性质,但H2和CO2的吸附性能分别提高了3.7%和12.5%:在77 K和0.1 MPa条件下,H2的吸附量从MIL-101的1.87%(质量分数)提高到MG-2的1.94%;在273 K和0.1 MPa条件下,CO2的吸附量从MIL-101的5.43 mmol/g提高到MG-2的6.11 mmol/g。分析认为,由于多孔的MOFs材料MIL-101在氧化石墨烯表面环氧基团作用下,其晶粒尺寸得到控制且均匀分散,因此复合材料的气体吸附性能得到了显著的改善。

关键词：氧化石墨烯 MIL-101 多孔复合材料储氢二氧化碳

来源：评论

学校读者我要写书评

暂无评论

物联网技术在旅游业中的应用——以桂林为例

引用

旅游论坛 2015年第6期8卷 73-78页

作者：韦莉军翟青青谢明温颖欣周弥龙斌桂林旅游高等专科学校广西桂林541006 桂林师范高等专科学校广西桂林541001 桂林电子科技大学广西高校云计算与复杂系统重点实验室广西桂林541004

物联网技术作为信息时代应用前景十分广阔的技术,在旅游产业转型升级中起到了重要作用。桂林的旅游产业从政策到实际应用,都显示出物联网技术的重要性及广阔的应用前景。桂林地区旅游业的智慧旅游应用包括建立公共营销平台及旅游公共信... 详细信息

物联网技术作为信息时代应用前景十分广阔的技术,在旅游产业转型升级中起到了重要作用。桂林的旅游产业从政策到实际应用,都显示出物联网技术的重要性及广阔的应用前景。桂林地区旅游业的智慧旅游应用包括建立公共营销平台及旅游公共信息服务平台、开设天猫旗舰店、投放旅游公共信息智能触摸终端、研发手机APP等,目前物联网相关技术应用集中于平台开发及手机APP研发,主要利用了射频识别(RFID)、红外感应器、云计算、GIS、GPS定位等技术。通过现今桂林旅游产业中物联网技术应用案例,分析其对桂林旅游产业的影响及本身发展的不足之处,提出解决途径,为桂林未来旅游业成功升级转型提供参考。

关键词：物联网技术旅游业桂林旅游

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：