摘要：如何高效、正确地将高度抽象的形态设计,自动变化成设计的低层实现形态是软硬件协同设计(Hardware/software Co-design)的一大难题。对此该文给出了一个如何将设计从高层模型(CDM[2]模型)自动映射到SystemC组件的设计方法及其相应的行为级代码的自动生成算法。

摘要：嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petri NetPetri

摘要：CDM是一个嵌入式系统软硬一体化设计的计算模型,论文在CDM的基础上提出并定义了CDM的通信模型。

摘要：在分析CDM的基础上提出了一个适合于对分布式嵌入式系统进行分布式模拟的软硬件协同设计模型。该模型可描述分布式嵌入系统的实时性、同步，也可对其进行参数化修正。

摘要：给出一个混合实时嵌入式系统软硬件协同综合算法COSMT及其组件的设计方法,从而能够生成混合实时嵌入式系统的系统结构,并且能够在SystemC仿真环境下进行软件与硬件的协同设计与调试。

摘要：该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。

摘要：通过对关于藤圈回转的问题解决实验的分析，编写问题解决型的ＩＣＡＩ课件，改善学生的认知结构和问题解决模式，提高学生分析。

摘要：目前的软硬件协同设计方法都有其局限性,主要表现在:缺乏必要的模型映射机制、不同语言描述的软硬件设计容易造成不一致现象。经过分析和研究,该文提出了一个软硬件协同设计流程,它基于CDM模型,支持从系统需求描述出发、通过设置各描述组件的参数,自动产生CDM模型。利用SystemC的软硬件描述功能,对CDM模型进行映射和绑定操作,自动生成SystemC可执行程序,使软硬件代码无缝联接。模型经过多次细化和验证,从而提高设计质量和缩短设计周期。最后通过一个实例说明该方法的设计特点。

摘要：介绍了当前开源框架Spring、Hibernate和新型Ext开源框架,并针对新一代Web应用程序开发的问题,采取基于Ext+Spring+Hibernate的Web系统开发架构设计开发。该架构具有高效复用快速特点。本文还举例阐述了如何利用该架构进行Web应用程序开发。