π演算于辅助泊车的应用

• 作者: 孙道清 许超
• 来源期刊: 计算机系统应用
• 学科: 交通运输
• 关键词: π演算 构件 辅助泊车 泊车 普适计算
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 应用技术
• 页码范围: 170-173
• 分类号: U491.7
• 字数: 2095字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2012.06.038

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙道清	安徽师范大学数学计算机科学学院	9	20	3.0	4.0
2	许超	安徽师范大学数学计算机科学学院	4	1	1.0	1.0