计算机系统应用
計算機繫統應用
계산궤계통응용
APPLICATIONS OF THE COMPUTER SYSTEMS
2012年
6期
170-173
,共4页
π演算%构件%辅助泊车%泊车%普适计算
π縯算%構件%輔助泊車%泊車%普適計算
π연산%구건%보조박차%박차%보괄계산
随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计.在生活中有关实际问题的设计,都需要从理论上证明.针对辅助泊车流程与兼容性的需求,从π演算的语法和操作语义等理论入手,对辅助泊车的构件行为进行建模同时验证辅助泊车设计的构件行为的兼容性.将π演算的理论与实际相结合,实现了计算机理论与实践的相结合.
隨著生活中齣現停車越來越難的問題,已齣現在普適計算環境下輔助泊車的設計.在生活中有關實際問題的設計,都需要從理論上證明.針對輔助泊車流程與兼容性的需求,從π縯算的語法和操作語義等理論入手,對輔助泊車的構件行為進行建模同時驗證輔助泊車設計的構件行為的兼容性.將π縯算的理論與實際相結閤,實現瞭計算機理論與實踐的相結閤.
수착생활중출현정차월래월난적문제,이출현재보괄계산배경하보조박차적설계.재생활중유관실제문제적설계,도수요종이론상증명.침대보조박차류정여겸용성적수구,종π연산적어법화조작어의등이론입수,대보조박차적구건행위진행건모동시험증보조박차설계적구건행위적겸용성.장π연산적이론여실제상결합,실현료계산궤이론여실천적상결합.