搜索筛选:
搜索耗时0.0913秒,为你在为你在102,285,761篇论文里面共找到 13 篇相符的论文内容
类      型:
[期刊论文] 作者:王善侠,, 来源:劳动保障世界 年份:2016
随着经济的发展,医疗技术条件的改善以及计划生育政策的实施,我国人口老龄化程度不断加重,社会养老保险制度滞后等一系列问题。文章就我国近期养老保险制度改革的有效性进行...
[期刊论文] 作者:王善侠,, 来源:西部财会 年份:2016
长期以来,我国政府预算执行中。资金使用不当,年终突击花钱现象还很普遍。近些年,政府引入了零基预算及预算绩效管理体系等各种方法,使预算体制更加完善,以提高财政资金的使用效益......
[学位论文] 作者:王善侠,, 来源:西南大学 年份:2017
时态逻辑是模态逻辑的一个重要分支。随着人工智能、软件工程、模型检测等领域的产生和发展,时态逻辑在计算机科中越来越重要。本文研究的对象是极小非正规时态逻辑C2t,该逻...
[学位论文] 作者:王善侠, 来源: 年份:2017
21世纪以来,我国开始面临日趋严峻人口老龄化形势,老年人口数不断增加,老年人养老问题成为社会亟待解决的一大难题,在传统家庭养老功能弱化的现代社会,必须要充分发挥社会养老保险作用。在工业化和城镇化的推进下,我国老龄化呈现突出的城乡倒置现象,导致农村“......
[学位论文] 作者:王善侠, 来源:长沙理工大学 年份:2005
随着多媒体技术和计算机通信的日益发展,具有庞大数据量的数字图像极大地制约了图像通信。采用有效的压缩编码技术删除冗余,以尽量少的比特数存储图像,并同时保证图像的质量,...
[会议论文] 作者:马明辉,王善侠, 来源:2014年南开数理逻辑研讨会 年份:2014
  Classical modal logic is logic of boolean algebras with operators(BAOs)([1] and [2]).It is well-known that the minimal modal logic K is sound and complete w...
[期刊论文] 作者:王善侠,王振华,王吉永, 来源:科技信息 年份:2007
Extensible Markup Language即“可扩展的标置语言”(简记为XML)的出现,为基于Web的数据挖掘带来了便利,开发人员能够用XML的格式标记交换数据。充分利用XML的优点,提供一种利用决...
[期刊论文] 作者:赵洪国,王英健,王善侠, 来源:微机发展 年份:2005
神经网络是智能故障诊断系统的一种重要的方法.粗糙集理论则是处理不完备信息的一种技术.文中以复杂的人工智能诊断问题为研究对象,系统地论述了基于神经网络、粗糙集、信息...
[期刊论文] 作者:马明辉,王善侠,邓辉文,, 来源:中国科学:信息科学 年份:2017
本文对关系语义(或Kripke语义)下极小非正规模态逻辑C2进行时序化处理,得到极小非正规时序逻辑C2t,并建立了C2t的Hilbert式公理系统HC2t,证明了其可靠性和完全性,C2t比极小时序逻辑Kt更具有一般性.本文还从证明论的角度对C2t进行了研究,建立了C2t的一个加标矢列......
[期刊论文] 作者:王善侠,马明辉,陈武,邓辉文, 来源:软件学报 年份:2017
正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它...
[期刊论文] 作者:冯乃勤,敖连辉,王善侠,王双喜,张新明,, 来源:计算机应用研究 年份:2010
通过提炼出来的一个形态学联想记忆的研究框架,可以很清晰地概括出形态学联想记忆的研究成果,从而可以很合理地归纳出形态学联想记忆仍存在的问题以及今后的发展方向。此形态...
[期刊论文] 作者:冯乃勤,敖连辉,王善侠,王双喜,田勇,, 来源:河南师范大学学报(自然科学版) 年份:2010
形态学神经网络是一类新颖的人工神经网络,但人们对它的研究,尤其是对于形态学异联想记忆的研究和应用,仍很不够.给出了形态学异联想记忆理论应用于图像的联想识别上的一般方...
[期刊论文] 作者:冯乃勤,王善侠,敖连辉,徐久成,张新明,, 来源:计算机工程与应用 年份:2011
形态学联想记忆(Morphological Associative Memories,MAM)的存储性能是衡量形态学联想记忆能力大小的重要指标。然而,迄今为止,对形态学联想记忆的存储性能,主要是对异联想形...
相关搜索: