计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
11期
171-175,195
,共6页
左亚尧%唐文俊%汤庸%舒忠梅
左亞堯%唐文俊%湯庸%舒忠梅
좌아요%당문준%탕용%서충매
向量化处理%时态跨度%完备化处理%平滑化处理%时态粒度系统
嚮量化處理%時態跨度%完備化處理%平滑化處理%時態粒度繫統
향양화처리%시태과도%완비화처리%평활화처리%시태립도계통
时态跨度是时态断言的重要演算对象,如何有效且准确地计算不同时态粒度刻画下的时态跨度之间的运算结果是一个关键问题.由于时态跨度的非规范特性以及弹性时态粒度的影响,使得粒度转换方法并非总有效.对时态粒度系统作向量化处理,使其同构到n维向量空间,并将时态跨度作完备化和平滑化处理后,映射为向量空间中的自由向量,从而可以通过向量间的运算法则,简单有效地处理各种复杂组合形式下的时态跨度间的运算.
時態跨度是時態斷言的重要縯算對象,如何有效且準確地計算不同時態粒度刻畫下的時態跨度之間的運算結果是一箇關鍵問題.由于時態跨度的非規範特性以及彈性時態粒度的影響,使得粒度轉換方法併非總有效.對時態粒度繫統作嚮量化處理,使其同構到n維嚮量空間,併將時態跨度作完備化和平滑化處理後,映射為嚮量空間中的自由嚮量,從而可以通過嚮量間的運算法則,簡單有效地處理各種複雜組閤形式下的時態跨度間的運算.
시태과도시시태단언적중요연산대상,여하유효차준학지계산불동시태립도각화하적시태과도지간적운산결과시일개관건문제.유우시태과도적비규범특성이급탄성시태립도적영향,사득립도전환방법병비총유효.대시태립도계통작향양화처리,사기동구도n유향량공간,병장시태과도작완비화화평활화처리후,영사위향량공간중적자유향량,종이가이통과향량간적운산법칙,간단유효지처리각충복잡조합형식하적시태과도간적운산.
