您要查找的是不是:
- calculus of sequent 相继式演算
- Newton and Leibniz invented the calculus of a great role. 对牛顿和莱布尼茨发明 微积分理论 有很大的作用。
- Of the 44 cases, the calculus of 42 had been cured by mini-PCNL. 44例出现并发者42例治愈,再次微通道经皮肾镜取石术效果满意。
- As for a calculus of rational thought: dream on Leibnitz. 而对于推理思维,就继续莱布尼兹的梦想吧。
- British mathematician and logician who developed a calculus of symbolic logic. 布尔,乔治1815-1864英国数学家和逻辑学家,建立了一种符号逻辑的演算法
- Walker, IEEE std 982.1-1988 and ISO/IEC 9126-2000 etc, and points out the direction of sequent research. It is significant for software maintainability analyse and design. Walker、IEEE std 982.;1-1988及ISO/IEC 9126-2000标准等提出的软件维护性度量方法;指出了今后研究的发展方向;对进行软件维护性的分析与设计工作具有指导意义。
- The spatial relation between the trailing edge of one blade and the leading edge of sequent blade is taken into account in improving turbomachinery performance. 以一单级跨声轴流压气机和一单级轴流透平为例,尝试用基元流动展向积分方法和全优化方法改善其性能,从而示例应用缘线匹配的具体方法及前景。
- This thesis combines the idea of sequent time assumption to make a promotion of the conventional multi-dimensional linear, which makes the results more precise. 在泵站选型优化方法中,使用较多的是整数规划法。
- There is good relation between the increasing region of seismic belt of southern and northern Tianshan mountain and the epicenters of sequent mainshocks. 南北天山地震带增强区与后续主震震中相关性较好;
- Using theorems for calculus of variations, the algorithm of image restoration is strictly proved. 用变分法的理论重新证明了无约束图像恢复算法的结果。
- Finaly,I will compare different methods to define the truth in the calculus of classes. 最后,针对类演算语言,在不同的真句子定义方法之间进行一些比较。
- Methods: 23 cases of ERCP and choledochoscopy were analyzed retrospectively in calculus of bile duct. 方法:对23例胆管结石和胆道镜的治疗临床资料作回顾性分析。
- Chapter 2 reviews the domestic and international referrence correlated with this research, mainly about such concepts as serve failure, service recovery, satisfaction, and consumer intent of sequent behavior. 第二章回顾了与本研究相关的国内外文献,主要是关于服务失误、服务补救、满意度和消费者后续行为意图等概念相关的研究。
- Objective: To evaluate the value of ERCP and choledochoscopy in diagnosing and treatment of calculus of bile duct. 摘要目的:评价经内镜逆行胰胆管造影(ERCP)、胆道镜对胆管系统结石的诊断和治疗价值。
- Conclution By using the new methods,the calculus of middle-lower ureter could be better displayed. 结论通过上述方法,输尿管中下段结石能得到较好的显示。
- Method: Two indexes, common peak ratio and variation peak ratio, are used to compare the IR spectra of various Radix Glycyrrhizae samples, and the values are calculated by means of sequent analysis. 结果与结论:利用共有峰率和变异峰率双指标序列分析法可以对2个或多个不同品种、不同产地甘草样品进行方便可靠的鉴别。
- Vesical calculus of rats was prepared by embedding calculus of human urinary system to bladder of rats. 用人尿路结石植入大鼠膀胱制备大鼠膀胱结石模型;
- The grading phenomena in attribute theory gains effective treatment in this paper.We introduce the notion of sequent to the computation, and it results a new computing frame in the research. 摘要有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
- How can I persuade you of my sincerity? 我如何能够让你相信我的诚意?
- There is a vein of melancholy in his character. 他的性格中有少许忧郁的气质。