寻找平面代数剖分样本点的改进算法

基于非线性多项式方程的零点配对算法以及临界点算法，给出了一种求平面代数剖分样本点的改进算法。该算法剔除了大量冗余样本点，并在计算过程中以区间表示代数数，有效避免了浮点数等近似计算。通过与已有的经典算法进行比较，实验结果表明该算法具有显著的效果。     

浅谈SQL查询功能的三个理论基础

文章以Visual FoxPro 6.0数据库管理系统为软件平台,通过查询实例阐述结构化查询语言(Structured Query Language,简称SQL)如何反映关系数据库三级模式结构,如何体现关系代数和关系演算思想.     

高阶惯性环节代数等价观测器简易转换方法

为快速计算出代数等价观测器(AEO)的参数对控制系统的影响,基于高阶惯性环节代数等价观测器工程应用的实际,并参照矩阵的Jordan标准型,定义了广义Jordan型矩阵块JBS,通过数学分析给出转换矩阵P的简捷计算方法,为揭示AEO之间的内在关系提供一个有效途径。该方法不仅有助于调节系统的设计,而且通过适当的运用,还能使其达到更加有益的效果。在某电厂600 MW单元机组锅炉过热器蒸汽温度调节系统中的应用案例,证明了所提方法的实用性和有效性。     

Boolean difference techniques in fault tree analysis

For an electrical, mechanical, or hybrid system described diagramatically as a network of interconnected components, fault tree modeling of system reliability as a function of individual component failure probabilities gives rise to logic expressions obtained from the network connections. Application of the method of Boolean differences in the analysis of such Boolean expressions is discussed, and it is shown that the influence of the status of specific components on the reliability of the total system may be investigated by straightforward algebraic operations on the network failure function.     

RASA的多Agent交互协议研究

RASA是2007年Tim Miller提出的一个MAS（Multi-agent System）交互协议框架,这个框架已被证明可以更好地促进MAS的交互,但此框架并不支持MAS的并发。利用了一种冲突优先方式,引入了效益评价函数来解决其状态无法确定的问题,并扩展了RASA的定义来支持其并发,随后采用了一种基于时间自动机的自动验证工具UPPAAL,利用一个简单的拍卖协议来验证这种方法的可行性。最后利用RASA语言描述了一个简单的协商协议和一个拍卖协议,以显示RASA协议的良好特性。     

面向对象数据库的查询优化

查询优化一般分为逻辑和物理两层，但两者密切相关．在一个具体系统的实现中，若把它们截然分开会影响优化效果，而把它们有机结合起来则更佳．本文在联系代数的基础上探讨该问题，综合考虑了逻辑与物理２个方面，给出了面向对象数据库系统中的查询优化算法.     

基于策略代数系统的策略间关系分析

当前分析策略之间关系的研究多集中于访问控制策略,主要根据主体、目标和动作三元组上的重叠关系来划分策略冲突类型,存在划分标准不明确,冲突分类不完善等问题.采用策略代数系统来对策略进行描述,能表示Ponder中的授权策略(访问控制策略)和职责策略.分析了策略对应组成部分间所有可能存在的关系,包括离散、相等、包含、部分包含和交叉等五种,在这些关系的基础上指出了可能存在的冲突,并给出了相应的冲突消解方案.     

Reconstruction from Projections Using Grassmann Tensors

In this paper a general procedure is given for reconstruction of a set of feature points in an arbitrary dimensional projective space from their projections into lower dimensional spaces. This extends the methods applied in the well-studied problem of reconstruction of scene points in ℘³ given their projections in a set of images. In this case, the bifocal, trifocal and quadrifocal tensors are used to carry out this computation. It is shown that similar methods will apply in a much more general context, and hence may be applied to projections from ℘ ⁿ to ℘ ^m , which have been used in the analysis of dynamic scenes, and in radial distortion correction. For sufficiently many generic projections, reconstruction of the scene is shown to be unique up to projectivity, except in the case of projections onto one-dimensional image spaces (lines), in which case there are two solutions. Projections from ℘ ⁿ to ℘² have been considered by Wolf and Shashua (in International Journal of Computer Vision 48(1): 53–67, 2002), where they were applied to several different problems in dynamic scene analysis. They analyzed these projections using tensors, but no general way of defining such tensors, and computing the projections was given. This paper settles the general problem, showing that tensor definition and retrieval of the projections is always possible.     

符号矩阵奇异值的计算机分解与广义逆计算

本文从符号计算(计算机代数)的观点,对数值矩阵计算理论中传统的奇异值分解算法及其相关的广义逆矩阵计算方法加以改进,使之适于处理符号矩阵且在计算机上实现.并指出其在矩阵理论及线性问题求解中的某些应用,还给出了一个有趣的物理实例.     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。