可重用IP核验证方法研究

高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个方面入手,研究了当前主流的验证方法,分析各种方法的优点和存在的缺陷,并给出了建议性的解决方法。     

断言验证技术在IP核验证中的应用

随着IP核设计的复杂程度不断提高,功能验证越来越受到重视。高效的断言验证技术被广泛应用到IP核验证上来。用Verilog HDL语言实现该技术在USBIP核验证中的应用,它可以帮助在软件开发测试过程中更旱更快地发现并定位出软件中可能存在的错误,断言主要是证明在某个设计中应该为正确或从来不出现的组合属性和时序属性,在设计中是否满足要求。     

软件工程中的可重用性研究

作为用工程化方法构建和维护有效、实用和高质量的软件学科,软件工程已经成为国内外各大软件公司普遍使用的开发共识。研究软件工程的方法、工具、过程,最大限度地提高这三个方面中的可重用性是企业提高自身效率、降低开发成本、树立企业品牌的最佳途径。     

创建可重用学习对象的策略——思科公司的研究

本文主要介绍了思科公司的“可重用学习对象策略”研究,涉及可重用学习对象（RLO）与可重用信息对象（RIO）的涵义、内部结构和构建原则,可重用学习对象的创建过程与课程、章和节的结构设计。     

在学习内容管理系统中构建可重用学习对象

本文在新一代网络教育应用系统——学习内容管理系统(LCMS)的研究基础上,结合已有的网络教育技术标准,深入底层探讨可重用学习对象(RLO)在学习内容管理系统中的构建模型以及内部元素构建原则,为教学设计人员和内容开发人员提供了一套构建策略。     

可重用的学习对象及其应用策略

学习对象的数据模型是建立在学习对象元数据标准和学习对象内容包装标准之上 ,并通过可扩展标记语言 XML进行描述和绑定。本文依据远程教育的相关标准和规范 ,通过学习对象特性的分析 ,对可重用的学习对象模型进行了研究 ,重点研究了在学习对象的应用模型支持下的学习内容元数据描述标准和学习内容包装标准的整合使用 ,提出了学习对象的重用和共享的策略和方法 ,并探讨了在网络教育中的应用方法 ,同时对可重用的学习对象在网络教育应用中可能遇到的问题进行了分析。     

基于软部件的软件重用技术研究

软件重用是提高软件生产率,降低软件生产成本的有力手段,近年来在国内外都有较快的发展.本文详细讨论了基于可重用软部件的软件重用技术,给出了可重用软部件模型的定义、软部件生成过程、软部件库组织、软部件检索以及软部件重用技术,提出了三种重要的软部件库的组织方式及两种检索途径,着重阐述了软部件的重用机制及合成技术.     

弹载飞行控制软件重用技术研究

针对弹载飞行控制软件研制现状,探讨软件重用的目的、意义及技术途径;结合弹载飞行控制软件的组成和设计原则,分析可重用软件应满足的基本条件;提出一种基于领域工程的弹载飞行控制软件重用实施方法;从软件工程化要求、编码要求、软件测试要求和硬件设计要求等方面建立弹载飞行控制软件通用构件库的可重用构件选取标准。最后,用实例说明了弹载飞行控制软件重用的可操作性。     

基于Web2.0的GIS可重用组件开发模型研究

提出一种基于Web2.0及SOA理念的可重用GIS开发模型,以及基于该开发模型的开发实践。该开发模型将GIS应用开发分为两部分:一是GIS服务及控件的开发,二是基于用户需要的控件搭建开发。这种GIS开发模型能实现更轻量、更开放且可重用的GIS应用。该开发模型的核心价值在于GIS组件的可重用性以及实现终端用户的业务敏捷。     

可重用学习对象在LCMS中构建的模型设计与实现

目前大量的网上学习资源很难实现共享,不同的教育系统也难以互相沟通,同时学习资源设计开发人员在这样的背景下也很难创造出富有个性化的学习资源,这样不仅给教学设计开发人员提出了更高的要求,而且妨碍了网络教育资源的大范围共享与交流。针对上述问题,本文在新一代网络教育应用系统———学习内容管理系统的研究基础上,结合已有的网络教育技术标准,深入基层探讨可重用学习对象在学习内容管理系统中的构建模型以及内部元素构建原则,为教学设计人员和内容开发人员提供了一套构建策略,最后本文也给出了构建学习对象的基本实现方法。     

基于FPGA的液晶显示驱动IP核的设计

介绍一种基于FPGA的LCD液晶显示驱动IP核的设计。该设计采用VHDL硬件描述语言,以Altera公司的Cyclone II系列FPGA—EP2C8Q208C8芯片为载体,实现了对液晶显示的控制。结果表明,该设计是实现12864液晶显示的一种行之有效的方法,且控制灵活,可靠性高。     

一种Javacard虚拟机IP软核设计

Javacard虚拟机的性能提升对Java语言的智能卡应用具有重要意义,高性能可配置器件的出现对于将问题在硬件上解决带来了新契机.本文描述了一种基于Avalon总线的Javacard虚拟机IP软核实现方法,它采用微序列解释执行字节码的微体系结构、Avalon主接口和VHDL格式RTL级软核模型,运用SOPC Builder通用系统开发方法构建了原型系统,实现的IP软核移植方便.     

基于FPGA的IP Core设计

文章基于8253的工作原理,结合ALTERA公司的FLEX10KE产品的特点,采用VHDL硬件描述语言与原理图两种设计方式,对8253进行层次化、模块化、参数化的逻辑设计,编写8253的各个功能模块,对设计的所有模块进行仿真验证。将完成的设计最终配置到FLEX10KE芯片上,经调试验证了设计的正确性。     

一种自适应IP QoS机制的实现方案

提出了一种在IP网络中采用的自适应QoS机制。当系统资源不足以满足多媒体流的传输要求时,通过启用自适应函数对QoS进行动态管理,以解决以往的IP QoS模型中当系统的资源不足时,拒绝多媒体流的传输的情况。采用自适应IP QoS机制后,通过降低传输中比此多媒体流优先级低的多媒体流的QoS指标来释放系统资源,以满足该多媒体流传输的QoS指标。最后,对自适应IP QoS算法进行了仿真,并给出了仿真结果。     

基于VSU的校园网核心交换冗余方案

根据目前三明学院网络中心的配置条件,通过对VRRP技术和VSU技术的比较研究,肯定了VSU技术在校园网核心交换冗余中的技术优势,提出了一种基于VSU校园网核心交换冗余的方案设计,并具体描述了VSU在网络中的布署实施。     

USB IP Core的Verilog HDL语言设计方法

通用串行总线(USB)作为一种崭新的微机总线接口规范,具有即插即用、扩展方便等优点,已成为计算机必备的一个接口。采用VerilogHDL语言设计USBIPCore,分析时序设计要点。实现对主机发送的标准设备请求,返回设备描述符、传送数据等操作,并在MaxplusⅡ环境下进行了波形仿真和时序分析。时序仿真满足设计要求。     

IP组播技术

IP-Multicast包括IP组播编址、IP组管理协议、IP组播路由协议和IP组播安全四部分，分别解决Internet上组播面临的四个问题：如何定义一个组；应用如何动态加入或退出组；如何以尽可能小的代价将组播报文传送给各个组成员；安全性。本文详细分析了IP组播编址、IP组管理协议和IP组播路由协议。     

核心竞争力与核心竞争力教育

本文尝试从竞争、竞争力、核心三个概念出发分析核心竞争力的内涵和本质,并在此基础上初步探讨核心竞争力教育的有关理论,对核心竞争力教育、教育核心竞争力的概念和特征进行界定、阐释,对开展核心竞争力教育的重大意义进行论述。     

孟子之字考辨

孟子之字 ,在汉代文献均说未闻。自汉魏《孔丛子》起 ,孟子之字讹说纷起 ,或曰子舆 ,或曰子车 ,或曰子居 ,或曰子。六朝、唐宋以降 ,以致现代教科书、词典、著述等 ,多载讹说 ,今有必要进行考辨