基于时间自动机的实时系统建模及验证

实时系统必须在一个事先定义好的时间限制内对来自外部或内部的事件进行响应,如何有效验证实时模型的正确性和安全性是一个难点.文章通过多个时间自动机来模拟实时系统中的各个对象,并用UPPAAL对模型进行验证,减少了模型验证的状态搜索空间,为实时嵌入式系统开发和验证提供了一种可行、安全的控制机制.实验结果显示了系统的有效性.     

云计算+移动技术,OA前景井喷在即

2011年云计算不再是"神马浮云",走下"神坛",来到普通大众的身边。IDC、Gartner、赛迪顾问、计世资讯等国内外著名调研机构均认为,2011年是全球云计算发展的落地之年。不仅有亚马逊、Google、微软、IBM、苹果等各大国际企业巨头纷纷推出云计算的企业应用,中国本土软件新老品牌也陆续推出新战略和新产品,共同促进中国企业漫步云端。作为最基础管理应用软件OA(办公自动化软件)在"云"中迎头赶上,风风火火,而智能手机和平板电脑异军突起,更是让云移动OA成为国内移动商务一只黑马,前景广阔。     

网上银行系统性能测试小记

在交易量不断增长的情况下,X银行原有的个人网上银行系统从架构到性能都无法满足当前的需求,在这种情况下,X银行计划对原有的网上银行系统进行优化和升级.     

面向对象有限元并行计算框架PANDA

为提高我国工程数值模拟软件的开发能力,面向武器工程大规模并行计算需求,基于层次化、模块化及面向对象的现代软件设计技术,分析探讨有限元并行计算框架的设计方法,形成初步的基础开发框架PANDA 0.1版;详细描述PANDA框架的层次结构设计,并探讨该基础开发框架设计中的底层网格数据结构设计、有限元共性管理模块及并行策略等部分关键技术;简要介绍PANDA框架的扩展应用方法.研究表明：采用框架技术进行结构力学有限元程序开发,具有高效、快速和便捷等优点.     

物尽其用 主流显卡新主张

实际上,对于绝大多数用户来说,对于显示卡的性能需求并没有想象中的那么夸张,甚至一块入门级的3D显示卡就可以满足他们的需求。这也是往往主流显卡销量比较高的主要原因。而现在主流显示卡,或是入门级显示卡的用武之地要比高端3D显示卡产品更广泛——那就是高清应用。虽然入门级显示卡能做的事情,高端3D显示卡一定能做到,而且性能表现上一定有更好的效果。但是对于打算组建低功耗高清平台的用户来说,高端显卡无论在物理尺寸方面,耗电量方面,乃至散热,部会成为问题。反倒是一块性能一般的入门级产品更为合适一些。     

编译原理教学中创造性思维能力的培养

阐述了在编译原理教学中,从调动内驱力、提倡发散思维、提倡探究学习、培养抽象思维四个方面入手,加强学生创造性思维能力的培养,给出了教学实施的具体步骤和方法。多年的教学实践证明,达到了预期的目的。     

一种基于虚拟机的驱动程序加固技术

近年来设备驱动程序可靠性技术已成为操作系统领域的研究热点。本文首先分析了驱动程序可靠性研究现状,介绍了虚拟机监控器技术;然后结合虚拟机技术,提出了一个新的驱动加固框架VHarden,重点研究了驱动域之间的数据传输和隔离保护机制,并基于开源的Xen虚拟机监控器和Linux操作系统,设计和实现了该原型系统;最后采用基于软件的故障注入工具对该原型系统进行了评测。测试结果表明,VHarden驱动加固结构可有效提高Linux操作系统的可用性。     

虚拟计算环境中一种基于惩罚激励的信誉模型

基于信誉构建信任机制是解决虚拟计算环境[1]中行为可信问题的重要途径。现有信誉模型对不良行为的动态适应能力和对信誉信息的有效聚合能力不足,缺乏鼓励节点积极参与诚实合作的有效机制。本文提出一种基于惩罚激励机制的信誉管理模型PERep,根据自主元素行为特征和信誉状态区分交易行为的合作与偏离,并对偏离行为进行惩罚;给出了PERep的分布式实现。实验表明,PERep能准确地区分诚实交易和恶意行为,有效提高自主元素诚实交易的积极性并减少恶意行为的危害。     

自然计算在九大高新技术领域的应用研究

在上海市重点发展的九大高新技术领域,对自然计算的内涵及应用进行了简介,综述了自然计算内涵的各类技术,在国内外九大高新技术领域的应用现状。通过应用现状对比,分析国内外应用的差距与优势,提出相应的改进意见,最后对自然计算进一步的应用前景进行了总结与展望。     

多媒体教学软件的设计与实现

随着计算机的日益普及,多媒体教学在课堂教学中也开始扮演越来越重要的角色。多媒体教学的实施靠的是多媒体教学软件,本文就从多媒体教学软件的定义和特点开始论述,列举了多媒体教学软件的一些基本类型,结合CAI软件的研制与开发实践,主要讨论多媒体教学软件的设计原则,详细论述了多媒体教学软件的开发步骤,包括课件定义、教学设计、系统功能设计、制作与修改等。