偏序群Ｓ上Ｓ－偏序系的内射包

幺半群$S$上的每个$S$-系都存在, 并且在同构意义下具有唯一的内射包(\\cite{Berthiaume}). 偏序幺半群$S$上的$S$-偏序系是$S$-系理论的推广. 设$S$是一个偏序群. 应用$S$-系理论及序理论的方法, 讨论了$S$-偏序系范畴的内射元, 得出每个$S$-偏序系$A_S$都存在唯一的内射包, 并具体构造了$A_S$的内射包. 在此基础上, 进一步得出$A_S$的内射包既是$A$的极小内射扩张, 又是$A$的极大本质扩张.     

自然语言词性序列的分类

采集142份主题句作业自然语言语料数据,利用中文自然语言处理平台构造自然语言的词性序列;经过语言结构粗粒化处理,建构由名词、动词、形容词和代词等4种实词构成的词性序列分类模型．研究结果显示,基于词性含量的自然语言词性序列分类模型的准确率达到90%;基于词序位置的自然语言词性序列的分类模型的准确率达到了95%．研究结论表明,自然语言的词性序列分类模型在语言认知领域具有较好的应用价值,不仅可以揭示和证实语言与心理信息之间存在的相关关系,而且可以通过客观的语言符号对内隐的心理信息做出科学的评估．     

Thorium-Based Fuel Cycles in the Modular High Temperature Reactor

Introduction The advantages of the modular gas-cooled high tem- perature reactor (HTR) and thorium (Th) based fuel cycles are discussed in this paper. International interest in HTR technology has been increasing in recent years due to a growing recognitio…     

不同修枝强度对红锥马尾松混交林幼林生长及光环境的影响

以修枝2a后的8a生混交林为研究对象,设置不修枝和修掉树高1/3、1/2、2/3以下枝条4种修枝处理(分别记为T0、T1、T2、T3),采用单因素随机区组设计,研究修枝对红锥-马尾松混交林生长及光环境的影响,以针对不同树种筛选适宜的修枝强度.结果表明:1)修枝显著促进了两树种的平均树高、胸径和单株材积增长,红锥和马尾松...     

求解反应扩散问题的Wavelet-Galerkin方法

提出了一种求解反应扩散问题的小波有限元方法。一般的反应扩散问题都存在着快反应慢扩散的特点,通过渐近分析知道这类问题一般都存在着各种各样的边界层。为了克服由此带来的计算上的困难,结合小波函数的特性,提出了一种自适应的小波有限元算法,不仅可以得到高精度的近似解,与通常的有限元或有限差分方法相比也大大降低了计算复杂度,可以从O(-ε2)降为O1εln1的两个数值例子表明,该方法对于几乎静止和运动的内边界层情形都是非常有效的。     

基于程序依赖图的Aspect挖掘技术

为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的Aspect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.     

一种新的支持向量机树学习模型

针对特征空间维数较高时,混淆交叉支持向量机树中间节点的学习结果可能包含冗余特征信息的情况,考虑各维特征之间的相互关系以及各数据点之间的相互关系对数据的分类影响,提出一种基于有监督局部线性嵌入的支持向量机树学习模型.考虑每个中间节点上需要不同的特征信息进行局部决策,分别对每个中间节点(包括根节点)上的样例进行有监督局部线性嵌入学习.实验以手写阿拉伯数字识别问题为例验证和分析了模型的结构和分类识别性能,与其他学习模型的对比结果表明,该模型能在有监督局部线性嵌入学习的基础上,以更精简的结构获得与其他学习模型可比的识别精确率.     

贵州省发现大足鼠耳蝠分布

记述了采自中国贵州安龙县的鼠耳蝠属(Myotis)的一种:大足鼠耳蝠Myotis rick-etti.为翼手目贵州省新纪录.提供了外形、头骨和牙齿的特征描述和比较,并介绍了大足鼠耳蝠的分布和生态习性.     

基于CORUMTM模型与多闭环的冷连轧自动控制系统

简要介绍了唐山钢铁公司1 700 mm五机架酸轧机组的工艺参数、设备参数以及关键传感器配置.重点研究了冷连轧机组部分的自动化控制系统软件包,它包括基于神经元网络、成本函数和轧制物理模型的CORUMTM过程工艺模型以及集高精度、高响应、多变量为一体的厚度、张力和平直度闭环控制技术.现场实际应用效果表明:基于先进工艺模型的预设定方法结合在线的闭环控制技术保证了板带产品质量,最终产品具有较高的厚度精度和平直度精度.     

埋地输气管道爆炸驱动的路面动力响应分析

为探究埋地输气管道爆炸驱动下的路面动力响应规律,利用ANSYS软件模拟仿真天然气管道爆炸过程,通过改变管道埋深、壁厚、敷设夹角三个主要因素得到道路不同点处超压峰值,与安全评定准则相对比得出人和物安全指数。研究结果表明：管道埋深对道路超压峰值影响显著,在单一变量改变下,道路超压峰值随着埋深增加而减小,埋深超过5m时,爆炸冲击波不足以破坏路面且对人和建筑物造成影响;管道壁厚改变时道路超压峰值呈现“增加-减少”趋势,壁厚为15mm时,超压峰值达到顶峰,当壁厚达到20mm后,爆炸冲击波不足以对人和物形成伤害;管道敷设夹角改变时道路超压峰值呈现“减小”的趋势,管道爆炸点正上方处无安全敷设角度,当敷设角度为60°时,道路其余位置均处于安全范围。