论形式美在英律诗汉译中的保留

翻译是运用一种语言把另一种语言所表达的思堆内容正确完整地重新表达出来的语言活动。诗歌是内容与形式高度融合的有机统一体,诗歌翻译甚为困难,要在翻译过程中保留原作的风韵,译者应从格律、音韵和文字结构等几个角度将形式美在诗歌翻译过程中加以保留。     

知识基的布尔矩阵求解方法

用布尔矩阵方法对知识空间的原子和知识基进行研究.首先,建立知识空间和(反)知识背景之间的联系;其次,用布尔矩阵表示(反)知识背景,研究其对应的关系矩阵和对象关系矩阵的性质;最后,从知识状态、算子、布尔向量和布尔矩阵等角度判定原子的特征,给出知识空间中原子和知识基的求解方法.     

对象导出三支概念格的熵属性约简

将信息熵引入形式背景中,研究对象导出三支概念格的熵属性约简. 首先,定义对象导出三支概念格的信息熵、条件熵和互信息等概念;其次,根据属性在约简过程中的重要性探讨核心属性和非核心属性的熵判定条件,并得出对象导出三支概念格的熵协调集等价于OEG协调集(对象导出三支概念格的粒协调集),对象导出三支概念格的熵约简集等价于OEG约简集;最后,给出决策形式背景中对象导出三支概念格的熵协调和熵约简等概念,并给出启发式熵约简的方法.     

论建筑设计表现中的整体与局部关系

根据目前彩色建筑画中经常出现重视局部弧立刻画，或拘泥于技法表现的倾向，论述了在彩色建筑画创作中必须整体把握画面效果，统筹安排、主次分明、重点突出等规律性问题。结合创作实践对整体与局部的关系作了深入分析，并就如何进行色调的控制与搭配，应用造型规律塑造形体空间，以及有序的形式美处理等构成整体感等几个因素，做了阐述与探索。     

数字签名过程的一个形式描述和验证

通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.     

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

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

浅议犯罪的概念

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

基于AGENT的G网及其在柔性装配系统建模中的应用

在G网的基础上,引进了知识库所、决策库所,从而用agent的相关理论和方法扩展了G网模型,形成了基于Agent的G网(AGN)。研究了AGN用于柔性装配系统(FAS)的建模的方法和步骤。该柔性装配系统模型具有结构清晰、实现了Petri网与Agent的结合、有良好的扩展性和便于分布式程序设计等特点,而且在模块的智能化,封装化以及模块之间的松耦合和规范接口方面更加完善。     

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

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

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

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