约束转换相关论文
离散事件系统是随着未知的不规则时间间隔内出现的离散事件驱动演化的一类动态系统。从本质上讲,这类系统是一个人造系统,典型的有......
离散事件系统是由不规则时间间隔出现的事件序列驱动的一种动态系统。实际的离散事件系统可能会演变到一些禁止状态，例如柔性制造系......
语义特征造型是新一代CAD/CAM集成系统的关键技术之一,是产品模型设计的核心。另外,将参数化技术应用于特征造型使得特征具有可调......
通过在不考虑暂态稳定约束的模型中加入暂态稳定约束,建立了考虑暂态稳定约束的可用输电能力的教学模型,并采用约束转换技术对该模......
为了解决分布式实时系统有关分配和调度等问题,给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型.该模型包括表......
离散事件系统是一类受事件驱动的人造动态系统，如柔性生产线或装配线、大规模计算机和通信网络、空中或路面交通管理系统等。离散事......
为提高夹具装配的准确性与效率，采用了一种基于特征约束语义的自动装配方法。该方法利用参数化技术建立夹具的三维模型元件库，‘定义......
