平均保障延误时间（MLDT）建模方法研究

针对现代装备系统的精确化保障要求,对装备保障的主要参数指标MLDT进行了建模分析,主要分析了三种计算方法：图估法、解析法和基于排队论的MLDT建模理论,解决了评估MLDT指标时的定量计算问题。     

信息技术课程应该变了吗？义务教育篇

从20世纪80年代开始,我国的信息技术课程经历了数次大的变革,从最初的程序设计教学,到信息技术工具论,再到今天以信息素养为核心,大致每十年就会有一次大的变革。那么,当我们迈入2011年的时候,反思自2000年全国中小学信息技术教育工作会议开创的信息技术课程,我们是否应该有一些变的思维呢？因为,只有“变”才能够保持信息技术课程的生机与活力。上期专题我们就高中信息技术课程进行了现状的反思以及未来发展方向的探讨。本期,我们将专门探讨义务教育阶段信息技术课程的应变之道。     

基于范畴论的地理本体集成研究

为了实现地理本体之间的语义集成,提出了基于范畴论的方法.将地理本体抽象成为范畴对象,对象之间的"态射"描述地理本体映射,"外推"描述地理本体合并,设计了基于范畴论的地理本体语义合并算法,该算法即包含了同义概念的合并,也包含了对语义不同部分的整合,且保持层次结构不变.作为一种形式化结构的"外推",它确保了合并后的结果是完整的、惟一的和最小的.以两个不同分类标准建立的河流本体为例,阐述了地理本体语义合并方法,并对实验结果进行了分析.     

基于阈值的概率图可达查询

图的可达性查询被广泛应用于生物网络、社会网络、本体网络、RDF网络等.由于对数据操作时引入的噪声和错误使这些图数据具有不确定性,而确定图的可达查询不能有效地处理不确定性,因此该文研究用概率语义描述的图可达性查询.具体的,该文使用可能世界概率模型定义不确定图(称为概率图),基于该模型,研究了基于阈值的概率可达查询(T-PR).首先为避免枚举所有可能世界,给出一个基本算法可精确求解T-PR查询.其次为进一步加速基本算法,给出3种改进方法,它们是不确定事件界、同构图的缩减、基于不相交路径和割集的界.通过合理的组合给出3种方法的合并算法.最后基于真实概率图数据的大量实验验证了该文的设计.     

服装设计创新思维研究——解读“三宅一生”

本文从灰学所倡导的"非唯一论"的角度出发,深入分析三宅一生作品所传达的哲学思想,探寻服装设计创新思维的出路,以期对我国服装设计艺术有所帮助。     

基于ROBDD的布尔函数同构判定算法研究

布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现.该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度...     

基于排队论的UM-BUS总线性能建模与评估

UM-BUS总线是一种具有动态容错能力和远程穿透式访问能力的高速串行总线,其性能模型对UM-BUS的综合评估和优化设计具有重要意义。针对UM-BUS总线系统,提出基于排队论的性能评估的模型,该模型定性描述了总线上不同节点之间的数据流关系、数据包到达节点的特征以及在节点处等待处理的特性;定量分析了不同数据包在总线信道传输的最大延迟、最小延迟以及平均延迟。在MATLAB平台上测试了数据包在总线上的等待时间和传输时间。实验结果可以帮助设计者快速分析总线在实际应用系统中的特性并对其进行优化配置,提高总线的使用效率。     

共享存储器交换机的性能分析

交换机是分组网中的一个重要组成部分,对于分组网的性能有着很大影响。介绍共享存储器交换机的三种不同实现方法以及多播的实现过程．同时以排队论的知识为理论分析基础,介绍排队论中的生灭过程模型,状态转移模型和爱尔兰呼损模型,并对状态转移的稳态特性以及共享存储器结构的交换机的丢包率公式给出推导。对所做的工作做简要的总结,并指明未来的研究重点．     

基于范畴计算的多目标语言程序生成架构

提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并带有可配置的参数,模式到可执行语言的表达式、函数、类型等映射由范畴函子统一定义。在实际应用开发时,通过函子计算将抽象模式精化到不同的目标语言程序范畴。各种语言的精化计算方式具有统一的契约规范,从而支持高度的灵活性和重用度水平。