支持MLS的多层次嵌入式高可信软件架构

为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用时空分离思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了多层次的安全和防危策略管理方法、信息流控制机制、可信软件的评估和认证方法,为安全关键嵌入式系统提供可认证的安全服务。     

知识流模型及其在航天企业中的应用

知识管理的理论和实践吸引了众多学者和企业家的关注,但在具体的实施方法上一直没有形成共识。管理的对象是“知识”,对于知识流动的理解、监测乃至控制是顺利实施知识管理项目的基础。已有的研究对知识流的讨论集中于描述概念,或通过统计分析或调查问卷得到对专利、引用等知识流动的描述。把Petri网理论用在对知识流进行刻画中,提出知识流的Petri网模型,能够描述知识分布的拓扑结构、知识存量、一定时期的知识流量和流速,使得管理人员便于监控和管理知识流动,更好地实施知识管理。把基于Petri网的知识流模型应用于航天企业中,通过实证分析说明该知识流模型对知识流动的刻画能力,并通过对现状的分析,为改进知识流动效率,实现知识管理目标提供支持。     

HFC－134a水平管内流动沸腾换热研究的进展

在分析国外有关文献的基础上，对ＨＦＣ－１３４ａ水平管内流动沸腾换热研究的现状和已取得的成果进行了综述，指出了该领域进一步研究的方向．     

关于微机应用于教学实习的探讨

本文指出了学生在微机教学实习中出现的若干问题，探讨了解决这些问题的方法。     

现金流量表编制方法改进设想

根据《企业会计准则 -现金流量表》的要求 ,企业在编制现金流量表时应采用直接法报告经营活动现金流量 ,传统的直接法有工作底稿法和 T形帐户法 ,在这两种方法的操作中都要面对费脑筋的“调整分录”和“分析填列”,难度高、工作量大、自动化程度低 ,缺乏普及和实用性 ,而代码日记法则能克服这些缺陷 ,体现了简便易行的特点     

一种求解双目标flow shop排序问题的进化算法

提出一种求解双目标flow shop排序的递进多目标进化算法.算法采用改进的精英复制策略,在实现精英保留的前提下降低了计算复杂性;通过递进进化模式增加群体多样性,改善了算法收敛性;通过群体进化过程中对非劣解集进行竞争型可变邻域启发式搜索,增强了算法局部搜索性能.采用新算法和参照算法NSGA-II对31个标准双目标flow shop算例进行优化.研究结果表明,新算法在所有算例的求解中均获得了优于NSGA-II的非劣解集,验证了算法的有效性.     

软预算约束与国企改革：从要素投入的视角分析

论文运用动态模型对软预算约束的形成路径进行了理论研究,并对中国国有企业改革的路径选择进行实证研究。研究结果表明软预算约束起源于企业要素投入与生产模式的匹配模式,而中国国有企业改革路径选择的结果是使要素投入和生产模式满足弱匹配条件。     

休闲消费中的流体验生命周期探究

体验是随着消费者休闲消费的经验不断丰富而不断变化的，是一个动态的过程。体验如何变化以及休闲消费企业针对体验的动态过程的对策是需要解决的一个问题。利用流理论，从心理学角度探究休闲消费中的消费者体验主要有以下几点：首先，对心理学视角下的三个代表体验理论进行述评；其次，基于流体验理论提出休闲消费的流体验生命周期以及体验的总效用模型；最后，基于流体验生命周期从个人和休闲两个层面，提出提高消费者休闲消费倾向的对策。     

从提升文化软实力视角探析绿色节能校园的创建

本文从提升高校文化软实力的角度出发,阐述绿色节能校园建设与高校文化软实力之间的关系。     

先进制造技术与企业组织管理模式的变革与创新

实施了先进制造技术的企业由于生产模式的转变 ,出现了系统化 ,集成化等新特点 ,传统组织管理模式与先进制造技术的要求之间存在着许多矛盾和冲突 ,必须按顾客驱动 ,柔性化等原则对企业组织管理模式进行变革与创新 ,才能发挥先进制造技术的优势