Corrected upper bounds for free-cut elimination

Free-cut elimination allows cut elimination to be carried out in the presence of non-logical axioms. Formulas in a proof are anchored provided they originate in a non-logical axiom or non-logical inference. This paper corrects and strengthens earlier upper bounds on the size of free-cut elimination. The correction requires that the notion of a free cut be modified so that a cut formula is anchored provided that all of its introductions are anchored, instead of only requiring that one of its introductions is anchored. With the correction, the originally proved size upper bounds remain unchanged. These results also apply to partial cut elimination. We also apply these bounds to elimination of cuts in propositional logic.If the non-logical inferences are closed under cut and infer only atomic formulas, then all cuts can be eliminated. This extends earlier results of Takeuti and of Negri and von Plato.     

求解VLSI 电路划分问题的混合粒子群优化算法

电路划分是VLSI物理设计过程中的一个关键阶段.该问题本质上是一个NP困难的组合优化问题.针对该问题,提出了一种带FM策略的混合粒子群优化算法.引入遗传算法的两点交叉算子和随机两点交换变异算子,保证了粒子在位置更新后依然可行;为了提高算法的局部搜索能力,将具有较强局部搜索能力的FM策略融入算法的位置更新;设计了种群多样性变异策略,提高了种群多样性,避免了易陷入局部最优的缺陷.对ISCAS89标准测试电路的仿真实验结果表明,所构造的算法是有效的.     

Color restoration method based on spectral information using normalized cut

This paper proposes a novel method for color restoration that can effectively apply accurate color based on spectral information to a segmented image using the normalized cut technique. Using the proposed method, we can obtain a digital still camera image and spectral information in different environments. Also, it is not necessary to estimate reflectance spectra using a spectral database such as other methods. The synthesized images are accurate and high resolution. The proposed method effectively works in making digital archive contents. Some experimental results are demonstrated in this paper.     

剪刀下的民间文化——民间剪纸的造型特点

民间剪纸是我国民间美术形式之一,有着悠久的历史。本文从剪纸的构图方法、剪纸的造型手段、剪纸的吉祥祝愿三个方面,分析剪纸的造型特点,从而体现出剪纸的造型源于原始的视觉思维方式和民间审美观念。     

On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String

The article concludes a series of results on cut-rule axiomatizabilityof the Lambek calculus. It is proved that the non-associativeproduct-free Lambek calculus with the empty string (NL₀) isnot finitely axiomatizable if the only rule of inference admittedis Lambek's cut rule. The proof makes use of the (infinitely)cut-rule axiomatized calculus NC designed by the author exactlyfor that purpose.     

基于多尺度分析的归一化割图像分割算法

不同尺度的图像拥有不同的特性,针对单一尺度图像进行分割容易出现过分割或欠分割的问题,本文提出一种基于多尺度分析的归一化割的图像分割方法,首先利用方向能量模型得到不同尺度子图像的边缘方向能量,然后根据干涉轮廓的思想建立各个子图像像素之间的相似度,形成多个不同尺度的权值矩阵,并归一化为一个权值矩阵,最后运用归一化割算法对图像进行分割。实验表明,本文方法在融合了多个尺度图像不同特性的同时,能很好地处理含有纹理区域和弱边缘的图像,在一定程度上避免了过分割或欠分割的问题。     

An optimal parallel algorithm for computing cut vertices and blocks on interval graphs

In this paper, a parallel algorithm is presented to find all cut-vertices and blocks of an interval graph. If the list of sorted end points of the intervals of an interval graph is given then the proposed algorithm takes O(log n) time and O(n/log n) processors on an EREW PRAM, if the sorted list is not given then the time and processors complexities are respectively O(log n) and O(n).     

烟丝组分的吸湿模型研究

为了研究烟丝主要组分的吸湿平衡规律,用GAB模型获得的叶丝、梗丝、膨胀烟丝在25℃环境下,在45%～75%平衡相对湿度范围内的吸湿平衡,得到优异的拟合精度.结果表明,用GAB吸湿模型计算的叶丝、梗丝、膨胀烟丝的单层含水率（干基）分别为6.14%,7.04%,5.92%.以水活度0.65为安全贮存的临界点,对应于吸湿过程,用GAB模型估计25℃时叶丝、梗丝、膨胀烟丝的安全含水率（干基）分别为16.69%,18.30%,15.00%.研究结果为各组分加工过程各阶段的含水率设计提供了参考.     

图论在路面裂缝分割中的应用研究

针对图谱划分理论与路面裂缝的特点,提出了一种基于图论的路面裂缝分割方法,该方法将图像作为一个带权图进行分析．建立节点之间的位置距离和灰度差异的能量函数,函数的最小值作为路面裂缝检测的最优分组．通过实验与传统方法最大类间方差法、领域差异直方图法相比,此方法能较好的检测出大于1mm的路面裂缝．     

明挖沟槽预应力钢筒混凝土管道(PCCP)安装技术

文中以万家寨引黄工程北干线上的预应力钢筒混凝土管道(PCCP)的安装为实例,总结了在明挖沟槽中PCCP的安装技术,主要包括安装前的准备,安装环节和在安装过程中应注意细节以及安装完成后合拢等方面技术.