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

计算机科学 2009年第8期36卷 153-157页

作者：骆翔宇陈艳古天龙董荣胜桂林电子科技大学计算机与控制学院桂林541004

传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,... 详细信息

传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范的验证,这是这3个模型检测工具所不具备的。

关键词：模型检测时态认知逻辑多智能体系统 Web服务

来源：评论

学校读者我要写书评

暂无评论

基于网格的远程教育资源共享研究

引用

中国远程教育 2007年第11S期 69-72页

作者：雷领红黄文明朱英广西桂林电子科技大学计算机与控制学院

网格技术已经成为当前国际计算机技术研究的热点和前沿领域,随着其不断发展完善,必然会推动远程教育的发展。本文阐述了网格技术的概念及其发展情况,分析了现代远程教育的发展现状、存在的问题、应用网格技术的优势,研究了教育网格资源... 详细信息

网格技术已经成为当前国际计算机技术研究的热点和前沿领域,随着其不断发展完善,必然会推动远程教育的发展。本文阐述了网格技术的概念及其发展情况,分析了现代远程教育的发展现状、存在的问题、应用网格技术的优势,研究了教育网格资源共享环境,最后讨论了一个基于网格技术的教育资源共享模型。

关键词：网格现代远程教育教育网格资源共享

来源：评论

学校读者我要写书评

暂无评论

A位元素非化学计量Bi_(0.5)(Na,K)_(0.5)TiO_3-BiFeO_3压电陶瓷

引用

硅酸盐学报 2009年第9期37卷 1464-1468页

作者：周昌荣刘心宇杨桂华江民红桂林电子科技大学广西信息材料重点实验室广西桂林541004 桂林工学院电子与计算机系广西桂林541004

采用传统陶瓷制备方法,制备了A位元素非化学计量无铅压电陶瓷0.79(Bi0.5Na0.5)tTiO3–0.18(Bi0.5K0.5)tTiO3–0.03BitFeO3(t=0.95～1.05)。研究了A位元素非化学计量对该体系陶瓷微观结构、压电性能的影响,同时通过测量不同外加应力下压... 详细信息

采用传统陶瓷制备方法,制备了A位元素非化学计量无铅压电陶瓷0.79(Bi0.5Na0.5)tTiO3–0.18(Bi0.5K0.5)tTiO3–0.03BitFeO3(t=0.95～1.05)。研究了A位元素非化学计量对该体系陶瓷微观结构、压电性能的影响,同时通过测量不同外加应力下压电应变常数(d33),研究了影响d33和径向机电耦合系数(kp)的不同机理。结果表明:A位元素缺乏较多时,析出第二相。kp随A位元素过量与不足的增加而减少,d33随A位元素过量的增加基本不变,随A位元素不足的增加而减少。采用极化相位角(θmax)衡量陶瓷极化程度,发现kp随θmax增加而增加,d33随θmax增加变化不明显。d33在低于临界应力时基本不变,当应力高于临界应力后,随应力增加而下降。压电陶瓷中的应力场对畴壁运动与弹性偶极子的作用是影响d33的作用机理之一。

关键词：钛酸铋钠非化学计量压电性能极化相位角

来源：评论

学校读者我要写书评

暂无评论

基于集成技术的三维焊缝检测传感器设计

引用

传感器与微系统 2008年第3期27卷 86-88,91页

作者：郑双朱名日王悦徐明桂林工学院电子与计算机系广西桂林541004 桂林电子科技大学计算机系广西桂林541004

设计了一种基于集成技术的三维焊缝检测传感器。为解决焊接加工自动化过程中三维焊缝的跟踪检测,将GMR焊枪悬浮高度传感器、焊缝检测传感器以及相应的微处理器有机结合并集成,从而使传感器实现小型化、智能化。针对焊接过程的非线性、... 详细信息

设计了一种基于集成技术的三维焊缝检测传感器。为解决焊接加工自动化过程中三维焊缝的跟踪检测,将GMR焊枪悬浮高度传感器、焊缝检测传感器以及相应的微处理器有机结合并集成,从而使传感器实现小型化、智能化。针对焊接过程的非线性、多变性以及易受焊疤等干扰源干扰等问题,采用了智能控制策略实现三维焊缝检测,减小焊缝检测的盲区范围。实验结果表明:该传感器能够检测出空间三维焊缝,且焊缝跟踪精度高,达到了设计要求。

关键词：三维焊缝检测集成化智能控制策略

来源：评论

学校读者我要写书评

暂无评论

新型无铅压电陶瓷Bi_(0.5)(Na_(0.82)K_(0.18))_(0.5)Ti_O3-LiNbO_3的研究

引用

航空材料学报 2009年第4期29卷 94-97页

作者：周昌荣刘心宇杨桂华袁昌来杨华斌桂林电子科技大学广西信息材料重点实验室广西桂林541004 桂林工学院电子与计算机系广西桂林541004

采用传统陶瓷制备方法制备了一种新型无铅压电陶瓷材料(1-x)Bi0.5(Na0.82K0.18)0.5TiO3-xLiNbO3(BNKT-LNx)。研究了LiNbO3对BNKT-LNx陶瓷晶体结构、显微组织和压电性能的影响。结果表明:在所研究的组成范围内陶瓷材料均能够形成纯钙钛... 详细信息

采用传统陶瓷制备方法制备了一种新型无铅压电陶瓷材料(1-x)Bi0.5(Na0.82K0.18)0.5TiO3-xLiNbO3(BNKT-LNx)。研究了LiNbO3对BNKT-LNx陶瓷晶体结构、显微组织和压电性能的影响。结果表明:在所研究的组成范围内陶瓷材料均能够形成纯钙钛矿固溶体,LiNbO3促进陶瓷晶粒生长。陶瓷介电温谱存在两个反常峰,随LiNbO3含量增加低温反常峰向低温移动,εm降低,介电弥散相变特征越明显。在x=0.01时该体系陶瓷压电性能达到最大值:d33=195 pC/N,kp=0.336。

关键词：钛酸铋钠无铅压电陶瓷钙钛矿结构弥散相变

来源：评论

学校读者我要写书评

暂无评论

基于C8051F021的焊缝检测通道设计

引用

微计算机信息 2007年第5Z期23卷 124-125页

作者：李华朱名日桂林工学院电子与计算机系桂林电子科技大学计算机系

为了解决在焊缝检测过程中,传感器拾取信号的处理问题。本文提出以SOC(systemonchip,片上系统)的C8051F021为基础,采用时间触发器分时处理焊缝和GMR(Giant Magneto Resistive,巨磁阻)焊枪悬浮高度传感器等信息,设计出焊缝的自动焊接检... 详细信息

为了解决在焊缝检测过程中,传感器拾取信号的处理问题。本文提出以SOC(systemonchip,片上系统)的C8051F021为基础,采用时间触发器分时处理焊缝和GMR(Giant Magneto Resistive,巨磁阻)焊枪悬浮高度传感器等信息,设计出焊缝的自动焊接检测通道。经试验表明,这些电路抗干扰能力强、实时性好,其采样精度完全满足控制系统的要求。具有很好的实用价值。

关键词： C8051F021 GMR 焊缝检测时间触发器

来源：评论

学校读者我要写书评

暂无评论

一种安全的LEACH路由算法

引用

计算机工程 2011年第3期37卷 140-142,148页

作者：庞飞林科黄廷磊桂林电子科技大学计算机与控制学院广西桂林541004

在研究低功耗自适应集簇分层型路由协议的基础上,从路由安全的攻防角度入手,分析现有各种路由攻击手段的原理、特点及危害,提出一种基于身份认证的密钥协商安全防范密钥管理对策,同时利用秘密共享技术防范关键点攻击,为无线传感器网络... 详细信息

在研究低功耗自适应集簇分层型路由协议的基础上,从路由安全的攻防角度入手,分析现有各种路由攻击手段的原理、特点及危害,提出一种基于身份认证的密钥协商安全防范密钥管理对策,同时利用秘密共享技术防范关键点攻击,为无线传感器网络安全路由的设计与实现提供一个可行的方案。

关键词：无线传感器网络身份认证密钥协商密钥管理秘密共享

来源：评论

学校读者我要写书评

暂无评论

基于D-S证据理论的动态入侵取证

引用

计算机应用 2007年第B12期27卷 148-149,153页

作者：张瑞霞桂林电子科技大学计算机与控制学院广西桂林541004

融合各个方面的犯罪证据成为计算机取证研究的一个主要内容。针对静态取证缺乏及时性、不连续性和不充分性等缺陷,提出了一个基于D-S证据理论的动态入侵取证模型,并给出实现的方法。介绍了反馈机制和证据链模块的设计,验证了收集证据的... 详细信息

融合各个方面的犯罪证据成为计算机取证研究的一个主要内容。针对静态取证缺乏及时性、不连续性和不充分性等缺陷,提出了一个基于D-S证据理论的动态入侵取证模型,并给出实现的方法。介绍了反馈机制和证据链模块的设计,验证了收集证据的高效性及收集过程的及时性和能动性。

关键词：动态计算机取证 D-S证据理论数据融合

来源：评论

学校读者我要写书评

暂无评论

B位(Mg_(1/3)Ta_(2/3))^(4+)置换对新型Sr基(Sr,Nd,Ca)TiO_3微波陶瓷结构及介电性能的影响

引用

无机材料学报 2017年第3期32卷 293-298页

作者：屈婧婧魏星宋小辉袁昌来刘飞桂林航天工业学院计算机科学与工程系桂林541004 桂林电子科技大学材料科学与工程学院桂林541004 桂林电子科技大学机电工程学院桂林541004

采用固相反应法合成了(Sr_(0.2)Nd_(0.208)Ca_(0.488))Ti_(1-x)(Mg_(1/3)Ta_(2/3))_xO_3(0.2≤x≤0.5,SNCTMTx)系微波介质陶瓷,分析了SNCTMTx(0.2≤x≤0.5)陶瓷的相组成、显微结构、烧结特性和微波介电性能之间的关系。XRD晶体结构分析表明:当x=0.2时,SNCTMTx陶瓷为单一正交钙钛矿结构,当x值增为0.3~0.5时,陶瓷体呈现正交钙钛矿相、SrO与未知相多相共存状态。随着(Mg_(1/3)Ta_(2/3))^(4+)含量的增加,体系中第二相的出现及含量的改变导致εr先增后减,而Q×f值出现先降后升的原因是B位离子1:2有序度的出现与范围的增加抑制了第二相进一步恶化品质因子;此外,τf逐渐向近零方向偏移与氧八面体的畸变程度密切相关。当x=0.5时,在1530℃烧结4 h得到的SNCTMTx陶瓷微波介电性能较优:ε_r=55.3,Q×f≈7400 GHz,τf≈23.6×10^(–6)/℃。

关键词：钙钛矿 (Mg1/3Ta2/3)4+ 微波介电性能 (Sr0.2Nd0.208Ca0.488)TiO3

来源：评论

学校读者我要写书评

暂无评论

一种线性时间检测器生成算法的改进算法

引用

计算机工程与应用 2008年第12期44卷 57-59,74页

作者：范晓峰蒋华鲁骏桂林电子科技大学计算机与控制学院广西桂林541004

在介绍人工免疫系统基本概念的基础上,讨论了人工免疫系统中应用广泛的负选择模型。研究的重点是负选择模型中初始检测器集的生成算法,对线性检测器生成算法进行了改进。改进算法从两个方向分别构造数组C和C′,并做叉乘得到D数组,使产... 详细信息

在介绍人工免疫系统基本概念的基础上,讨论了人工免疫系统中应用广泛的负选择模型。研究的重点是负选择模型中初始检测器集的生成算法,对线性检测器生成算法进行了改进。改进算法从两个方向分别构造数组C和C′,并做叉乘得到D数组,使产生的检测器能够匹配更多的"非我"字符串,去除冗余检测器缩小了检测器集的规模,包括算法的设计、性能分析和实验。理论分析与实验结果表明,改进算法降低了检测器规模,漏检概率Pf有较大下降。

关键词：人工免疫系统负选择模型检测器生成算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：