基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

基于UDEC巷道掘进矿压显现的数值模拟

通过采用UDEC软件,依据钻孔柱状图和采掘应力影响范围建立了相应的几何模型,根据煤岩体物理力学性质建立相应的材料模型,在此基础上结合地应力数据,从而完成数值模型.通过模拟实际巷道开挖尺寸及方位,得出巷道前方的应力分布和巷道两帮位移分布,为巷道冲击地压显现防治提供了理论支持.     

欧美关于数字图书馆的纷争与启示

近年来欧美国家关于数字图书馆的一系列纷争,从一贯的知识产权焦点深化至本国文化地位等多层视角,给中国的数字图书馆建设带来诸多启示与借鉴。     

基于区域叠合有限元技术预测三维编织复合材料弹性性能

本文基于区域叠合有限元技术预测三维四向编织复合材料弹性性能。在该方法中,分别建立相互独立的纤维增强相有限元模型和复合材料整体区域(包括所有增强相和基体相所占几何空间)有限元模型,两相模型在空间叠合组成复合材料模型,运用节点自由度耦合技术使两相模型满足变形协调关系,通过对两相模型赋予适当的材料属性以使所建复合材料模型具有与实际复合材料等效的力学特性。该方法较传统方法显著缩短了建模时间,降低了建模难度。区域叠合法的数值模拟结果与传统方法预测结果一致。本文的研究为进一步研究编织复合材料非线性宏观力学特性和渐进损伤过程模拟奠定基础。     

COSMOS/M 有限元程序在 Tokamak 装置设计中的应用

概述了有限元技术及其在Ｔｏｋａｍａｋ装置工程设计中应用的最新发展动态。对新一代面向微型计算机的大型结构有限元分析程序ＣＯＳＭＯＳ／Ｍ作了较全面的剖析，并给出了应用该程序对核聚变实验装置中大型机械结构强度分析的应用实例。     

绿豆芽超氧化物歧化酶在胁迫条件下的活性变化

超氧化物歧化酶（SOD）能通过歧化反应清除生物细胞中的超氧自由基,从而减少自由基对有机体的毒害．系统研究了绿豆芽中的超氧化物歧化酶在胁迫条件下其活力的变化情况．实验结果显示：在各种胁迫条件（干旱、盐、低温、高温和紫外光）下,绿豆芽中的SOD活力在受到逆境胁迫的最初一段时间内呈上升趋势,随着胁迫时间和程度的增加,SOD活力均表现下降趋势．     

堤坝型堆积体接触应力分布规律的数值研究

将堤坝型堆积体分为三类情形,基于有限差分法求解了三种情形下的接触应力分布规律及其影响因素,得出以下结论:同三棱柱堆积体类似,堤坝型堆积体的法向接触应力,并非人们认为的线性分布,而是呈曲线分布,堤坝高度开始出现变化的附近(对应三棱柱堆积体的中心)存在应力凹陷的现象;当相比于三棱柱堆积体,堤坝型堆积体的应力凹陷程度受到缓解(因堤坝自身的反压),同时应力凹陷的延伸范围也仅限于0.5~1倍堤坝高度的范围;对比底边有无水平约束两类情形,说明了接触面上的切向应力加重了应力凹陷的程度;下伏岩土体的刚度(弹模)也将影响到应力凹陷的程度,刚度相较上覆堆积体越大,应力凹陷越严重。     

关于大型科研仪器共享问题的一个产权理论解释

大型科研仪器的共享问题是我国科技资源配置和管理工作中面临的重要问题,现有研究和对策主要集中于促进共享理念的传播、加强共享效率的考核以及仪器中心等共享机制的建设方面,但对于为什么存在共享障碍等基本问题缺少关注。本文以经济学中的产权理论为基础,从大型科研仪器所有权与控制权分离的现实出发,探讨了当前我国仪器共享中存在的利益冲突和机制障碍。在此基础上,借鉴发达国家的一些做法,提出从仪器资助体制出发解决仪器共享问题的新思路。     

穿水冷却对GCr15轴承钢组织和力学性能的影响

通过4种穿水冷却工艺生产20mm热轧GCr15轴承钢棒材,研究了穿水冷却对热轧及球化退火、淬回火热处理后轴承钢组织和力学性能的影响.结果表明:终轧前后均采用穿水冷却,控制终轧温度在800~860℃,上冷床返红温度为620℃,能明显降低先共析碳化物及珠光体相变温度,减小热轧轴承钢中先共析碳化物厚度、连续度及珠光体片层、球团大小.退火及回火组织中碳化物厚度减小,均匀性增加,防止了粗大未溶网状碳化物的遗传.热轧及热处理后轴承钢抗拉强度及面缩率均增强.