摘要：随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果,但在多核平台上的研究仍面临许多科学问题.同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法,适用于对系统确定性并发行为的描述.SIGNAL编译器也支持将同步规范(synchronous specification)生成仿真代码,以对其进行验证与分析.然而,现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法.研究了面向SIGNAL同步规范的并行自动代码生成方法.提出了方程依赖图EDG的概念,将SIGNAL规范转换为EDG以分析其全局数据依赖关系;研究了对EDG进行任务划分获取规范中可以并行执行部分的算法;最后,以跨平台并行编程API-Open MP作为对象,结合程序中信号的时钟关系,将并行任务映射到Open MP并行代码,并进行了实例验证.

摘要：环状N边洞经常产生于零件端部的大半径过渡或光滑填充操作中,现有的基于四边形分割或约束求解的方法对此难以得到法向或更高阶连续的过渡曲面.本文首先对环状N边洞的边界进行保持Gn连续的重新参数化,以确保相邻边界跨越切矢曲线在连接处的相容性.然后根据极点处的Gn连续充分条件和通过参数连续曲面延伸,分别得到周期B样条曲面的内外两侧控制顶点.该方法仅生成单个填充曲面,控制顶点少,可直接通过插节点转化为标准B样条曲面,次数仅相对原边界曲线升n次.其构造方法简单快速,不涉及大方程求解和迭代,在几何相容条件下曲面连续性可达到Gn.本文提供了过渡实例来说明其有效性和实用性.