上传资源列表
-
基于时间自动机的嵌入式系统AADL模型可调度性验证
大小：1M 更新时间：2020-01-11 下载积分：1分
采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间...
-
基于深度学习的中文标准文献语言模型
大小：3M 更新时间：2020-01-11 下载积分：1分
为解决中文标准文献的自然语言处理问题,对Hierarchical Log-Bilinear英文统计语言模型算法进行了改进,构建了适用于中文语言的模型。采用深度神经网络技术,将无监督学习与有监督学习相结合,利用多层受限玻尔兹曼机训...
-
高超声速飞行器再入姿态鲁棒控制
大小：653K 更新时间：2020-01-11 下载积分：1分
本文针对气动参数和惯性参数不确定性,同时考虑反作用控制系统(RCS)参与控制,设计高超声速再入飞行器的鲁棒自适应控制器.根据奇异摄动理论将整个控制系统分为快、慢两个回路分别进行设计,将各回路的不确定参数写成矢...
-
电容式位移传感器的线性度标定与不确定度评定
大小：6M 更新时间：2020-01-11 下载积分：1分
由于光刻投影物镜装调中电容传感器的线性度指标不能够满足位移调节精度的需求,本文提出了一种提高电容传感器测量线性度的方法。该方法采用压电驱动器提供位移进给;采用高精度激光测长干涉仪校准电容传感器的线性度,...
-
电位型传感器嵌入式遥测系统的研制
大小：1M 更新时间：2020-01-11 下载积分：1分
研制了一种应用于电位型传感器的嵌入式遥测系统。系统由采样发送端、接收端和计算机组成。采样发送端包括电流放大器、Σ-Δ型模数转换器、微控制器和无线数据传输模块,接收端包括无线数据传输模块、微控制器和协议转...
