“编译技术”试题库及试卷自动生成系统的研究

本文阐述了高等工科院校计算机专业“编译技术”课程试题库建立的必要性、试题库设计的理论基础及其软件实现原理．对比了本系统与一般试题库的不同与特点     

Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理

讨论了Sasakian空间形式中具有平行平均曲率向量的C-全实子流形,得到了紧致的C-全实子流形的一个刚性结果.     

新型发酵机的原理方案设计探讨

从系统功能出发,采用形态学矩阵的方法(是提出设计预选方案的有效方法),列出了实现每一个功能的子方案及其优缺点。经过组合,提出了发酵机设计的三个方案,通过方案比较得出了新型发酵机设计的最优方案,提出了双向螺旋搅笼的新型结构,这对于新型发酵机的设计、制造将有着重要的实用价值。     

基于可拓-集对的经济策略生成方法

提出经济策略的概念，经济策略不是最优策略，经济策略也不等同于满意策略。经济策略的生成是决策科学研究的一个重要内容。以可拓方法和集对分析为基础，提出一种适合于生成经济策略的新方法——基于可拓一集对的经济策略生成方法，并以赈灾物资的管理为例．介绍该方法的应用步骤。     

OFDM系统中的峰值平均包络功率比上下界的分析

本文主要对OFDM系统中的峰值平均包络功率比(PMEPR)的上下界进行了推导.推导结果表明,PMEPR的上界仅和数据序列的非周期自相关函数有关,这对于迅速去除PMEPR超过给定门限的数据序列是非常有用的.从推导的PMEPR下界看,只有当子载波数N很少时,它才会随N变化较大.针对一个16子载波的BPSK OFDM系统,本文借助于PMEPR的上界还对一种降低PMEPR的选择性映射技术进行了分析,并给出了所有可能信息序列的PMEPR分布.分析结果表明,最大PMEPR约为6.5dB,比最坏情况下的PMEPR减少了5.5dB.     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

基于SQL的报表生成系统

本文介绍的报表生成系统的取数方式可用ＳＱＬ语句，使系统具有通用性，灵活性等特点。在系统实现中采用了多窗口全屏幕方式定义报表格式及取数方式。系统用户界面友好，直观、简单易学。     

无序瞬子媒质中的两胶子凝聚

在量子色动力学瞬子真空模型中，研究了ＳＵｃ（２）、ＳＵｃ（３）规范场论中两胶子凝聚的温度依赖关系，用费曼变分原理和平均场近似方法，发现两胶子凝聚随温度升高而衰减，在Ｔ≈４．５∧ｍｓ时，凝聚几乎消失；色磁凝聚和色电凝聚的干涉部分同非干涉部分相比，虽然比较小，但在低温区不可忽略。     

GRAMMATICAL COMPLEXITY OF FEIGENBAUM TYPE ATTRACTORS IN PERIODIC WINDOWS

In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL.     

用范畴观点划分几何学

本文利用范畴知识来推广克莱因关于几何学的群论原则。其方法是:取由一些等势集合及一一对应组成的范畴来代替由集合到自身的一些一一变换组成的群,考察图形在这些对应下不变的性质与有关的量。