Cartesian product of compressible effect algebras

In the paper, we prove that is compatible with p}, the set of commutant of p, and , the projection commutant of a, are all normal sub-effect algebras of a compressible effect algebra E, and is a direct retraction on E} is a normal sub-effect algebra of an effect algebra E. Moreover, we answer an open question in Gudder’s (Rep Math Phys 54:93–114, 2004), Compressible effect algebras, Rep Math Phys, by showing that the cartesian product of an infinite number of E _i is a compressible effect algebra if and only if each E _i is a compressible effect algebra. This work was supported by the SF of Education Department of Shaanxi Province (Grant No. 07JK267), P. R. China.     

Mechanical Geometry Theorem Proving Based on Groebner Bases

A new method for the mechanical elementary geometry theorem proving is presented by using Groebner bases of polynomial ideals.It has two main advantages over the approach proposed in literature:(i)It is complete and not a refutational procdure;(ii) The subcases of the geometry statements which are not generally true can be differentiated clearly.     

An algorithm for removing facial makeup disturbances based on Clifford algebras

The main goal of the paper is to show that Clifford algebras can be used to solve problems of removing facial makeup disturbance. After simulation and practical application experiments, the algorithm is a natural and effective manner.     

基于尺度显著性算法的车型识别方法

针对复杂背景的视频图像车型识别,提出了一种利用尺度显著性的车型识别方法。由于尺度显著性对图像均一亮度变化、缩放、旋转以及噪声都具有不变性,因此引入尺度显著性算法提取车辆图像的分类特征。最后采用RBF网络分类验证该方法对多种车型的识别。实验结果表明,提取尺度显著性特征能够有效地识别汽车车型。     

效应代数水平和上的序列积

建立了一族可和序列效应代数的水平和上具有序列积的充分必要条件,进而给出了由序列效应代数的水平和构造序列效应代数的一种方法。     

An efficient ranging method based on Chinese remainder theorem for RIPS measurement

The radio interferometric positioning system(RIPS) measures the phase difference of the interference signal to provide high accuracy and at the same time maintain simple hardware configuration for wireless sensor networks.However, it suffers from phase ambiguity problem because of the periodicity of phase, which makes it hard to determine the actual distance difference only from a single phase measurement.To solve the problem, RIPS makes multiple measurements at different frequencies so as to determine the ...     

QH-200型工业微枳核子秤的研发及应用

简要介绍了QH-200型工业微机核子秤的工作原理、系统组成、技术特性以及应用情况,并对核子秤应用中的设各选型,实物标定、安全防护和影响计量精度的因素等问题作了具体阐述。     

基于高斯尺度空间的山脊主脉提取方法

山脊线有主脉和支脉之分,主脉连贯突出且长度较长,控制了地形整体特征和态势,支脉则相对短小、分布于主脉两侧,反映了地形局部变化与细节。然而,现有方法提取的山脊线包含支脉多,提取结果偏差大、连续性差,无法支持实际应用。为此,结合多尺度分析与图像融合理论,提出了一种主脉的提取方法。新方法以不同参数的高斯核函数对数字高程(DEM)数据做多尺度分解,分别提取各尺度下山脊线,再以高斯尺度参数构造各尺度山脊线权重,采用加权平均法融合各尺度山脊线,获得更能体现宏观地形特征的主脉。实验结果表明,该方法简单易行,提取的主脉清晰、连续,与实际地形较为相符。     

An “impossibility” theorem on a class of high-order discrete-time nonlinear control systems

A high-order discrete-time nonlinear system with unknown parameters and Gaussian noise is studied in this paper, and it is shown that under a simple algebraic condition concerning the nonlinearity of the system, there does not exist any feedback controller that globally stabilizes the uncertain system. This impossibility result attempts to understand the capability and limitation of feedback mechanism of a high-order discrete-time nonlinear system and continues a series of previous research on similar first-order systems. This result shows that for the high-order discrete-time nonlinear system studied here, a polynomial corresponding to the first-order principle part of the system determines the limit of the feedback mechanism.     

A knowledge model for gray scale image interpretation with emphasis on welding defect classification—An ontology based approach

Image interpretation is the process of mapping the content of the image to a real world object that is easily understandable by any user. To perform any image interpretation, the image information is extracted through feature extraction and is then mapped to the known objects of any domain. In order to retain the extracted feature information of the domain for reusability, a proper modeling of the image content is required. This helps in maximizing the leverage of knowledge in image interpretation of specific domain through a computer interpretable model which results as a knowledgebase. This paper focuses on such a modeling for gray scale image interpretation emphasizing on welding defect classification which resulted in domain ontology of welding defects. Domain ontology is created by formalizing the information related to the gray scale image and its significance in welding defects. The developed system is evaluated using industrial radiographs to detect and classify welding defects.     

Distance measure for Fermatean fuzzy linguistic term sets based on linguistic scale function: An illustration of the TODIM and TOPSIS methods

In this paper, we propose the Fermatean fuzzy linguistic term set (FFLTS) based on the linguistic scale function. A new similarity measure between FFLTSs is constructed, which not only includes the linguistic scale function but also combines the cosine similarity measure and Euclidean distance measure, and then the related properties of the similarity measure are proven. A corresponding distance measure is obtained according to the relationship between the distance measure and similarity measure. Furthermore, we extend the Tomada de Decisão Interativa Multicritério (TODIM) method and the Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) method to the corresponding distance measure under the Fermatean fuzzy linguistic environment. The main advantages of the proposed methods are that they can not only transform linguistic information effectively in different decision environments but also improve the adaptability of FFLTS in decision-making problems. Finally, a numerical example is provided to illustrate the effectiveness and feasibility of the proposed methods, which are also compared with other existing methods. The sensitivity analysis of the parameters and the influence of linguistic scale function on the ranking results are also discussed.     

An automatic compensation method on compression effect and surface elasticity measurement based on the deflection signal of AFM

Atomic force microscope(AFM),as an important instrument in micro/nano operation,has been widely used to measure sample’s height information.However,the so called compression effect,due to force aroused from the contact of AFM tip with a sample surface,would result in imprecision of the surface’s height measurement,i.e.,the measured height is lower than expected.Up to now,there is not any effective and rapid method to attenuate this kind of measurement error.Thus,in this paper,an algorithm to obtain high acc...     

An empirical study of the effect of complexity, platform, and program type on software development effort of business applications

Several popular cost estimation models like COCOMO and function points use adjustment variables, such as software complexity and platform, to modify original estimates and arrive at final estimates. Using data on 666 programs from 15 software projects, this study empirically tests a research model that studies the influence of three adjustment variables—software complexity, computer platform, and program type (batch or online programs) on software effort. The results confirm that all the three adjustment variables have a significant effect on effort. Further, multiple comparison of means also points to two other results for the data examined. Batch programs involve significantly higher software effort than online programs. Programs rated as complex have significantly higher effort than programs rated as average.