论文部分内容阅读
通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析，提出了一种将二者相结合的实时系统开发模式，该模式充分发挥了实时语言和形式化方法的优点，使系统开发的整个过程无须依赖具体的硬件和应用环境，同时对实时约束灵活的分解降低了系统开发的难度。
PEARL语言在实时系统开发模式中的应用研究
【摘 要】
：
通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析，提出了一种将二者相结合的实时系统开发模式，该模式充分发挥了实时语言和形式化方法的优点，使系统
【机 构】
：
嘉应学院计算机系,广东工业大学计算机学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2006年1期
【基金项目】
：
国家自然科学基金（60474072,60174050）,广东省自然科学基金（04009465,010059）,广东省高校自然科学研究基金（Z03024）
其他文献
建立合理的有限元模型，应用有限元法对腹杆与弦杆倾角不相等圆钢管搭接节点进行非线性计算，得出的承载力具有相当的准确度．与弦杆倾角较大腹杆作为搭接腹杆的节点极限承载力较高
综述了吸附型和键合型两大类固定化离子液体的制备方法及其在有机催化合成中的应用.利用载体良好的吸附性能和活性基团可制得固定化离子液体.将固定化离子液体应用于有机催化