副词“终归”的形成

现代汉语副词"终归"来源于古汉语中状中式偏正词组"终归"。本文在描写词组"终归"用法的基础之上,提出了辨别其重新分析是否已经完成的形式标准,并在此基础上厘定了副词"终归"成词的大致年代。

行政法基本原则的确立标准

行政法的基本原则是行政法的具体原则和规则存在的基础,确定行政法的基本原则应遵循一定的标准。确立行政法基本原则的形式标准包括贯穿性、指导性、特殊性和可操作性;实质标准应体现法的根法价值和宪政精神。

虚概念的分类

在虚概念问题的讨论过程中，好多文章都谈到了虚概念的分类，但这些分类都是从虚概念的产生或来源方面进行的。众所周知，形式逻辑是外延逻辑。所以，笔者认为从外延方面对虚概念进行分类才符合形式逻辑的要求，本文在评述目前流行的虚概念分类标准和分类结果的同时。

形式对等和神似标准适用性和局限性

接受美学读者反映中的"读者"是一个相对笼统的概念。文学作品的读者至少可以分为以研究借鉴为阅读目的的学者型和以愉悦为目的的普通型两大群体。满足这两类读者群需求的译诗在形意的传递上必然各有侧重。作为检验译诗质量的形式对等标准可能适用于侧重于形似的译诗,但不一定适合用来检验注重欣赏价值的译诗。

SIP协议系统模型的形式化研究

通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述,得到了SIP协议的形式化规范,并应用形式化方法进行了验证。为SIP协议部件库研究开发提供形式化技术基础。

论合同书规则的独立性

判断合同是否成立,需要根据相关法律规则对合同订立过程中的表意行为进行认定和解释。我国《合同法》有四个条文提到"合同书",其中第32条、第35条、第37条的规定可被视为一个规范整体,即"合同书规则"。合同是否成立与合同何时成立是同一个判断。因此,合同书规则是一项合同成立的判断规则。合同书规则主要是一项"裁判规范",目的在于指引法官解释谈判过程中的表意行为并最终判定合同是否成立。合同书规则有其独立的适用范围与成立要件。法官应根据谈判方明示的意思和法律的规定来认定是否属于合同书规则的适用范围,也可以综合考量合同谈判方式、金额、期限、专业性、行业惯例等因素而推定适用合同书规则。《合同法》明确了合同书规则适用范围内一般情形下的签章要求与例外情形下基于履行事实的成立条件。合同书规则是一项完整的合同成立裁判规则,既不需要要约承诺规则充当解释性依据,也不需要它作为漏洞填补的工具,本身即足以解决适用范围内的合同成立争议。

形式概念分析在Web应用测试用例选取中的应用

为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。

邓小平的务实观

邓小平的一生是求真务实的一生，他的务实观是指我们实际工作的重要方法论。邓小平毕生反对各种各样的形式主义，并在南巡谈话中提出了“三个有利于标准”，指出了务什么实和怎样务实，本文主要从这两方面探讨邓小平的务实观。

函数的级数与函数空间的序列化

本文首先回顾了级数研究的历史梗概，接着定义了一种形式级数，并在统一的框架下讨论了经典的种种收敛性及幂级数、付立叶级数和小波级数，然后从多尺度分析出发，研究了可序列化的函数空间，得到了若干性质．

四种思维方式关系的逻辑图解

辩证法、形而上学、形式逻辑和相对主义四种思维方式因为对世界存在状况问题的说明不同而相互区别,又因为说明的问题相同而相互联系,这种既相区别又相联系的关系我们可以用逻辑学中用来表示性质命题间相互关系的逻辑方阵图加以近似的说明。形而上学和相对主义在理论上的危害性是:它们都是产生唯心主义的认识根源;它们相互之间具有恶性互动关系;它们也是产生怀疑论和不可知论的认识根源。为更好地坚持辩证法和形式逻辑的思维方式,克服形而上学和相对主义的思维方式,必须始终坚持实事求是的唯物主义认识路线,坚持检验真理的实践标准。

论辩证法和形式逻辑等四种思维方式

本文在对辩证法、形而上学、形式逻辑和相对主义四种思维方式的含义进行界定的基础上 ,借用逻辑方阵图说明四种思维方式之间的关系 ,分析说明了坚持辩证法、形式逻辑思维方式的重大理论和实践意义及形而上学、相对主义在理论上、实践上的危害性 ,并讨论了怎样才能坚持辩证法和形式逻辑思维方式的问题。

汉语叠字诗词英译标准初探——以《西游记》两译本为例

本文通过对比分析《西游记》341首叠字诗词两个英译本的翻译,探讨叠字手法在译文中的再现情况和得失,总结叠字诗词翻译的方法。本文以形式对等为基础,不但验证了形式对等在诗歌翻译中的重要性和可行性,而且对比了英文原创诗歌中的反复修辞,尝试界定出叠字诗词的英译方法及等级标准,以期从两译者对叠字诗词的翻译中得到有益的启示。