一种基于时间自动机的实时工作流时序约束建模方法

本文详细分析了实时工作流中的时序约束。同时,为了对实时工作流时序约束进行形式化描述,本文利用时间自动机建模实时工作流的时序约束。这为实时工作流时序约束的形式化验证提供了基础。     

缠绕结构的smash积

令k是交换环，C是投射k-余代数．本讨论了具有缠绕结构(A，C)φ的C-余模A的smash积．当φ是双射，并且C是有限生成投射k-余代数时，证明了余代数的Ulbrich定理．     

数学的对称美与数学创新

对称美在数学研究中有重要作用,它是数学创造与发现的美学方法之一.对偶是对称概念的拓广,我们提出用图表示数学元素的"对偶"的方法.这种方法有利于数学的学习和创新.     

对偶环的余环结构

研究了余环的对偶环,证明了Frobenius余环的对偶余环是Frobenius余环。若余环C是有限生成投射模,则可分余环,强可分余环的对偶余环分别是可分余环和强可分余环。     

实现农学专业(本科)应用型创新人才培养目标研究

要实现专业人才培养目标，在制定出与之相适应的教学计划之后，重要的是要制定出具体的实施措施并予以落实。从加强师资队伍建设、着力提高教师素质，构建适合创新人才培养需要的教学内容和课程体系，以“能力中心模式”组织教学、加强实践环节、突出创新能力和专业技能培养，改革教学方法和改进教学手段、发展学生的创新思维能力，加强教材建设、保证教材的时代感和实用价值等五个方面，对如何实现农学专业(本科)应用型创新人才培养目标的问题进行了论述。     

愉快教学艺术在《机械制图》教学中的应用

《机械制图》是工科专业学生必修的一门专业基础课，这门课程的主要内容之一是：应用平行投影法，将物体分别向空间相互垂直的三个平面上投影，由此得到物体的三视图。本课程教学目的有两个：一是要求学生掌握将空间物体通过三视图（或多视图）绘制成平面图形的方法；二是要求学生面对三视图（或多视图），读出它所表达的空间物体的实际形状。为了使看图人能够理解画图人的意图，“国家标准”对机械制图的画法作了极为严格和缜密的规定。因此，《机械制图》教学中有两大重点：一是要求学生掌握“国家标准”的内容，这样才能“画出”正确的三…     

弱左Frobenius双模与comatrix余环

文章推广Frobenius双模的概念,定义了弱左Frobenius双模。给出了双模BMA是弱左Frobenius双模的充分与必要条件,并且研究了弱左Frobenius双模BMA的自同态环和comatrix余环。     

珠三角城市化进程中的成人高等教育：问题与对策

珠三角地区城市化进程中的成人高等教育存在政府投入与引导不足,高等学校专业设置不科学、培养目标不明确等问题。应增加政府投入,加强引导,优化高校课程设置,调整高校人才培养模式,以期高等学校在该地区城市化进程中发挥更大更好的培养人才作用,更加有效地推进该地区城市化进程。