基于语义的查询优化方法

阐述了目前有代表性的几种语义推理查询方法.应用一些有效的优化查询技术对知识库中庞大的ABox进行本体的查询推理,以提高对知识库的利用效率和语义网的服务质量.基于模块化的推理方法是通过语义知识将一个查询推理转化为一个基本的概念表达形式,首先计算出和查询任务相关的模块,然后在该模块而不是整个知识库中进行查询.使用语义的查询减少了查询过程中的计算和推理,是节约资源、提高效率的方法.     

不同硬盘格式与分区下对实验室系统重装的探究——以三亚学院计算中心为例

在计算机实验室管理中,实验室管理人员最常见的工作就是对计算机进行系统的安装,而重装系统不可避免的要与计算机中里的硬盘打交道。文章针对MBR分区方式和GPT分区方式所对应的硬盘格式是MBR格式和GUID格式,详细剖析如何在新旧计算机实验室中正确重装系统。     

本刊关于来稿的补充说明

<正>1.来稿本刊采用计算机排版,要求按统一格式寄来打印稿(或发E-mail投稿),并留出足够的行间距,便于编辑修改和排版录入。2.插图要求用计算机打印,但应特别注意:图内的     

KdV方程的对数型有限差分格式

给出了KdV方程的对数型有限差分格式,利用精确解给出初边值条件;利用Matlab软件编程求出数值解,并与指数型差分格式的数值解进行比较.结果表明,对数型有限差分格式具有精度高且可以长时间稳定计算的优点.     

KdV方程的对数型有限差分格式

给出了KdV方程的对数型有限差分格式,利用精确解给出初边值条件;利用Matlab软件编程求出数值解,并与指数型差分格式的数值解进行比较.结果表明,对数型有限差分格式具有精度高且可以长时间稳定计算的优点.     

KdV方程的对数型有限差分格式

给出了KdV方程的对数型有限差分格式,利用精确解给出初边值条件;利用Matlab软件编程求出数值解,并与指数型差分格式的数值解进行比较.结果表明,对数型有限差分格式具有精度高且可以长时间稳定计算的优点.     

本刊关于来稿的补充说明

<正>1.来稿本刊采用计算机排版,要求按统一格式寄来打印稿(或发E-mail投稿),并留出足够的行间距,便于编辑修改和排版录入。2.插图要求用计算机打印,但应特别注意:图内的文字、字母     

色散方程的十点隐式差分格式

色散方程的初边值问题是在孤立波这样的物理现象中抽象出来的一类数学模型,在前人构造的众多差分格式的基础上, 使用新的构造方法,给出了该问题的三层十点隐式差分格式.同时,应用多维泰勒公式计算出它的截断误差,并在此基础上利用离散傅立叶方法分析了稳定性,得出此格式恒稳定的结论.所构造的差分格式会为构造更复杂偏微分方程的差分格式提供有重要意义的价值参考.     

CID字库在PDF流程中的应用

CID格式是美国Adobe公司发表的最新字库格式,它具有易扩充、速度快、兼容性好、简便、灵活等特点.PDF流程以新型的PDF文件作为传递数据的中间格式,实现计算机自动或半自动的高效处理,同时对许多传统工艺进行了改进.本文简要介绍CID字库和PDF流程的技术特点,并结合自己开发CID字库的经验,分析其在PDF流程的优势及应用前景.     

集成化电法勘探中电法仪与计算机通信的实现算法

研究了集成化电法勘探中电法仪与计算机的通信算法.指出：首先要确定数据帧格式,然后设置异步通信数据库结构,并通过程序协调、监控通信的全过程.该算法实际应用效果良好.     

线性方程组的基本理论在配平化学方程式中的应用——改进的线性代数法

利用线性方程组的基本理论对现有的配平化学方程式的方法-线性代数法加以改进，通过增加一行元素，将电子表征向量体现出来，使之适用于一切化学反应方程式的配平，实例证明改进后的方法比其他配平化学方程式方法更优越，尤其是对复杂的方程。     

Mathematical Model of Simultaneous Heat and Mass Transfer in Food with Dimensional Changes and Variable Transport Parameters

The variable grid central finite difference method was used in the solution of simultaneous heat and moisture transfer (SHMT) equations with variable transport parameters, providing predictions of local moisture content, temperature, and dimensional changes in an infinite slab at any time during processing. The model was applied to the air drying of ocean perch (Sebastes marinus). Good agreement between experimental results and model predications indicated that the method could be successfully applied to SHMT operations in foods involving dimensional changes.     

含荧光增白剂织物的三波段法配色

由于荧光增白剂的特殊光学性能,使得含有荧光增白剂的织物配色困难。通过分析荧光增白剂的反射率曲线,应用发射区荧光染料的反射率计算公式,研究了荧光增白剂的配色方法,提出了荧光增白剂计算机配色的三波段法———即对荧光增白剂的配色分发射区、激发区和无影响区分别进行。通过20个拼色试样的染色实验和计算,证明本方法适用于荧光增白剂的配色,且方法简便。最大色差为3.94。     

Textural fabric defect detection using statistical texture transformations and gradient search

The inspection of the fabric defects is an important problem, which highly affects both the quality and the cost in the textile industry. Because of consistency and accuracy problems, the inspection of the fabric defect by human experts is neither feasible nor efficient. This requires development and use of automated inspection techniques. Thus, in this study, a texture analysis method, which uses sum and difference histograms (SDH) conjointly with co-occurrence matrices, is proposed to introduce an objective criterion for defect detection. To accomplish the detection task with high accuracy, several features were extracted from SDH and then, a defect search technique, which was developed in the context of this study, was applied. Moreover, several experiments and parameter analysis were performed to carry out detection at feasible computation time and memory storage. The developed method was applied to 28 kinds of raw woven fabric defects and 27 of them (i.e. 93.1%) were successfully recognized by the proposed detection system. The quantitative results and qualitative discussions show the effectiveness of the developed strategy.     

广义Burgers-Fisher方程的Haar小波有限差分法

研究了基于Haar小波有限差分法求解广义Burgers-Fisher方程.给出Haar小波族的定义,建立积分运算矩阵,该矩阵把积分运算转化为矩阵运算.对方程时间方向的离散采用向前差商,空间方向的离散采用Haar小波.利用Haar矩阵的稀疏性,有效地提高了计算速度和精度.通过计算机模拟获得数值结果,并与Adomian分解法进行比较,结果显示本文所给出的方法对求解时间较小问题时优于Adomian分解法.     

不可压Stokes方程数值计算的无网格方法

针对应用标准无网格方法求解不可压缩Stokes方程时压力会产生剧烈的数值伪振荡,给出一种消除压力伪振荡的无网格稳定化方法,并用其计算了2个不可压缩Stokes流动问题的经典算例.数值实验结果表明,此方法成功地消除了压力的数值伪振荡,验证了方法的有效性,且解的精度高、稳定性好,从而为无网格方法进一步模拟复杂流体流动问题提供了一种有效的思路.     

织物本构方程的研究

用弹性力学方法，由各向异性薄板理论导出织物本构方程，并通过讨论这一方程在几种情况下的应用，提出织物刚度参数Ａｉｊ、Ｂｉｊ、Ｄｉｊ的计算方法和进一步发展织物力学的意见．     

Chemical methods of evaluating the quality of dietary proteins

The author suggests a method for computation of the difference coefficient of the amino acid score (DCAS) which indicates the mean percentage of the utilization of essential amino acids contained by food protein not to be used for plastic needs. The magnitude of the 100-DCAS is equal to the indicator of the biological value of protein.     

用近似同伦对称法求解阻尼KdV方程

应用近似同伦对称方法对阻尼KdV方程进行约化并求得近似解.为阻尼KdV方程选取一个同伦模型,其近似解可以用级数形式表示;再应用近似对称法,可以将其方程约化为若干个3阶ODE方程.近似同伦对称方法适用于一类强扰动非线性微分方程.     

翻领构成原理与计算新探

目前计算翻领松度主要依据实践经验进行设计,一些常见计算翻领松度的方法也存在一定不足。当领面、领座采用一些特定配比值时,用现有一些方法计算易出现误差。通过先计算出领座和翻领的领圈外口线这2个圆的水平半径,再利用两者半径差得到两者的圆周长之差,根据人体结构情况,经合理分配计算,最终得到翻领的变动松度。通过比较和测试,所述的计算方法较好地解决了翻领结构设计中易出现的误差,具有更好的科学性、准确性和较好的实用价值。