一种通过移动通信终端购买有价票据的方法，步骤如下：（１）票据的订购：移动票据管理服务器直接接收或从票据订购服务器获悉用户订购的有价票据信息；（２）票据的支付和生产：移动支付服务器接收到用户利用其移动终端的支付功能对订购票据的支付钱款，在...

本发明公开了一种实现小额支付的通信交互方法，每个客户端可随时向支付中心发起请求申请自身所需的款额；支付中心通过对发起请求客户端的身份认证后，根据该客户端的需求生成多币值支付字链组，支付字链组中的每条支付字链代表不同的币值；然后，支付中心...

一种基于源代码静态分析的软件安全代码分析器及其检测方法，软件安全代码分析器包括五个功能模块：代码解析器、代码分析引擎、安全风险报告器、安全规则库和用户接口，其中代码分析引擎由数据流分析器、控制流分析器、结构分析器、安全分析调度器及安全分...

本发明公开了一种基于领域本体的名片信息中译英自动翻译方法，包括为名片中所包括信息建立领域本体库及翻译本体库；向用户提供名片信息输入界面，接收用户名片的联系地址、邮编、联系人名称、职位、单位名称、联系电话、传真的信息输入，或直接调用数据库...

一种基于门限密码体制的软件分割保护的实现方法，是将软件的应用程序分割成两部分，并将分割出来的应用程序的数据进行加密后的密文和参与加密人员的密钥，分别存入多个电子钥匙里，而在原来的软件中只保留头文件和节表，并复制该部分软件用作备份文件；再...

本发明涉及无线通信计算机领域，具体提出了一种时空数据快速索引方法，这是一种高效的索引机制，它使用重叠索引结构存储不同时间戳的时空状态，若相邻时间片有相同的Ｒ－树索引分支，只保留其中一个版本，减少了存储空间。同时，对于一个时间片上的数据不...

一种面向源代码的基于不等式组求解的缓冲区溢出检测方法，包括下列操作步骤：（１）为描述危险函数的约束条件进行初始化设置；（２）对输入的程序源代码进行词法和语法解析并生成程序依赖图；（３）根据危险函数库中发生缓冲区溢出的不等式约束条件，在程...

本发明提供了一种跨平台移动存储介质数据管理系统，包括：位于移动存储介质中的嵌入式数据库文件模块，以及位于应用平台中的与所述嵌入式数据文件模块相对应的数据库嵌入式接口库模块。嵌入式数据库文件模块中所使用的数据库为ＳＱＬｉｔｅ，数据库嵌入式...

一种软件故障测试系统及方法，该系统包括软件读取模块、控制模块、故障检测模块和确认与统计模块；控制模块根据用户的输入信息向软件读取模块发出指令；软件读取模块读取待测软件并根据控制模块发出的指令将读取的软件程序传送至故障检测模块，故障检测模...

本发明提供了一种商业智能系统，所述商业智能系统包括报表生成展现子系统、多维分析子系统和ＥＴＬ数据转换子系统，所述商业智能系统还包括：建模单元，用于依据报表生成展现子系统、多维分析子系统和ＥＴＬ数据转换子系统的接口配置参数，建立对应的ＰＩ...

本发明公开了一种面向切面编程的拦截器系统及方法。其包括：设置在Ｓｔｒｕｔｓ框架下运行的拦截器接口，基于该接口实现拦截器类；配置拦截器的配置文件结构，并在拦截器配置文件中将拦截器配置到相应的执行路径中去；在Ｓｔｒｕｔｓ启动初始化时，读取配...

本发明提供了一种基于ＶｘＷｏｒｋｓ的空间机器人中央处理器的内存模块，其特征在于：包括定长内存缓冲池、变长内存缓冲池、定长内存分配队列；所述定长内存缓冲池内包括若干固定长度的定长内存单元；所述定长内存分配队列中存储所述定长内存缓冲池中各个...

本发明公开了一种双机冗余容错系统及其冗余切换方法。该系统包括Ａ机、Ｂ机，ＡＢ机内的冗余切换控制单元将各自产生的切换信号通过冗余切换选择单元的选择而将产生的最终控制信号传至被控单元。冗余切换控制单元包括仲裁切换单元、心跳收发单元、加断电单...

本发明公开了一种Ｎ模冗余表决系统，它包括重构逻辑单元、表决器和校验单元，该重构逻辑单元的信号输入端接收来自Ｎ模冗余模块输出的Ｎ路冗余信号，该重构逻辑单元的信号输出端将Ｎ路重构信号分别传送至表决器的输入端和校验单元的输入端，表决器的输出端...

本发明所设计的六自由度机器人运动学ＣＯＲＤＩＣ算法的协处理器通过采用ＣＯＲＤＩＣ算法替代了传统的通过计算大量超越方程才能完成机器人运动学正反解计算，使大量的超越方程计算过程简化为只需要通过加法、减法、和移位等这些硬件便于实现的操作，从而...

本发明公开了一种基于软件缺陷模式的测试方法，包括：读取被测程序源代码文件及缺陷状态机ＳＤＳＭ描述文件，对被测程序进行预处理，解析ＳＤＳＭ描述文件；对被测程序进行词法分析和语法分析，构造出抽象语法树；根据抽象语法树，生成控制流图和符号表，...

本发明涉及软件测试技术领域，本发明能够在一定程度上解决在程序静态测试中对不可达路径的无效计算以及对变量取值信息未充分利用的技术问题。本发明提出区间集的概念，定义了数值型变量区间集上的集合运算及四则运算，对程序中布尔类型变量及引用类型变量...

本发明公开了一种内部网可定制爬出系统构建方法，该方法包括下列步骤：（１）分析超链接所指向的数据是否是ｗｅｂ网页；（２）若是ｗｅｂ网页，则分析ｗｅｂ网页，处理超链接信息；若不是ｗｅｂ网页，则直接进入步骤（３）；（３）根据定制下载数据；（４...

本发明公开了一种多线程断点续传可定制内部网爬虫系统，包括以下部件：多线程产生器，断点续传器，超链接分析提取器，内部网分析器，超链接存储库，数据类型评判器，数据下载器，数据存储库，异常处理器，以及超链接提供器。通过应用本发明所描述的系统，...

本发明为了解决现有技术中没有有效对ＯＷＬ文件进行存储的问题，提供一种ＯＷＬ信息到关系数据库的转换方法及装置。本发明方法公开了以下技术手段实现上述目的，加载ＯＷＬ文件，对所述ＯＷＬ文件进行建模，通过所述建模后生成的接口读取所述ＯＷＬ文件中...