注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. java练手项目

  2. Java 源码包 Applet钢琴模拟程序java源码 2个目标文件，提供基本的音乐编辑功能。编辑音乐软件的朋友，这款实例会对你有所帮助。 Calendar万年历 1个目标文件 EJB 模拟银行ATM流程及操作源代码 6个目标文件，EJB来模拟银行ATM机的流程及操作：获取系统属性，初始化JNDI，取得Home对象的引用，创建EJB对象，并将当前的计数器初始化，调用每一个EJB对象的count()方法，保证Bean正常被激活和钝化，EJB对象是用完毕，从内存中清除，从账户中取出amt，如果am

  3. 所属分类：Java

    • 发布日期：2016-09-02
    • 文件大小：37748736
    • 提供者：hc976865965

  1. 北斗_微惯导组合导航方法研究

  2. 第 i 页 摘 要 随着我国北斗卫星导航系统建设的稳步推进和惯性导航技术的飞速发展，以及 我军制导弹药发展的迫切需求，北斗/微惯导组合导航方法及相关应用技术已成为 研究热点。本文利用软件接收机概念，构建北斗/微惯导组合导航系统，研究了基 于软件接收机的紧组合与深组合导航框架，对于两类框架中的主要关键技术进行 了优化设计，并对主要理论问题和方法进行了研究。论文的主要工作与创新点如 下： 1. 考虑 SINS 运动相关性条件下，从理论上进行软件接收机信号捕获与 SINS 的适配性分析。通过对软件接

  3. 所属分类：交通

    • 发布日期：2017-12-21
    • 文件大小：5242880
    • 提供者：happyatan

  1. 蒸发过程的解耦控制仿真实验平台.pdf

  2. 蒸发过程的解耦控制仿真实验平台pdf,蒸发过程的解耦控制仿真实验平台第21卷第l8期 009年9月 系统仿真学报 Sep.2009 curri+ u 采用如下的自逅应辨识算法 (1)X(t-l)e(t) T -Orp: cp Ir LoCx2-3 1) 1-X(t-1)X(t-1) OHF PHF CH (t-1)表示t-1时刻参数的基于强制循环蒸发系统 QHF PHe=QDx2+2PF 的非线性模型的估计 令输出变量n1=xy2=x2,并将上述几式分别带入式 如果e(l)>4△ (1)(

  3. 所属分类：其它

    • 发布日期：2019-10-08
    • 文件大小：973824
    • 提供者：weixin_38744153

  1. 有界模型检测的优化

  2. G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：692224
    • 提供者：weixin_38638688

  1. 基于程序局部性引导的有界模型检测优化方法

  2. 基于多种模型检测方法组合的复合检测方式是当前软件模型检测领域开展研究的热点之一。在当前的研究中，提高检测的规模和检测的对象复杂程度的关键在于如何有效处理抽象的扩张和收缩。证明通过对程序模式或验证信息的利用可以加快状态空间的探索速度。面向有界模型检测（BMC）加速方法展开研究，使用程序中额外的信息和知识对其处理以协助检测器删除冗余和无效的状态。在对程序局部性进行定义的基础上，对其加速性进行讨论，提出一种加速有界检测的方法和一种改进策略，对算法进行了详细描述，并通过实验验证了方法在检测效率和性能上的

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：677888
    • 提供者：weixin_38595606

  1. 协作频谱感知中基于距离准则的量化器设计

  2. 针对感知节点能量和汇报信道带宽受限的认知无线电网络中协作频谱感知问题，提出了一种基于距离准则的优化量化器设计方法。首先，计算融合中心接收的量化数据的巴氏距离(BD,Bhattacharyya distance)为性能准则，构建量化器的优化数学模型，采用粒子群优化算法求解得出最优量化阈值。根据融合中心接收的各感知节点的量化数据，构造对数似然比检测器，对是否存在主用户信号做出决策，最后推导了未量化条件下能量检测器的性能上界。仿真实验结果与已有方法对比，所提出的3 bit量化方法的性能接近能量检测器的

  3. 所属分类：其它

    • 发布日期：2021-01-14
    • 文件大小：1048576
    • 提供者：weixin_38665775

  1. 面向协同检测与跟踪的多传感器长时调度方法

  2. 针对目标检测与跟踪时辐射控制问题,提出一种面向协同检测与跟踪的多传感器长时调度方法.首先建立基于部分马尔可夫决策过程(POMDP)的目标跟踪与辐射控制模型;然后以随机分布粒子计算新生目标检测概率,以后验克拉美-罗下界(PCRLB)预测长时跟踪精度,以隐马尔可夫模型(HMM)滤波器推导长时辐射代价;最后构建新生目标检测概率和已有目标跟踪精度约束下辐射控制的长时优化函数,给出基于贪婪搜索的分支定界算法求解最优调度序列.仿真结果验证了所提出方法的有效性.

  3. 所属分类：其它

    • 发布日期：2021-01-12
    • 文件大小：814080
    • 提供者：weixin_38653691