论文部分内容阅读
首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码,以完成系统的模拟验证;并介绍了该方法的一个应用实例.
嵌入式系统描述与验证环境的实现
【摘 要】
：
首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开
【机 构】
：
南京财经大学信息工程学院,复旦大学计算机与信息技术系
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2004年1期
【基金项目】
：
国家自然科学基金，国防预研基金
其他文献
对《建筑结构荷载规范》2012版和《钢塔桅结构设计规范》2004版两本规范中风荷载的取值进行了对比，通过算例，了解了两版规范对风荷载的影响，为以后的工程设计提供了参考依据。
“神理”是中国古典哲学与美学的一个重要范畴，明清之际的王船山论诗也极重视“神理”，并提出了一著名的“以神理相取”的诗学命题。本文认为，“神理”指诗歌创作过程中诗人发现
为了满足客户参与个性产品设计的需求,给出了基于B S多层结构模式的设计系统原理方案,探讨了零件信息模型、产品结构配置模型、系统集成的接口类设计等关键技术提出了用于齿轮变速箱产品的个性设计原型系统,讨论了相关模型的建立过程,验证了系统的可行性
我国的经济运行中,物流的成本过高.在美国,物流的成本比重约10%,我国为20%以上.如何压缩物流成本,是加入WTO后企业面对国际竞争的至要.
散粮在输送过程中需借助除铁器吸除粮食中的铁杂质。本文分析了铁类杂质在粮食输送装备中的影响、除铁器的种类及应用,并对除铁器的应用进行展望,以降低粮食输送生产中的安全
镁合金作为地球上最轻的金属材料,比强度、比刚度都比较高,导热导电性好、易于加工成形和容易回收等优点,被称为“21世纪最具有发展潜力的绿色工程材料”。在越来越多的领域