搜索筛选:
搜索耗时0.0894秒,为你在为你在102,285,761篇论文里面共找到 15 篇相符的论文内容
类      型:
[期刊论文] 作者:冯世光,, 来源:水泥 年份:1997
[期刊论文] 作者:冯世光,, 来源:工会论坛(山东省工会管理干部学院学报) 年份:2002
加入WTO后 ,中国迅速与国际市场接轨 ,企业的竞争在更大程度上表现为文化的竞争 ,具体表现为对企业经营战略的制订、实施的影响及企业文化要体现出与时俱进的品质。...
[期刊论文] 作者:冯世光, 来源:广西公安管理干部学院学报 年份:2000
[学位论文] 作者:冯世光, 来源:内蒙古大学 年份:2011
论文研究了污水处理过程,设计完成了污水处理自动控制系统。针对CASS (cyclic activated sludge system)污水处理工艺特点,结合现场设备的要求,采用PROFIBUS-DP和MODBUS现场...
[学位论文] 作者:冯世光, 来源:中山大学 年份:2012
描述复杂性理论是一门从逻辑的角度对计算复杂性进行研究的学问。是否存在一个逻辑能在所有结构上刻画PTIME是描述复杂性理论中长期悬而未决的开问题。本文从二阶HORN逻辑的角度对描述复杂性进行研究,提出了二阶修正HORN逻辑(SO-HORNr)和修正DATALOG程序(DATALOG......
[期刊论文] 作者:张宝华,冯世光,, 来源:中国艺术 年份:2017
常沙娜先生是我国著名的艺术设计家、教育家。她承载了父亲常书鸿的遗志,一生致力于敦煌艺术的保护、研究与教育。她自12岁起随父临摹敦煌壁画,后赴美留学,归国后在林徽因指点下......
[期刊论文] 作者:冯世光,陈榕, 来源:微计算机应用 年份:2007
系统地介绍在Linux上“和欣”虚拟机ElaVM(Elastos Virtual Machine)的同步机制的设计和实现。它为虚拟机上层的应用程序提供同步服务。提出了一种通过读写Linux的匿名管道来实...
[期刊论文] 作者:冯世光,戴红, 来源:黑龙江金融 年份:1999
[期刊论文] 作者:冯世光,赵希顺, 来源:逻辑学研究 年份:2012
本文研究了在所有有穷结构上SO.HORN*,SO—HORNτ和SO-HORNτ的表达能力。我们证明了SO-HORNτ,SO—HORN*τ和FO(LFP)的表达能力是一致的,SO—HORN*是SO-HORNτ的一个严格子逻辑。为了...
[期刊论文] 作者:冯世光,黄雪颂, 来源:廉政瞭望 年份:2002
如何对那些在反腐败斗争中的弱势群体进行支持、引导、帮助,是一个需要研究的课题。"发动群众、依靠群众",在当今的反腐斗争中发挥着重要作用、"国家兴亡,匹夫有责" 反腐败,...
[期刊论文] 作者:刘卫东,冯世光, 来源:聊城师范学院学报(哲学社会科学版) 年份:1994
尼采学说与新文化启蒙刘卫东,冯世光毫无疑问,发生于七十年以前的新文化启蒙运动是植根于中国特定的历史文化”上填”中的;但也毋庸讳言,如果没有西方思潮之“水”的浇灌,中国也不......
[期刊论文] 作者:冯世光,沈榆平,, 来源:国际学术动态 年份:2009
由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用(SA佗008)国际学术年会于2008年5月12-1...
[期刊论文] 作者:邹盛, 冯世光, 潘国富,, 来源:测绘通报 年份:2015
一、引言增强系统可以提高全球导航系统的导航定位性能,能满足高精度的应用。自北斗卫星导航系统正式提供服务以来,地基增强系统的建设在我国陆续展开。而实现地基增强系...
[期刊论文] 作者:彭春娥,唐景裕,冯世光,, 来源:中国卫生检验杂志 年份:1993
为加强白酒生产的卫生管理以及提高其卫生质量。我们对1979~1992年间,本县以白薯粉渣为原料生产经营的蒸馏酒四项理化检验结果进行了分析,其结果如下: 1 项目与方法 1.1 乙醇...
[期刊论文] 作者:冯世光,王克诩,赵希顺, 来源:逻辑学研究 年份:2022
本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究.本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKROM等价,他们都可以刻画co-NP......
相关搜索: