助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[17258]条 当前为第1条到20条[由于搜索限制,当前仅支持显示前5页数据]
 

相关语句
programs
Based on the properties of the generalized geometric programming, the dual programs of these two problems are derived.
      
Furthermore, the duality theorems and related Kuhn-Tucker conditions for two pairs of the prime-dual programs are also established by the duality theory.
      
An inexact lagrange-newton method for stochastic quadratic programs with recourse
      
In the semi-arid area of the Loess Plateau, Caragana korshinski, a leguminous shrub, is the dominant plant species widely used in vegetation rehabilitation programs.
      
In the semi-arid Horqin sandy land of north China, Caragana microphylla, a leguminous shrub, is the dominant plant species and is widely used in vegetation reestablishment programs to stabilize shifting sand.
      
It is necessary to consider such limit behaviors when we consider the properties of infinite objects in computer science, such as infinite logic programs, the symbolic solutions of infinite polynomial equations.
      
One is to seek more expressive logics or type systems to specify or reason about the properties of low-level or high-level programs.
      
The other is to study the technology of certifying compilation in which the compiler generates proofs for programs with annotations.
      
NΣ-labeled calculus is a generalization of N-labeled calculus so as to describe time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena.
      
The aim of this paper is to extend the probabilistic choice in probabilistic programs to sub-probabilistic choice, i.e., of the form (p)P?(q)Q where p + q ? 1.
      
One of these interprets programs as sub-probabilistic distributions on state spaces via denotational semantics.
      
The other interprets programs as bounded expectation transformers via wp-semantics.
      
This paper proposes an axiomatic systems for total logic, and proves its soundness and completeness in a classical pattern on the structure of programs.
      
Algorithmization and programming principles for logic control and "reactive" systems are formulated, regarding algorithms and programs as finite automata.
      
A Fast Consequence Recognition Algorithm for Monadic Logical Programs
      
Optimal programs and feedback controls are derived from sufficient conditions of optimality.
      
A method is put forward for the generation of optimal strategies-a set of the versions of the fulfillment of programs on the basis of a vector criterion.
      
Financial and Economic Analysis and Efficiency Evaluation of Investment Projects and Programs.
      
The publications on financial and economic analysis and efficiency evaluation of investment projects and programs were reviewed, and the current state of research was analyzed.
      
Financial and Economic Analysis and Efficiency Evaluation of Investment Projects and Programs.
      
 

首页上一页12345下一页尾页 

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