半环诱导赋值代数的轮廓解

先对全序半环诱导的赋值代数的轮廓解性质进行研究,  再在全序半环诱导的赋值代数中引入保轮廓解的概念, 并借助轮廓解的性质, 对转移函数f保全序半环诱导的赋值代数的轮廓解问题进行研究. 结果表明, 若转移函数f是一个半环同态, 则f是保轮廓解的.     

基于光线投射算法的脑血管体绘制技术

针对分割之后的脑血管体数据场显示问题,在光线投射算法的基础上提出一种全新的体绘制方法。该算法首先对脑血管体数据场进行分类;在光线投射算法的基上,加权考虑脑血管边缘特性、视点与物体之间距离、光源与物体之间距离,提出多因素融合的颜色赋值方法;最后采用CUDA方法进行体绘制加速。实验结果表明,对分割之后的脑血管体数据场,能够实现符合人眼视觉特性的清晰显示,并能进行实时交互。     

语句的逻辑概率演算

概率演算已成为逻辑推理的一个重要内容,着重介绍关于语句的概率演算方法及规则,以期补充在现行逻辑教材中缺少的内容.     

经管专业《数据库应用》教学内容调整

《数据库应用》是经管专业计算机教育的重要课程。原有的课程内容已跟不上时代要求,暴露出不重视数据库理论、偏重程序设计、不重视SQL语句、技术落后等问题。针对这些问题,提出强化数据库理论教学、程序设计与数据库应用分离、重视SQL语句、不拘泥于一种数据库管理软件等教学内容调整思路。     

基于VP的三种思想下实现红外坦克目标的仿真对比研究

分析了三种截然不同的红外仿真思想,通过这三种方法的对比,提出了一种基于Vega Prime（VP）的红外仿真改进方法。之后在综合经验数据和热平衡模型的基础上,实现了有/无内热源下的坦克红外辐射场分布。同时给出了关键模块的模拟方法。最后通过三种方法下的仿真实验,模拟出了具有各自代表意义的坦克目标红外图像,通过与实拍红外图像的比较,得出了三种方法的优缺点及适用场合,实验结果真实可靠,有一定的工程应用价值。     

PASCAL程序中FOR语句正确性验证

本文给出ｆｏｒ ｘ：－ａ ｔｏ ｂ ｄｏ ｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用。类似地可给出ｆｏｒ ｘ：＝ｂ ｄｏｗｎｔｏ ａ ｄｏ ｓ语句正确性验证法则的推导。     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

英语句段特征分析

英语句段是英语语言交际中的一个特殊现象,也是语言运用中的一种修辞手段。因此,从学习和运用的角度出发,都有必要了解和认识这种现象。本文拟从语法、语义和修辞三个层次探讨英语句段的特征。     

多重赋值语句的翻译方法

本文介绍一种翻译多重赋值语句的方法,用所提出的方法对Pascal S编译程序中翻译赋值语句的assignment过程作了修改。给出了新的assignment过程代码。最后列举一两个编译实例,说明修改后的Pascal S编译程序能成功地编译多重赋值语句。     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。