通过表达式演算局部优化中间代码

常量合并，删除公共子表达式是中间代码优化时采用的有效技术，但在表达式间能进行的运算仅限于常量之间，极大地限制了可优化的范围，选择一类简单而基本的表达式及表达式运算，在正规化表示的基础上进行表达式的静态运算，尽可能地了化简要表达式，压缩代码代度并找出更锪公共子表达式，以达到更好的优化效果。     

获得无约束条件最优化问题的解的一些方法

对于无约束条件的目标为非线性关系的最优化问题,本文指出了获得其最优解的两种基本途径:(1)系统的目标可用数学表达式表示的,利用求导数的方法求解;(2)系统的目标不能用数学表达式表示的,用搜索法求解。     

线性流形上埃尔米特自反矩阵反问题的最小二乘解及其最佳逼近

利用埃尔米特自反矩阵的表示定理,得到了线性流形上埃尔米特自反矩阵反问题的最小二乘解的一般表达式。并建立了矩阵方程在线性流形上可解的充分必要条件。最后,对于任意给定的*阶复矩阵,推导了其相关最佳逼近问题解的表达式。     

面向部件检字的汉字表达式双链表存储设计

为实现按部件快速检索汉字,把汉字递归表示为汉字结构、字首部件和字尾部件三元组。以部件为运算对象,字型结构为运算符,将汉字描述为前缀表达式。提出汉字表达式的双链表存储模型,设计双链表生成算法及基于双链表存储的检索方法。与直接采用数组存储相比,使用双链表存储时检索的平均比较次数仅为数组存储的50％,并易于动态提升检索性能。     

对圆形电流回路磁场的进一步讨论

本文给出了球坐标系下圆形电流回路磁感应强度(?)的一般表达式。进而讨论得出圆电流平面上圆心处(?)有最小值,而且无论圆内或圆外(?)可用同一表达式表示的结论。     

加权Hardy空间上的有界复合算子的伴随表达式

给出加权Hardy空间上的有界复合算子的伴随表达式,并验证文献[3]中复合算子的Cowen伴随表示定理为该伴随表达式的特例.     

带割点有限图上随机游动的首达时间

考虑可以分解为有限群带割点有限图上的随机游动。利用群表示理论,得出了带割点群上随机游动首达时间概率母函数的明确表达式。进而得出其平均首达时间的表达式。     

表达式元性理论形式系统的扩充及其强标准化性质

在[1]所给出的Marin-Loef表达式元性理论形式系统的基础上，通过引入所谓的引用表达式和协引用表达式的形式表示，对其进行了扩充，同时证明了扩充形式系统的强标准化定理。     

光学算符法与矩阵法的等效性

本文从光学位置坐标算符和正则动量算符的定义以及理想光学元件的作用算符的幺正性假设出发,根据理想光学元件的矩阵表示导出光学算符(?)的表达式。又指出由(?)的表达式也可以得到相应的矩阵表示,从而证明了光学算符法与矩阵法的等效性。最后说明了光学算符(?)的物理意义。     

线性矩阵方程的埃尔米特自反半正定解

利用埃尔米特自反正半定矩阵的表示定理,建立了线性矩阵方程在埃尔米特自反半正定矩阵集合中可解的充分必要条件,得到了解的一般表达式。最后对任意一个给定的复矩阵,推导出了相关的最佳逼近问题解的表达式。     

关于求Follow集合的一种算法

在构造计算机的编译程序中,常常需要找出句型中每一个非终极符后继符集合,这里用Follow表示这个集合。文中给出一种用布尔矩阵计算Follow集合的算法。     

一类约束矩阵方程的可解条件与最佳逼近问题

利用空间分解理论和矩阵的奇异值分解等方法,证明了矩阵方程AX+B Y=Z在矩阵集合Cnr×n(P,Q)×Cna×n(P,Q)中可解的充分必要条件,并得到通解的表达式.对于相关逼近问题,证明最佳逼近解的存在唯一性,得到解的显式表达式.最后,给出最佳逼近解的扰动分析.     

布尔矩阵与关系性质的判断

本文用布尔矩阵理论的方法对关系及其性质作了系统的论述，并给出了判断关系的可传递性的一个很方便的布尔矩阵方法。     

布尔路,布尔圈长度及维数

证明了ｎ－维立方图中布尔路与布尔圈之间的内在联系,给出了布尔路,布尔圈的长度及其维数估计。     

分析离散事件系统的新方法

本文用图论的方法构造出适宜用自动机建模的离散事件系统的布尔矩阵，通过对布尔矩阵的运算，既可得出系统可达状态集与转移的最短路径，为藉此设计最优监控器打下基础。     

LSI掩模图形的布尔运算与拓扑分析算法及其实现

ＬＳＩ掩模图形的运算在版图分析和校验软件中占有重要的地位，而其中最核心的图形运算是布尔运算和拓扑分析。 本文首先回顾了以往的图形运算方法，并对它们进行了比较，然后提出了一种快速、省内存的算法：“三合一双扫描算法”，它不但可用于布尔运算，还适用于拓扑分析。文中详细叙述了算法过程以及用于不同布尔运算和拓扑分析项目的选定条件。最后对算法的复杂性进行了讨论。     

关于齐次可列马氏过程“构造论”及马氏过程应用的研究

设矩阵Q=(qij),i,j∈E,E={1,2,…}满足0≤qij＜∞,i≠j,-qij qi≤∞,称为一个拟Q矩阵.设矩阵P(t)=(pij(t),t≥0,满足称为一个齐次可列马氏过程(转移矩阵).提出3个问题:①给定拟Q矩阵Q,以Q为密度矩阵的过程P(t)(即满足p'ij(0)=qij)存在吗?②若存在,何时P(t)唯一?③存在时,试求出全部p(t).以上3个问题合称“构造论”.简介“构造论”的研究概况,着重近20年来的主要进展及存留问题.另外,举例简介马氏过程的诸多应用领域.     

认知诊断中Q矩阵和Q矩阵理论

Q矩阵和Q矩阵理论是认知诊断中一对容易混淆的概念,一方面需要强调它们的差异,另一方面对Q矩阵理论做一些补充,比如在一定条件下,多级评分的认知诊断中测验蓝图的设计原理.根据实测数据对测验蓝图Q矩阵修正的设想,以及认知诊断模型和多维项目反应模型的联系.     

多级评分认知诊断测验蓝图的设计——根树型结构

在某种给定的评分方式下,假设属性之间没有补偿作用,讨论多级评分认知诊断测验蓝图设计问题.根据图论,将J.P.Leighton等定义的线型、发散型、无结构型属性层级结构归结为根树型,构造出相应的完备测验Q阵,即是使知识状态与期望反应模式一一对应,且列数最少的测验Q阵.完备Q矩阵均受到测验Q阵的秩的制约.