Primitive recursive selection functions for existential assertions over abstract algebras

We generalize to abstract many-sorted algebras the classical proof-theoretic result due to Parsons, Mints and Takeuti that an assertion (where P is ), provable in Peano arithmetic with induction, has a primitive recursive selection function. This involves a corresponding generalization to such algebras of the notion of primitive recursiveness. The main difficulty encountered in carrying out this generalization turns out to be the fact that equality over these algebras may not be computable, and hence atomic formulas in their signatures may not be decidable. The solution given here is to develop an appropriate concept of realizability of existential assertions over such algebras, generalized to realizability of sequents of existential assertions. In this way, the results can be seen to hold for classical proof systems.This investigation may give some insight into the relationship between specifiability and computability for data types such as the reals, where the atomic formulas, i.e., equations between terms of type real, are not computable.     

Web文本特征选择算法的研究

以向量空间模型作为Web文本的表示方法,结合Web文本的结构特征对向量空间模型中的特征选择算法进行了分析并加以改进。在改进的算法中,体现出了特征词在Web文档结构中的位置信息;引入了信息论中熵的概念,用词的熵函数对权值进行调整,从而更加准确地选取有效的特征词。实验验证了改进算法的可行性和有效性。     

湿法磷酸生产中合金材料的合理选用

根据材质的价位与寿命以及磷酸生产厂家使用情况的统计 ,并结合我厂使用的结果 ,应合理分类与合理选用合金材料。萃取槽搅拌桨、料浆泵过流部件选用Cr30。滤洗液泵、磷酸泵、轴流泵等过流部件选用CD - 4MCu。而 941在常温下耐各种浓度的硫酸 ,并具有较好的焊接性能 ,故硫酸泵过流部件用材选择 941。     

基于反馈的可伸缩视频编码容错策略

为提高可伸缩视频编码(SVC)在易错传输环境下的解码质量,研究帧内宏块刷新和参考帧选择2种容错技术,根据视频空间分层下SVC的层间预测特性,提出2种改进策略并进行对比。测试结果表明,在码率控制的情况下,改进的参考帧选择策略传输后重建图像的平均亮度峰值信噪比较高,更适用于低码率的传输环境。     

苯加氢装置管道系统的材料选择

介绍了苯加氢装置管道系统的材料选择和注意事项。     

塑料模具材料选用原则及应用

对塑料模具材料的选用原则和新型模具材料进行了简要的介绍，在此基础上，以成型手机外壳塑料模具为例，对其关键零部件的选材应用进行了主要说明。     

基于QoS的网格服务选择优化机制

在网格服务发现和选择过程中，如何根据请求方（用户）对服务质量的需求，以及网格QoS的动态变化选择网格服务是一个重要问题。该文基于请求方（用户）对不同网格服务QoS赋予的权重不同以及容忍度不同，提出了网格服务选择算法，从而使得请求方（用户）获得的网格服务的性价比最高。     

基于用户多业务模型的OFDM蜂窝网下行链路自适应小区选择算法

当前有基于用户接收信噪比的选择算法和基于平均用户阻塞率的选择算法两种蜂窝网络的自适应小区选择算法。但是这两种算法都不适合应用于多业务OFDM蜂窝系统。无法保证不同速率、不同实时性要求的用户接入系统的公平性,同时系统总体的阻塞率性能和吞吐量性能也无法尽可能最优。于是本文提出了一种基于多业务共存模型的自适应小区选择算法。仿真结果表明,本文所提出算法显著提高了实时性要求较高的高优先级用户的接入性能,同时又通过优先级浮动制度使得最终系统总体接入性能尽可能接近于最优。本算法特别适用于多业务共存的新一代蜂窝移动系统。     

基于遗传算法的点群目标选取模型

结合 3种点群目标选取的一般原则和遗传算法的基本原理与特点 ,设计了基于遗传算法的点群目标选取模型 .考虑到要最大限度地保持点群的分布范围、排列规律、内部各地段的分布密度等因素 ,基于遗传算法的点群选取模型的基本原理是 :首先采用自适应分类方法 ,将点群 M依照密度分成若干类子点群 ,然后根据每个子点群的点数和最后要保留的总的点数 ,计算每个子点群中要保留的点数 ,最后结合凸壳化简方法和遗传算法对点进行选择 .在对关键性步骤进行讨论的基础上 ,本文针对某一地区的点群目标分别采用基于遗传算法的点目标选取方法与凸壳选取方法进行了选取对比实验 .从实验结果和遗传算法的特点分析可以看出 ,基于遗传算法的点目标选取方法的特点是非常明显的 ,其适用于分散式居民地记号房、可看作点状目标的小湖泊群等点状要素的选取 ;能够保持密度分布特征及其排列规律 ;外围轮廓特点没有大的改变