时序逻辑的语法语义比较分析

随着信息技术的快速发展,信息和通信技术(ICT)系统被广泛使用,因而其可靠性非常重要.本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴.     

德育应如何看待"利己"

利己从理论上讲只是一个中性词,是人趋利避害的一种自然本能,有其必然性和合理性.利己与利他并不是天然对立的,利己本身并不包含道德问题,利己的手段才牵涉到道德问题.因此,道德教育的目的并不是去灭杀人的利己之心,而是规范人利己的手段,通过利他而合理利己.为利己正名是我国道德教育走出困境的重要前提.     

从政治遗民到文化遗民——侯方域参加清廷乡试原因新论

侯方域参加清廷乡试,为清初文坛与遗民界极其重要的事件,长期受后人关注。然其原因,至今仍众说纷纭,成为一大聚讼。深入解读侯方域的作品,可以看出其晚年为学趣向与青年时的狂儒、异端大异,而近于醇儒。这一转变,与清初特殊的政治背景密切相关,体现出他试图"以道易天下"、通过"济满以汉"的方式以保存汉文化的思想。这种转向表明,侯方域已由早期政治遗民转化为文化遗民。这必然影响到他对出处问题的思考,成为其参加清廷乡试的深层动机。这不仅是解开侯方域参加清廷乡试问题的关键,而且对研究明遗民的转型及出处策略的演变均有重要意义。     

提高我国农村合作金融制度效率的路径选择

农村合作金融制度效率是事关农村金融制度健全 ,功能发挥 ,竞争力增强的重要问题。本文对农村合作金融制度效率进行认真理论分析和充分实证研究 ,并提出相应的路径选择。     

市场主体的趋利性对我国可持续发展战略的影响及对策

制定与实施可持续发展战略的旋风在全球掀起。中国率先制定并实施《中国 2 1世纪议程》和优先项目计划 ,把实施可持续发展作为我国一个重大战略。文章主要从市场主体趋利性的角度 ,分析在我国走可持续发展的市场经济之路 ,必须坚定不移地执行计划生育基本国策、坚定不移的实施科教兴国战略、强化立法与执法、推行环境保护市场化、把生态建设与治穷致富结合起来。     

论WTO协定体制对国际投资法的发展

WTO协定蕴含着大量的国际投资规范 ,它不仅丰富和发展了国际投资多边法制的内涵 ,使国际投资法的自由化、强制化更加明显 ,推动了国际投资法的调整机制日趋多边化 ,而且对国际投资双边法制和各国国内立法产生了深远的影响。     

执法是促进依法统计的有力保障——从统计执法看如何促进依法统计工作

自<统计法>颁布实施以来,我国的统计工作逐步迈入了法制化轨道.但统计工作中"国家统计有法、基层统计无法"的现象,在某些地方还比较突出.如何强化统计执法、"反哺"统计业务,推进依法统计进程,维护统计数据的真实性、权威性,是我们统计法制工作者当前面临的十分紧迫的任务.     

福建省山区产业优势转化研究

运用偏离份额法并建立数学模型,对福建省各地市产业结构和竞争力现状进行了比较分析,突出了山区产业比较优势向竞争优势转化的紧迫性,并提出了转化的对策。     

试论社会主义初级阶段宗教的特点和作用——兼论民族地区的宗教问题

如何正确认识社会主义初级阶段民族地区宗教的特点和作用,这在马克思主义经典著作中是找不到现成答案的。我们只有解放思想,采取实事求是的科学态度,才能正确地回答这个问题。本文就这个问题谈点自己的看法。