完全二叉树理论的模型及性质

定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1

完全二叉树理论的可数模型及其胞腔性

本文将在逻辑L_(w1,w)中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式,证明了完全二叉树理论的可数模型的胞腔性质。

完全二叉树理论的计算复杂度

完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩.本文利用有界Ehrenfeucht-Frassé博弈研究完全二叉树的一阶理论,证明了此理论的时间计算复杂度上界为22cn,空间计算复杂度上界为2dn(其中n为输入长度,c,d为合适的常数).

我国商业银行汽车消费信贷定价实证研究——以期权二叉树模型为例

针对银行消费信贷业务中的汽车消费信贷产品的定价问题,建立期权二叉树模型,做了较为具体的数据模型预算,并根据我国消费信贷定价行业的发展状况,结合我国利率市场化的金融行业背景,提出了消费信贷定价发展的对策与建议。

基于城市道路网的快速路径寻优算法

从城市道路网的特点出发，描述了矢量化的城市道路网的存储结构，提出一种求解城市道路网两节点间最短路径的算法。算法基于双向式搜索原理，采用投影法、夹角最小的方法及二叉树理论。和Dijkstra算法相比，算法大大减小搜索空间，提高搜索速度，时间复杂性不超过O(N)，N为网络节点数。实际应用表明算法有很强的实用性和可靠性。