基于社会资本视角的农村社区小型水利设施合作供给研究 【工业技术】

农村小型水利设施是农业生产的基础，对保证粮食安全和实现农民增收有重要作用。当前，农村小型水利设施的供给薄弱成为制约农业经济发展的瓶颈。本书将社会资本分为社会网络、社会信任、社会参与和社会声望，并利...

基于数字有机体数据库系统的搜索定位研究 【工业技术】

本文对基于数字有机体数据库系统的数字有机体系统搜索定位机制进行了全面研究，介绍了数字有机体系统的由来及其研究的目标和意义，首次把数字有机体数据库系统的研发历程总结为分布式、分布式并行和数字有机体...

程序语言的形式规范概论 【工业技术】

基于FPGA的软件无线电数字信道化技术研究 【工业技术】

软件无线电技术已广泛用于雷达、电子战等军用领域。日益复杂的战场电磁环境要求软件无线电接收机具有大带宽、高灵活性、高灵敏度等性能。数字信道化技术作为一种宽带接收机体制，其灵活性须进一步提高才能满...

基于分解组分分析的SF6气体绝缘装备故障诊断方法与技术 【工业技术】

国内外大量研究表明，SF6气体在各种缺陷下会发生分解并与GIS气室中的微量水分和氧气发生反应，生成一系列化学物质，通过检测GIS气室中的SF6分解组分即可判断是否有内部缺陷发生，且不同类型绝缘缺陷引起的放电，其导...

基于建筑信息模型（BIM）的建设项目协同管理机制研究 【工业技术】

BIM情境下，以装配式建筑项目为研究对象，通过跨组织的有效协同提升项目绩效，是我国建筑业重大变革背景下的一个新命题。课题基于系统科学、社会网络及基于主体的仿真等理论方法，研究BIM情境下装配式建筑跨组织管...

基于图像深度信息的人体动作识别研究 【工业技术】

人体动作识别是计算机视觉领域内的一个研究热点，通过分析视频图像序列，提取有效动作特征信息，学习和理解人体动作行为, 在人机交互、智能视频监控、虚拟现实以及社会公共安全等领域有着广阔的应用前景。本书基...

基于细观力学的仿真研究及其应用 【工业技术】

本书介绍了基于有限元方法和离散元方法的细观数值仿真实现过程，总结了作者近年来在混凝土、沥青混合料和冰凌材料方面的细观数值仿真研究成果，讨论了细观力学方法在复合材料的力学性能研究中的应用。主要内容...

形式语义学研究 【工业技术】

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...

基于水印和特征的软件保护技术研究 【工业技术】

《基于水印和特征的软件保护技术础研究》研究内容可分为两个部分，一是软件水印方面，二是软件特征（胎记）研究方面。对于软件水印主要是研究动态图软件水印、混沌水印、多属性水印、门限方案水印、PE文件格式嵌入...