一个PASCAL结构编辑器的设计与实现

本文对一个新的PASCAL结构编辑编辑器PSE（PASCAL Structured Editor）的系统结构和功能进行了概括的描述。在设计和实现PSE时,作者提出了一种新的程序内部表示法,即所谓“文本-树”表示。与以往的程序内部表示相较,这种表示方法具有占用内存量小,光标控制及编辑操作简便以及无须进行内部语法树与行式文件间的转换等特点。实践证明,基于此种表示的语法制导编辑器是易于实现的,其工作效率是较高的。     

一个前向安全的结构化多重签名方案

基于有限域上计算离散对数的困难性,将前向安全的概念引入到结构化签名方案中,提出了一个新的具有前向安全性质的结构化签名方案。该方案同时具有一般结构化签名和前向安全签名的特点。     

结构性土二元介质模型的有限元模拟

针对土的结构性对边坡稳定性的影响,结构性土二元介质模型将胶结元看成理想弹脆性材料,摩擦元看成硬化型弹塑性材料。基于该模型建立考虑结构性土的强度准则,编制相应有限元程序用于Biot固结的有限元模拟。通过对比初始各向同性和初始应力各向异性结构性土的天然边坡算例计算结果,发现初始应力各向异性天然边坡的安全系数要高于初始均质天然边坡;嵌入初始应力各向异性结构性土的强度准则后可以观察计算过程中边坡破坏区的发展,为采用破坏区贯通作为边坡的破坏标准的天然边坡的稳定性分析提供了一种新的思路且具有良好的工程适用性。     

具有结构不确定性系统的鲁棒H∞控制器设计

研究了具有结构不确定性系统的鲁棒H∞状态反馈控制,给出了该类系统一种鲁棒H∞控制器的设计方法,把任意能量有界的干扰信号,结构不确定性系统的控制问题转化成了鲁棒H∞控制问题,控制器可以通过解修正的代数黎卡提方程得到。设计例子证明了所给方法的有效性。     

结构光三维视觉测量关键技术的研究

结构光作为一种主动式、非接触的三维视觉测量新技术,在逆向工程、质量检测、数字化建模等领域具有无可比拟的优势。为提高结构光视觉测量的精度、自动化程度,在一些关键技术上提出了有效的方法;并设计了基于标志点的数据拼接技术和移动式结构光三维视觉测量系统,扩大了结构光系统的测量范围;最后介绍了测量点云数据后期处理方面的研究成果。     

基于本体的粒度计算模型

本文描述了基于本体的粒度计算模型。利用Ontology技术,给出了概念的形式化表示,并构造出一种新的粒度计算模型以及该模型的相关定义。     

基础隔震时瓷质电气设备的地震反应分析

运用有限元分析方法，对具有隔震基础的高耸瓷质电气设备进行了动态特性分析和地震反应研究。提出了适合于该类设备地震反应分析的理论计算模型与算法。通过工程实例计算，讨论了该设备的抗震与隔震等问题，为该设备的国产化定型设计提供了一定的理论依据和指导性设计准则。     

基于粒计算的不完备决策表规则提取算法

为从不完备决策表中获取最简决策规则,在研究粒计算理论的基础上,提出了一种基于粒计算的决策规则提取算法.该算法利用粒计算的方法对由同一决策表所生成的粒库,从不同的角度和多个层次进行研究,尝试从较低阶的粒库中提取出尽可能多的具有一定规则覆盖度与置信度的简洁规则.实例验证表明,算法能有效地获取最简决策规则,为不完备决策表的最简规则获取提出了一种新方法.     

新型阴极结构电解槽铝电解试验

针对传统铝电解槽极距已经达到低限,槽电压不能大幅度降低的关键技术难题,提出一种新型阴极结构铝电解槽．介绍了这种新型阴极结构电解槽的特点和工艺技术特征,以及在重庆天泰铝业公司168kA电解槽上进行工业电解槽试验的结果．统计期内3台试验电解槽平均槽电压为3．803V,平均直流电耗比同系列其他127台传统电解槽低1250kW·h／tAl,达到12101kW·h／tAl．     

随机低秩逼近算法在推荐系统中的应用

针对推荐系统中数据量越来越大，其对应的矩阵填充问题算法效率有待提升. 基于随机算法策略以及高效数据访问要求，提出一种新的求解矩阵填充问题的算法，并借助Matlab软件实现该算法. 数值试验结果表明，该算法在效率上可提升30%左右.