搜索结果: 106-120 共查到“计算机科学技术 t-模”相关记录698条 . 查询时间(0.31 秒)
一种面向嵌入式软件体系结构的形式化建模方法
集成模型 模型转换 概率时间自动机 语义一致性
2017/1/12
为了解决MARTE(Modeling and Analysis of Real Time and Embedded systems)在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA(Probabilistic Timed Automation)的优点,本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转...
防空火力分配采用一次性完全分配原则容易造成火力资源浪费,针对该问题,以来袭目标到火力单元的飞临时间为依据,筛选出具有多次拦截时机的火力单元组,并按照拦截时机的先后顺序逐步释放火力单元,以毁伤概率为优化目标,同时兼顾火力资源消耗,建立了一种具有多次拦截时机的防空火力分配模型。在此基础上, 采用混沌离散粒子群混合优化(CDPSO)算法对模型进行求解,以提高算法的全局搜索能力, 避免陷入局部极值。通过仿...
基于动态神经网络的质子交换膜燃料电池建模方法
质子交换膜燃料电池 建模 动态神经网络 敏感度分析
2017/1/16
针对现有质子交换膜燃料电池(Proton Exchange Membrane Fuel Cell,PEMFC)模型逼近能力不足、自适应性差的问题,提出一种基于动态神经网络的PEMFC建模方法.该方法引入神经网络输出敏感度作为隐含层结构合理性判别依据,根据敏感度分析结果选择采用相应的神经元修改算法调整隐含层结构,使隐含层神经元数目根据燃料电池数据处理需求动态变化,实现模型结构与参数的双重优化.以某型...
针对网络图边-平衡指数集标号问题,在等圈嵌套网络图的基础上,提出了幂圈嵌套网络图的概念,进而研究无限路5次幂圈嵌套网络图的边-平衡指数集。利用基础图、带齿套圈子图、五点扇形子图组设计新思路,大大降低了构造标号图的复杂程度,确定了当m模3余2时,无限路5次幂圈嵌套图的边-平衡指数集,并且给出了边-平衡指数集对应图形标号的设计方法。
相关噪声建模(Correlation Noise Modeling,CNM)的准确度是影响分布式视频编码(Distributed Video Coding,DVC)系统性能的关键因素之一.针对经过8×8离散余弦变换(Discrete Cosine Transform,DCT)后的相关噪声子带,本文提出了全新的基于多概率混合分布的CNM方法.该方法可根据子带的信息熵与子带在柯西、拉普拉斯和高斯三种概...
提出一种基于函数滑模控制器(FSMC)的控制策略,用于不确定机械手的轨迹跟踪控制。首先,由动力学模型和滑模函数得到系统的不确定项;然后,利用RBF神经网络逼近系统不确定项,由于神经网络逼近存在误差,而且在初始阶段误差较大,设计函数滑模控制器和鲁棒补偿项对神经网络逼近误差进行补偿,以克服普通滑模控制器容易引起的抖振问题,同时提高系统的跟踪控制性能。基于李亚普诺夫理论证明了闭环系统的全局稳定性,仿真实...
基于可信平台模(TPCM)的盲签名方案
盲签名 双线性映射 SDC 随机预言机
2014/3/25
针对基于身份的盲签名过程中PKG密钥泄露问题,提出了基于可信平台控制模块的盲签名方案,该方案中签名信息对签名者不可见,无法追踪签名信息。盲签名方案采用可信的秘密共享分配中心(SDC, share distribution center)和TPCM合作生成用户的签名密钥,不单独产生用户私有密钥,解决了用户的密钥托管问题,可以有效地防止用户的密钥泄露,保护了用户的匿名性和签名的不可追踪。最后在随机语言...
大连理工大学智能建模课件第二章 微分方程方法介绍及模型
大连理工大学 智能建模 课件 第二章 微分方程方法介绍及模型
2013/8/6
大连理工大学智能建模课件第一章第二章 微分方程方法介绍及模型。
大连理工大学智能建模课件第五章 Monte-Carlo方法及其应用。
大连理工大学智能建模课件第四章 基于元胞自动机的模拟模型
大连理工大学 智能建模 课件 第四章 基于元胞自动机的模拟模型
2013/8/6
大连理工大学智能建模课件第四章 基于元胞自动机的模拟模型。
大连理工大学智能建模课件第六章 生物学研究的模拟方法
大连理工大学 智能建模 课件 第六章 生物学研究的模拟方法
2013/8/6
大连理工大学智能建模课件第六章 生物学研究的模拟方法。
大连理工大学智能建模课件第七章 社会科学问题的模拟研究
大连理工大学 智能建模 课件 第七章 社会科学问题的模拟研究
2013/8/6
大连理工大学智能建模课件第七章 社会科学问题的模拟研究。