Model-driven assessment of system dependability

Designers of complex real-time systems need to address dependability requirements early on in the development process. This paper presents a model-based approach that allows developers to analyse the dependability of use cases and to discover more reliable and safe ways of designing the interactions of the system with the environment. The hardware design and the dependability of the hardware to be used also needs to be considered. We use a probabilistic extension of statecharts to formally model the interaction requirements defined in the use cases. The model is then evaluated analytically based on the success and failure probabilities of events. The analysis may lead to further refinement of the use cases by introducing detection and recovery measures to ensure dependable system interaction. A visual modelling environment for our extended statecharts formalism supporting automatic probability analysis has been implemented in AToM³, A Tool for Multi-formalism and Meta-Modelling. Our approach is illustrated with an elevator control system case study.

子句型缺省逻辑中的分情形推理

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.     

关于计算机科学与技术认知问题的研究简报（Ⅰ，Ⅱ）

计算机科学与技术的认知对学科的科学研究与人才培养具有重要的意义,对计算机科学与技术学科发展的主线、特点和内在规律进行了回顾与总结,从科学哲学的角度阐述了学科的一系列认知问题,并概要介绍了学科方法论研究的主要进展,讨论了学科方法论研究进展对学科未来发展和人才培养可能产生的影响。     

水电站群长期典型日调峰电量最大模型研究

针对水电站群长期优化调度与典型日负荷分配的结合问题,建立了典型日调峰电量最大模型,采用逐次切负荷算法进行各长期调度时段典型日负荷分配,并将其嵌入长期优化调度模型。以各时段典型日剩余负荷过程最大值最小化作为优化目标,从而将长期优化调度和典型日负荷分配统一于一个模型中。通过凝聚函数法进行目标函数转换,以逐步优化算法求解。实例研究表明,该模型能够体现水电长期调度的电力电量平衡需求,结果比仅考虑平均负荷的模型更合理,并能够同时得到长期调度计划和典型日负荷分配方案,对电网水火电联合调度背景下的水电站群长期优化调度问题具有实际应用价值。     

思想政治理论课视频案例综合教学法实施探析

思想政治理论课视频案例综合教学法,就是以与教学内容相关的视频案例为中心而展开的一系列相互联系的教学方法。视频案例综合教学法可以提高学生的学习兴趣,通过提供一定的案例基础,实现多种教学方法的有机结合。视频案例的选取要体现教学价值性;教学过程的实施要体现步骤承接性;教师能力的训练要体现素质综合性。     

渭北旱塬区典型测井地下水埋深的灰色预测研究

地下水埋深变化是地下水系统动态变化最主要的表现形式之一,通过预测地下水埋深分析地下水系统未来演变趋势,对合理开发、持续利用地下水资源有着重要的现实意义。本文选取2000-2010年渭北旱塬区的两个典型监测井的地下水埋深数据,用灰色GM(1,1)理论建立预测模型,并对该监测井的地下水埋深进行短期预测。经检验,该模型具有较高的预测精度,说明采用灰色理论预测渭北旱塬区监测井地下水埋深的方法可行。     

季冻区典型路面疲劳设计与静载设计对比研究

季节性冰冻地区公路沥青路面结构面临着较为极端的气候条件,因而,采用典型路面结构设计的方法成为现行国标的适当补充.本文分析了典型路面结构设计的必要性和客观性,并推荐半刚基层沥青路面及纯柔性沥青路面两种典型结构,采用现行设计方法验算了两种结构的设计指标的合理性.此外,采用壳牌沥青所推出的BISAR软件计算了弹性层状体系在静载下的荷载响应,对疲劳响应和静载响应进行了定量对比,从而力求使静载响应成为现行设计方法的有利补充.     

基于工作过程的《商务英语口语》课程开发尝试

基于工作过程的商务英语口语课程开发,以工作任务为线索构建课程体系,然后以职业能力为依据组织课程内容,最后通过全程的教学做合一,有效的实施课程教学。     

面向行业应用的软件开发检查工具

现有的自动化测试和检查工具能够解决一些常规的测试和检查问题,但是对于行业应用软件开发过程的某些个性化测试和检查要求,没有提供很好的支持.因此针对行业应用软件的个性化要求,提出了一种面向行业应用的软件开发检查工具,在通用测试和检查工具的基础上,从代码检查、数据结构检查、接口检查和日志检查4个方面,对系统进行进一步的测试和检查.实验结果表明,该工具能有效地提高软件系统的开发效率和正确性,降低软件系统的开发成本.