真空辅助压浆在施工中应用的探索

1．浅谈真空辅助压浆的必要性 在后张法有粘结预应力混凝土结构中，预应力筋和混凝土之间的共同工作以及预应力筋的防腐蚀是通过在预埋孔道中灌满水泥浆来实现的，传统的做法是采用压浆法来灌浆，众所周知，传统压力灌浆中浆体和施工工艺本身带有一定的局限性。     

有预算限制的最大并行流问题

改进了Garg N和Koenemarm给出的求解具有预算限制的最大并行流问题的近似算法，使得算法求出的目标函数值的近似性由原来的λ≥（1-ε）^3OPT改进为λ≥1／（1＋3ε）OPT，更接近最优值，而算法复杂性不变，给出数值例子，验证了算法改进的有效性。     

一类有穷数列通项公式的求解方法与应用

介绍用向量空间的有关知识解决有穷数列问题;通过实例说明建构有穷数列预测市场动态变化的方法。     

基于Epanechnikov核函数的有偏差采样和贝叶斯阴阳机的复杂图像分割

鉴于复杂图像所含信息的非均匀性，采用新的基于Epanechnikov核函数的有偏差采样方法对图像进行有效采样，并通过将贝叶斯阴阳机聚类理论对采样所得图像进行分割，进而获得最终的图像分割结果．实验表明，该方法是有效的。     

时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

有向树的自同构群

本文对有向树的自同构群进行了讨论,给出了有向树的自同构群的阶和一类子群.     

由仿射线诱导的图的次成分II

研究了有限域Fq上n维仿射空间的仿射线诱导的图Γ的第一次成分.可以证明:对Γ的任一顶点α,第一次成分Γ(α)是一个连通图.此外,Γ(α)中任两个邻接顶点和非邻接顶点的公共邻接元的集合被刻画,并且Γ(α)中某些极大团被确定.     

广义Pascal三角形的几个性质

本文讨论了广义Ｐａｓｃａｌ三角形的几个性质，它和原Ｐａｓｃａｌ三角形有惊人的类似之处。