【摘 要】
：
The main results are as follows: (1) it deals with a number of basic operations (concatenation, Kleene closure, homomorphism, complement); (2) due to a conditio
【机 构】
：
Department of Computer Science
【基金项目】
：
广东省自然科学基金;Research Foundation for the Doctorial Program of Higher School of Ministry of Education;国家自然科学基金
论文部分内容阅读
The main results are as follows: (1) it deals with a number of basic operations (concatenation, Kleene closure, homomorphism, complement); (2) due to a condition imposed on the implication operator for discussing some basic issues in orthomodular lattice-valued automata, this condition is investigated in detail, and it is discovered that all the relatively reasonable five implication operators in quantum logic do not satisfy this condition, and that one of the five implications satisfies such a condition iff the truth-value lattice is indeed a Boolean algebra; (3) it deals further with orthomodular lattice-valued successor and source operators; (4) an example is provided, implying that some negative results obtained in the literature may still hold in some typical orthomodular lattice-valued automata.
其他文献
In this paper some new parallel difference schemes with interface extrapolation terms for a quasi-linear parabolic system of equations are constructed. Two type
The problem of scalable classification by clustering in large databases was discussed. Clustering based classification method first generates clusters using clu
This paper reports the thermoluminescence (TL) characteristics of lithium borate activated by Cu,Ag and P. The glow curves and spectra of thermoluminescence wer
When bioactive materials are implanted in vivo, a bone-like apatite layer can be found on their surfaces, which is critical to the establishment of bone-bonding
In order to control retained austenite, the effect of hot deformation in the intercritical region on the microstructure of hot-rolled transformation-induced pla
In order to provide firsthand reference data for model building and analysis of temperature field of seafloor hydrothermal vent, a temperature measurement syste
提出了一种相对论重离子碰撞中强子物质生成时的π膨胀源模型.得到了该模型中的小相对论动量区域的2π关联函数及表观π源参数Ra与实际π源参数Re的关系.这一关系与QGP生成时
Damage mechanisms for osteoblast cells (OBs) attached to hydroxyapatite (HA)discs and glass coverslips were comprehensively investigated. Cell-cell, cell-matrix
Some sufficient and necessary conditions that implication algebra on a partial ordered set is associated implication algebra are obtained, and the relation betw
The studies on the effect of atmospheric aerosol on climate and environment are hot issues in the current circle of international science and technology. In rec