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

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

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

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

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

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

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

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

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

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

一致性测试的形式框架扩充及实例化

将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充；     

形式幂级数的复合定理

获得形式幂级数的复合定理 ,这一定理是形式幂级数的重要运算 ,有着广泛的应用性 .     

基于TU模式的历史关系数据库的研究

给出了TU模式的形式化定义，结合实例对该模式进行了深入的分析和研究，指出了其优缺点，并提出了对该模式的下一步研究思想。     

THE COMPOSABILITY PROBLEM OF THESEMANTICS OFXYZ/BE-COMMUNICATING PROCESSES

1.Introduction"Awell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallel"lll."Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents"[2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone…     

数学教育视野下《九章算术》与《几何原本》的比较研究

<九章算术>与<几何原本>是数学史上东西辉映的两大巨著,是现代数学思想的两大源泉.两书同是古代数学名著,却有着截然不同的风格.将从数学教育的角度,解读一下两书在成书背景、结构和内容等方面的不同,并从比较研究中得到一些对当代数学教育改革的启示.