redis_split_part.php 802 B

12345678910111213141516171819202122232425
  1. <?php
  2. require_once __DIR__."/../config.php";
  3. require_once __DIR__."/../redis/function.php";
  4. if (PHP_SAPI == "cli") {
  5. $redis = redis_connect();
  6. if($redis!==false){
  7. // 打开文件并读取数据
  8. if (($fp = fopen(_DIR_DICT_TEXT_ . "/system/part.csv", "r")) !== false) {
  9. while (($data = fgets($fp)) !== false) {
  10. $word = explode(",",$data);
  11. $len = mb_strlen($word[0], "UTF-8");
  12. $len_correct = 1.2;
  13. $count2 = 1.1 + pow($word[1], 1.18);
  14. $conf_num = pow(1 / $count2, pow(($len - 0.5), $len_correct));
  15. $cf = round(1 / (1 + 640 * $conf_num), 9);
  16. $redis->hSet("dict://part.hash",$word[0],$cf);
  17. }
  18. fclose($fp);
  19. echo "do:".$redis->hLen("dict://part.hash"). PHP_EOL;
  20. } else {
  21. echo "can not open csv file. ". PHP_EOL;
  22. }
  23. }
  24. }