1 /* 2 * Copyright (C) 2012 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 package com.android.inputmethod.latin; 18 19 import android.text.format.DateUtils; 20 import android.util.Log; 21 22 public final class UserHistoryForgettingCurveUtils { 23 private static final String TAG = UserHistoryForgettingCurveUtils.class.getSimpleName(); 24 private static final boolean DEBUG = false; 25 private static final int FC_FREQ_MAX = 127; 26 /* package */ static final int COUNT_MAX = 3; 27 private static final int FC_LEVEL_MAX = 3; 28 /* package */ static final int ELAPSED_TIME_MAX = 15; 29 private static final int ELAPSED_TIME_INTERVAL_HOURS = 6; 30 private static final long ELAPSED_TIME_INTERVAL_MILLIS = ELAPSED_TIME_INTERVAL_HOURS 31 * DateUtils.HOUR_IN_MILLIS; 32 private static final int HALF_LIFE_HOURS = 48; 33 private static final int MAX_PUSH_ELAPSED = (FC_LEVEL_MAX + 1) * (ELAPSED_TIME_MAX + 1); 34 35 private UserHistoryForgettingCurveUtils() { 36 // This utility class is not publicly instantiable. 37 } 38 39 public static final class ForgettingCurveParams { 40 private byte mFc; 41 long mLastTouchedTime = 0; 42 private final boolean mIsValid; 43 44 private void updateLastTouchedTime() { 45 mLastTouchedTime = System.currentTimeMillis(); 46 } 47 48 public ForgettingCurveParams(boolean isValid) { 49 this(System.currentTimeMillis(), isValid); 50 } 51 52 private ForgettingCurveParams(long now, boolean isValid) { 53 this(pushCount((byte)0, isValid), now, now, isValid); 54 } 55 56 /** This constructor is called when the user history bigram dictionary is being restored. */ 57 public ForgettingCurveParams(int fc, long now, long last) { 58 // All words with level >= 1 had been saved. 59 // Invalid words with level == 0 had been saved. 60 // Valid words words with level == 0 had *not* been saved. 61 this(fc, now, last, fcToLevel((byte)fc) > 0); 62 } 63 64 private ForgettingCurveParams(int fc, long now, long last, boolean isValid) { 65 mIsValid = isValid; 66 mFc = (byte)fc; 67 mLastTouchedTime = last; 68 updateElapsedTime(now); 69 } 70 71 public boolean isValid() { 72 return mIsValid; 73 } 74 75 public byte getFc() { 76 updateElapsedTime(System.currentTimeMillis()); 77 return mFc; 78 } 79 80 public int getFrequency() { 81 updateElapsedTime(System.currentTimeMillis()); 82 return UserHistoryForgettingCurveUtils.fcToFreq(mFc); 83 } 84 85 public int notifyTypedAgainAndGetFrequency() { 86 updateLastTouchedTime(); 87 // TODO: Check whether this word is valid or not 88 mFc = pushCount(mFc, false); 89 return UserHistoryForgettingCurveUtils.fcToFreq(mFc); 90 } 91 92 private void updateElapsedTime(long now) { 93 final int elapsedTimeCount = 94 (int)((now - mLastTouchedTime) / ELAPSED_TIME_INTERVAL_MILLIS); 95 if (elapsedTimeCount <= 0) { 96 return; 97 } 98 if (elapsedTimeCount >= MAX_PUSH_ELAPSED) { 99 mLastTouchedTime = now; 100 mFc = 0; 101 return; 102 } 103 for (int i = 0; i < elapsedTimeCount; ++i) { 104 mLastTouchedTime += ELAPSED_TIME_INTERVAL_MILLIS; 105 mFc = pushElapsedTime(mFc); 106 } 107 } 108 } 109 110 /* package */ static int fcToElapsedTime(byte fc) { 111 return fc & 0x0F; 112 } 113 114 /* package */ static int fcToCount(byte fc) { 115 return (fc >> 4) & 0x03; 116 } 117 118 /* package */ static int fcToLevel(byte fc) { 119 return (fc >> 6) & 0x03; 120 } 121 122 private static int calcFreq(int elapsedTime, int count, int level) { 123 if (level <= 0) { 124 // Reserved words, just return -1 125 return -1; 126 } 127 if (count == COUNT_MAX) { 128 // Temporary promote because it's frequently typed recently 129 ++level; 130 } 131 final int et = Math.min(FC_FREQ_MAX, Math.max(0, elapsedTime)); 132 final int l = Math.min(FC_LEVEL_MAX, Math.max(0, level)); 133 return MathUtils.SCORE_TABLE[l - 1][et]; 134 } 135 136 /* pakcage */ static byte calcFc(int elapsedTime, int count, int level) { 137 final int et = Math.min(FC_FREQ_MAX, Math.max(0, elapsedTime)); 138 final int c = Math.min(COUNT_MAX, Math.max(0, count)); 139 final int l = Math.min(FC_LEVEL_MAX, Math.max(0, level)); 140 return (byte)(et | (c << 4) | (l << 6)); 141 } 142 143 public static int fcToFreq(byte fc) { 144 final int elapsedTime = fcToElapsedTime(fc); 145 final int count = fcToCount(fc); 146 final int level = fcToLevel(fc); 147 return calcFreq(elapsedTime, count, level); 148 } 149 150 public static byte pushElapsedTime(byte fc) { 151 int elapsedTime = fcToElapsedTime(fc); 152 int count = fcToCount(fc); 153 int level = fcToLevel(fc); 154 if (elapsedTime >= ELAPSED_TIME_MAX) { 155 // Downgrade level 156 elapsedTime = 0; 157 count = COUNT_MAX; 158 --level; 159 } else { 160 ++elapsedTime; 161 } 162 return calcFc(elapsedTime, count, level); 163 } 164 165 public static byte pushCount(byte fc, boolean isValid) { 166 final int elapsedTime = fcToElapsedTime(fc); 167 int count = fcToCount(fc); 168 int level = fcToLevel(fc); 169 if ((elapsedTime == 0 && count >= COUNT_MAX) || (isValid && level == 0)) { 170 // Upgrade level 171 ++level; 172 count = 0; 173 if (DEBUG) { 174 Log.d(TAG, "Upgrade level."); 175 } 176 } else { 177 ++count; 178 } 179 return calcFc(0, count, level); 180 } 181 182 // TODO: isValid should be false for a word whose frequency is 0, 183 // or that is not in the dictionary. 184 /** 185 * Check wheather we should save the bigram to the SQL DB or not 186 */ 187 public static boolean needsToSave(byte fc, boolean isValid, boolean addLevel0Bigram) { 188 int level = fcToLevel(fc); 189 if (level == 0) { 190 if (isValid || !addLevel0Bigram) { 191 return false; 192 } 193 } 194 final int elapsedTime = fcToElapsedTime(fc); 195 return (elapsedTime < ELAPSED_TIME_MAX - 1 || level > 0); 196 } 197 198 private static final class MathUtils { 199 public static final int[][] SCORE_TABLE = new int[FC_LEVEL_MAX][ELAPSED_TIME_MAX + 1]; 200 static { 201 for (int i = 0; i < FC_LEVEL_MAX; ++i) { 202 final float initialFreq; 203 if (i >= 2) { 204 initialFreq = FC_FREQ_MAX; 205 } else if (i == 1) { 206 initialFreq = FC_FREQ_MAX / 2; 207 } else if (i == 0) { 208 initialFreq = FC_FREQ_MAX / 4; 209 } else { 210 continue; 211 } 212 for (int j = 0; j < ELAPSED_TIME_MAX; ++j) { 213 final float elapsedHours = j * ELAPSED_TIME_INTERVAL_HOURS; 214 final float freq = initialFreq 215 * (float)Math.pow(initialFreq, elapsedHours / HALF_LIFE_HOURS); 216 final int intFreq = Math.min(FC_FREQ_MAX, Math.max(0, (int)freq)); 217 SCORE_TABLE[i][j] = intFreq; 218 } 219 } 220 } 221 } 222 } 223