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

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

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

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

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

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

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

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

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

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

城市轨道交通可达性提高和住宅价格增值关系

从分析影响因素出发,将城市轨道交通对住宅价格的影响分解为交通效益和集聚效益,并建立可达性提高计算模型进行量化.以上海市轨道交通11号线的16个车站为例对可达性提高计算值和住宅价格增值之间的关系进行分析.实例研究结果初步表明,城市轨道交通对住宅价格的影响约为城市轨道交通对住宅年可达性提高的5倍,并且在城市轨道交通开通前后就已经释放;各个车站因自身的区位及在城市轨道交通网络中的位置不同,对其影响范围内房价的影响程度不同,影响幅度分布在2%~18%之间,并呈现郊区大、市中心小的趋势.该方法可以为规划阶段的城市轨道交通线路开发利益还原及车站周边土地开发建设提供参考.     

对《社会经济统计学原理》中一些疑难问题的辨析

统计作为一门学科,它的基本概念的表述是简明的,然而却是重要的;其内涵是明确的,然而外延却是丰富的。不能准确把握概念的实质,往往成为学习该学科的难点,探究和辨析概念的特性和条件是解决难点的钥匙。     

中科院北郊园区物业管理科学化探析——现状、问题与改进对策研究

本文首先对中科院北郊园区及其物业管理组织结构、运行模式、园区管理基本任务与相关费用进行了归纳。在此基础上,对园区管理主体、管理流程及具体业务环节三个方面存在的问题及相关原因进行了分析。最后,提出了改进中科院北郊园区物业管理的具体建议,包括完善管委会设置规则、建立科学园区管理标准、明确园区内各单位使用权边界、成立园区文化促进机构等。     

SBS改性沥青性能的试验研究

通过不同掺配关系的SBS改性沥青的试验,对SBS改性沥青的弹性恢复、高温稳定性和低温性能等路用性能进行了研究,分析了改性剂剂量等因素对SBS改性沥青性能的影响规律,改性剂剂量在3%～5%范围内变化时,改性沥青的各项指标呈逐渐增加趋势,即改性剂剂量越大,改性沥青的性能越好,改性沥青的合理改性剂剂量应在4%以上·提出了适合于辽宁省的SBS改性沥青路用性能指标技术标准,可供工程实际参考应用·     

自密实高性能混凝土受弯构件受力性能试验研究

为了研究自密实高性能混凝土受弯构件的受力性能,制作了8根自密实混凝土梁和4根相对应的普通混凝土梁.对自密实高性能混凝土受弯构件的开裂荷载、抗弯承载力、抗剪承载力、构件延性和破坏形态等进行了试验研究,并与普通混凝土构件进行了对比.研究结果为自密实混凝土结构的有关规程制订和设计提供参考.