连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

大仓鼠(山西亚种)染色体组型及C带、G带研究

研究了分布于陕西北部的大仓鼠山西亚种的染色体组型、Ｃ带和Ｇ带，核型公式Ｋ（２ｎ）＝４ｍ＋２２ｔ＋♀ＸＸ（Ｓｔ，Ｓｔ）♂ＸＹ（Ｓｔ，ｍ），与大仓鼠指名亚种组型一致，Ｃ带均为着丝点带，Ｙ，第１２、１３对染色体无带．对大仓鼠山西亚种的Ｇ带作了描述，并与指名亚种比较，发现有明显差异．     

大圆弧车刀车削玻璃的实验研究

本文根据玻璃边位印压实验结果,设计出了适宜于切削玻璃的车刀——大圆弧车刀,并结合玻璃切削过程中材料的去除机理,讨论了采用这种车刀时玻璃表面的形貌和刀具磨损的原因。     

Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．     

证券投资组合的模糊Ｍ—Ｖ模型

假设证券的收益率为模糊随机变量，在考虑不存在无风险收益证券，且允许卖空时，提出了证券投资组合的模糊Ｍ—Ｖ模型．进一步，在α水平下，给出了模糊Ｍ—Ｖ模型的一个解析解，并且讨论了证券组合的有效边缘随机水平α改变时的变化情况，Ｍａｒｋｏｗｉｔｚ的Ｍ—ｖ模型为本模型的特殊情况。     

浅议口译中的释译

释译便是通向口译成功之路的重要和基本的方法.本文结合具体的案例对如何在口译中使用释译方法以准确、便捷地表达信息这一重要问题进行了探讨.     

某学院电教大楼地基处理实录

介绍了某电教大楼地基处理的工程实例。基坑降水对处理后的地基的不良影响及采取的相应对策。     

对高校后勤社会化改革的思考

高校后勤工作是保证高等教育顺利进行的基础性保障,后勤的服务质量和服务水平直接影响到高校的教学、科研、师生的生活等方面。社会在发展,高校在改革,后勤社会化改革当中虽然有部分高校取得了一些不错的成果,但仍有很多高校也存在一定的问题。本文分析一些高校在后勤社会化改革中所存在的问题,并提出了一些对策。     

K度Steiner问题

给定平面上n个固定点 (称为正则点 )的集合N和m =n - 2k- 2 个可动点 (称为Steiner点 )的集合M ,其中k( 3≤k≤n)是确定的正整数 要求互联点集V =N∪M的网络的拓扑在正则点的度为 1 ,Steiner点的度不超过k ,这种网络称为k度网络 确定m个Steiner点的位置 ,使互联这n m个点的k度网络总长度最短 显然这个最短的k度网络一定是树 ,我们称这个树为k度Steiner最小树 (kDSMT) ,并称这个问题为k度Steiner问题 本文得到了kDSMT的一些结构特征 ,并提出了一些有待进一步研究的问题