网络安全协议的形式化分析与验证 【工业技术】

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

工程硕士学位论文 基于广西通用航空发展的空域管理分析 【经济】

紧凑城市的综合测度与调控研究 【工业技术】

“紧凑城市”是本世纪一种新的城市发展和规划理念。本书以理论支撑系统为基础，以机制分析为指导，选择杭州及全国主要城市群为研究对象，划分两大研究尺度，综合GIS空间分析等方法对城市紧凑度测度进行定性定量研...

电力市场对电力系统运行可靠性的影响 1 【工业技术】

本报告研究电力市场稳定性与电力系统可靠性的相互影响，完成了交易市场和投资市场的经济稳定性与电力系统物理可靠性之间的关系研究，初步建立了数学模型。...

我国大豆生产技术及应用的经济分析 【经济】

本书从经，从理论上明确了大豆生产技术的经济特征，分别对大豆生产技术需求行为、供给行为、采用行为和技术进步、技术效率等进行经济分析。...

癌性疼痛的综合治疗 【医药卫生】

现阶段，癌痛治疗方法很多，但治疗效果不一。本书作者针对转移性骨肿瘤、肿瘤压迫神经等造成的疼痛，单纯药物治疗效果有限，应积极探讨肿瘤消融方法和神经阻滞术，如亚氦刀、射频、骨水泥填充术、放/化疗粒子植入、....

合同违约责任及相关制度的经济分析 【政治法律】

本书对社会经济生活中合同违约的责任及其与其他有关制度的关系和联系进行探讨和经济学分析，阐述合同双方当事人的权利与义务，处理好权利人在履行合同中的关系。...

大学教育知识的微观政治哲学分析 【文化科学教育体育】

本书在清晰的知识社会学理论发展背景中，寻找并建构起了微观知识政治哲学的教育与课程研究方法论，在已有“知识-权力”理论基础上，深入到教育知识的微观权力结构与控制机制层面，提炼出了独特的逻辑分析框架。...

风力发电系统的设计、运行与维护 【工业技术】

本书系统介绍了我国风能资源基本情况，风电场开发程序及相关技术要求，以及风力发电机组的基本类型、总体结构、控制系统、操作系统、运行方式与监控技术等；并以典型的双馈式风力发电机组与直驱式永磁风力发电机...

预算政治学论纲 权力的功能、结构与控制 【政治法律】

本书基于“政治对预算具有根本性依赖”这样一个基本的事实判断，力图从预算政治学的角度阐明公共预算与政治结构之间的内在关联，分析预算条件约束下权力的结构、功能及控制等政治问题，同时探讨预算改革及其对中...