查询词典 calculus of probability

Then we introduced transition probability kernel for the hidden state process and the confederated process. In the deep research, we found that some similar parameters of state transition probability, observation symbol probability and initial state probability were involved in the transition probability kernel of the confederated process. So we can complete the training of traditional HMM parameters by training the transition probability kernel of the confederated process. To our surprised, we got the consistency of transition probability kernel of the confederated process. Meanwhile, we proved the rationality and reliability of the parameters estimation equations under the classical B-W algorithm.

然后对联合过程的转移概率核展开研究，我们根据过程的取值空间的不同，引入了隐状态空间和联合过程空间上的转移概率核，研究中发现在联合空间上的转移概率核包含了在一般的隐马氏模型的参数估计中的所有类似的三组参数(转移概率，观测概率和初始概率)，因此对传统的隐马氏模型的参数训练我们可以通过联合过程的转移概率核的训练来完成，更令我们惊奇的是联合过程的转移概率核还具有一致性；同时对于Baum提出的经典的B-W算法给出的关于模型的参数重估计公式，证明了它的合理性和可靠性，即模型经过重估计后的参数能够满足给定的单观测序列在模型下发生的概率是单调递增的。

Chapter 1 we introduce the risk process with positive and negative risk sums,show the background of the risk process. Chapter 2 we show the integral and differential equation of birth probability,give the Lundberg inequation that the ruin probability satisfies with martingale approach,then discuss then ruin probability of the risk process with two dependent positive and negative risk sums,study how the dependence impacts on the ruin probability. Chapter 3 we compare the concrete examples by numbers,and makes further comparison between the two results coming out of independency and dependency,with the purpose of narrating their respective impacts on the probability of ruin probability.

本文第一章引入含正、负风险和的风险模型，介绍风险过程的实际背景；第二章给出生存概率Φ所满足的积分-微分方程，利用典型鞅方法给出破产概率Ψ满足的Lundberg不等式，并且讨论两个相关正、负风险和模型的破产概率，研究相关性对破产概率的影响；第三章对具体实例给出数值比较，进一步把相关性和独立性两种情形的结果进行比较，说明对破产概率的影响。

Based on probability theory, a method for describing and calculating the collision probability between rendezvous and docking vehicle and debris is presented, and the method involves quantitatively analyzing the collision probability using quasi maximum instantaneous collision probability and total collision probability. The method calculating the indexes is developed, and the input required to perform a calculation includes the respective state vectors, position error covariance matrices and physical sizes of objects involved.(3) Two methods to analyze relative trajectory safety between chaser and target are developed, which are 3-sigma ellipsoid based methodology and collision probability based methodology.

1分析了交会对接各阶段面临的主要轨迹安全威胁，阐述了被动和主动安全策略、目标器的交会对接控制区域等保证交会安全的措施；(2)基于概率思想发展了线性和非线性运动情况下飞行器与空间碎片的碰撞判断方法，提出采用总碰撞概率和拟最大瞬时碰撞概率来综合描述飞行器与空间碎片的碰撞危险程度，推导了通过飞行器和空间碎片各自的状态矢量、位置误差协方差矩阵以及形状尺寸来计算碰撞概率的公式；(3)提出了两种分析追踪器和目标器之间相对轨迹安全的新方法：基于3σ椭球的轨迹安全分析方法和基于碰撞概率的轨迹安全分析方法。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Prolonged markedly the time of sleep in mice with the hypnotic effect induced by phenobarbital sodium, while SWNH (50 mg/kg), the natural calculus bovis (100 mg/kg), and the artificial calculus bovis (100 mg/kg) did not. SWNH (500, 1,000, 2,000 mg/kg), the natural calculus bovis (1,000 mg/kg), and the artificial calculus bovis (1,000 mg/kg) i.g.

生物牛黄中间体100mg/kg体重、150mg/kg体重腹腔注射给药，可使苯巴比妥钠引起的小鼠睡眠时间明显延长；生物牛黄中间体50mg/kg体重、天然牛黄100mg/kg体重和人工牛黄100mg/kg体重对睡眠时间的延长无明显影响。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

Events,Operation and Relation of Sets, Classical Probability, Geometrical Probability , Statistical Stability of a Frequency, Axioms of Probability, Conditional Probability, Total Probability Theorem, Bayes' Rule,Independent Events,Independent Repeated Trials, One Dimensional Random Variables, Discrete Random Variables, Distribution Function of a Random Variables , Continuous Random Variables, Normal Distribution, Distribution of a Function of a Random Variable, Multidimensional Random Variables, Joint Distribution Function, Marginal Distribution Function,Discrete Two—Dimensional Random Variables,Continuous Two—Dimensional Random Variables, Independent Random Variables, Distribution of Functions of Random Variables,Expectation,Variance, Covariance, Coefficient of Correlation, Bivariate Normal Distribution, Law of Large Numbers, The Central Limit Theorems, Sample and Population ,Chi—Squared, T and F Distributions , Sampling Distributions , Point Estimation , Interval Estimation , Testing Hypotheses , A Test of Significance for Parameters in a Single Sample From a Normally Distributed Population , A Test of Significance for Parameters in Two Sample From Normally Distributed Populations .

本课程的主要内容：概率的概念与运算、随机变量及其分布、随机变量的数字特征与极限定理、数理统计的基本概念、估计和检验的基本方法，随机事件与概率随机事件、事件的关系与运算、几何概率、统计概率等，条件概率、全概率公式、贝叶斯公式、事件的独立性、二项概率公式，随机变量的概念、离散型随机变量、随机变量的分布函数、连续型随机变量、随机变量函数的分布，多维随机变量及其分布函数、边缘分布函数、随机变量的独立性、二维随机变量函数的分布，数学期望、方差、协方差和相关系数、大数定律、中心极限定理，总体与样本， X 2-分布、 t-分布和 F-分布，统计量及抽样分布，假设检验的基本概念、单个正态总体参数的显著性检验、两个正态总体参数的显著性检验。

Firstly,the classification of probability rule is analyzed on the base of classic rough set concepts and extended to the equal relation of set in the indefinite system,namely,the upper and lower approximation space of research set is expressed in the form of conditional probability;then,according to the measure of probability rule,the attributes reduction is carried out and the classification rule is extracted by using the related parameters of condition attributes' impend precision from the angle of conditional probability;Finally,the related simulation test result is given and the result shows the classification rules with probability measures is more rational.

首先在经典粗糙集概念的基础上分析概率规则的分类，并将其推广到不确定系统的集合等价关系中，即用条件概率的形式表示研究集合的上下近似空间；然后根据概率规则的测度从条件概率的角度利用条件属性的逼近精度的相关参数进行属性集的约简进而提取分类规则；最后给出了相关的仿真实验结果，结果表明带有概率测度的分类规则更合理。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48