素环上的一类非全局可导映射

设R是包含非平凡幂等元且有单位元的素环, Q={T∈R: T2=0}且δ: R→R是一个映射(无可加假设). 用代数分解方法证明了： 如果对任意的A,B∈R且［A,B］B∈Q, 有δ(AB)=δ(A)B+Aδ(B), 则δ是一个可加导子, 其中［A,B］=AB-BA为Lie积.     

局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

属性添加情况下的概念格重构算法

研究在给定的形式背景下,通过逐步添加属性建造概念格的方法.一般地,初始概念格可由部分属性生成.当添加属性时,得到了新节点与它在原概念格中的直接父节点是一一对应的结论.证明了所有新节点在原概念格中的直接父节点,只可能在某个节点和它的子节点中.基于上述性质,给出了添加属性情况下的重建概念格算法.此算法的优点是生成新节点的范围小,构建概念格的速度快.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

量子环面上skew导子李代数的中心扩张

研究了量子环面上的斜导子李代数的中心扩张,重新构造了■,使得它是L的泛中心扩张,并给出了比Lin(直接应用定义进行证明[1])更简要的证明.     

新形势下高校非正式组织的管理体制及发展趋势

高校中存在着"非正式组织",它的存在具有客观性,是正式组织的依附体。在分析大学生非正式组织的类型、特征及发展趋势的基础上,认为大学生工作者有必要细致了解非正式组织情况,才能以科学的方法对非正式组织进行有效地管理和引导,以便培养更多优秀人才目标的实现。     

分段函数分段点处可导性的讨论

分段函数是高等数学中一种重要的函数,该文讨论了分段函数分段点处的可导性,并给出了求分段函数分段点处导数的几种方法.     

一类幂指函数求导公式的推导

通过一般幂指函数的求导方法及对幂指函数y=xxx(x>0)的求导,得出了幂指函数y=fgh(f=f(x),g=g(x),h=h(x),f>0,g>0,h>0)正确的求导方法和求导公式,并对错误解法进行了分析.     

重视学生辩证逻辑思维的培养

系统的论述了培养学生辩证逻辑思维的重要性。     

FSA在海事监管中的应用(英文)

介绍综合安全评估(FSA)方法产生的背景,分析FSA评价方法的技术特征,阐述该方法在国际及中国海事机构的运用情况,提出在海事管理工作中加以应用的建议及相关具体措施,探讨该方法在提升海事风险控制实际运用过程中尚存在的问题和未来发展前景.