搜索结果: 1-9 共查到“deduction”相关记录9条 . 查询时间(0.041 秒)
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Speech Act Calculus Natural Deduction Logic Pragmatisation
2015/7/21
Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal lev...
Most computational soundness theorems deal with a limited number of primitives, thereby limiting their applicability. The notion of deduction soundness of Cortier and Warinschi (CCS'11) aims to facili...
Using Payroll Deduction to Shelter Individual Health Insurance from Income Tax
cafeteria plans Health insurance law list-billing
2011/9/7
o assess the impact of state laws requiring or encouraging employers to establish 'section 125' cafeteria plans that shelter employees' premium contributions from tax. Available descriptive statistics...
基于农田不平度的拖拉机机组输入谱推导与振动仿真（Deduction of Input Spectrum of Tractor-implement Combination and Vibration Simulation Base on Farm Surface Roughness）
农田不平度 拖拉机作业机组 输入谱
2009/12/28
推导了拖拉机为两轴四轮、播种机为单轴两轮的六轮输入谱矩阵，可用于研究牵引式播种作业机组受农田不平度激励所产生振动的频域特性。用Roberson-Wittenburg(R-W)方法建立了牵引机组的22自由度动力学模型，然后根据R-W法建立了机组的动力学普遍方程，在对方程进行运动学和动力学分析的基础上，采用多步Geal-预估-校正法进行了时域求解，采用等效的统计线性化方法进行频域求解，对比分析表明动力...
An Optimization Method for Full Form Ships Using a Simple Prediction of the Thrust Deduction Factor
Optimization Minimum Thrust Deduction Factor Nonlinear Programming
2009/5/12
Developing full form ship with maximum efficiency self-propulsion factors (t: Thrust deduction factor, ωs: Wake fraction, ηr: Relative rotative efficiency) is as important as developing one with light...
SOME STEPS TOWARDS A TRANSCENDENTAL DEDUCTION OF QUANTUM MECHANICS
Transcendental quantum physics laws of nature
2008/4/21
The two major options on which the current debate on the interpretation of quantum mechanics relies, namely realism and empiricism, are far from being exhaustive. There is at least one more position a...
Hegel’s Deduction Of Matter: And The Untenability of The Big-Bang Theory
Hegel Untenability
2008/4/2
Ken Foldes is author, lecturer, and Fulbright Scholar and currently working on his new book The Meaning of The Present Age: Hegel, God, and Foundation. He is convinced we stand on the brink of a glori...
摘要Clarke-Carbon公式用于估计一个完整的基因文库所需的最少克隆数。本文通过建立基因克隆的统计模型，利用二项分布原理对该公式进行了推导，从而有利于在教学过程中对这一公式的确切理解。
Abstract:Clarke-Carbon equation can give a good estimation for the necessary number of recombinants in ...
Deduction of Initial Strategy Distributions of Agents in Mix-game Model
minority game mix-game prediction initial strategy distributions
2007/6/7
This paper reports the effort of deducing the initial strategy distributions of agents in mix-game model which is used to predict a real financial time series generated from a target financial market....