【摘 要】
：
随着软件及其运行环境的复杂性和不确定性的上升,软件要求能够及时地感知环境的变化,并做出相应的反应。由于环境具有开放、动态、不可控、不可预测等特点,为了实现软件对不
【机 构】
：
北京大学信息科学技术学院软件研究所,北京大学高可信软件技术教育部重点实验室,中央财经大学信息学院
【基金项目】
：
国家自然科学基金Nos.91318301,U1201252, 国家重点基础研究发展计划（973计划）No.2015CB352200
论文部分内容阅读
随着软件及其运行环境的复杂性和不确定性的上升,软件要求能够及时地感知环境的变化,并做出相应的反应。由于环境具有开放、动态、不可控、不可预测等特点,为了实现软件对不同环境的自动感知和适应,环境被独立建模,并定义为能够自维护和自演化的一级实体。为了简化软件与环境之间的交互,环境被实现为一个层次结构,为软件提供面向应用的抽象资源到环境资源之间的自动映射和配置机制,从而提高了环境和软件的复用性,同时也减轻了软件开发人员的负担。
其他文献
<正> 二、情境测验情境测验是指预先布置的一种情境,主试者观察被试在此情境下的行为表现,从而对其人格特质加以测量.(一)品格教育调查由哈、梅二氏编制.该测验的情境与儿童
柏叶口水库泄洪发电洞采用挑流的方式消能,工程建成后,发现建筑物下泄高速水流的实测挑流射程和冲坑深度与按照设计规范计算的结果有一定的出入,造成对岸边坡损坏。对柏叶口
随着智能工厂体系架构的逐步完善,智能工厂建设已是国家战略计划,作为智能工厂建设基础之一的数字化交付,不但包括工厂在设计、采购、施工等不同环节的设计图纸、施工图纸、
本文提出的均衡技术采用间隙式优先充电的双闭环控制模式,内部采用光MOS开关阵列,利用开关电源技术,以能量转移方式将高电压电池的电量转移到低电压电池,电量转移是双向并行
以文得根水利枢纽的水轮发电机组为例,结合工程的实际需求,在系统分析飞轮力矩GD~2与轮速之间的相互影响、GD~2不同取值对水轮发电机组的重量、尺寸,以及机组调节性能影响的
为切实加强云南省与俄罗斯科技创新合作,中国-金砖国家技术转移中心落地云南。通过研究俄罗斯科技发展概况、科技发展战略与政策、管理机构与研发机构、俄罗斯国际科技合作概
随着语义wleb的发展和Web本体语言（wlebontologylanguage，OWL）的普及，在各个领域出现了越来越多大规模的本体，其中部分本体已历经多个版本的演变，因而需要一种简单而有效的方法，帮助
供给侧结构性改革是一项长期任务，但也是迫在眉睫的问题。本文对东莞供给侧结构性改革进行了经济、社会制度、文化三个层面的价值分析，并就目前东莞面临的“三去一降一补”，即去
近年来,我国整体信息化技术水平逐步提升,一些试验车间的单台温箱和相应的测试设备系统也在逐步升级,主要是以计算机控制测试的方式为主。传统形式的人工现场试验方式已经无
分布式拒绝服务（distributed denial of service,DDoS）攻击是重要的安全威胁,网络速度的不断提高给传统的检测方法带来了新的挑战。以Spark等为代表的大数据处理技术,给网络安