[發明專利]一種財政支付數據錄入機器人

在審

• 申請號: 201910140720.0
• 申請日: 2019-02-26
• 公開（公告）號: CN109840755A
• 公開（公告）日: 2019-06-04
• 發明（設計）人: 劉金鋒;馬斌;田苗;黃凌;劉家興;李海平
• 申請（專利權）人: 河南大學
• 主分類號: G06Q10/10
• 分類號: G06Q10/10;G06Q20/40;G06F9/445
• 代理公司: 北京盛凡智榮知識產權代理有限公司 11616
• 代理人: 高志軍

1.一種財政支付數據錄入機器人，其特征在于：所述財政支付數據錄入機器人通過USB接口插入安裝有機器人喚醒程序的主機后，開始認證，認證基于笛卡爾積握手認證模型，認證成功，機器人啟動，模仿工作人員錄入數據，所述機器人內設有財政支付數據錄入機器人系統，財政支付數據錄入機器人系統基于DFA數據自動操作模型。

2.根據權利要求1所述的一種財政支付數據錄入機器人，其特征在于，所述機器人基于笛卡爾積握手認證模型：

①標識因子集合：

T＝{t₁，t₂，t₃，...t_i...，t_n}

②標識因子關系：

R＝{R₁，R₂}

③標識因子劃分：

T₁＝{x，y|xR₁y，x∈T，y∈T}

T₂＝{x，y|xR₂y，x∈T，y∈T}

④握手認證模型

A×B＝{(a，b)|a∈A，b∈B，f(b₁)∈U，g(a₁)∈V}。

3.根據權利要求1所述的一種財政支付數據錄入機器人，其特征在于，所述機器人認證步驟為：

①讀取機器人序列號；

②握手認證，認證機器人；

③認證成功，啟動機器人。

4.根據權利要求1所述的一種財政支付數據錄入機器人，其特征在于，所述機器人基于DFA數據自動操作模型，模型構建步驟如下：

①信息元集合U

U＝{u₁，u₂，u₃......，u_n}n∈N

②集合U劃分

R＝{r₁，r₂，r₃......，r_m}m∈N

S_i＝{x，y|xr_iy，x∈U，y∈U，r_i∈R}i≤m，i∈N

③信息序列集合LQ

信息序列為M-元組記為Q

Q＝<u₁，u₂，u₃...u_i...，u_M>

信息序列集合LQ

LQ＝{<u₁，u₂，u₃...u_i...，u_M>|u_i∈S_i}

④信息序列狀態集合

信息元操作狀態因子集合

A＝{a，-a}

帶操作的信息序列QA

⑤帶操作的信息序列集合LQA

|LQA|＝2^M

⑥帶依次操作的信息序列QAS_k：

⑦帶依次操作的信息序列集合LQAS

LQAS＝{QAS_k}k≤M

|LQAS|＝M

⑧操作集合POpt

位置集合P

P＝{<x，y>|x，y∈N，x≤W，y≤H}W、H為自然數常量；操作元集合Opt

Opt＝{Opt₁，Opt₂，Opt₃，...Opt_i...，Opt_N}

POpt＝{p∧opt|p∈P，opt∈Opt}

⑨轉換函數

NFA轉換：

DFA轉換：

⑩起始狀態與終止狀態

綜上，自動操作模型描述如下：

非依次操作的自動機模型AOM：

AOM＝(LQA，POpt，f(QA_k，popt)，s，F)，AOM是NFA；

依次操作的自動機模型AOM-S：

AOM-S＝(LQAS，POpt，f(QAS_k，popt)，s，F)，AOM-S是DFA。

5.根據權利要求1所述的一種財政支付數據錄入機器人，其特征在于，所述機器人數據自動錄入流程步驟驟如下：

①讀入錄入文件；

②讀取第i條數據；

③讀取第j個數據；

④模擬鼠標單擊操作；

⑤模擬鍵盤數據復制操作；

⑥j++，指向下一個數據；

⑦驗證第i條數據是否讀取完畢；

⑧如果讀取完畢，i++，指向下一條數據；

⑨驗證數據文件是否讀取完畢；

⑩如果讀取完畢，結束。