一个含有不确定性语言的代数规范说明

本文定义了一个语言L,其允许表达式有负作用并对表达式序列的计算顺序不加规定,这样,在L中,同一表达式序列,因其计算顺序不同而可以有不同的结果,因而其语义模型就不是唯一的,传统的单一模型方法不适于定义L的语义,本文在极大语义的意义下,定义了L的代数规格说明并讨论其模型性质。     

G2型单代数群的Frobenius核的单模扩张群

本文获得了Ｇ的Ｆｒｏｂｅｎｉｕｓ核Ｇ的单模扩张群（Ｌ（μ），Ｌ（λ）），λ，μ∈Ｘ＿１（Ｔ），它们仅有六种可能性即或Ｌ（１，０）［１］     

带有局部形状控制参数的代数三角混合插值曲线

通过一类代数三角混合Bézier型曲线的定义,构造了一类C2连续的带有局部形状控制参数的代数三角混合Bézier型插值曲线。一方面继承了Bézier插值曲线的特性,另一方面可以利用形状控制参数灵活调节曲线形状,进一步增强了曲线曲面的表现能力。     

奇数元最优代数免疫布尔函数的构造与计数

为了抵抗代数攻击,流密码中使用的布尔函数应该具有较高的代数免疫阶,首先提出了一种构造奇数元旋转对称的最优代数免疫(MAI)布尔函数的一般方法.基于已经得到的旋转对称布尔函数,通过替换其支撑集中一些点的方法构造了大量非旋转对称的MAI函数,并且对某些构造给出了精确的计数.     

一类代数曲线的光滑拼接及插值

研究一类代数曲线的光滑拼接和插值问题,得到该曲线光滑拼接定理、全凸性定理及插值逼近算法.结果表明,对于给定的插值条件,通过选取合适的参数,此算法在插值逼近效果上好于有理二次Bezier曲线.     

双圈图的代数连通度

边数等于点数加1的连通图称为双圈图.研究双圈图G的代数连通度,记作α(G),证明了结论:对所有的n(n≥10)阶双圈图G都有α(G)≤1成立,并且确定了满足α(G)=1的所有n(n≥10)阶双圈图.     

O~5_h群对称化基底的代数解

本文将陈金全的新方法应用于空间群Ｏ５ｈ．得出了Ｄ４ｈ群不可约表示基的代数解形式     

域上多项式函数的一个性质及应用

定义在域ｋ上的代数簇之间的ｋ－态射将ｋ－有理点映为ｋ－有理点,反之一般不真,讨论了其逆在一定条件下成立,并用它研究多元置换多项式中的一个未解决的问题：若Ｆｇ上的多元多项式ｆ是Ｆｑ的某一扩域的置换多项式,ｆ是否一定是Ｆｑ的置换多项式。     

On broken symmetries and classical systems

Baker (2011) argues that broken symmetries pose a number of puzzles for the interpretation of quantum theories—puzzles which he claims do not arise in classical theories. I provide examples of classical cases of symmetry breaking and show that they have precisely the same features that Baker finds puzzling in quantum theories. To the extent that Baker is correct that the classical cases pose no puzzles, the features of the quantum case that Baker highlights should not be puzzling either.     

关于带参数n次代数方程具有—对纯虚根之充要条件的讨论

本文对 n(n≥2)次带参数的代数方程存在一对纯虚根的条件进行了讨论,并以7次方程为例说明了具有一对纯虚根,且剩余根均具负实部之充要条件的论证.