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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

和与积数迷的符号化模型检测

引用

计算机科学 2008年第5期35卷 184-186页

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

和与积是一个著名的数迷问题。采用公告逻辑对该问题进行建模,将其Kripke模型符号化表示为多智能体有限状态程序,并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解。在时态逻辑模型检测器NuSM... 详细信息

和与积是一个著名的数迷问题。采用公告逻辑对该问题进行建模,将其Kripke模型符号化表示为多智能体有限状态程序,并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解。在时态逻辑模型检测器NuSMV基础上扩展实现了本文算法,然后在相同实验平台上用动态认知建模工具DEMO对该问题进行求解。实验表明,我们的算法不仅结果正确,而且在运行效率上与DEMO相比占有绝对优势。

关键词：符号化模型检测多智能体系统时态逻辑公告逻辑

来源：评论

学校读者我要写书评

暂无评论

基于一种新型混杂Petri网的混杂系统建模与控制

引用

控制与决策 2007年第4期22卷 366-372页

作者：廖伟志古天龙西安电子科技大学电子工程学院桂林电子工业学院计算机系广西桂林541004

为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题,定义一种新的混杂Petri网模型——广义混杂Petri网,提出了相应的迁移使能和迁移引发语义.通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有... 详细信息

为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题,定义一种新的混杂Petri网模型——广义混杂Petri网,提出了相应的迁移使能和迁移引发语义.通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有效求解方法和模型行为演变分析方法.给出了广义混杂Petri网模型的混杂系统建模实例,同时结合模型行为演变和线性规划实现了混杂系统的优化控制.研究结果表明,所定义的模型描述能力更强,模型语义正确合理,能够有效描述和分析混杂系统.

关键词：混杂Petri网混杂系统建模控制瞬时引发速率

来源：评论

学校读者我要写书评

暂无评论

基于有限计算端的双向认证密钥交换协议

引用

计算机工程 2010年第2期36卷 137-140页

作者：冯静许勇桂林电子科技大学计算机与控制学院桂林541004

身份认证和密钥交换技术是保证无线通信安全的重要手段。针对非接触式智能卡的需求,提出一种基于有限计算能力的相互认证密钥交换协议。在随机预言模型下证明该协议的安全性,结果表明,该协议可有效抵抗重放攻击、中间人攻击和交错攻击,... 详细信息

身份认证和密钥交换技术是保证无线通信安全的重要手段。针对非接触式智能卡的需求,提出一种基于有限计算能力的相互认证密钥交换协议。在随机预言模型下证明该协议的安全性,结果表明,该协议可有效抵抗重放攻击、中间人攻击和交错攻击,计算量较小,实用性较高。

关键词：密钥交换身份认证随机预言模型非接触式智能卡

来源：评论

学校读者我要写书评

暂无评论

快速成形中一种自适应分层的新方法

引用

机械科学与技术 2009年第3期28卷 326-329页

作者：龙钢周满元王晓光桂林电子科技大学计算机与控制学院桂林541004

CAD模型分层是快速成形技术的最重要环节,而层片厚度计算是CAD模型分层的关键问题。在分析顶尖高度法和相邻截面面积变化率法两种典型的层片厚度计算方法原理的基础上,根据光滑曲线可由其上切线包络的原理,提出了一种基于定长切线的层... 详细信息

CAD模型分层是快速成形技术的最重要环节,而层片厚度计算是CAD模型分层的关键问题。在分析顶尖高度法和相邻截面面积变化率法两种典型的层片厚度计算方法原理的基础上,根据光滑曲线可由其上切线包络的原理,提出了一种基于定长切线的层片厚度计算方法,解决了顶尖高度法层厚计算公式太多,曲率半径ρ计算较困难,而相邻截面面积变化率法计算截面面积精度要求高,且难以找到最佳层厚的问题。根据定长切线层片厚度计算方法,给出了一种自适应分层的新方法,并通过两个实例对该自适应分层算法进行了验证,证明了算法的正确性和可行性。

关键词： CAD模型层片厚度定长切线自适应分层

来源：评论

学校读者我要写书评

暂无评论

MANET中MIX策略的分析与设计

引用

计算机工程 2008年第18期34卷 157-160页

作者：沈岚岚董荣胜桂林电子科技大学计算机与控制学院桂林541004

在MANET匿名通信中,使用加密等技术防止攻击者通过消息内容进行匿名攻击,并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。基于概率模型检测方法,该文分析几种典型的MIX输出策略在MANET中的应用。结果显示,这几种策略无法防范... 详细信息

在MANET匿名通信中,使用加密等技术防止攻击者通过消息内容进行匿名攻击,并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。基于概率模型检测方法,该文分析几种典型的MIX输出策略在MANET中的应用。结果显示,这几种策略无法防范统计暴露攻击等被动攻击,且防范攻击的能力、平均时延和开销等性能会受到移动性的影响。该文提出同步发送的MIX输出策略,能更好地防御匿名攻击,具有延迟低、受节点移动影响小的特点。

关键词：匿名通信概率模型检验 MIX策略

来源：评论

学校读者我要写书评

暂无评论

基于ECC带缓存的快速SSL握手协议

引用

计算机工程 2008年第20期34卷 170-171,174页

作者：潘晓君桂林电子科技大学计算机与控制学院桂林541004

标准安全套接层(SSL)握手协议带宽开销大且网络数据通信效率低。该文提出一种基于椭圆曲线密码体制、带缓存的快速SSL握手协议。该协议将服务器端的配置和初始会话时建立的各种协商参数存储于客户端,减少了会话协商时的通信流量。实验... 详细信息

标准安全套接层(SSL)握手协议带宽开销大且网络数据通信效率低。该文提出一种基于椭圆曲线密码体制、带缓存的快速SSL握手协议。该协议将服务器端的配置和初始会话时建立的各种协商参数存储于客户端,减少了会话协商时的通信流量。实验结果表明,使用该协议能节省约20%的网络流量,提高了文件传输效率。

关键词：快速SSL握手协议缓存密码套件带宽开销

来源：评论

学校读者我要写书评

暂无评论

基于SIPN的PLC通用编程器

引用

计算机工程 2009年第7期35卷 283-284,F0003页

作者：钟艳如洪磊桂林电子科技大学计算机与控制学院桂林541004

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释Petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息,生成统一模式的XML类... 详细信息

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序。利用信号解释Petri网对控制系统模型进行规格并将其转换成中间格式代码。抽象出不同机型PLC系统的特性信息,生成统一模式的XML类型配置文件。根据机型选择,通过PLC通用处理器提取相应配置文件,与中间格式代码链接,重组代码并生成与机型适配的可执行程序。

关键词：信号解释Petri网 PLC通用编程器配置文件 XML模式代码生成

来源：评论

学校读者我要写书评

暂无评论

基于着色Petri网的Internet电话端系统业务冲突检测

引用

计算机科学 2007年第12期34卷 41-45页

作者：郝扬古天龙桂林电子科技大学计算机与控制学院桂林541004

将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检... 详细信息

将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础。本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测。通过CPNTools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突。最后,用典型的业务实例验证了所提方法在Internet电话端系统环境中的可行性和有效性。

关键词：着色Petri网业务冲突端系统

来源：评论

学校读者我要写书评

暂无评论

无线自组网中节点协作的纳什均衡研究

引用

计算机工程 2010年第4期36卷 107-109页

作者：徐许亮董荣胜刘亮龙桂林电子科技大学计算机与控制学院桂林541004

根据自私节点的特性,提出节点协作的博弈模型。针对单阶段博弈及采取礼尚往来策略、冷酷策略、单步触发策略的重复博弈,分析并比较实现节点协作的纳什均衡条件。结果表明,单阶段博弈中自私节点的纳什均衡类似于囚徒困境,重复博弈采用礼... 详细信息

根据自私节点的特性,提出节点协作的博弈模型。针对单阶段博弈及采取礼尚往来策略、冷酷策略、单步触发策略的重复博弈,分析并比较实现节点协作的纳什均衡条件。结果表明,单阶段博弈中自私节点的纳什均衡类似于囚徒困境,重复博弈采用礼尚往来策略时,实现最佳纳什均衡的临界值最小,相比其他策略更易实现协作。

关键词：无线自组网节点协作博弈论纳什均衡

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：