信息理解的语义量化模型及信度

主要讨论了信息理解机制以及单词和语句的语义表达式,语义值及语义信度,为信息理解的形式化及量化建立基础。     

DPHL程序赋值语句中并行性的开发

DPHL语言是一种数据并行高层建模语言,用于在算法层次上描述应用问题求解步骤。在DPHL程序中,作用在域上的赋值语句以及复杂赋值语句中蕴含着并行性,本文讨论这两种并行性的开发。     

面向科学计算程序的向量化

随着多媒体应用的普及,越来越多的处理器集成了SIMD扩展,如何充分发挥SIMD功能部件的性能成为现代编译器面临的难题之一。从集合的角度分析了传统向量化思想,从语句间和语句自身两方面阐述了如何利用依赖关系分析循环能否向量化;依据目标系统进行向量化代码生成;针对spec 2000测试集的实验结果表明这种向量化方法可以有效地对科学计算程序进行向量化。     

一种跨基本块向量化指令选择方法

程序中的向量并行性不仅存在于循环中,也存在于基本块中。SLP向量化算法可以发掘基本块内的并行性。 由于基本块之间将会涉及到大量的数据重用,当连续的多个基本块都被向量化时,仅考虑基本块内的向量化难以有效利用可重用数据。提出跨基本块向量化指令选择方法来综合考虑基本块内与基本块间的语句关系,采用动态规划的方式确定收益较大的向量化策略,从而能够提升所生成代码的性能。实验结果表明,与基本块内的向量化方法相比,跨基本块向量化指令选择方法令测试程序性能平均提升20%。     

嵌入式高精度DK-BASIC解释系统表达式处理程序工作原理

本文叙述了嵌入式可选有效数字位数高精度DK-BASIC解释系统(简称DKB系统)语句处理程序中的表达式处理子程序的工作原理.     

求解多右端对称线性方程组的一种极小向后扰动块方法

文章研究求解多右端对称线性方程组AX=B的数值方法，考虑在利用块Lanczos方法求解多右端对称线性方程组的过程中，采用极小向后扰动范数作为算法终止的判定条件，提出求解多右端对称线性方程组的极小向后扰动块Lanczos方法，并通过理论分析和数值实验讨论了算法的有效性。     

在DEM形成过程中图形属性赋值问题的研究及其程序设计

首先分析了利用AUTOCAD进行地形图等高线的数字化及其标注中存在的问题,并且分析了等高线及其标注等空间数据在向MAPINFO中转换时符号、文本、线等数据的表现形式和状态，通过对矢量数据结构的存储格式以及MAPINFO下对矢量数据结构实现的关键语句的表述,在对MAPINFO下地形图属性赋值作业中出现的问题分析研究的基础上,提出了此类问题在MAPINFO下用自动识别和人工干预相结合的方法进行标注识别,多余文本剔除,区域转换为折线,特征点转换为符号,错误信息剔除,属性值的赋值等,并给出了利用此方法解决上述问题得程序设计框图.     

在DEM形成过程中图形属性赋值问题的研究及其程序设计

首先分析了利用AUTOCAD进行地形图等高线的数字化及其标注中存在的问题,并且分析了等高线及其标注等空间数据在向MAPINFO中转换时符号、文本、线等数据的表现形式和状态.通过对矢量数据结构的存储格式以及MAPINFO下对矢量数据结构实现的关键语句的表述,在对MAPINFO下地形图属性赋值作业中出现的问题分析研究的基础上,提出了此类问题在MAPINFO下用自动识别和人工干预相结合的方法进行标注识别,多余文本剔除,区域转换为折线,特征点转换为符号,错误信息剔除,属性值的赋值等,并给出了利用此方法解决上述问题得程序设计框图.     

基于正则表达式的数据处理应用

在很多工程项目中,数据库的数据处理通常都是使用标准的SQL语句完成的.但标准的SQL语句在复杂的数据处理中却存在着诸多不足.正则表达式是一种非常重要和有效的字符串匹配模式,将其应用于SQL语句中,具有强大的数据处理功能.通过一个学员信息管理系统中使用的基于正则表达式的数据处理应用表明,该表达式不仅可以实现复杂的操作,而且降低了SQL语句的复杂程度,简化了对出错语句的修改工作.     

基于UG的液压缸参数化设计

在UG环境下,构造液压缸零件的二维草图,对草图的点、线施加几何约束(如平行、垂直、同心、相等、共线等)和尺寸约束,通过旋转、拉伸等操作形成三维模型.用GRIP的REGF语句提取模型的参数,对参数重新赋值,再通过 STORE语句将参数反馈到三维模型,实现液压缸参数化设计.     

关于BASIC环境下的函数表达式分析

通过对在研制高等数学ＣＡＩ课件中所遇到的函数表达式分析问题所做的深入探讨，提出了在ＢＡＳＩＣ环境下，可以用读内存地址的办法，找到了函义语句的益，然后将键盘输入的表达式代码改写语句中虚定义的函数。程序能识别这个函数，并对其进行运算或作图。用这个方法可以实现课件界面的交互性。     

非光滑慢变系统的稳定性

文章研究了一般情形的非光滑慢变系统的稳定性,对于线性时变系统右端仅满足Lips-chitz条件而不可微时的情形给出了指数稳定性定理,并给出了ε的上界。     

一类算子方程解析─数值解

给出一类算子方程的解析─数值解,它是由方程右端函数及其在有限个节点上的函数值构成的,当N→＋∞时,解析─数值解一致收敛到方程的精确解,且精确解的表达式可由解析─数值解当于D中稠密时得到．     

IFS中随机迭代算法的改进和分析

随机迭代算法是生成迭代函数系统(IFS)所定义的分形吸引子的有效方法,通过改变组成IFS的各个仿射变换的系数,随机迭代算法中的循环迭代过程不必再引入中间变量,从而减少了赋值语句,并且分析了消去中间变量前后仿射变换之间的关系.     

正交法在EEJ元件质量控制中的应用

本文利用正交法对ＥＥＪ仪表元件质量控制中工艺参数的选取进行了试验研究，并对产品无量化试验指标的赋值、方差分析应用及追加试验进行了讨论，所得最佳工艺参数组合使产品废品率下降１４．９％，年成本降低３．７１倍     

鼓型滚子齿式空间凸轮机构凸轮曲面形成原理

用回转变换张量法分析鼓型滚子齿式（x向）空间凸轮从动曲面与凸轮曲面在接触线位置的几何,建立凸轮轮廓曲面解析方程组,导出凸轮压力角解析表达式,阐述空间凸轮不可展轮廓曲面形成原理。     

基于程序切片的软件交互行为可信性分析模型

为研究面向交互行为的软件行为可信性分析和动态度量问题,从软件与外界数据交换时所产生的信息流动过程中,确定并提取依赖于输入数据的语句和变量的集合,作为软件交互行为的预期模型.在软件实际运行过程中,通过动态获取软件的实际行为,与分析软件源代码得到的软件预期行为作比较,形成可信性的动态度量结果.采用程序切片技术,将软件交互过程及交互中被赋值变量及后续赋值行为作为切片分析的结果.在此基础上,继续从源代码的抽象语法树和编译后的可执行程序中提取赋值行为本身和被赋值的变量的详细信息,然后将这些信息与切片分析结果相结合,形成以交互行为为关注点的软件行为描述模型.对模型进行了测试,结果表明:该模型能识别出软件运行中的非预期行为.     

CFRP环向约束圆钢管混凝土扭转性能试验

目的了解CFRP环向约束圆钢管混凝土的扭转性能,给出其抗扭极限承载力的表达式.方法对4个CFRP环向约束圆钢管混凝土进行了扭转性能试验研究,用当量化法给出其抗扭极限承载力的表达式.结果试件的破坏属于强度破坏;在抗扭极限承载力之前,试件基本符合平截面假定;钢管和CFRP筒可以协同工作.确定了CFRP环向约束圆钢管混凝土的抗扭极限承载力指标,抗扭极限承载力的计算结果与试验结果吻合良好.结论环向CFRP对圆钢管混凝土试件的抗扭极限承载力有一定程度的提高,CFRP环向约束圆钢管混凝土典型的扭矩-转角曲线可分为3个阶段：弹性段、增强段和陡降段.     

惯性力系简化探讨

本文给出了任意质点系的惯性力系向任一点简化的主矢和主矩的表达式,并用此表达式导出了运动刚体的惯性力系向某些特殊点简化的结果。     

考虑抗弯刚度的索力动力识别

为了提高索力测试精度,考虑了索的抗弯刚度对索力测量精度的影响,提出了考虑抗弯刚度的索力动力识别方法.首先,给索一定量化的定义;其次,建立了考虑抗弯刚度的物理模型来研究索的振动特性.研究表明,对于索力较小和短索,抗弯刚度对索力测量精度的影响不可忽略;最后给出了索力识别的公式,这些公式有一个简洁的表达式,识别过程简单而且容易实现.