论文部分内容阅读
根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式.
部分多值逻辑中单纯可离和完满对称关系的计数
【摘 要】
：
根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式.
【机 构】
：
湘潭大学信息工程学院,湖南 湘潭 4111051;智能计算与信息处理教育部重点实验室(湘潭大学),湖南 湘潭 411105
【出 处】
：
2012年全国理论计算机科学学术年会(NCTCS2012)
【发表日期】
：
2012年9期
其他文献
The pulsed chemical oxygen-iodine laser (COIL) with the advantages of high power operation,excellent optical beam quality and short wavelength of 1.315μm has played a significant role in industrial an
Ion engine is a prospective propulsion device for deep space exploration because of its high specific impulse,high efficiency and light weight.
Real-Time Dose Monitoring System by Sensing Implanter Current and Biased Pulse Voltage in Plasma Sou
To measure ion dose in plasma source ion implantation (PSII) is very important for monitoring processing reliability and repeatability.
E-H mode transition and hysteresis in argon and argon-nitrogen mixture radio-frequency inductively c
Inductively coupled plasma (ICP) has been widely used in semiconductor industry,due to its perfect characteristics of reduced ion damage,independently controllable ion energy and high density plasmas.
As the plasma etching chamber becomes larger,information on spatial distribution of chemically reactive species in plasma is necessary.Spectroscopic diagnostic method can be one of indirect methods fo
Discharge characteristics of a cold atmospheric plasma jet array generated with single-electrode con
In this paper,a cold atmospheric plasma (CAP) jet array is generated by a scalable two-dimensional (2D) array device of seven CAP jets arranged in a honeycomb configuration and designed with a single-
Three types of the advanced plasma sources are represented,i.e.dc cold cathode and RF gridded ion sources as well as prolonged plasma source operating at atmospheric pressure.
The experimental study of the plasma parameters as well as RF power input mechanism to the new modification of RF dscharge,i.e.hybrid discharge sustained by both potential and vortical RF electrical f
The Aspect-Oriented Programming provides a way of modularization of crosscuting concerns in software.In recent years,many researchers have developed some AOP languages,such as AspectJ,AspectC++ and so
会议
Vehicle classification has found many applications,such as vehicle detection,automatic driving and so on.In this paper we introduce a new method based on edge orientation histograms.
会议