最优二叉树的完备性证明

在最优二叉树的证明中，一般是从该树中通路长度最长的分枝点有两个孩子开始证明，但在前提中没有给出“在最优二叉树中通路长度最长的分枝点一定有两个孩子”的条件，本文就此问题展开研究，证明了最优二叉树的一个性质：最优二叉树一定是完全二叉树。     

循环描述逻辑 TBOX 中的完备格

描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。     

倒向随机微分方程在欧式看涨期权中的应用

利用倒向随机微分方程解的有关理论及Ocone鞅的性质,分析欧式看涨期权的完全套期保值性,给出了欧式看涨期权确定价格的概率解。     

再生混凝土单轴受压应力-应变全曲线试验研究

完成了不同再生粗骨料取代率下再生？昆凝土的单轴受压应力-应变全曲线试验，分析了再生粗骨料取代率对再生混凝土的应力-应变全曲线形状和再生混凝土抗压强度、弹性模量、峰值及极限应变的影响．研究表明，再生混凝土的应力-应变全曲线的总体形状与普通混凝土的相似，但曲线上各特征点的应力和应变值有所区别；再生混凝土的棱柱体抗压强度与立方体抗压强度的比值高于普通混凝土；再生混凝土的峰值应变大于普通混凝土；再生混凝土的弹性模量明显低于普通混凝土．再生混凝土应力-应变全曲线的上升段和下降段可以分别用3次多项式和有理分式拟合．     

求解接点网络问题的DNA算法

利用DNA的二级结构——发卡构形，给出了求解接点网络问题的DNA算法．首先用DNA分子编码接点网络问题，然后利用DNA分子的自组装和形成二级结构的能力来求解问题．算法具有自动化实现计算的特点，计算所需的实验操作比Lipton提出的算法少，同时计算所需的DNA量也比Lipton提出的算法少．     

拓扑系统范畴完备性与Tychonoff乘积定理

拓扑系统是目前最广泛的拓扑学研究对象,它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例,用它可研究计算机程序设计语言指称语义的Domain理论．本文旨在建立拓扑系统范畴的乘积结构与等子结构,表明拓扑系统范畴是完备范畴．讨论拓扑系统的紧性,得到了拓扑系统关于紧性的Tychonoff乘积定理．     

上游市场进入的企业兼并动态博弈模型

构造了上游双头垄断，下游多厂商的产业结构模型，研究了上游在位企业面临进入威胁时的兼并模式选择．发现兼并战略选择取决于下游企业的数量及上游市场进入成本；即使不考虑规模经济，一定条件下，横向兼并仍是企业的均衡战略．揭示了政府和企业兼并方式中的利益冲突关系．     

图K_(2n)\E(F_5)(n≥13)的点可区别边染色

对简单图G(V,E),设f是从E(G)到{1,2,…,k}的映射,k为自然数,如果f满足:1)对任意的uv,uw∈E(G),v≠w,有f(uv)≠f(uw);2)对任意的u,v∈V(G),u≠v,有C(u)≠C(v).则称f为图G的k-点可区别边染色法,而最小的k被称为点可区别边色数(其中C(u)={f(uv)|uv∈E(G)}).研究了图K2n\E(F5)(n≥13)的点可区别边色数.     

图K2n\E（Fm）（n≥4,m≥2）的点可区别边染色

对简单图G(V,E),设f是从E(G)到{1,2,…,k}的映射,k为自然数,如果f满足:1)对任意的uv,uw∈E(G),v≠w,有f(uv)≠f(uw);2)对任意的u,v∈V(G),u≠v,有C(u)≠C(v).则称f为图G的k-点可区别边染色法,而最小的k被称为点可区别边色数(其中C(u)={f(uv)|uv∈E(G)}).研究了图K2n\E(Fm)(n≥4,m≥2)的点可区别边色数.     

采用8098单片机实现M／T法转速检测

本文根据变Ｍ／Ｔ法原理，采用ＭＣＳ９６系列８０９８单片机实现了光电码盘全数字化转速检测。文中给出了具体的线路、相应的程序框图及试验结果。由于该方案充分利用了８０９８单片机的功能，使其具有线路简单、测速范围宽、精度高的特点。