• 基于字节码的软件监控及可信演化框架设计与实现

    基于字节码的软件监控及可信演化框架设计与实现

    论文摘要随着因特网的迅速发展,以及软件规模和复杂度的不断增加,软件故障和软件失效问题日益严峻,给人们生活甚至国家安全带来极大的影响。因此,如何构造可信的软件系统以确保其在动态、...
  • 面向复杂控制实验的可视化人机交互技术的研究

    面向复杂控制实验的可视化人机交互技术的研究

    论文摘要实验作为自动化学科的教学与科研的重要手段,对控制理论的验证和应用具有重要的意义。而在实验系统中,实验软件又是研究人员与机器装置进行人机交互的重要前端,对实验的操作和运行...
  • 面向资源受限终端支持软件迁移的应用模型研究

    面向资源受限终端支持软件迁移的应用模型研究

    论文摘要随着计算技术和通信技术的发展,兼有通信和计算能力的智能终端设备将无处不在。它将为人们提供各种方便的服务,但是价格和尺寸的限制决定了这些智能设备的硬件资源有限。普及计算是...
  • 基于反射机制的构件化嵌入式操作系统

    基于反射机制的构件化嵌入式操作系统

    论文摘要近年来,随着构件化嵌入式操作系统的迅速发展,构件的灵活性、构件运行的性能、构件对资源的利用率等方面的问题变得越来越突出。对此我们在构件化嵌入式操作系统Pcanel的微内...
  • 基于MVC模式的CORBA-Web框架的研究与应用

    基于MVC模式的CORBA-Web框架的研究与应用

    论文摘要随着软件技术的飞速发展,Web技术和CORBA技术已经成为研究和发展的主流方向。Web可以提供友好的用户界面,但无法胜任大规模的业务逻辑计算。而作为分布式对象技术的CO...