一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程。     

论道家的社会发展合理性思想

在道家的社会发展合理性思想中,合理性的社会发展是与"道"的特性相一致的社会,它的社会制度是自然形成的,而不是圣人有意造作的结果。老子的小国寡民理想是一个"无争"的和平世界,庄子的"建德之国"则是个性得到充分发展的社会。     

功利主义辩难

作为一种道德——政治哲学，功利主义的合理性与其局限性几乎同样明显。功利主义的局限不仅源于其自身理论逻辑的不完备性，也来自其外部社会条件的有限性。因此，对功利主义局限性的克服，既非其理论上的自我完善，更不能奢望提出一种完美无缺、放之四海而皆准的替代性理论，而是应构建由各种不同的价值取向相互补充、相互矫正所形成的制衡机制，以有效地防止一种文化或一个社会由于过分地倚重某一种价值取向（如功利主义）而导致严重失衡，以至发生倾覆。     

笑谈鼠“功”

十二生肖鼠为首。余朝思暮想，很为子“先生”过街也受惩而鸣不平，如不幸屈死，此文谨供其生前友好共赏。世人皆清我浊浊，不论正面的评价或作反面的教材，都是“天生鼠材必有用”的。现归纳如下：     

消费者即时维权应掌握的常识

我们在消费中,当权益受到侵害后,一般都会找商家交涉和理赔;若交涉未果,就会选择通过法律手段去维权。但有些消费者特别是老年消费者多因准备不足而费尽周折,有的还贻误了本可维权的时机。为了使损害的权益得到即时维护,笔者根据相关法规,归纳整理     

对我国服务贸易开放度的度量

近年来我国服务贸易对外开放问题倍受社会各界的关注。论文在综述相关文献基础上分析了我国服务贸易合理开放度问题,并运用回归分析方法进行了相关实证研究。     

对哲学的科学性问题的一种解释——兼谈马克思主义哲学科学性的特殊意蕴

从一般的学理上来说,哲学因其拥有应然不具备必然的属性而区别于实证科学.如果说哲学也具有某种必然性的话,也是一种依据其立论的现实性而具备的一种合理性,或者说是一种价值真理.对待马克思主义哲学也应该采取这样的态度.     

牟宗三道德形而上学建构的反思——以中国现代形而上学的建构为背景

中国现代形而上学的建构存在着“逻辑”(知性 )和“生命”两条进路 ,牟宗三的道德形而上学是对熊十力生命进路的继承。这一形而上学在净化传统儒家“意义本体论”的同时 ,又将“良知”变成了吞噬一切的“黑洞” ,在某种意义上是对原始儒家“存在合理性”的偏离。     

论亨迪卡对问句逻辑的贡献

金圣叹“文法”论的核心是用文章之法评点《水浒传》。文章之法源自古代的章句之学,至宋明成熟,与时文之法互相影响,评点的批评形式至宋代真正形成。在明代,时文评点兴盛,形成评点一切文体的风气。金圣叹以“文法”评点《水浒传》具有特定时代的必然性。同时,明清小说作者的科举经历、明清小说结构对八股文法的借鉴也使金圣叹的“文法”评点具有一定的合理性。     

醉驾入刑若干问题探讨

醉驾入刑以来,在法制效果和社会效果方面显现,但同时存在许多问题,立法存在缺陷。醉驾情形多种多样,应该通过分析对其细化,,对症下药从而完善醉驾入刑的规定。