助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   decision 在 数学 分类中 的翻译结果: 查询用时:0.216秒
图标索引 在分类学科中查询
所有学科
数学
领导学与决策学
电信技术
非线性科学与系统科学
企业经济
计算机软件及计算机应用
宏观经济管理与可持续发展
诉讼法与司法制度
石油天然气工业
更多类别查询

图标索引 历史查询
 

decision
相关语句
  决策
    The Study on Intelligent Forecasting and Decision of Stocks and Its Application
    股票智能预测决策研究及应用
短句来源
    Study on Theories and Application of Multiobject Fuzzy Pattern Recognition Decision Making
    多目标模糊识别优化决策理论与应用研究
短句来源
    Study on the Weight Sensitive Analysis in Fuzzy Decision Making and Their Applications
    模糊决策权重灵敏度分析及其应用研究
短句来源
    The Research Based on the Project Investment Risk Evaluation and Decision Method of Bayesian Networks
    基于Bayes网络的项目投资风险评估与决策方法研究
短句来源
    Abstractly Research on Integrated Logistics, Information Platform, Group Decision and System Integration in Integrated Supply Chain
    集成供应链中的一体化物流、信息平台、群决策和系统集成的理论研究
短句来源
更多       
  判定
    Generalized Transfer Function of Control System and an Improvement on the Decision Method of Movement Stability
    控制系统的广义传递函数和运动稳定性判定方法的改进
短句来源
    On the data decision of convexity of Bezier's curve
    Bezier曲线凸性的数据判定
短句来源
    Decision of Invertible Fuzzy Matrix, Full-Rank Fuzzy Matrix and Nonsingular Fuzzy Matrix and the Relationship between These Matrixces
    有逆的、满秩的和非奇异Fuzzy矩阵的判定及其关系
短句来源
    The Decision on Zero Solution Stability of ■=Ax
    X=AX的零解稳定性的判定
短句来源
    Some Decision Theories of Convex Function in Linear Spaces
    线性空间上凸函数的若干判定定理
短句来源
更多       
  “decision”译为未确定词的双语例句
    Research on Strategic Alignment Based Modeling for Information System Application Decision Making
    基于战略对应的信息系统应用决策模型及方法研究
短句来源
    Study on Decision Making Models for Portfolio Selection
    证券组合投资决策模型研究
短句来源
    Decision Model for Information Technology Adoption Timing and Its Applications
    信息技术采纳时间的决策模型及应用研究
短句来源
    The Study on Models of Bidding Decision Making for BOT Project and Its Application
    BOT项目投标决策模型及其应用研究
短句来源
    Study on Chinese Listed Companies' Financing Decision Based on the Viewing Angle of Market Microstructure
    基于市场微观结构视角的我国上市公司融资行为研究
短句来源
更多       
查询“decision”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  decision
By decomposing the major cone, which is non-pointed, non-convex and non-closed into a finite union of disjoint strictly supported pointed convex cones, we discuss the continuous perturbations of the decision space.
      
A new decision criterion is given to select a satisfactory applicant.
      
Furthermore, that the proposed techniques in this paper allow the decision-maker to assign a different degree of importance can provide a useful way to efficiently help the decision-maker make their decisions.
      
This paper considers a consumption and investment decision problem with a higher interest rate for borrowing as well as the dividend rate.
      
The obtained results gener alize relevant conclusions about investment theory, and can better guide investors to make their investment decision.
      
更多          


This paper is concerned with one type of the optimal Markov controlled systems. The controlled system is described by a Markov chain whose statistical property depends on the sequence of decisions that we call a policy. There exists an objective state with the property that once the system reaches this state, it remains unchanged forever. Our purpose is to choose a policy which maximizes all the probabilities that the system ever reaches this objective state from every initial state. First we give a policy-iteration...

This paper is concerned with one type of the optimal Markov controlled systems. The controlled system is described by a Markov chain whose statistical property depends on the sequence of decisions that we call a policy. There exists an objective state with the property that once the system reaches this state, it remains unchanged forever. Our purpose is to choose a policy which maximizes all the probabilities that the system ever reaches this objective state from every initial state. First we give a policy-iteration method for obtaining an optimal policy over the set of stable policies. We then prove such a policy is also optimal over the set containing both stable and unstable policies.

本文研究了一种最优马尔可夫控制系统,这种控制系统以统计规律依赖于决定序列的马尔可夫链描述.我们称决定序列为决策.存在一具有下述性质的目标状态,一日系统到达此状态,状态就不再改变.我们的目的是要选取一决策,使所有从每一初始状态出发最终到达此目标状态的概率都达到最大.我们先提出在平稳决策集合中求最优决策的决策迭代法.然后证明,此决策在包含平稳及不平稳决策的决策集合上也是最优的.

The discounted Markovian decision programming of our concern consists of statespace and action-set eorresponding to every state, both of whieh are denumerable infinite sets, substochastie transition law family and boundedreward function We have given a succassive approximation method of accelerative eonvergence for (ε-) optimal stationary policy, This algorithm converges to the optimal solution more qurckly than White's successive approximation method. It has also been furnished with a testing criterion...

The discounted Markovian decision programming of our concern consists of statespace and action-set eorresponding to every state, both of whieh are denumerable infinite sets, substochastie transition law family and boundedreward function We have given a succassive approximation method of accelerative eonvergence for (ε-) optimal stationary policy, This algorithm converges to the optimal solution more qurckly than White's successive approximation method. It has also been furnished with a testing criterion for non-optimal policy, making the algorithm more efficient.Let β be the discounting factor. Generally the β(or (ε,β))- optimal stationary policy is often not unique, and even has as many policies as contained in the stationary policy class, It is natural to hope that a policy with homogeneously (ε-) minimized variance (to the initial states) be found in the β(or (ε, β))- optimal stationary policies. We have proved that a poliey of this kind does exist, and have given an algorithm for this poliey.

我们涉及的折扣马氏决策规划(有些著者称为马氏决策过程),具有状态空问与每个状态可用的决策集均为可数无穷集、次随机转移律族、有界报酬函数.给出了一个求(ε_)最优平稳策略的加速收敛逐次逼近算法,比White的逐次逼近算法更快地收敛于(ε_)最优解,并配合有非最优策略的检验准则,使算法更加得益. 设β为折扣因子,一般说β(或(ε,β))_最优平稳策略,往往是非唯一的,甚至与平稳策略类包含的策略数一样多.我们自然希望在诸β(或(ε,β))_最优平稳策略中寻求方差齐次地(关于初始状态)达(ε_)最小的策略.我们证明了这种策略确实存在,并给出了获得这种策略的算法.

The present paper consists of three notes on Lewis modal system S5, In §1, algebraic semantic proofs are given both to a theorem obtained by A. N. Prior in [9], which says that the Barcan formulacould be proved in S5* (for S 5 with quantification see Kripke [7] or Gao [4] and [5]) and to a derived metalogic rule RLM of S5:obtained also by Prior in [9]. The semantic proofs we obtained are easier andsimpler than the original syntactic ones given in [9]. In §2, decision problem of the system S5 (S5 with prepositional...

The present paper consists of three notes on Lewis modal system S5, In §1, algebraic semantic proofs are given both to a theorem obtained by A. N. Prior in [9], which says that the Barcan formulacould be proved in S5* (for S 5 with quantification see Kripke [7] or Gao [4] and [5]) and to a derived metalogic rule RLM of S5:obtained also by Prior in [9]. The semantic proofs we obtained are easier andsimpler than the original syntactic ones given in [9]. In §2, decision problem of the system S5 (S5 with prepositional quantifiers) is considered. By combining the algebraic semantic method, introduced by Rasiwa and Sikorski in [10] for a class of prepositional caiculi with prepositional quantifiers and some facts concerning the decision problem of second order monadic predicate calculus given by AcKer-mann in [1], more results than the one which says that S5 is decidable as was proved by Kaplan in abstract [6] are obtained. In ?, the fact that S5 has exactly six distinct modalities, a result obtained by Becker in [3] is proved semantically once again by using the simple completeness theorem for S5 proved in [4] by the author. The semantic proof given here seems somewhat more elegant than the syntactic one given in [3].

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5(即S_e)和S5(即S_e)的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语法证明要简捷一些;其二,考虑了由S5添加命题量词而得的系统S5的判定问题;Kaplan在文摘[6]中已证明S5(在[6]中记为S5Q)为可判定的.在本文中我们采用Rasiowa和Sikorski在[10]中对一大类带命题量词演算S引进的代数语义方法并具体用到Ackermann在[1]中给出的关于二阶一目谓词演算P_m~2判定问题的一些事实得到更多的结果;其三,我们再次应用S5的单纯完全性定理重新证明S5具有6个模态辞.此事系由O.Becker首先于1930年在文[3]中证明的,本文中的语义证明比Becker[3]中的语法证明似要精致一些.

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关decision的内容
在知识搜索中查有关decision的内容
在数字搜索中查有关decision的内容
在概念知识元中查有关decision的内容
在学术趋势中查有关decision的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社