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

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

关于师专高等代数课教学的若干思考

分析了影响师专数学教育专业高等代数课教与学的主要因素,并根据师专的培养目标和师专数学专业学生的实际情况,提出了改进高等代数课教学、培养学生能力的若干措施.     

向量值奇异积分方程的直接解法

本文给出了向量全纯函数的联接边值问题,在能表成分片全纯的向量值柯西型积分的函数类中的直接解法.     

防空通信系统性能评价及抗毁性分析

分析了防空通信系统的组织结构和对抗特点,利用性能评价过程代数描述防空通信系统的状态演化,提出一种防空通信系统抗毁特性分析方法。通过具体案例,对通信系统的组织结构、抗击软硬杀伤的能力进行建模和仿真验证。实验结果表明,该方法适用于防空通信系统的建模与分析,能够实现对防空通信系统的结构进行对抗过程的建模;通信系统的不同要素对抗毁性能的影响不同,可以采取有效策略以提高防空通信系统的抗毁能力。     

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

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

关于Chidume结果的推广

在一致光滑的Banach空间,证明了满足不等式‖Tx≤C ‖x‖的一类非线性强增生算子的Mann迭代序列强收敛于Tx=f的唯一解。     

针对AES密码第1轮线性碰撞的代数攻击

将旁路攻击中线性碰撞思想与代数攻击方法相结合,使AES加密操作第1轮中的碰撞转换为线性方程组,构造了SAT求解器求解方程组,利用穷举攻击筛选真实的密钥。实验结果表明,该方法可降低密钥搜索空间,最终获得AES128位真实密钥,攻击效果优于碰撞攻击。     

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

关于D—N.S.算子类的注记

本文在文献的基础上对 D—N.S.算子类作了进一步探讨,得到了一些新的结果,它们对 Hilbert 空间上有界线性算子的不变子空间研究有所启示和帮助。