嵌套关系数据模型中传统集合运算的拓广

从关系和子关系观点出发,探讨嵌套关系数据模型中传统集合运算的语义问题．通过引入uid路径,给出既可作用于关系,又可作用于子关系上的基本代数操作的更一般性定义,并证明PNF关系对于这些扩展关系运算的封闭性．     

基于隐喻词扩展的短文本聚类算法

针对目前短文本词汇量少、 表达形式多样, 导致同种类文本聚类方法无效的问题, 提出一种利用中文维基百科的丰富词汇间关系对短文本的隐喻词进行扩充的方法, 以解决短文本包含信息少、 词汇表达形式多样的不足. 实验结果表明, 该算法可有效提升短文本的聚类效果.     

韩国特殊体育教育专业课程设置特色——以韩国龙仁大学为例

韩国龙仁大学特殊体育教育专业旨在培养康复教育的专业指导者和特殊人群体育运动的指导老师,其课程设置分为教养必修课、教养选修、专业专攻基础课、专业专攻必修课4类,充分体现了韩国教职科目的特点,这对于调整与优化我国特殊体育教育教师课程结构、促进教师专业化发展有重要的借鉴意义.     

计算机远程监测与诊断的系统结构模式探讨

远程诊断技术是建立在Internet技术高速发展的基础上,把Internet技术应用到设备状态监测和故障诊断学科的一种诊断方式,可以汇聚一大批专家对故障设备进行会诊,本文就计算机远程监测与诊断的系统结构模式作了探讨,提出了硬件实现方式和软件实现方式。     

曲克芦丁钯配合物的制备及其表征

研究了曲克芦丁与钯配合物的制备,并利用红外光谱、紫外光谱、高效液相色谱等对其进行表征,证实得到曲克芦丁钯配合物.曲克芦丁与钯形成配合物的适宜条件是:曲克芦丁与钯的物质的量比为2∶1、溶液的pH=2.0、反应温度35℃、反应时间为6 h.综合红外光谱和紫外光谱的分析结果,推测配合物的结构可能是钯离子与曲克芦丁结构中的含氧基团发生了配位作用,形成了配合物,曲克芦丁与钯离子的配位比为2∶1.     

用于C语言程序验证的性质描述语言C-PDL

为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一般程序员很难正确地使用,因此,文章提出了半形式化的描述语言C-PDL,并介绍了采用C-PDL描述性质的验证系统.C-PDL采用时序逻辑语言XYZ/AE的语法结构,结合了C语言程序性质的特点,引入规范模式系统,其语法简单且描述能力强.另外,C-PDL表达式可以方便地转换成模型检测工具识别的各种时序逻辑公式.     

地面占压荷载作用下的管道应力分析

占压导致地基下沉和管道变形.建立了地基-管道的三维有限元模型,分析占压载荷作用下管道的应力与变形.模型考虑了管-土间的相互作用和管底夯实地基,符合占压管道的实际载荷情况.结果表明:管道在上覆土体和夯实地基的不均匀作用下发生局部弯曲和椭圆化变形;上覆土体越软,管道变形越大,管底夯实地基起到阻止管道下沉的作用,二者弹性模量相差越大,管道在夯实地基边缘处的环向弯曲应力越高;内压起到抵抗管道变形的作用,但其影响程度较小;薄壁大口径管道的应力水平和变形程度相对较高,上覆土体对大口径管道横截面变形有较大的约束作用;占压载荷与管道横截面的椭圆化变形率近似呈线性关系,依据极限椭圆化变形率可以确定管道所能承受的安全占压载荷.     

一种高选择性液相氧化甲苯制备苯甲醛的方法(英文)

苯甲醛是一种重要的化学中间体和美国食品药物管理局认证的添加剂.现代化工生产苯甲醛的工艺存在很多的不足,本文通过向溶剂中添加乙酸酐的方法提高了苯甲醛的选择性和产率,讨论了乙酸酐在甲苯氧化过程中的作用,并获得其优化工艺条件.在该条件下苯甲醛选择性最高达68.69%,产率最高为26.12%,且反应温度(98℃),反应压力(1atm O2)都较之前报道的文献温和很多,该反应条件有腐蚀性低、能耗低、副产物少等优点.此外,本文还研发出一种简便有效的催化剂回收方法.     

工程图形的自动跟踪细化

模拟人的视觉，研究自动跟踪细化的原理与方法，建立线自动跟踪器，实现了自动识别工程图的细化处理。实验证明，该方法处理速度快，效果好。     

环氧树脂浇注电流互感器制造工艺的研究

本文主要针对真空浇注工艺,以10kV浇注电流互感器用环氧树脂体系为研究对象,阐述了器身的包绕、浇注材料、浇注工艺对其产品的性能影响,并从提高生产效率的角度,研究10kV浇注电流互感器在制造过程中,不同的器身预热处理对产品局放性能影响.