当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0219秒)
为您推荐: 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用 常微分方程和无穷级数
-
-
偏微分方程图像处理及程序设计 【工业技术】
贾渊,刘鹏程,牛四杰编著2012 年出版248 页ISBN:9787030352217本书系统介绍了近年来偏微分方程在图像处理中的主要模型、程序实现,并结合作者的科研项目,提出了相应地改进算法。首先介绍了偏微分方程的基础,包括一些用于图像处理的重要概念,求解方法。...
-
基于能量的非线性微分代数系统控制及其应用 【工业技术】
刘艳红著2007 年出版99 页ISBN:9787560423555本书包括非线性微分代数系统的耗散Hamilton实现的条件和步骤、基于耗散实现的系统稳定性分析、镇定控制器设计、 Hoo鲁棒控制问题以及电力系统高性能励磁控制研究等内容。...
-
离散外微分在计算电磁学中的应用 【工业技术】
马玉杰著2010 年出版197 页ISBN:9787030269980本书中,我们用离散外微分技术(DEC)来建立离散流形上的Maxwell方程组,这样得到的DEC格式是Yee格式在流形上的推广。它是一种特殊的的格点规范场论。...
-
形式语义学的稳定论域理论 【工业技术】
陈仪香著2003 年出版205 页ISBN:7030112644本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法,建立稳定论域的逻辑表示以及格表示等。
-
-
-
-
-
网络安全协议的形式化分析与验证 【工业技术】
张爱新,李建华著2010 年出版214 页ISBN:9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状;在此基础上详细地叙述了网络安全协议。
学科分类
