排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
2.
运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时验证带来了特有的挑战.一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic在真值不确定等情况下不能很好支持有限轨迹中时间性质的描述.为支持普适计算应用时空性质的运行时验证,本文引入三值逻辑语义,提出了AL3(3-valued Ambient Logic);并在此基础上设计实现了基于AL3的性质检验算法和运行时监控器.最后,通过案例分析和运行效率实验阐明了所提方法的有效性和可行性. 相似文献
3.
面向动作的上下文感知(AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相比于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.我们围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开了研究.本文给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地,我们设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实该方法的有效性. 相似文献
4.
提出一种考虑输配交互的含风电场电力系统多目标动态随机模糊最优潮流方法。突破传统输配网最优潮流独立计算且配网一般以负荷计及的现状,考虑主动配电网与输电网的双向潮流交互特性和风电注入功率随机模糊性,兼顾系统经济、低碳、降损多目标优化,考虑输配网静态安全,基于随机模糊机会约束规划建立含风电场电力系统输配交互多目标动态随机模糊潮流模型;提出在随机模糊模拟、牛顿拉夫逊法与前推回代法求解输配系统随机模糊潮流基础上,通过输配网节点功率和电压考虑输配交互特性,基于Look-ahead和NSGA-I获取各时段Pareto解,采用最大满意度法决策,从而提出模型求解算法。改进的IEEE 30节点输电系统与IEEE 33节点配电系统的算例仿真结果表明了文中提出的模型和算法有效性和优越性。 相似文献
5.
哲学意义上的"生成(Becoming)",是世界的运行机制(从潜在到现实的过程),也是世界的价值观(万物是生命之流中不断生成的瞬时存在)。"生成"在艺术领域被进一步定义为有形物对无形物的创造;在建筑理论中则被描述为人类与他们此时此地的存在进行结域(Territorialization)并进行标记的一种方法,并释放了"建筑实践内在的哲学性的欲望"。文章从哲学到艺术再到建筑学,层层构建一个"生成"的视阈以考察建筑创作,揭示在实践和理论、行为和价值长期分离的两极之间的一座小桥——建筑学本身就是一种思考方式。~((1)) 相似文献
6.
煤层瓦斯是影响煤矿安全生产的重要因素之一。煤层瓦斯的赋存与富集受多种因素影响,主要包括煤层的变质程度、煤层埋深、顶底板岩性特征、基岩厚度和地下水条件等。不同矿井对煤层瓦斯起主要控制作用的因素也不一样。通过黄沙矿瓦斯赋存主要地质因素的详细分析,结合黄沙矿瓦斯含量的实测数据,研究了黄沙矿2#煤层瓦斯含量变化规律。研究结果表明,地质构造和煤层埋藏深度是影响黄沙矿2#煤层瓦斯赋存的主控地质因素。 相似文献
7.
法国哲学家吉尔·德勒兹是近年来国内外建筑理论研究热点,"抽象机器"是他的重要哲学概念之一。文章讨论"抽象机器"在时代背景上与柯布西耶"居住机器"的不同,指出其思想根源为"差异化生产";阐述其核心逻辑"连接";探讨其如何通过"差异-连接-固结"的过程发现并把握建筑学范畴内各对象之间的潜在联系,将未来的无限可能转化为当下的最佳现实,从而为探寻建筑本质提供一个新的角度~((1))。 相似文献
8.
马瑞张强吴瑕李晅 《中国电机工程学报》2015,(24):6351-6358
传统风速不确定模型无法兼顾其随机性和模糊性共存特征,该文考虑风速概率分布特征及其参数模糊性的随机模糊变量特征,提出一种日风速随机模糊不确定模型。考虑风速地域、季节和日特征差异,以美国NREL和我国某风电场实测风速为实例,提取多年同月日96时段和同月日同时段风速随机性特征,发现实例数据中接近或大于70%的时段服从两参数Weibull分布且同时段具有相似性,而形状参数k和尺度参数c存在模糊性;利用极大似然法挖掘k和c的模糊隶属函数特征,并在一定置信区间内定义其边界;依据不确定理论,定义风速为随机模糊变量且获取其机会测度分布函数,从而建立日风速不确定模型;最后,给出相应建模步骤及结合随机模糊模拟技术和逆变换法的日风速随机模糊模拟方法,5 000次模拟结果表明各时段风速处于历史相应时段风速上下限的概率大于94.13%,可有效用于日风速仿真。 相似文献
9.
智能电网背景下,微网的发展赋予其自身主动响应特性。目前基于价格弹性理论的价格响应模型未能有效衡量微网与供电公司间的主动博弈行为,为此提出基于Stackelberg博弈的微网价格响应及供电定价优化方法。基于模糊最大满意度法建立了兼顾用电成本和用电舒适度的微网用户效用函数,从而构建基于1-n型Stackelberg博弈的微网价格响应及供电定价优化模型,采用基于遗传算法的逆向归纳法求解。算例仿真求得供电公司与三个不同响应程度微网的Stackelberg博弈均衡点,分析对应供电公司电价优化策略和各微网响应特征,验证了所提方法的可行性,为预测评估微网主动响应特性以实现供电公司科学优化定价提供理论参考。 相似文献
10.