扩张代数AsB的Frobenius态射和固定点代数

考虑AsB的箭图 (Q*, I*) 的自同构由带关系箭图(Q, I)的自同构和带关系箭图 (Q′, I′) 的自同构决定情况, 证明了 AsB的Frobenius态射由 A 的Frobenius态射和 B 的Frobenius态射决定; 代数 AsB 的固定点代数同构于相应的代数 A 的固定点代数与 B 的固定点代数的张量积.     

中西文dBASEⅡ若干语句的正确使用

本文根据作者应用dBASEⅡ的实践,分析了TOTAL、DO WHILE等语句存在的问题,提出了解决的方法,并对它们的使用作了更为确切的说明.文中还对数组在dBASE中的使用方法作了论述,这将给它的编程带来极大的方便.     

关于Stein猜想的局部证明

利用赋值理论和Sperner引理得到了Stein猜想的局部证明：即在平面多边形形成的集簇中至少有1／2的多边形没有奇等面积三角形划分。     

Turbo Pascal语言中FOR语句执行过程的新认识

对ＴｕｒｂｏＰａｓｃａｌ语言中ＦＯＲ语句的执行过程提出了一种新的观点,并通过对几个实例的分析,对新观点进行了说明和验证。最后给出了ＴｕｒｂｏＰａｓｃａｌ语言中ＦＯＲ语句正确的执行过程,并给出了相应的流程图。     

基于Informix数据库典型低效率SQL语句的分析及优化方法

本文从跟踪SQL性能的方法和Informix应用调优的原则,对Informix典型低效率SQL语句进行分析,在Informix数据库系统实际应用方面提出了提高Informix数据库运行效率的方法,旨在为Informix数据库维护人员和程序设计人员提供有益的参考。     

基于SQL Server平台复杂地质体FLAC3D模型的构建

由于FLAC3D软件建立复杂三维地质体模型难度大、易出错,提出一种新的建模方法,即提取三维地质体建模数据并进行编辑成相应的表,把表导入SQL Server软件中,通过SQL查询语言生成FLAC3D可直接读取模型数据文件,从而实现在FLAC3D软件中准确、快速和自动化建立复杂三维地质模型的目的.通过云南某矿山的三维建模实例检验了该方法的可行性和高效性.结果表明:该方法在FLAC3D中建立复杂地质体模型具有一定的参考价值.     

AR箭图—类连通分支中的几乎分裂序列

设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石. 令0→X→(?)_i~r=_1Y_i→Z→0是modA中的几乎分裂序列,其中Y_i是不可分解的,则数γ刻画了modA中始于X且止于Z的映射的复杂程度.因此,研究几乎分裂序列中间项的不可分解直和项的个数是很有意义的.Bautista和Brenner证明了如果A是有限表示型的,则modA中几乎分裂序列中间项至多有4个不可分解模,当中间项有4个不可分解模时,必有一个是投射-内射模.Liu将此定理推广到非正则模的几乎分裂序列上.本文研究的modA中几乎分裂序列出现在AR箭图中     

Q(K*G)上的不变高斯扩张

设V是除环K上的完全赋值环,G是一个有纯锥P的Abel群,假设G在K上的交叉积K*G有右商除环Q(K*G),R是V在Q(K*G)上的一个高斯扩张。本文给出了R是V在Q(K*G)上的不变高斯扩张的一个充分必要条件。