基于格值逻辑的语义归结自动推理 【工业技术】

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑...

基于Altera FPGA/CPLD的电子系统设计及工程实践 【工业技术】

本书以Altera公司的FPGA/CPLD芯片为主，详细介绍了Quartus II 8.1软件和VHDL语言，以FPGA常用设计模块、电子设计大赛应用、机器人控制及单片机接口、视频控制接口等设计为例，由浅入深详述了如何应用FPGA/CPLD进...

“七·五”国家科技攻关项目 改革采煤方法和开采工艺预防突水灾害的研究 【工业技术】

基于重用的软件工程 技术、组织和控制 【工业技术】

本书主要介绍软件重用的理论研究和实践，及在软件发达国家的历史。实践证明，软件重用是从根本上提高软件生产率，降低成本，提高质量的有效途径；同时也说明基于重用的软件工程实践模型和其他有关的基础问题；全面介.....

认知软件无线电系统 原理与基于Sora的实验 【工业技术】

本书系统地介绍认知软件无线电的认知机理、系统构成、实验方法、应用前景以及面临的挑战性问题，可作为高等院校通信、电子工程、计算机等专业本科生、研究生学习认知（软件）无线电技术的教材，进行无线通信专题实...

河南省科技厅鉴定项目：软弱土体的流变特性及其工程应用研究鉴定材料 【工业技术】

回家吃饭系列 轻松上手的酱卤烧腊技法全解 【工业技术】

硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

现代密码学 基于安全多方计算协议的研究 【工业技术】

全书分为三大部分，数学基础、密码学协议及其原理、密码学应用平台。其中，第一部分数学基础主要阐述密码学协议中常用的数学理论；第二部分是本书的重点内容，以上世纪80年代后提出的密码学协议为重点，对协议的原理...

基于系统图谱的复杂机电系统状态分析方法 【工业技术】

本书以DSC数据集构成的系统图谱为研究对象，提出了面向人机交互的系统状态分析和故障诊断方法；分析了不同类型系统图谱与系统运行健康状态的关系，利用人眼对于色彩变化的敏感度远远高于数字的生理特点，建立了一...