C/C++的编程风格与强壮性的探讨

阐述为了使开发出来的程序具有更高的可读性、可维护性和强壮性,需要约束程序的编写;指出某些不良方法存在的弊病;提出一种比较规范的有利于程序开发的编程风格,并讨论了如何提高程序的强壮性。     

行动、断言、事件和主体——动态道义逻辑的几个基本概念

1988年梅耶给出一个动态道义逻辑(DDL)系统,该系统不是处理一般的词项和命题,而是把行动和断言作为逻辑的处理对象。梅耶之后,这一系统不断完善,使得对于道义逻辑的讨论扩展到实施行动的主体,即行动者以及和行动者相关的事件。在此对DDL及其个体事件扩展进行粗略讨论,意在表明道义逻辑的探索,是一个不断地从抽象的一般道义范畴朝向具体的生活世界范畴的过程。     

初中历史开展探究式教学之我见

历史是“既成事实”,编辑历史教科书只能是“求真务实”．来不得半点虚假。也许是因为“历史必须真”在作怪,历史教学从来就是按教本把当时权威史家的“断言”（且中学教本常常是“独断言”）不折不扣地灌输给学生。正因为这样．历史作业天然就是机械抄袭。这种教学观念使学生变成被动接受的“机器”．传统的“历史作业”禁锢了学生的创新探究潜能。     

摩尔悖论的断言规范路径解悖方案

在作为言语行动的断言视角下,摩尔悖论是断言悖论.通过对有关断言的预设进行批判,断言的知道规范、真规范以及辩护规范相继被提出,它们都能在一定程度上处理摩尔悖论,但都有各自的缺陷.文章提出了一种新的断言规范,即真信念规范,它不仅能消解摩尔悖论而且还能为其他知识论疑难提供指导.     

一种新的语义网信息检索方法

为了提高基于描述逻辑的知识库检索的效率,提出了断言图的概念和基于断言图匹配的检索方法.断言图是带有标签的有向图,基于断言图匹配的检索方法首先利用给定规则对基于描述逻辑的知识库和查询请求中的量化符号进行处理,然后转换成有向的知识断言图和查询断言图,最后利用图的遍历算法实现基于描述逻辑知识库检索.实验表明,该方法能够明显提高知识库检索的效率,其执行效率比当前流行的RACER和KAON2分别提高了0·4%和3·3%.     

翻译的三种不确定性（续）

八、观察断言句 可观察物以这种方式--"每当这样,就那样"组成的普遍性,就是我所称的观察断言句.它是由观察句组成的."每当"不是用来具体化时间,也不是用来量化时间.它是用来表示先于任何对象指称的不可还原的普遍性.它是关于这种效应的普遍性,即某观察句里所描述的情况总是伴以在另一观察句里所描述的情况.     

策略描述语言研究

在一个信息系统中,传统的策略以硬编码的方式实现,这种方式缺乏灵活性和可管理性。为此,人们提出了将策略规范描述和实现分离的思想。本文首先给出了策略的定义,阐述了策略与断言的区别,然后介绍了目前典型的四种不同策略规范描述语言,阐述了各自的特点和问题,最终对这些语言进行了对比分析。     

跳出井底,自有大天地

在备战高考的路途上,每个人都像是踽踽独行的侠客,没有人可以代替自己去闯荡江湖.起初的你,也许信心满怀,昂首挺胸地走在大道上,并未将一些小困难视作畏途.过了两个月,脚步渐渐放缓,情绪也平静了下来,觉得自己需要提升的技能还很多.又过了半年,步伐似乎有些沉重了,你抬头看看天,心想还要走多久才能到终点?日子眨眼到了第二年,眼看着离目的地不远了,你却迷失了方向,不知该往哪儿走,又或者早早断言了自己的结局,停止了前行,眼前只有试卷……高考的你,该抬起头看看这天空的宽阔与蔚蓝.     

集体备课的利与弊

不知从何时起兴起了集体备课之风,也不知从何时起我校也效法起了集体备课。不过,在我校刚刚兴起之时,我的心里就断言：那一定是短命的。好像我的断言还真的很有先见之明,今年秋季学期一开学,校长就宣布取消集体备课。我为这务实之举感到很高兴,于是来谈一谈集体备课的利与弊,供同仁们参考和借鉴。     

万维网服务认证控制系统的设计

Web服务提供了一系列可以用于连接分布式应用的互操作标准,在这种环境中,安全是一个至关重要的问题,端到端的连接通常需要在不同的信息系统中共享一个认证。然而,Web服务安全模型并没有完全定义,本文提出了基于SRP协议和SAML的多平台认证控制系统,可以在相互协作的不同信息系统中共享一个认证。