期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
模态逻辑公理的粗糙真语义分析 被引量:4
1
作者 闫林 张聪品 《计算机研究与发展》 EI CSCD 北大核心 2006年第11期1999-2004,共6页
粗糙真是Pawlak粗糙逻辑的5个逻辑值之一,介于真与假之间.通过对论域Un上所有近似空间相互关系的讨论,构造了一类代数结构——格,这类格形成了特殊的克里普克语义模型.其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分... 粗糙真是Pawlak粗糙逻辑的5个逻辑值之一,介于真与假之间.通过对论域Un上所有近似空间相互关系的讨论,构造了一类代数结构——格,这类格形成了特殊的克里普克语义模型.其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析.这种分析不限于真与假的二值讨论,而主要对粗糙真进行重点研究.最终的结果表明模态逻辑形式系统的公理在这类特殊语义模型中基本都粗糙真有效.从而也得到了利用某些公理进行粗糙真形式推理的可靠性. 展开更多
关键词 粗糙真 语义 粗糙真有效 粗糙真公理
下载PDF
信息系统中逻辑公式的粗糙真研究及应用 被引量:2
2
作者 闫林 刘延 王全蕊 《计算机工程与应用》 CSCD 北大核心 2006年第29期71-74,共4页
采用逻辑的方法在完备信息系统中展开讨论,通过对公式及公式语义的定义,引出了公式的语义在信息系统上均匀分布的概念。为了对此进行研究,利用Pawlak上近似定义了逻辑公式的粗糙真,其目的就是通过公式的粗糙真对公式语义的均匀分布进行... 采用逻辑的方法在完备信息系统中展开讨论,通过对公式及公式语义的定义,引出了公式的语义在信息系统上均匀分布的概念。为了对此进行研究,利用Pawlak上近似定义了逻辑公式的粗糙真,其目的就是通过公式的粗糙真对公式语义的均匀分布进行分析。进而,得到了关于粗糙真的相应结论以及如何利用这些结论判定析取特征公式粗糙真的算法。在此基础上,通过信息系统的实例讨论了粗糙真在判定析取特征公式语义均匀分布的具体应用。 展开更多
关键词 粗糙真 均匀分布 语义 公式
下载PDF
粗糙逻辑在近似空间一类特殊公式下的语义研究及应用 被引量:6
3
作者 闫林 《计算机工程与应用》 CSCD 北大核心 2004年第25期84-87,共4页
该文以Pawlak粗糙逻辑为基础,在近似空间M=(U,R)中展开讨论。首先对划分U/R=狖犤b1犦,犤b2犦,…,犤bn犦狚中每一个等价类犤bi犦(i=1,2,…,n)进行排序,然后再结合等价关系R,定义出U上的偏序关系P。根据该偏序关系P构造一类特殊的逻辑公式... 该文以Pawlak粗糙逻辑为基础,在近似空间M=(U,R)中展开讨论。首先对划分U/R=狖犤b1犦,犤b2犦,…,犤bn犦狚中每一个等价类犤bi犦(i=1,2,…,n)进行排序,然后再结合等价关系R,定义出U上的偏序关系P。根据该偏序关系P构造一类特殊的逻辑公式,从而形成特殊的粗糙逻辑语言。最后进一步研究了某些公式的粗糙逻辑值以及这些公式在实际中的应用。 展开更多
关键词 近似空间 粗糙逻辑 粗糙真 等价关系 划分
下载PDF
Study on Factors Affecting Springback and Application of Data Mining in Springback Analysis 被引量:1
4
作者 张少睿 罗超 +2 位作者 彭颖红 李大永 杨洪波 《Journal of Shanghai Jiaotong university(Science)》 EI 2003年第2期192-196,共5页
Springback of sheet metal induced by elastic recovery is one of major defects in sheet metal forming processed. Springback is influenced by many factors including properties of the sheet material and processing condit... Springback of sheet metal induced by elastic recovery is one of major defects in sheet metal forming processed. Springback is influenced by many factors including properties of the sheet material and processing conditions. In this paper, a springback simulation was conducted and comparisons between the results based on different processing variables were illustrated. The discovery of knowledge of the effects of geometry and process parameters on springback from FEM results becomes increasingly important, as the number of numerical simulation has grown exponentially. Data mining is an effective tool to realize knowledge discovery in simulation results. A data-mining algorithm, rough sets theory (RST), was applied to analyze the effects of process parameters on springback in U-bending. 展开更多
关键词 FEM SPRINGBACK data mining rough sets theory principal component analysis
下载PDF
Development of twin wheel creep-feed grinding machine using continuous dressing for machining of aircraft rotary wing 被引量:1
5
作者 KIM Jin-seob HWANG Jong-dae JUNG Yoon-gyo 《Journal of Central South University》 SCIE EI CAS 2011年第3期704-710,共7页
The purpose of this study is to develop a twin wheel creep-feed grinding machine using continuous dressing to machine precise axisymmetric turbine blades that have been difficult to machine using a conventional creep-... The purpose of this study is to develop a twin wheel creep-feed grinding machine using continuous dressing to machine precise axisymmetric turbine blades that have been difficult to machine using a conventional creep-feed machine.In order to develop such a machine,3D-modeling and machine simulations were performed and a twin wheel creep-feed grinding machine was manufactured.Furthermore,the axisymmetric precision of the machined workpieces through practical machining was evaluated and the quality of the continuous dressing effect of the developed machine was established.In addition,experimental considerations for a proper dresser-to-wheel speed ratio and proper feed rate of the dresser were carried out.As a result,a twin wheel creep-feed grinding machine with continuous dressing is developed through machine simulation,manufacturing and performance evaluation.Optimum condition for the dresser feed rate is 0.3μm/rev.In cases of large dressor-to-wheel speed ratio,grinding efficiency can be enhanced,but the surface roughness shows a conflicting trend.Developed twin wheel creep-feed grinding machine has satisfactory appraisal with regard to surface roughness,flatness,and parallelism.Satisfactory surface roughness below 0.1μm can be obtained for the blade of aircraft.However,in order to perform precise machining,it is necessary to improve the structure of the twin wheel creep-feed grinding machine. 展开更多
关键词 creep-feed grinding twin wheel surface roughness grinding force continuous dressing flatness parallelism
下载PDF
Rongh逻辑公式的语义分析及基于语义分析推理的研究 被引量:5
6
作者 闫林 王全蕊 刘延 《模式识别与人工智能》 EI CSCD 北大核心 2006年第4期433-438,共6页
在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的笛卡尔积U^n之上,并对这些推广的n元公式进行研究,讨论以Paw-lak粗糙逻辑中的5种逻辑值为基础,并在n元公... 在粗糙集理论的近似空间M=(U,R)中展开讨论,其目的是要把Pawlak粗糙逻辑中的公式进行推广,将其所涉及的论域从与U有关扩展到n个U的笛卡尔积U^n之上,并对这些推广的n元公式进行研究,讨论以Paw-lak粗糙逻辑中的5种逻辑值为基础,并在n元公式上对此进行推广定义,针对这些关于n元公式的粗糙逻辑值,从语义出发,研究n元公式之间的逻辑推理关系,其结果是经典逻辑中的一些逻辑推理的结论对于某些粗糙逻辑值仍然成立,但自然也增添新的性质。 展开更多
关键词 近似空间 粗糙真 粗糙 等价关系 划分
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部