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

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的作用机理之一。

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

来源：评论

学校读者我要写书评

暂无评论

新型无铅压电陶瓷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。

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

来源：评论

学校读者我要写书评

暂无评论

铋基无铅压电陶瓷Bi_(0.5)(Na_(0.82)K_(0.18))_(0.5)TiO_3-BiCrO_3的微观组织与电性能

引用

中国有色金属学报 2009年第7期19卷 1289-1293页

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

采用传统陶瓷制备方法,制备一种新型无铅压电陶瓷(1-x)Bi0.5(Na0.82K0.18)0.5TiO3-xBiCrO3(BNKT-BCx)。研究Bi基铁电体BiCrO3对BNKT-BCx陶瓷晶体结构和压电介电性能的影响。结果表明:在所研究的组成范围内,陶瓷材料的主体结构为纯钙钛... 详细信息

采用传统陶瓷制备方法,制备一种新型无铅压电陶瓷(1-x)Bi0.5(Na0.82K0.18)0.5TiO3-xBiCrO3(BNKT-BCx)。研究Bi基铁电体BiCrO3对BNKT-BCx陶瓷晶体结构和压电介电性能的影响。结果表明:在所研究的组成范围内,陶瓷材料的主体结构为纯钙钛矿固溶体,微量BiCrO3(x=0～0.02,摩尔分数)不改变陶瓷的晶体结构;当BiCrO3含量x>0.02时,晶体结构由三方、四方共存转变为伪立方结构,并出现明显的第二相;当x=0.015时,d33=168pC/N;当x=0.01时,kp=0.32,为该体系压电性能的最大值;随BiCrO3含量的增加,陶瓷的低温介电反常峰向低温移动,高温介电反常峰向高温移动,反铁电相区域增加,弥散指数增加。

关键词：钛酸铋钠无铅压电陶瓷压电性能钙钛矿结构

来源：评论

学校读者我要写书评

暂无评论

极化对Bi基压电陶瓷BNT-BKT-BiFeO_3介电特性的影响

引用

四川大学学报（工程科学版） 2009年第2期41卷 150-154页

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

为了改善无铅压电陶瓷介电性能,采用传统陶瓷制备方法,制备一种新型Bi基钙钛矿型三元系无铅压电陶瓷(1-x-y)BNT-xBKT-yBiFeO3,并研究极化对该体系陶瓷介电性能的影响以及介电性能随频率的变化规律。结果表明:极化后的介电常数和介电损... 详细信息

为了改善无铅压电陶瓷介电性能,采用传统陶瓷制备方法,制备一种新型Bi基钙钛矿型三元系无铅压电陶瓷(1-x-y)BNT-xBKT-yBiFeO3,并研究极化对该体系陶瓷介电性能的影响以及介电性能随频率的变化规律。结果表明:极化后的介电常数和介电损耗低于极化前。极化前的介电常数和介电损耗随BiFeO3含量的增加变化不明显,极化后的介电常数和介电损耗随BiFeO3含量的增加而增加。极化前和极化后的介电常数和介电损耗随BKT含量的增加而增加。介电常数和介电损耗随频率增加分别降低和增加,但降低和增加速率随频率增加而降低。

关键词：钛酸铋钠介电性能钙钛矿结构铁电体

来源：评论

学校读者我要写书评

暂无评论

42轮SHACAL-2新的相关密钥矩形攻击

引用

通信学报 2009年第1期30卷 7-11,17页

作者：韦永壮胡予濮西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 桂林电子科技大学信息与通信学院广西桂林541004

利用SHACAL-2密码算法轮变换的特点,构造了一个新型的34轮区分器。基于该区分器和部分密钥分别猜测的技术,针对40轮、42轮简化SHACAL-2分别给出了新的攻击方法。研究结果表明:利用2个相关密钥,对40轮SHACAL-2进行相关密钥矩形攻击其数... 详细信息

利用SHACAL-2密码算法轮变换的特点,构造了一个新型的34轮区分器。基于该区分器和部分密钥分别猜测的技术,针对40轮、42轮简化SHACAL-2分别给出了新的攻击方法。研究结果表明:利用2个相关密钥,对40轮SHACAL-2进行相关密钥矩形攻击其数据复杂度约为2235选择明文数据量,计算复杂度约为2432.6次加密;而对42轮SHACAL-2进行相关密钥矩形攻击其数据复杂度约为2235选择明文数据量,计算复杂度约为2472.6次加密。与已有的结果相比较,这些新分析所需的数据复杂度和计算复杂度均有明显的降低。

关键词：分组密码相关密钥矩形攻击 SHACAL-2算法计算复杂度

来源：评论

学校读者我要写书评

暂无评论

基于一阶混杂Petri网的柔性制造系统粗糙控制

引用

控制与决策 2009年第3期24卷 365-370页

作者：廖伟志古天龙元昌安赵岭忠西安电子科技大学电子工程学院西安710071 广西师范学院信息技术系南宁530001 桂林电子科技大学计算机系广西桂林541004

研究基于一阶混杂Petri网模型的柔性制造系统粗糙控制.为构造正确的一阶混杂Petri网模型行为演变图,提出了确定改变Macro状态事件的新方法;进而给出了柔性制造系统优化与控制算法,并基于粗糙集合理论和所给出的算法,提出了柔性制造系统... 详细信息

研究基于一阶混杂Petri网模型的柔性制造系统粗糙控制.为构造正确的一阶混杂Petri网模型行为演变图,提出了确定改变Macro状态事件的新方法;进而给出了柔性制造系统优化与控制算法,并基于粗糙集合理论和所给出的算法,提出了柔性制造系统的粗糙控制方法.最后通过一个实例验证了该方法的有效性.

关键词：一阶混杂Petri网柔性制造系统粗糙集粗糙控制

来源：评论

学校读者我要写书评

暂无评论

生产时间可变间歇过程的Petri网模型及其调度

引用

计算机集成制造系统 2009年第1期15卷 109-116页

作者：廖伟志古天龙蔡国永西安电子科技大学电子工程学院陕西西安710071 广西师范学院信息技术系广西南宁530001 桂林电子科技大学计算机与控制学院广西桂林541004

讨论了生产时间可变的多产品间歇过程的最优调度问题,给出了间歇过程在复杂中间的无限存储策略、有限存储策略、无中间存储策略和混杂存储策略下p-时间Petri网模型的描述方法,进而给出了基于可行调度集和修正分枝界定的间歇过程最短生... 详细信息

讨论了生产时间可变的多产品间歇过程的最优调度问题,给出了间歇过程在复杂中间的无限存储策略、有限存储策略、无中间存储策略和混杂存储策略下p-时间Petri网模型的描述方法,进而给出了基于可行调度集和修正分枝界定的间歇过程最短生产时间的最优调度算法。该算法利用一间歇过程最短生产时间不大于另一间歇过程最短生产时间的条件,有效地限制了对解空间的搜索,进而改善了算法的计算性能。仿真算例表明了所述方法的有效性。

关键词：离散事件系统间歇过程调度 Petri网仿真

来源：评论

学校读者我要写书评

暂无评论

基于计算解语义的逻辑程序测试和调试框架

引用

计算机科学 2009年第9期36卷 115-121页

作者：赵岭忠廖伟志钱俊彦古天龙桂林电子科技大学计算机与控制学院桂林541004 广西师范学院信息技术系南宁530023

逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互。减少对调试过程不必要的调用能够提高软件开发的效率。程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一... 详细信息

逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互。减少对调试过程不必要的调用能够提高软件开发的效率。程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一。给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用。然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用。

关键词：测试调试逻辑程序计算解语义

来源：评论

学校读者我要写书评

暂无评论

有界模型检测的优化

引用

软件学报 2009年第8期20卷 2005-2014页

作者：杨晋吉苏开乐骆翔宇林瀚肖茵茵华南师范大学计算机学院广东广州510631 中山大学信息科学与技术学院广东广州510275 北京大学信息科学技术学院北京100871 桂林电子科技大学计算机与控制学院广西桂林541004

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-... 详细信息

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.

关键词：模型检测有界模型检测可满足性问题模态算子递推公式

来源：评论

学校读者我要写书评

暂无评论

区间速率连续Petri网的模糊模型

引用

计算机科学 2009年第2期36卷 234-237页

作者：廖伟志彭月英古天龙广西师范学院信息技术系南宁530001 桂林电子科技大学计算机系桂林541004

为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述... 详细信息

为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri网的模糊控制的可行性。

关键词：区间速率连续Petri网模糊逻辑模糊控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：