VHDL语言在EDA开发软件MAX+PlusⅡ之应用

介绍了EDA开发工具软件MAX+PlusⅡ的主要功能;VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力,以及在程序编译时易出现的问题.     

综合自动化监控系统在坑口电厂的应用

本文介绍了坑口发电厂综合自动化监控系统的硬件与软件结构,并对系统的硬件软件配置与功能作了详细的描述     

基于嵌入式系统新型车辆行驶记录仪的硬件结构和软件设计

设计了一种基于嵌入式系统的新型车辆记录仪，介绍了该记录仪的一些主要功能，描述了其软硬件组成．通过阐述该记录仪工作时的硬件功能及数据的采集、处理、存储过程，显示出该记录仪相比于其他同类产品具有高效安全和实时处理大批量数据的功能．     

VHDL行为描述的功能模拟

硬件描述标准语言ＶＨＤＬ已成为一种国际标准，它在实现电子设计自动化方面起着重要的作用。本文介绍了ＶＨＤＬ行为描述的功能模拟技术，以及实现方法。     

VHDL 行为描述的功能模拟

硬件描述标准语言ＶＨＤＬ已成为一种国际标准，它在实现电子设计自动化方面起着重要的作用．本文介绍了ＶＨＤＬ行为描述的功能模拟技术，以及实现方法     

系统级仿真中单片机的VHDL建模和应用

VHDL是目前通用的硬件描述语言,它支持行为级和结构级的硬件描述,其描述的层次可以从最抽象的系统级一直到可实现的逻辑级的最底层。在描述数字系统时,VHDL可以使用前后一致的语义和语法,并可以使用跨越多个级别的混合描述仿真该系统。因此,可以对由高层次行为描述和低层次详细实现组成的系统进行仿真。     

基于51单片机的全自动洗衣机控制器

本文从功能、硬件、软件、工作过程等方面描述一个以AT89C2051作为控制核心的洗衣机控制系统。该系统硬件简单,成本低廉,但由于多处使用复用技术,其功能和普通洗衣机一样齐全。具有浸泡功能是本系统的一大特色。     

网络在线考试应用系统的设计

设计一种在线考试应用系统。它是对硬件实现的网络教学系统进行的功能扩展，克服了硬件实现方式下应用功能扩展的局限性。并描述了系统的总体结构以及在客户机／服务器模型下利用套接字编程接口实现的在线考试控制模块的面向对象的功能实现，并对相关问题进行分析。     

基于重写归纳技术的串行加法器的描述和验证

在用重写系统描述逻辑位，门电路，位串和自然数的基础上，对半加器，全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画，并用基于重写归纳的推理技术证明了所有描述的正确性，为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。     

带有温度湿度显示的多功能语音留言机的硬件设计

本文描述系统硬件工作原理,着重介绍了本系统所应用的各硬件接口技术和各个接口模块的功能及工作过程,其次,详细阐述了程序的各个模块和实现过程。     

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

基于描述逻辑的概念检索模型

针对当前的概念检索模型存在没有语义特征的词典和缺乏知识库层面上的推理机制等问题,采用具有很强的表达能力和可判定推理功能的描述逻辑来实现概念的扩展检索.设计了一个基于描述逻辑的概念检索模型,并对其核心的推理算法作了进一步扩展,给出了相应算法的数学定义及其知识库的逻辑描述,并据此采用Jena和Racer推理引擎实现了一个基于描述逻辑的汽车导购的概念检索系统,可向用户提供有关汽车的分类、性能、报价等信息.实验结果表明:基于描述逻辑的概念检索模型实现了有效的隐含语义的检索,并通过关联概念联想实现了良好的用户启发和信息导航.     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

不确定性的定量度量和定性度量

分析了用定量方法度量不确定性的局限性，并通过对定量度量方法的讨论，得出了在定性的意义下度量不确定性的一般原则。     

Cloud-SHOIQ: 描述逻辑SHOIQ的云扩展

经典描述逻辑是本体的重要表示方式,但不能表达不确定知识.分析了扩展描述逻辑表达不确定知识的研究现状及存在的问题,通过结合云模型(Cloud model)、描述逻辑SHOIQ及模糊逻辑提出了一种基于云的模糊描述逻辑C-SHOIQ表达不确定知识,给出了C-SHOIQ的语法、语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力.给出了C-SHOIQ的推理方法,及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则.分析说明了C-SHOIQ是对模糊SHOIQ表达能力的扩展.     

一种模糊时空描述逻辑F-ALCT(D_(fst))

为了实现语义Web中模糊时空知识的表示与推理,提出了一种支持模糊时空具体域的模糊描述逻辑F-ALCT(D_(fst)).首先,构建了包含模糊时空区域及其时空拓扑谓词的模糊时空具体域D_(fst),给出了两个模糊时空区域之间的拓扑关系模糊度的计算方法.然后,将D_(fst)和时态操作符引入到模糊描述逻辑FuzzyALC中,构建出一种新的模糊描述逻辑F-ALCT(D_(fst)),并定义了其语法、语义和知识库.最后,给出了一个F-ALCT(D_(fst))的知识库实例.F-ALCT(D_(fst))有效地实现了语义Web中模糊时空知识的表示.     

Cloud-ALC:描述逻辑ALC的不确定扩展

描述逻辑是本体的重要表示方式,但只能处理严格的确定性知识,并不能处理自然界中广泛存在的不确定知识。通过对最基本的描述逻辑ALC进行扩展,提出了能够处理不确定知识的基于云模型不确定描述逻辑Cloud-ALC,给出了Cloud-ALC的语法和语义及其蕴涵推理关系。实例分析说明Cloud-ALC可以为扩展本体描述语言以能够处理不确定知识提供语义支持。     

重用控制器综合技术实现RTL综合

讨论在RTL综合中重用高级综合中控制器综合技术的可行性,提出一种通过将RTL描述划分为时序逻辑与组合逻辑后,重用控制器综合中的组合逻辑综合和时序逻辑综合实现RTL综合的方法。此方法有效地利用了已有了成熟技术,为缩短RTL综合的开发时间提供了一种有效途径。