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

电子学报 2008年第11期36卷 2262-2267页

作者：谢鸿波吴远成刘一静周明天电子科技大学计算机科学与工程学院四川成都610054 重庆通信学院三系数据链教研室重庆400035 四川大学计算机学院四川成都610065

在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏... 详细信息

在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.

关键词：知识推理进程演算形式化分析安全属性

来源：评论

学校读者我要写书评

暂无评论

高扇入与／或逻辑的设计与实现

引用

重庆大学学报（自然科学版） 2008年第8期31卷 908-912页

作者：梅林张静波马安国第三军医大学医学影像系计算机教研室重庆400038 重庆大学计算机学院重庆400030 国防科技大学计算机学院并行与分布处理国家重点实验室湖南长沙410073

针对高性能浮点乘加部件中的应用需求,全定制设计了高性能52位或门和108位与门。设计中使用HSPICE工具进行电路模拟,模拟时使用CSM 0.13μm最慢工艺参数,电源电压为1.2 V,温度为25℃。根据各种实现方式的电路特性,使用相应的理论上电路... 详细信息

针对高性能浮点乘加部件中的应用需求,全定制设计了高性能52位或门和108位与门。设计中使用HSPICE工具进行电路模拟,模拟时使用CSM 0.13μm最慢工艺参数,电源电压为1.2 V,温度为25℃。根据各种实现方式的电路特性,使用相应的理论上电路最大延时的输入激励进行模拟,输入激励的频率为1.25 GHz,斜率为输入激励周期的10%。输出延时是每个输入周期中输入电压的50%到输出电压的50%之间的时间,最大延时是所有输入数据中的最长延时。根据不同的逻辑类型,设计实现了5种52位或门;选取了静态互补CMOS逻辑、np-CMOS逻辑两种直接实现的108位与门,并选取了多米诺逻辑间接实现方式。对比模拟结果可以得到,全定制设计实现的52位或门和108位与门在速度、功耗和面积方面都具有较优的综合性能。

关键词：高扇入与/A逻辑全定制静态逻辑动态逻辑

来源：评论

学校读者我要写书评

暂无评论

分布式入侵检测系统中协作代理的设计

引用

微计算机信息 2008年第3期24卷 80-82页

作者：朱浩周莲英南通大学计算机科学与技术学院网络教研室江苏大学计算机科学与通信工程学院

本文提出了基于代理的域内分层、域间对等的分布式入侵检测系统模型,该模型中协作代理是关键部件。本文重点阐述了原型系统中协作代理的模块设计和安全通信机制。

关键词：协作代理分布式入侵检测系统

来源：评论

学校读者我要写书评

暂无评论

利用内部类及匿名类优化Java程序代码

引用

科技信息 2009年第35期 883-883页

作者：王田林泉重庆大学计算机学院中国人民解放军第三军医大学生物医学工程及医学影像学院计算机教研室

内部类是定义在其他类内部的类,它有静态内部类与非静态内部类两种。内部类可以访问外部类的成员,但外部类不能直接访问内部类的成员。由内部类可以引申出匿名内部类,匿名内部类可以极大提高编程效率,改善程序的可读性。

关键词：内部类内部匿名类外部类

来源：评论

学校读者我要写书评

暂无评论

校园网内IP地址盗用技术及防范措施

引用

电脑知识与技术 2009年第13期

作者：王田宋文强第三军医大学生物医学工程及医学影像学院计算机教研室　　重庆　　（400038）

IP地址盗用行为是目前校园网管理所面对的一大难题.该文以IP地址盗用的概念及常见盗用方法为出发点,着重介绍了如何针对不同的盗用方式实施有效的防范措施,并对各种防盗措施进行了适用性分析.

关键词：校园网 IP地址盗用技术防范技术

来源：评论

学校读者我要写书评

暂无评论

浅谈Flash从外部容器获取数据的途径及方法

引用

科技资讯 2009年第7期7卷 24-24页

作者：王田第三军医大学生物医学工程及医学影像学院计算机教研室重庆400038

Flash即可以作为一个独立的Flash应用程序而存在,也可以被嵌套在网页或应用程序等外部容器中。该文从通信原理入手,阐述了Flash从外部容器获取数据通信的途径及方法,并分别做了优缺点分析和比较。

关键词： Flash 数据通信 loadVariables 外部API

来源：评论

学校读者我要写书评

暂无评论

基于图算法的二元组合文法分析

引用

计算机应用 2008年第7期28卷 1668-1671页

作者：张玉艳杨潇黄国栋侯金奎潍坊学院计算机与通信工程学院山东潍坊261061 山东大学计算机科学与技术学院济南250101 中国人民解放军防化指挥工程学院计算机教研室北京102205

为解决二元组合文法(BCG)的算符优先计算分析中不能共享分析树空间的问题,并降低分析算法的空间花费以提高分析效率,提出了一种基于图算法的BCG分析方法。该方法以表格方式存储分析过程中产生的所有边,分析完成后根据边的跨度构造分析树... 详细信息

为解决二元组合文法(BCG)的算符优先计算分析中不能共享分析树空间的问题,并降低分析算法的空间花费以提高分析效率,提出了一种基于图算法的BCG分析方法。该方法以表格方式存储分析过程中产生的所有边,分析完成后根据边的跨度构造分析树,从而使边不再局限于某一特定分析树中,再根据BCG文法的特性实现分析过程中的剪枝。实验结果表明,该方法在花费的时间、产生边的数量和最终结果树的数量上都明显低于传统的图算法和基于算符优先的算法。

关键词：图算法二元组合文法句法分析自然语言处理

来源：评论

学校读者我要写书评

暂无评论

P2P通信技术的研究

引用

科技信息(学术研究) 2008年第15期 528-528页

作者：李芳重庆大学计算机学院重庆通信学院地管部网络与信息安全教研室

本文详细阐述了P2P通信技术的发展和应用,分析并比较了P2P通信技术的优势和劣势。同时对P2P最新技术的安全和发展趋势进行了展望。

关键词： P2P 安全

来源：评论

学校读者我要写书评

暂无评论

基于RFID技术的出租车调度管理系统

引用

电脑知识与技术 2008年第11期3卷 898-899页

作者：陈国靖杨华丽重庆通信学院计算机科学与技术教研室四川重庆400035

本文综合数字化城市交通建设方案及RFID技术，提出了一种基于RFID技术的出租车调度管理系统，阐述了系统的组成结构和工作原理，并详细介绍了系统的软硬件设计与实现。该系统对于合理地调度和管理出租车具有一定的实用性。

关键词： RFID技术调度管理系统

来源：评论

学校读者我要写书评

暂无评论

嵌入式超载监控记录仪的USB通信

引用

起重运输机械 2008年第1期 41-42页

作者：田微中南民族大学计算机科学学院自动化教研室

超载监控记录仪在对起重机监控的同时,会将起重机每次的运行状况也记录在案。如何将这些记录起重机运行状况的大量数据(1个月至2个月)从记录仪中导出,并对这些数做出分析,以确定起重机的每次运行是否在安全范围以内,成为完善记录仪管理... 详细信息

超载监控记录仪在对起重机监控的同时,会将起重机每次的运行状况也记录在案。如何将这些记录起重机运行状况的大量数据(1个月至2个月)从记录仪中导出,并对这些数做出分析,以确定起重机的每次运行是否在安全范围以内,成为完善记录仪管理和统计能力的重要问题,在此,采用USB通信方案,利用USB接口将记录仪的历史数据转存至U盘,然后将U盘数据导入已安装好专用上位机软件的微机中,最终由上位机软件对此数据做出统筹分析。1硬件设计超载监控记录仪的总体系统硬件结构框图如图1所示,由2部分组成:一个与传感器相连,用于采集重量的前端变送器;一个用于参数修改设置和数据存储管理的监控记录仪。图1系统硬件结构框图在数据转存方面,采用USB通信,将记录仪的月历史数据转存至U盘,在USB通信方面,选用CH375USB通信模块。该模块在与主控芯片通信上有2种方式:串口通信和并口通信,由于本系统的主控芯片(LPC2138)引脚资源有限,特采用了串口通信方式与CH375USB通信。1.1采用USB接口向U盘下载数据的优点(1)简单易行无需另置电缆(通信线),管理人员仅用一个U盘,便可定期载下所有起重机的运行数据,且携带方便;(2)可以热插拔在下载数据...

关键词： USB通信记录仪监控超载嵌入式上位机软件 USB接口起重机

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：