当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0318秒)
为您推荐: 节能减排 建筑节能合同能源管理示范文本2014 畜类肉品高效精准机器人自主加工系统 系统工程与航天 管理 组织与管理 系统 权变方法 组织与管理 系统方法 权变
-
非均匀光学传输系统中自相似脉冲与畸形脉冲操控的研究 【数理化】
戴朝卿,王悦悦著2016 年出版126 页ISBN:9787030469618本专著以非均匀光纤和波导中的各种变系数非线性薛定谔方程为模型,利用解析和数值模拟两种互补方法研究了空间衍射、时空耦合、高阶色散和高阶非线性效应对自相似脉冲的振幅、相位、啁啾因子及光波宽度等传输...
-
-
-
-
第十七届中国模糊数学与模糊系统学术会议论文集 【数理化】
秦勇,贾利民,史福贵,张德学主编2014 年出版137 页ISBN:9787513028974第十七届中国模糊数学与模糊系统学术会议于2014年8月在北京召开,本次会议由中国系统工程学会模糊数学与模糊系统专业委员会主办,北京交通大学、北京理工大学联合承办。本次会议致力于为广大模糊数学与系统...
-
-
-
线性系统可靠控制分析与设计 【数理化】
王福忠,姚波编著2012 年出版224 页ISBN:9787538176896本书在第1章绪论中介绍了控制理论和控制技术的发展历史,叙述了容错控制发展的主要过程,详细叙述了线性系统可靠设计的基本思想和方法。第2章给出了线性系统状态空间的一些理论内容。第3章根据本书需要,将线性...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
学科分类
