摘要：针对嵌入式系统设计中缺乏高层设计环境,系统规范描述依赖于具体模型等特点,提出了需求驱动的嵌入式系统中的软硬件协同设计方法,研究了从DCDM到SystemC的模型映射技术,开发了模型转换编译工具,并自动生成设计的可执行SystemC程序代码,进行分层验证。最后介绍了一个应用实例。

摘要：针对CDM模型和传统软硬件设计方法的不足,提出了实现软硬件协同设计与验证的HSCT平台:由多层抽象模型组成,以基于C++的系统硬件语言SystemC作为单一的语言工具,分层细化,达到软硬件同步设计和验证的目的,提高了设计的效率和可靠性。

摘要：计算机辅助教育软件的推广和应用上出现了一些困难。本文分析和论述开发和应用CAI软件中遇到的问题和原因，指出计算机辅助教育（CAI）必须智能化、多媒体化、和认知化，CAI的开发和应用迫切需要一个高性能的开发平台。从而提出了一个智能多媒体CAI开发环境的体系结构和设计方案，并以作者在此基础上正在设计和开发的智能多媒体CAI开发环境HyperTrain为例作了具体论述。HyperTrain是一个完整的智能开发应用环境，它同时为CAI专家、多媒体课件作者、教师和学生提供了相应的智能工作平台。从而，提高了CAI软件的开发效率和开发质量，给学生提供探索性的学习环境和给教师提供智能化的教学指导环境。

摘要：介绍电子白板系统工作的基本原理:广播方式,并讨论了电子白板实现的关键技术:包括协议的设计和多用户并行操作过程中冲IP突的消除以及大数据量位图的网络传输。

摘要：系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间。已有多种建模方案,但每种都有其局限性。本文提出一种由5层模型组成的嵌入式系统设计的模型框架。它能够从需求描述开始,建立CDM功能模型,经一致性验证,满足设计要求后映射到SystemC抽象模型上。利用SystemC的硬件描述特征和仿真库,增加设计细节,分层细化模型并进行验证,最后达到软硬件的协同设计和综合实现的目的。

摘要：超文本及其应用目前引起了国际上密切关注。本文分析了超文本的实质和特点,论述了超文本取代平板文本的必然性和超文本系统的设计目标和原理,提出了电子文档系统HyperDoc的设计思想和实现方案(Hyper Doc是华东师范大学计算机科学系正在开发的面向办公信息系统的电子文档系统)。

摘要：直接从规范需求描述入手,研究了嵌入式系统设计中的模型映射、代码自动生成、协同验证和性能优化等关键技术问题,提出了以模型驱动的嵌入式系统软硬件协同设计方法,使面向应用的嵌入式系统设计,在不同抽象层次上同步设计与验证,经过性能优化后得到RTL级SystemC代码表示的虚拟原型,介绍了一个应用实例。

摘要：该文介绍、整理和分析了各类目前通用的软件可靠性分析模型 (ReliabilityModels) ,同时也提出和阐述了作者研制的一套计算机软件可靠性辅助设计软件CMSRM (ComputerMe diatedSoftwareReliabilityModeling)的设计与实现思想。CMSRM可以用于有效地分析软件的可靠性模型。CMSRM是一个涵盖目前各类现有之可靠性模型的分析工具 ,同时具备自动化或手工操作式的可靠性分析数据输入功能。当输入足够的可靠性分析数据后 ,CMSRM可以自动建议最适当的可靠性分析模型 ,协助使用者正确地记录、分析、研究软件的可靠性。

摘要：从操作系统角度考虑了底层文件系统对连续媒体的支持，并详细介绍了在Ｌｉｎｕｘ下设计和实现的ＢＬＯＢ（ Ｂｉｎａｒｙ Ｌａｒｇｅ Ｏｂｊｅｃｔ）文件系统的设计思想及其实现技术细节，并讨论它对连续媒体的支持情况．

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