展开式二级减速箱设计 包含工程图和完整详细的设计说明书 个人
2021-03-19 09:08:39 2.75MB 减速箱 机械 减速器 减速器课程设计
1
简易实现单行文本水平滑动(http://blog.csdn.net/qiaoidea/article/details/41252959) 以及第二篇,点击折叠长文本查看详情,添加动画效果,详情见本人Blog。 单文本水平滑动,长文本折叠展开
2021-03-17 21:25:44 1.99MB 文本折叠
1
为了减少小波变换轮廓术中相位展开过程的误差传递,从小波变换的相关实质出发,提出了在小波变换轮廓术中利用以前被忽略的小波脊系数幅值作为可靠度判据指导相位展开的方法。该方法选择最大幅值的小波脊系数所在位置作为相位展开起始点,根据小波脊系数幅值的大小,确定一条由大幅值到小幅值的最优化的展开路径,最大限度减少了相位展开过程中的误差传递。由于充分利用了小波变换系数的幅值信息,最大限度减小了相位展开过程中的误差传递。计算机模拟和实验验证了基于小波脊系数幅值的相位展开方法的正确性。
2021-03-15 09:54:11 3.64MB 光学测量 相位展开 小波变换
1
2级和3级折叠菜单的制作
2021-03-10 18:03:29 232KB 折叠菜单 三级菜单 手风琴菜单
1
公众号SVG图文『魔性抖动展开长图』模板代码
2021-03-09 17:02:52 6.72MB svg 公众号 文章排版 微信排版
公众号SVG排版图文『展开长图与产品大图预览』模板代码
公众号SVG排版图文『拍一拍展开长图』模板代码
前端vue项目页面展开特效,解压后可直接使用
2021-03-06 21:02:25 34.36MB 页面特效 vue
运用Python,根据输入的数字n,通过二项式展开来生成有n行的等腰杨辉三角形。
2021-03-03 09:07:35 792B Python杨辉三角 二项式展开 阶乘
1
并发加权mu-演算(concurrent weighted mu-calculus, CWC)是对 Kim. G. Larsen 所提出的并发加权逻辑的强有力的扩 充,通过加入不动点算子,增强表达能力,实现对复杂模块化系统的有效建模。本文对 CWC 进行了研究,给出了 CWC 的语法 并阐述了 CWC 的标记加权转移语义。 μ -演算与自动机理论密不可分,引入了轮替树自动机用于处理CWC,阐述了轮替树 自动机与 CWC 之间的联系,构建了一种特定的用于 CWC 的轮替树自动机模型。一致性内插定理是 Craig 内插定理的加 强和扩展,为了探究 CWC 上的一致性内插定理,根据 Andrew M. Pitts 提出的方法,利用互模拟量词寻找一致性插值。给出 了互模拟量词在标记加权转移系统上的语义,并研究了互模拟量词和 CWC 上一致性内插定理之间的关系。在此过程中 利用 ω 展开(unravelling),由 ω 展开树的一系列特性,结合轮替树自动机,证明了一致性内插定理在 CWC 上成立。
1