基于范畴论的构件行为组合研究

针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。     

浅谈樟树市盐化工业发展的环境保护对策

介绍和分析了樟树市盐化工业的发展方向和环境保护的现状以及环境问题存在的主要原因,提出了今后盐化工业发展存在环境问题及保护的对策和建议.     

全粒度粗糙集的不确定性

全粒度粗糙集是一种既能表示显式知识又能表示隐式知识的粗糙集模型, 能更好地表示人类认识的复杂性、多样性和不确定性.文中结合经典粗糙集理论,定义全粒度隶属度、全粒度粗糙度、概念的全粒度属性依赖度、决策系统的全粒度属性依赖度等不确定性指标,探究这些不确定性指标的性质,指出这些不确定指标与全粒度绝对约简、概念的全粒度属性约简、全粒度Pawlak约简的联系,有助于全粒度粗糙集的属性约简和实际应用.     

高校网络安全工作机制的探索与实践

网络安全是高校信息化建设中的焦点问题。文章分析了目前高校网络安全工作中存在的问题，立足浙江师范大学安全管理态势，提出从管理、技术、运维、保障四个着力点出发构建网络安全工作体系的思路。同时，介绍了校园大数据智能安全平台，它实现了安全管理和安全运维一体化，有效解决信息资产管理难、安全运维难等问题，实现安全态势可视化，切实提升了网络安全防护能力。     

基于构件的工作流建模研究

采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。