检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

投影时序逻辑的公理系统与形式验证

西安电子科技大学学报 2009年第4期36卷 680-685,729页

作者：舒新峰段振华西安电子科技大学计算理论与技术研究所陕西西安710071 西安邮电学院计算机系陕西西安710121

为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,... 详细信息

为了采用定理证明的方法对并发及交互式系统进行验证,提出了一阶投影时序逻辑的公理系统.利用投影时序逻辑既可描述待验证系统性质和规范,又可描述其实现模型的特点,在同一投影时序逻辑框架可以方便地对待验证系统进行建模和性质描述,并使用公理系统完成系统性质的证明.最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用.

关键词：投影时序逻辑公理系统形式化方法验证

“列宁主义”的定义之争及对马克思主义中国化的影响——基于列宁时代观的视角

在线全文

学校读者我要写书评

暂无评论

社会主义研究 2019年第1期 28-35页

作者：舒新江汉大学马克思主义学院江汉大学马克思主义中国化研究中心

列宁的时代观是对世界政治经济矛盾运动的基本状态作出的一般性判断,他明确地将时代问题与无产阶级历史使命结合起来,赋予时代问题以鲜明的实践特色。列宁的时代观是贯穿列宁主义的逻辑链条,是打开列宁主义的一把钥匙。在时代观视阈下... 详细信息

列宁的时代观是对世界政治经济矛盾运动的基本状态作出的一般性判断,他明确地将时代问题与无产阶级历史使命结合起来,赋予时代问题以鲜明的实践特色。列宁的时代观是贯穿列宁主义的逻辑链条,是打开列宁主义的一把钥匙。在时代观视阈下考察斯大林和季诺维也夫关于"列宁主义"的定义之争,可以看出,二者在时代问题的把握上、在列宁主义时代观、列宁主义的理论渊源及理论使命上的观点是一致的,都是正确的。季诺维也夫定义中对农民问题的突出强调,抓住了列宁主义中最具有时代特色和民族特色的部分,并没有降低列宁主义的国际性。因此,季诺维也夫的表达更加合理。斯大林的定义,夸大了列宁主义的国际性,湮没了内含于列宁主义中的马克思主义民族化的方法论指导意义,导致了苏联和各国共产党马克思主义民族化的主体自觉性的长期缺失。尽管如此,斯大林继承了列宁的帝国主义和无产阶级革命理论,他指导下的共产国际使中国共产党免受改良主义的影响,成为马克思主义革命政党,大大促进了马克思主义中国化的进程。当然,斯大林对列宁主义国际性的扩大化强调,也助长了中国共产党党内的左倾教条主义倾向,妨碍了中国共产党在推进马克思主义中国化进程中主体自觉性的生成。而"马克思主义中国化"命题的提出,一定意义上正是中国共产党扬弃斯大林和共产国际的"列宁主义"观的结果,也是中国共产党主体自觉性提升的体现。

关键词：列宁主义时代观马克思主义中国化

2000年国内学术界对列宁理论研究的新进展

在线全文

学校读者我要写书评

暂无评论

当代世界与社会主义 2001年第5期 58-62页

作者：舒新华中理工大学汉口分校社科部

2000年国内学术界对列宁理论研究有较大发展.据笔者不完全统计,这一年学术界发表关于列宁理论研究的学术论文有一百多篇,涉及到哲学、经济学、政治学和科学社会主义等领域.这些论文的内容,一是在宏观视角上对列宁的事业和理论进行实事... 详细信息

2000年国内学术界对列宁理论研究有较大发展.据笔者不完全统计,这一年学术界发表关于列宁理论研究的学术论文有一百多篇,涉及到哲学、经济学、政治学和科学社会主义等领域.这些论文的内容,一是在宏观视角上对列宁的事业和理论进行实事求是的总结和评价;二是对列宁理论尤其是晚年思想与邓小平理论的渊源关系进行多维考察,提出了新的观点;三是与当代中国实际紧密结合,为解决中国面临的现实问题,从列宁理论中发掘出有参考价值的理论成果.

关键词： 2000年列宁理论研究中国学术成果

冷战初期中国共产党与西方社会党之间的关系述论

在线全文

学校读者我要写书评

暂无评论

当代世界与社会主义 2006年第5期 125-128页

作者：舒新湖北江汉大学政法学院

冷战初期,中国共产党和西方社会党作出了截然不同的历史抉择。不同的历史抉择决定了中国共产党和西方社会党之间全面对立的关系状态。从冷战格局的形成至20世纪70年代末,中国共产党和西方社会党之间全面对立的状态持续了30多年。但作为... 详细信息

冷战初期,中国共产党和西方社会党作出了截然不同的历史抉择。不同的历史抉择决定了中国共产党和西方社会党之间全面对立的关系状态。从冷战格局的形成至20世纪70年代末,中国共产党和西方社会党之间全面对立的状态持续了30多年。但作为世界政坛的两支重要的力量,二者在全面对立的主题下,有过有限的接触。这些接触,都不具有党际交往的意义,但却为以后二者关系的改善奠定了一定的基础,体现出二者必将走向缓和与合作的潜在趋势。

关键词：冷战中国共产党西方社会党关系

从世界革命的角度解读列宁对伯恩施坦主义的批判

在线全文

学校读者我要写书评

暂无评论

社会主义研究 2009年第5期 20-24页

作者：舒新江汉大学政法学院

十月革命前和十月革命时期,列宁着重批判了伯恩施坦主义在俄国的"变种",目的是保证俄国革命走向胜利,从而拉开世界革命的"序幕"。十月革命后,列宁着重批判了第一次世界大战后的伯恩施坦主义即社会沙文主义,目的是确保共产国际及其成员... 详细信息

十月革命前和十月革命时期,列宁着重批判了伯恩施坦主义在俄国的"变种",目的是保证俄国革命走向胜利,从而拉开世界革命的"序幕"。十月革命后,列宁着重批判了第一次世界大战后的伯恩施坦主义即社会沙文主义,目的是确保共产国际及其成员党与社会沙文主义划清界限,以无产阶级国际主义原则推进世界社会主义革命。1921年后,随着西方革命浪潮的低落,列宁将信奉伯恩施坦主义的西方社会民主党重新划归到工人阶级统一战线中,这是列宁晚年思想的重大转变。

关键词：世界革命列宁伯恩施坦主义批判

在线全文

学校读者我要写书评

暂无评论

公共图书馆实行借阅有偿服务弊端浅析

图书馆 1989年第4期 44-45页

作者：舒新

近几年来,许多图书馆在发挥其本身社会职能的同时,为了增强自身发展能力,开展了多种多样的有偿服务活动。对繁荣群众文化,促进精神文明建设起到了十分积极的作用。在图书馆事业迅猛发展的过程中,必然会出现一些有待进一步探索和逐步完... 详细信息

近几年来,许多图书馆在发挥其本身社会职能的同时,为了增强自身发展能力,开展了多种多样的有偿服务活动。对繁荣群众文化,促进精神文明建设起到了十分积极的作用。在图书馆事业迅猛发展的过程中,必然会出现一些有待进一步探索和逐步完善的问题。特别是在商品经济占主导地位的今天,图书馆开展有偿服务活动究竟以何作标尺?确实值得我们广大图书馆工作者重视和研究。目前,在图书馆界,特别是公共图书馆系统,有偿服务已渗透到各个部门、各个环节。这些有偿服务活动,既有与本专业有关的,也有与本专业无关的。

关键词：有偿服务图书馆界公共图书馆图书馆事业主导地位图书馆系统图书馆工作者服务活动借阅服务精神文明建设

浅析冷战初期中国共产党对民主社会主义的认知和评判

在线全文

学校读者我要写书评

暂无评论

当代世界与社会主义 2009年第2期 183-187页

作者：舒新江汉大学政法学院

由于东西方国情不同、共产党与社会民主党在理论和组织方面的分裂,中国共产党从建党时起,便承袭了共产国际的观点,对民主社会主义持先入为主的观念。冷战初期,全面对立和全盘批判是中国共产党认知民主社会主义的主题。此时,中国共产党... 详细信息

由于东西方国情不同、共产党与社会民主党在理论和组织方面的分裂,中国共产党从建党时起,便承袭了共产国际的观点,对民主社会主义持先入为主的观念。冷战初期,全面对立和全盘批判是中国共产党认知民主社会主义的主题。此时,中国共产党的领导人在某些具体场合对民主社会主义所作的一些客观评价,虽然没有形成全党的共识,也没有产生应有的政治影响,但却为改革开放后中国共产党全面而科学地认知民主社会主义埋下了伏笔。

关键词：冷战初期中国共产党民主社会主义基本观点

在线全文

学校读者我要写书评

暂无评论

新经济政策的理论价值和现实启迪再探

社会主义研究 2020年第3期 37-44页

作者：舒新华中师范大学政治与国际关系学院

新经济政策是列宁留下来的重要理论遗产,是社会主义改革论的最初思想资源,必须在列宁主义的理论逻辑下把握新经济政策思想。对战时共产主义的反思是列宁实行新经济政策的缘起。战时共产主义的教训在于,执政的共产党对落后的国情与社会... 详细信息

新经济政策是列宁留下来的重要理论遗产,是社会主义改革论的最初思想资源,必须在列宁主义的理论逻辑下把握新经济政策思想。对战时共产主义的反思是列宁实行新经济政策的缘起。战时共产主义的教训在于,执政的共产党对落后的国情与社会主义目标之间存在着的矛盾必须始终保持清醒的认识。新经济政策是列宁的世界革命战略退却部署在国内政策上的体现。新经济政策的第一要务在于经济上退却以防政治上失权;根本任务在于引领俄国一国向社会主义过渡;目标在于坚守革命策源地,等待世界革命高潮的重新到来。必须明确新经济政策中利用商品市场原则的限度,对列宁的社会主义观要作历史的、客观的分析。站在21世纪的历史高度,在改革的语境下诠释新经济政策的理论价值和历史局限,对于中国共产党继承并发扬新经济政策的思想遗产,坚持正确的社会主义观和社会主义改革方法论,推进当今中国的改革开放事业,具有重要的现实意义。即便是其历史局限,对于当代中国特色社会主义建设和世界社会主义运动来说,也不失为另一种意义上的现实启迪。

关键词：列宁新经济政策改革开放中国特色社会主义世界社会主义运动