质量保证型服务界值研究及其在HALM中的应用

研究质量保证型服务和分层应用级组播的性能界值是很有意义的新课题。基于计算机网络的建模理论——网络演算（Network Calculus）,研究了质量保证型服务单网络节点和多网络节点级联系统的性能界值;接着提出了服务隧道的概念,并应用服务隧道对分层应用级组播进行了QoS优化;最后应用质量保证型服务的性能界值进行了系统性能评价。     

弹性近不可压缩问题的精化元法

对于弹性问题,材料近不可压缩可引起有限元法的体积闭锁.为解决此问题,以精化元法为基础,将单元应变正交分解为常应变和高阶应变,其中常应变可以保证收敛,对于近不可压缩问题只需忽略高阶应变中的体应变,从而避免单元体积不可压缩闭锁.按照上述方法修改了平面八节点等参元(IQ8),并用于平面应变厚壁筒计算,通过与ABAQUS系统软件的八节点等参元计算结果对比,表明IQ8单元用于可压和近不可压缩问题都有效.     

知识矩阵表示

知识表示是一切人工智能算法得以运行的基础,它能够把人类知识表示成机器可以处理的数据结构。本文介绍知识矩阵表示,它可以从知识表示的根本上简化算法的运行过程并提高算法的运行效率。具体地,本文首先将时态推理中的13种区间关系表示转化成5×5矩阵,在此基础上,时态关系演算与传播可以通过矩阵计算获得。然后,将产生式规则的相互关系转化成矩阵,并编码成一个计算公式,它是一个不确定性推理的数学模型。最后,将样本关系表示成矩阵,一次计算就可以获得K值和K个最近邻点,它可以将KNN分类的懒惰学习部分模型化,即转化成数学模型。除此之外,本文展望知识矩阵表示未来的工作,提出知识矩阵表示需要针对不同的应用定义不同的演算方法。     

老师为什么总找我麻烦

以前,我在老师眼里一直是个优等生。怎么也没想到,自从开学换了新的数学老师后,现在的我居然成了老师的"眼中钉",经常被老师"扁"来"扁"去。     

加工精密主轴时顶尖定位精度的精化方法

1.保证顶尖孔定位精度的一般工艺措施加工精密主轴零件时,最典型的工件定位方式为两端顶尖孔定位,这种定位方式符合基准重合原则和基准统一原则。为保证顶尖定位精度,一般在对主轴的主要外圆表面进行终加工前,需重新对顶尖孔进行修研加工,常用的修研方法有:①用油石或橡胶砂轮修研顶尖孔。将圆柱形油石或橡胶砂轮装夹在车床卡盘上,用金刚石笔将其修整为60°圆锥体;将工件顶夹在油石与车床后顶尖之间,并加入少量柴油或轻机油润滑,然后开动车床使油石高速转动进行修研,同时操作者手握工件断续转动。②用铸铁顶尖修研顶尖孔。该方法原理同上,不…     

临界概念和临界命题

本文从逻辑的角度出发，通过对临界现象和临床表述的分析，给出了临界概念和临界命题的定义，并对临界命题的逻辑演算进行了初步探讨。     

一种有效的分布式构件交互性质验证方法

目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法——状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响应交互模型作为例证,证明上述算法比传统算法更有效。结论该算法缩小了组合模型的状态空间,提高了验证效率。     

移动进程的空间逻辑

提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑. 该逻辑具有基于谓词变量的递归构造. 建立了这一逻辑的语义理论, 并证明了语义的单调性, 从而保证了不动点的存在. 还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质, 并证明了该算法的正确性.     

非对称带不等算子的χ≠-演算

文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.