摘要
随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计。在生活中有关实际问题的设计,都需要从理论上证明。针对辅助泊车流程与兼容性的需求,从π演算的语法和操作语义等理论入手,对辅助泊车的构件行为进行建模同时验证辅助泊车设计的构件行为的兼容性。将π演算的理论与实际相结合,实现了计算机理论与实践的相结合。
With more and more problems of parking in life, the design of aided parking based on ubiquitous computing has appeared. The designs of practical problems in life need to be proved theoretically. According to the demand of aided parking＇s process and compatibility, we use n-calculus theory such as grammar and operation semantic to model the component of aided parking＇s behavior and validate the compatibility of the component of aided parking. Combining n-calculus theory with practice realize a computer combination of theory and practice.
出处
《计算机系统应用》
2012年第6期170-173,共4页
Computer Systems & Applications
关键词
Π演算
构件
辅助泊车
泊车
普适计算
n-calculus
component
aided parking
parking
ubiquitous computing
