定线

更新时间:-- | 阅读量: 85

本文首先引入了λ-演算的一些基本概念和经典结果,然后证明了H.P.Barendregt[1984]中提出的关于β-归约的垂直线引理。我们首先证明了n=2的情况,然后推广到任意的n。

《逻辑研究专辑》 2001年00期 关键词: "λ-演算"," 垂直线引理" 收藏

<正>一研究所用理论和方法 (1)微观经济学理论中有关产品定价方法。该理论认为,产品定价受产品的成本、供给、需求、消费者偏好、产品生命周期、价格弹性、替代品等诸多因素影响,在产品进行定价决策时应综

《中国传媒经济》 2005年00期 关键词: 收藏

基于输入输出线性化的技术,针对不完全驱动水面船舶直线航迹控制系统的非线性数学模型,给出了一种重定义输出变量和采用该输出变量的状态反馈控制律．文中基于Lyapunov直接法,得到了保证系统全局渐近稳定的...

《自动化学报》 2007年04期 关键词: "Lyapunov函数"," 重定义输出变量"," 输入输出线性化"," 船舶航迹控制" 收藏

该文介绍了在线路放样过程中使用参数方程来确定中边桩坐标的新方法。根据曲线模型,找出线路控制坐标系与局部坐标系坐标之间的参数方程关系,推出了缓和曲线及圆曲线中边桩坐标的参数方程,代入已知量求得参数的值,...

《勘察科学技术》 2008年02期 关键词: "参数方程"," 线路坐标"," 缓和曲线" 收藏

障碍期权广泛应用于外汇、股票以及一般商品市场用以规避风险或者投资。基于曲线边界条件对障碍期权进行定价,在假设曲线边界是指数边界的前提下,运用变量代换对其所符合的偏微分方程标准化,而导出各种障碍期权的定...

《学术问题研究》 2009年02期 关键词: "障碍期权定价"," 平价公式"," 曲线边界" 收藏

针对多种武器系统对稳定跟踪平台的要求，对两轴卫星灭线稳定跟踪平台进行了研究与设计。分析了灭线稳定跟踪的基本原理，给jLIJ了控制方案，完成了平台的模块化设计和T作流程设计，经实验，该平台具有较好的跟踪...

《宁波职业技术学院学报》 2010年5期 关键词: "灭线平台","稳定跟踪","动中通","设计" 收藏

电力系统运行方式变化时,保护定值可能不适应当前的运行方式,需要校核部分保护的定值。然而大规模复杂电网中,需要校核的保护非常多,校核工作很难在短时间内完成,导致电网存在校核风险。如果能够辨识出那些误动后...

《四川电力技术》 2013年06期 关键词: "在线校核"," 改进加权介数"," 状态脆弱度"," 综合脆弱度"," 保护重要度" 收藏

提出了蜂窝网中一种基于伪线性卡尔曼滤波的到达时间和到达角( TOAlAOA)混合定位的算法，能够对处于运动状态的用户进行跟踪定位．根据用户运动模型，使用笛卡尔坐标旋转以降低状态变量的维数，在确保跟踪精...

《陕西科技大学学报（自然科学版）》 2013年2期 关键词: "伪线性卡尔曼滤波","TOA","AOA","散射模型","定位" 收藏

1考点回顾圆锥曲线中最值、范围、定值及存在性问题是历年高考命题的热点之一.此类问题涉及的知识面广、综合性大、隐蔽性强、计算量大,常常令考生头疼.解决此类问题常常要用到数学思想方法,有时题设条件纷繁复杂...

《中学教研(数学)》 2013年03期 关键词: 收藏

<p>介绍了设备无线定位管理系统在矿井作业中的应用，具有很好的推广前景。</p>

《中国设备工程》 2014年12期 关键词: "井下设备","无线定位系统","实时查询" 收藏