依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

线性非齐次方程待定函数法及相关定理证明

把数理方程混合问题的方程和边界条件视为一个整体,给出了齐次方程加齐次边界条件的形式通解的概念并证明了相关定理,还证明了非齐次方程加非齐次边界条件的形式通解的结构定理,总结了待定函数法解题步骤及一般形式,提供了求解线性非齐次方程混合问题的简便解法。     

一种本体的形式描述方法及其应用

针对目前还没有一种公认的形式本体描述方法的问题,在对本体的概念、性质进行分析的基础上,结合应用实际,提出了一种本体的形式描述方法DecDef(Declare Define).在这种描述方法中,把本体抽象成外部声明和内部表示两部分,在外部声明中说明本体中的概念、关系;在内部表示中说明这些概念和关系的语义,建立了本体内的简单推理模型.给出了这种形式描述的一个基于XML(Extensibble Makeup Language)的系统模型以及一个具体的应用实例,说明该方法在实际中是可行的.     

表达式元性理论形式系统的扩充及其强标准化性质

在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上，通过引入所谓的引用表达式和协引用表达式的形式表示，对其进行了扩充，同时证明了扩充形式系统的强标准化定理。     

浅议犯罪的概念

研究犯罪概念,即犯罪是什么问题,首先要明确站在什么立场,解决什么问题。站在立法者的立场上解决的是"为什么它是犯罪";站在司法者的立场上解决的是"什么是犯罪"。从这两个立场出发,分别对现存的三种犯罪概念进行辨析,认为应当采用并立制的犯罪概念。     

自动机和形式语言结构的理论研究

利用半群代数理论进一步讨论了自动机和形式语言的理论结构．首先构造了一个简单的有穷自动机的么半群，用代数理论分析了其性质，并推广到非确定性有穷自动机的情况．然后对字母表关于连接运算构成的么半群的性质作了进一步探讨，并给出了二进制串生成的半环，及研究了它的结构理论。     

多萝西娅的悲剧--《米德尔马契》中的女主人公形象解析

文章从教育和职业选择角度分析十九世纪女性所受教育对其婚姻、家庭以及社会的影响,展示女主人公的远大抱负以及她们因缺乏正规教育和社会习俗的限制所造成的矛盾,这种矛盾使女性无法彻底投身社会,她们的奋斗也只能以失败告终,最后还是回到了传统的角色中。     

农村金融市场竞争效率实证研究

通过对我国农村金融市场的竞争效率进行实证研究,得出目前我国农村无论是正规金融市场还是正规金融与非正规的民间金融市场之间的竞争效率都非常低下,所以必须加快农村金融体制改革,改变政府的农村金融抑制政策,降低农村金融市场准入标准,培育新的农村金融供给主体,从而提高农村金融市场的竞争效率。