摘要：针对范畴论在程序设计、软件架构和软件重用等方面的结合与应用,比较详细地叙述了国内外学者将范畴论应用于计算机科学的历史和现状,比较分析软件重用技术的过去和现在的不同做法,以突出范畴论的理论在实践应用中的重要性。软件重用的思想一直被软件设计者所重视,尤其发展到现在更是如此;程序员的职责不再只是单纯编制程序,而且还应该应用科学理论创造新方法工具,架设沟通理论与工程之间的桥梁;突出程序设计中的创造性特点,把理论和实践结合起来,以求程序设计的精确和完美。

摘要：通常情况下,由于高等教育经济的正外部性使得高等教育资源配置不能实现pareto最优。教育与经济的直接关联,引发了诸多的经济学研究教育投资及投资效率的兴趣。许多实证分析表明教育的投入是可以通过计算产出来判断其价值的。根据pareto标准,设计了一个基于pareto最优概念的多目标遗传算法,利用群体搜索策略和群体间个体之间的信息交换在解决多目标优化问题上的两大优势,成功地实现利用pareto遗传算法进行高等教育资源优化配置的分析与计算,为最终达到高等教育资源配置的优化提供了一种技术手段。

摘要：范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循环不变式在循环算法程序的设计中至关重要。使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础。在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。

摘要：文章首先借鉴技术接受模型(TAM)及前人研究成果,依据高校教师工作特点,构建高校教师学术资源获取行为模型;然后设计问卷收集样本数据;最后对构建的模型进行识别、估计和检验。结果表明:构建的模型与收集的样本数据匹配,度量结构变量的观测变量设计合理。除感知适用外,先前经验、感知有用、感知易用及使用意向都会显著影响使用绩效;使用意向对使用绩效的总影响最大,其次为感知易用。

摘要：根据图书馆从业人员绩效评价的影响因素与信息的特点来完善图书馆从业人员绩效评价指标体系是亟待解决问题。本文基于图书馆从业人员的特点,以人才绩效评价的四大维度"德、能、勤、绩"作为构建图书馆从业人员绩效评价指标体系研究的路径,运用结构方程模型中二阶验证因素与AMOS19.0和SPSS19.0软件来分析图书馆从业人员绩效评价的关键影响因素,结果表明图书馆从业人员的思想品质、能力指标、工作态度、业绩评价这四大维度都是影响图书馆从业人员绩效评价的关键指标,由此来构建图书馆从业人员绩效评价模型,并对该模型进行检验与分析。