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

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

基于Saas的产业集群知识集成系统研究 【经济】

本书以理清产业集群知识集成内涵、实现产业集群知识集成系统为目的，探析知识集成和知识集成系统的相关概念、理论和模型，重点构建了产业集群知识集成的过程，实证分析了产业集群知识流动对产业集群创新绩效的促...

法律责任的立法研究 基于中国立法文本的分析 【政治法律】

立法不仅仅是一种文字规定，它深刻的影响和作用于社会现实，法律法规已经成为人们的行为依据和范式。权利、义务、责任成为流行的词汇，影响着人们社会层面的思维和生活。相对于权利和义务的积极进取和目的性存在...

基于主题图的电子政务门户知识管理研究 【政治法律】

本书运用主题图的相关理论和技术，研究电子政务门户知识管理的理论和方法，并据此设计了基于主题图技术的电子政务门户知识管理原型系统，提供了将政府信息资源分类、组织、存储、共享和整合、提高政务资源利用率...

文化驱动力 基于企业文化的心理授权对知识型员工组织承诺影响的实证研究 【经济】

本书介绍了企业管理中的文化驱动理论与实践。

中国流域生态服务补偿机制与政策研究 基于典型案例的实证分析 【环境安全】

本书剖析中国流域生态服务的补偿机制、标准、驱动力与障碍等，提出相应的政策建议。

基于知识和交互式学习的区域创新系统研究 【经济】

本书致力于构建区域创新系统与企业技术创新绩效的关系的概念模型，探索区域创新系统中的主体要素环境、区域文化环境和区域政策环境对于企业与相关组织和机构间的交互式学习以及企业技术创新绩效的作用和影响...

我国数字鸿沟问题的理论分析与应对策略 基于信息资源管理的研究 【政治法律】

本书将数字鸿沟置于信息资源管理科学背景下进行宏观审测，并作出回应，首次比较系统地介绍了国外学者对“二级”鸿沟研究的相关成果。

地方政府债务风险预警机制研究 基于南京市高新区的经验分析 【经济】

企业资金安全性控制研究 基于信息不对称的分析框架 【经济】

本书主要阐述了资金的安全性定义、资金不安全的原因，针对普通企业的资金安全侧重外部财务交易的严重信息不对称环节分析了采购环节、信息控制环节委托理财环节等等。...