面向服务软件中基于着色Petri网的异常处理模型

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。     

综采工作面全自动联合采煤机组的设计

为提高综采工作面的自动化水平和生产效率,提出了一种综采工作面全自动联合采煤机组的设计方案。该机组采用可视化计算机监控系统通过CAN总线控制组合开关、电牵引采煤机、液压支架、输送机、工作面沿线扩音电话及智能乳化液泵站等成套设备。实际应用表明,该机组实现了全套综采设备的远程、集中监控和管理功能。     

协同编辑系统Neptune的设计与实现

Neptune是一个以人为中心,基于全复制式结构的分布式网络协同编辑系统。Neptune协同编辑系统采用了基于二维有序状态向量的并发控制算法,较好地处理协同编辑中的并发操作,最大限度的满足多人同时书写的需要。本文首先论述了设计Neptune协同编辑系统的出发点,然后重点阐述Neptune系统中人人交互界面的构造、并发操作的控制、体系结构的构建和系统实现方式。最后给出实验评估结果。     

强调浏览体验——微软IE 9浏览器试用与评价

网络浏览器IE 9 Beta版适用于Windows Vista/7,WindowsXP无法安装,即便是Windows 7系统,也要安装KB2028551、KB2028560、KB2120976三个补丁后才能安装。由于微软将IE 9定性为系统更新,因此无法通过控制面板的应用程序卸载功能卸载IE9。可见安装并不方便。     

机会网络自私节点的Bertrand博弈与激励机制研究

在真实的网络环境中,很多节点可能是自私的,它们不愿意牺牲自己的资源为其他节点转发消息。针对这种情况,提出一种基于博弈论的激励机制,可以激励节点与其他节点相互合作。该机制为二阶段激励,激励节点接收消息以协助其他节点转发,同时激励节点转发更多的消息。把源节点与中继节点之间的竞争与合作模型化为Bertrand（伯特兰德）博弈,定义了源节点和中继节点的效用函数。求解了源节点的最佳定价策略和中继节点最佳的转发计划,验证了源节点与中继节点之间存在唯一的纳什均衡。模拟仿真结果表明提出的激励机制能够鼓励自私节点参与合作,能提高路由算法的传递率,同时降低了消息传递延迟。与基于声誉的激励机制相比,所提激励机制能使消息传递成功率提高31.4%、平均时延降低9.7%。     

基于事件发布/订阅模式的协同感知框架

针对协同系统中感知问题.设计并实现了一个基于事件发布,订阅感知模式的协同感知框架.框架进一步规范了协同感知行为,增强了时感知行为的定义和控制,可为研制协同应用系统和扩展已有协同系统的感知功能提供帮助.框架设计的思想在对一个协同编辑系统的进行感知功能扩展应用中得到了验证.     

多媒体教学在党校的常见误区与建议

本文分析了信息化条件下党校多媒体教学的常见误区,根据党校教学的特点,从信息技术和教育心理学等角度提出了相关建议.     

基于Linux的超算系统中Windows应用程序运行环境探究

超算系统大多是基于Linux操作系统搭建的,限制了基于Windows操作系统的应用软件使用。此外,超算系统操作的高门槛使不熟悉Linux操作系统的用户望而却步,造成超算系统用户流失。基于Linux超算系统环境,探索兼顾超算系统运维管理便利性的Windows应用程序使用方法。研究通过X11转发、Wine和虚拟化等技术,为用户提供兼容超算作业调度系统Windows应用程序运行环境,同时提供安全、稳定的用户个人文件访问方法。所采用的配置方法与实例,可为具有类似需求的超算中心提供解决方案,从而拓宽用户软件应用范围,提高用户满意度。     

雷达信号交互式分选方法

雷达信号分选指从混叠雷达信号数据中分选出属于各单部雷达辐射源发射的雷达信号.随着雷达技术快速发展,雷达核心属性分布不均、重叠度高、变换复杂,而且数据采集过程不稳定,导致传统自动化分选方法准确率不高.文中介绍了一种自动化分选和交互式分选结合的雷达信号监控数据可视分析方法;提出了一种改进的雷达信号自动化分选方法,结合核密度估计、密度聚类和排列熵技术对数据进行分区式聚类和量化结果评价;设计了一个可视分析原型系统,提供了可协同分析的多可视化视图和简单易用的交互手段,以直观地展示雷达信号分布情况和自动化分选结果,帮助用户参与整个信号分选过程.     

风冷电子设备中压降的自动测量

风冷电子设备中压降的自动测量吴青（石家庄煤炭工业学校，０５００６１）１引言当电子设备中的热流密度超过０．２Ｗ／ｃｍ２（温升４５℃）时，则应采用强制对流冷却的方法，以控制功率电子元件或整机的温升，目的在于减少因过高温度造成的电子元件失效的增加，以保证整...