排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
一种基于面向对象Petri网的并发程序建模方法 总被引:9,自引:1,他引:9
任爱华 《北京航空航天大学学报》1998,24(4):491-494
介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述. 相似文献
3.
实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构. 相似文献
4.
任爱华 《北京航空航天大学学报》1998,24(3):323-326
介绍在STEP/AP203标准语义模型共享为基础的CAD/CAM系统集成中,一般几何表示的设计原理与方法.STEP标准提供了以面向对象为基础的软组件结构实现的可能,因而,扩大了CAD/CAM集成系统在面向需求变化中的开放性.文中给出了一般框架, 允许采用不同的图形包几何表达AP203语义模型. 相似文献
5.
Linux内核在新型硬件平台上的实现 总被引:3,自引:0,他引:3
新型微处理器M3270的研制成功,使得支持该体系结构的操作系统的研究迫在眉睫.通过对Linux内核体系结构的研究,进而分析出往新型硬件平台移植Linux内核所需进行的工作,将大大提高操作系统的设计水平、缩短开发时间.在分析了Linux内核的体系结构和M3270硬件体系结构的基础上,提出在该硬件平台上实现Linux内核的方法. 相似文献
1