Monotonicity and the Expressibility of NP Operators

We investigate why similar extensions of first-order logic using operators (that is, generalized quantifiers) corresponding to NP-complete decision problems apparently differ in expressibility: the logics capture either NP or L^NP. It had been conjectured that the complexity class captured is NP if and only if the operator is monotone. We show that this conjecture is false. However, we provide evidence supporting a revised conjecture involving finite variations of monotone problems. Mathematics Subject Classification: 68Q15, 03D15, 03C13.     

利用啤酒废糟发酵生产菌体蛋白饲料的研究

记述了利用啤酒废糟为原料，经多种微生物发酵生产菌体蛋白饲料的工艺及过程。发酵后的饲料价廉质优，是牲畜理想的精饲料。     

国内外钻削加工现状

介绍了当前国内外钻削加工的方法、钻头材料、制造钻头的新工艺及一些新型的深孔加工钻头.     

地籍和房产测量中界址点的标定

阐述了地籍和房产测量中界址点的标定及其意义，介绍了界址点的两种测量方法，即直接法和间接法。     

我国火电企业投资决策影响因素评价方法及模型研究

本文建立了火电企业投资决策影响因素的层次体系,对我国火电企业投资决策影响因素的评价方法和模型进行了研究,通过多层次分析法分析各影响因素的相对重要性,建立多层次分析模型,通过计算的权重,判断出各因素对于最优化投资决策影响的强弱.     

陪审员的素质与陪审制度的设计

陪审制度从它产生的那一刻起,对于陪审员的素质要求就限于案件事实认定所需要的各种能力.现代社会更是如此.因为随着法律的不断发达,陪审员在法律适用方面的能力是无法和专业法官相比的.如果我们从陪审制度的政治意义出发去确定陪审员的范围,然后再根据该范围内陪审员的素质去确定陪审员的职能,就容易得出在具体案件审理中,陪审员只需对案件事实的审理负责,而法律的适用则由职业法官来处理这一结论.     

沿海防护林体系海陆风环流的近地面层风温湿廊线特征

利用系留气球观测系统观测了沿海防护林体系海陆风环流时近地面的风、温、湿廊线特征，有如下结论：（１）海防林体系海陆风廓线均呈单峰形，但海风的厚度比陆风大；（２）海防林体系对近地面层的海陆风有较明显的减弱作用，但对陆风的影响高度比对海风的影响高，在林带高度附近风速降低最多，１～１．５Ｈ可降低５０％～６０％，１．５～５Ｈ可降低２０％～３０％，（３）对近地面层有一定的增温增湿作用，防风环流时１ｍ高度可增温约１℃，增加比温１．０ｇ／ｋｇ。     

The multiple judge,multiple criteria ranking problem: A fuzzy set approach

This paper investigates the problem of selecting, from a set of issues, those which best satisfy a collection of criteria. A group of judges have fuzzy sets defined over the issues, for each criterion, whose values lie in a finite linearly ordered set $\text{L}$. These judges also have fuzzy sets defined over the set of criteria. The paper discusses methods of aggregating all the fuzzy sets into one fuzzy set μ, defined on the issues, so that μA?L gives the final ranking for issue A.     

Datacard证件制作系统在图书馆借书证管理中的应用

将传统借书证与金卡软件制作的PVC借书证进行了比较，论证了利用Datacard证件制作系统制作借书证的可行性，并且详细说明了其使用方法及流程。     

专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。