二次虚代数整数环中的Euclid整环

唯一分解是整数环所具有的重要性质,当数系扩充到全体代数整数时,该性质将会消失。该文把整数环扩充到二次虚单纯代数整环,讨论了二次虚单纯代数整环的可既约分解性,进一步探讨了具有Euclid性质的整环,从而得到了二次虚单纯代数整环中能够实现唯一分解的一部分整环。     

关于逻辑运算"→"和BCK运算"*"

K.Iseki和S.Tanaka在文[1]中提出了正蕴函BCK－代数的概论，以此研究了数理逻辑中逻辑运算“→”的若干性质，进而探讨了逻辑运算“→”与BCK－代数中运算“*”之间的关系。     

Hilbert第十六问题目前状况

利用大量事实阐述了希尔伯特第十六问题的目前研究状况。     

Quadratic Algebraic Curve Approximate Implicitization for Planar Parametric Curves

1 IntroductionThe generation method of curves and s~es is oneof main research areas in computer aided geometncdesign (CAOD) and computer graphics (CG) AS weknow, the cable and surface have tWo types ofrepresentations p~c and lmpllclt Now theparametnc curve and surface are widely used in the curveand surface generation systems because they have msnyadvantages such as computing simply, d1SPlaye-cped-lently' suforlslon prop~s etc But for somecomp-floated shop such as the closed one, the Para…     

代数式求值的研究

本文研究了代数式求值的十二种方法     

分组密码S盒的代数方程

研究了几种著名的分组密码体制的Ｓ盒所满足的代数方程的个数,如DES、AES、MARS、SERPENT等,分别计算出这几种分组密码的Ｓ盒从低次到高次的代数方程的个数,并把 计算结果和理论极小值进行了比较．此外,还针对一类对密码分析具有特别意义的不完全代数方程研究了Ｓ盒所满足的这类不完全代数方程的个数,通过这类方程的个数,可以看到它们的Ｓ盒与随机Ｓ盒的差别．     

高阶布尔网络的结构

介绍高阶布尔(控制)网络, 并研究了其拓扑结构. 以矩阵的半张量积作为工具, 把高阶布尔网络的动态过程转化为2种标准离散事件动态系统的代数形式. 证明了高阶布尔网络和第1代数形式的一一对应关系, 并由此得到其拓扑结构(不动点、极限圈以及暂态期等). 还研究了高阶布尔网络系统与它第2代数形式的关系.     

Learners’ Difficulties with Quantitative Units in Algebraic Word Problems and the Teacher’s Interpretation of those Difficulties

This study examines 8th grade students’ coordination of quantitative units arising from word problems that can be solved via a set of equations that are reducible to a single equation with a single unknown. Along with Unit-Coordination, Quantitative Unit Conservation also emerges as a necessary construct in dealing with such problems. We base our analysis within a framework of quantitative reasoning (Thompson, 1988; 1989; 1993; 1995) and a theory of children’s units-coordination with different levels of units (Steffe 1994) that both encompass and are extended by these two constructs. Our data consist of videotaped classroom lessons, student interviews, and teacher interviews. Ongoing analyses of these data were conducted during the teaching sequence. A retrospective analysis using constant comparison methodology was then undertaken during which the classroom video, related student interviews, and teacher interviews were revisited many times in order to generate a thematic analysis. Our results indicate that the identification and coordination of the units involved in the problem situation are critical aspects of quantitative reasoning and need to be emphasized in the teaching-learning process. We also concluded that unit coordination and unit conservation are cognitive prerequisites for constructing a meaningful algebraic equation when reasoning quantitatively about a situation.     

求解三维泊松方程的新瀑布型代数二重网格法

文章针对三维泊松方程,讨论四面体有限元离散格式下的代数多重网格法.通过采用一种快速的粗化算法,提出了一种新的插值算子和迭代终止条件,设计了一种新的瀑布型代数二重网格法.数值实验表明这种新算法计算时间更短.     

一类广义凸规划的最优性充分条件

本文利用广义Ben-Tal代数运算,提出了几类广义(h,ψ)-凸函数的定义,并在一定的假设条件下,讨论和得到了一类广义凸规划的最优性充分条件.