BCK-代数的商积代数及其性质

本文对ＢＣＫ－代数的商积代数作笛卡儿积,构造了一种新的ＢＣＫ－代数－商积代数;并进一步讨论了经的一些性质。     

关于BCK-代数的商代数的讨论

本文对ＢＣＫ－代数的商代数作了进一步的探讨,得出结论,理想的商集是商代数的理想,且构成一个新商代数－－商商代数;商代数作乘积仍是商代数;理想的交集构成商代数。     

代数免疫度最优的旋转对称布尔函数的构造

代数免疫度是布尔函数的一个重要密码学指标,为了抵挡代数攻击,密码算法中所使用的布尔函数应当具有较高的代数免疫度.本文利用“轨道交换”技术,给出了一类具有最优代数免疫度的旋转对称布尔函数的构造,该类函数对于代数攻击具有较强的抵抗能力,同时具有较高的非线性度和最优代数次数.     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

基于创新人才培养的高等代数教学改革探析

高等代数作为高师院校数学与应用专业学生的一门专业基础课,它对于训练学生的数学思维、培养学生的数学素养具有重要作用。文章结合当前高等代数教学中存在的一些问题,基于创新人才的培养,具体从培养学生学习兴趣、培养学生问题意识、培养学生的数学基础能力以及创新能力、加强高等代数与解析几何、近世代数课程的联系、倡导学生学习评价的多元化等多个方面进行了高等代数课程教学改革的探索。     

基于本体的信息与信息空间及其代数结构

实现特定信息环境下基于信息组织的信息资源服务,需要对信息、信息空间有更合适的、形式化的描述。文章基于本体层次对信息、信息的运算、信息之间的关系以及信息空间给出了数学描述并对其代数结构进行了研究。从而为特定信息环境下的信息资源服务提供理论支撑。     

多刚体系统计算机代数动力学建模研究

本文研究了复杂多刚体系统的Ｌａｇｒａｎｇｉａｎ建模方法，以Ｍａｔｈｅｍａｔｉｃａ数学软件为基础，完成了多刚体动力学系统的计算机建模、推导与仿真。     

幂方根不等式的推广及应用

给出并证明了幂方根不等式的推广及其推论 ,利用此推广简证了几个重要不等式 ,利用其推论完善了一类初等代数问题     

微分算子插值样条解析性质的一种新证法

讨论带线性泛函约束的微分算子插值样条 ,在空间Wm2 中给出了由约束泛函和微分算子构造再生核的普遍方法 ,利用微分算子及其共轭微分算子零空间基底之间的关系得到了微分算子插值样条解析性质新的推导方法。     

战场大地形空间格网点的高斯曲率算法研究及可视化

论述了在细节层次模型简化技术中,空间格网点的高斯曲率的计算方法,以及在.NET平台下如何用C#语言对算法进行编程.然后依照此算法得出格网点曲率值的大小,删除曲率小的中心点并对删除中心点后留下的空洞进行三角化,从而实现细节层次模型的简化.为体现算法的效果,应用高斯曲率算法将全细节的三维地形模型实现了细节层次模型的可视化,并提出用曲率的几何性质来对算法进行了误差分析,将其结果与其他算法进行了比较.通过实例和误差分析,其结果表明此算法速度快且效果好.     

任务分配与调度中遗传算子的设计

应用遗传算法等进化方法进行任务分配与调度为越来越多的计算机学者们所关注。基于任务排列的知识表示 ,常规的标准遗传操作算子并不总是有效的。好的遗传算子对算法收敛性及收敛到好点是非常重要的。在列表编码的知识表示基础上 ,设计了三个有针对性的遗传算子 ,即改进的交配算子、内部交配算子和一种作为变异的迁移算子。模拟实验结果与分析表明这些算子对任务分配与调度是有效的。     

基于TOPSIS评估算子的装甲装备作战能力评估

依据装甲装备作战能力评估问题的特点,采用TOPSIS方法评估装甲装备作战能力。装甲装备作战能力评估时,需构建基于TOPSIS方法的评估模型,支持装甲装备作战能力评估。算子是指定义了输入和输出,封装了一定操作的功能元件。从评估方法到评估算子元件的映射称为评估方法的算子化,生成的算子元件称为评估算子。将TOPSIS方法算子化为TOPSIS评估算子元件,运用TOPSIS算子元件构建装甲装备作战能力评估模型-算子树模型。算子树模型容易理解和调整,构建方便灵活,具有较好的重用性和扩展性,是解决装甲装备作战能力评估问题的一种有效途径。     

基于B-样条分形插值的垂直尺度因子的计算方法

将线性分形插值推广到B-样条上,可避免线性分形插值局限性,进一步扩大分形理论的应用范围。分形插值应用的关键问题,是如何合理地确定垂直尺度因子di的值,而它的计算却没有一种很有效的方法。通过解析方法,获得了均匀B-样条分形插值“S”点的代数解,从而,可准确计算出垂直尺度因子,解决了影响B-样条分形插值应用的难题。     

An operator theory of parametric programming for the transportation problem-I

This paper investigates the effect on the optimum solution of a (capacitated) transportation problem when the data of the problem (the rim conditions-i. e., the warehouse supplies and market demands-the per unit transportation costs and the upper bounds) are continuously varied as a (linear) function of a single parameter. An operator theory is developed and algorithms provided for applying rim and cost operators that effect the transformation of optimum solution associated with changes in rim conditions and unit costs. Bound operators that effect changes in upper bounds are shown to be equivalent to rim operators. The discussion in this paper is limited to basis preserving operators for which the changes in the data are such that the optimum basis structures are preserved.     

电话地球站 (TES) 网管仿真训练系统的设计与实现

在 TES通信网络中 ,网管起着关键的作用 ,对网管操作人员提出了特殊的要求。本着提高网管操作人员的业务水平 ,保证 TES通信网络的正常运营 ,使用最新的多媒体技术、计算机技术、可视化技术、交互仿真技术、关系数据库技术和面向对象的程序设计方法 [1 ] [2 ] ,设计开发出一套比较完善的网管仿真训练系统。该仿真训练系统完全实现了网管中心的主要功能 ,给网管操作人员提供了一套新颖高效的训练环境和训练方法     

一类修正的和积分型算子的点态逼近

研究以Beta为基函数的一类修正的和积分型算子,利用统一光滑模。ω^2φ^λ（f,t）（0≤λ≤1）,得到该算子点态逼近的等价定理．     

An operator theory of parametric programming for the transportation problem-II

This paper investigates the effect on the optimum solution of a (capacitated) transportation problem when the data of the problem (the rim conditions-i. e., the warehouse supplies and market demands-, the per unit transportation costs and the upper bounds) are continuously varied as a (linear) function of a single parameter. Operators that effect the transformation of optimum solution associated with such data changes, are shown to be a product of basis preserving operators (described in the earlier paper) that operate on a sequence of adjacent basis structures. Algorithms are provided for both rim and cost operators. The paper concludes with a discussion of the economic and managerial interpretations of the operators.     

An operator theory of parametric programming for the generalized transportation problem: II Rim,cost and bound operators

This paper investigates the effect on the optimum solution of a capacitated generalized transportation problem when certain data of the problem are continuously varied as a linear function of a single parameter. First the rim conditions, then the cost coefficients, and finally the cell upper bounds are varied parametrically and the effect on the optimal solution, the associated change in costs and the dual changes are derived. Finally the effect of simultaneous changes in both cost coefficients and rim conditions are investigated. Bound operators that effect changes in upper bounds are shown to be equivalent to rim operators. The discussion in this paper is limited to basis preserving operators for which the changes in the data are such that the optimum bases are preserved.