论文部分内容阅读
随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计。在生活中有关实际问题的设计,都需要从理论上证明。针对辅助泊车流程与兼容性的需求,从π演算的语法和操作语义等理论入手,对辅助泊车的构件行为进行建模同时验证辅助泊车设计的构件行为的兼容性。将π演算的理论与实际相结合,实现了计算机理论与实践的相结合。