L-smooth拓扑空间的弱T2分离性

以L-smooth拓扑空间中的远域为工具,在L-smooth拓扑空间中引入弱T2分离公理,给出它的等价刻划及其与T2、T1-分离公理之间的关系.证明了弱T2分离性是L-smooth可遗传的、L-smooth可乘的、弱L-smooth同胚的.     

基于基底系统的双模态逻辑系统研究

双模态逻辑是多模态逻辑的一种,该逻辑系统可以同时处理两个初始模态算子。本文从多模态基底系统出发,给出双模态逻辑系统的一般理论,即分析双模态相互作用公理及相应的框架条件,给出双模态系统的基本构成以及双模态系统的极小基础。双模态逻辑系统的一般理论具有应用意义,它是具体的双模态系统的一般化概括;同时,双模态逻辑的研究方法是研究多模态逻辑一般理论的一个新视角,对于多模态逻辑一般理论的研究具有理论意义。     

“活着”的三种艺术形式——小说、电影和电视剧的比较

随着信息技术与文艺形式日渐融合,余华的经典小说《活着》先后被改编为同名电影《活着》以及电视剧《富贵》。这三种不同的文艺形式(小说文本、电影和电视剧)在细节处理和主题关注上都有各自的特色。论文从宏观方面探索和分析改编后的电影、电视剧与原著的巨大差异,提出不同的艺术形式各有新意,这是因为三种艺术形式追求的价值目标不同,所要传达的情感、观念侧重点不同,影视艺术形式在对小说原著进行改编时存在一定程度的删汰繁芜、去粗取精。     

古希腊数学理性思想与中国古代数学算法思想比较研究的综述

理性是古希腊数学的精神内核,公理化体系成为现代数学的根本特征之一.中国古代数学以实用为目的,直观性和机械化、程序化是它的的算法特点.古希腊数学与中国古代数学都有现代数学思想的萌芽.     

部分几何满足Pasch公理的充要条件

为研究将一部分几何〔１〕嵌入射影空间这一问题，文〔１〕给出了α（ｌ，ｈ）和ａ（ｌ，ｈ）的关系引理．现对此引理提出商榷意见，并给予修正     

(n+2)-角的平移

以三角范畴的八面体公理为基础,研究了三角范畴的(n+2)-角的平移性质。当三角范畴T存在一个(n+2)-角时,利用数学归纳法证明了T的(n+2)-角平移后还是(n+2)-角。     

Suzumura模糊条件满足程度的研究

在Georgescu定义的模糊选择函数下，将Suzumura提出的显示偏好第一公理FARP，显示偏好第二公理SEARP和基本三元非循环BTA，以及Sugden提出的最小一致性条件MC推广到模糊选择函数中，给出它们的程度描述，并讨论它们之间的关系及它们与弱显示偏好公理程度WAFRP（C），弱一致性公理程度WFCA（C），Fα2（C）及Fβ2^＋（C）之间的关系．     

“n 之＋不＋v”是主谓结构

通过对含否定词的提宾结构的两种类型的语序差异比较，排除“n 之＋不＋v”结构是提宾结构的不可能性，又根据汉语及孤立语的特点，把它恰当地归为主谓结构，最后从语言的运用具有灵活性的特点，辨析了一些有对照文字的“n 之＋不＋v”结构同样归属于主谓结构。     

一套理想的现代教学管理系统

详细论述了一套理想的现代化教学管理系统的各部分的电路组成，结构及工作原理．     

关于主动数据库属性依赖及公理系统的研究

在主动数据库的理论与应用研究中，更新传播算法的应用，保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统，给出了一种更新传播算法，对该算法的正确性、可终止性进行了论证，并进行了时间复杂度分析。