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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本实用新型一种喇曼光纤放大器的温度控制装置，采用了基于脉冲宽度调制机制（ＰＷＭ）的温度控制系统的设计方案，使喇曼光纤放大器中激光器的温度稳定，从而提高激光源的波长稳定性和具有较高精度，以充分发挥喇曼光纤放大器的特性。包括顺序连接的激光器...

本发明提供了一种磁控溅射曲面喷涂三维轨迹智能控制方法，其包括如下步骤：１）读取用三角形数据表示的曲面文件；２）用一个或多个平面切割曲面，求得平面与三角形两边的交点；３）将获得的交点按照顺序排列，４）结合工艺参数，将曲面三维轨迹转化为溅靶...

本发明提供了基于ＳＴＬ文件的曲面切割轨迹获得方法，其包括如下步骤：１）读取Ｓｔ１文件；２）用一个或多个平面切割曲面；３）将平面与三角形两边的交点按照顺序排列，再进行均匀化差补处理，即得到曲面切割轨迹。利用上述方法获得的三维轨迹能够用于控...

本实用新型公开了一种全光逻辑门器件，旨在提供一种结构简单且性能优良的全光逻辑门设计。本实用新型包括分／合光元件（１１０）、非线性介质（１２０），非线性介质（１３０），分／合光元件（１４０），其中分／合光元件（１１０）、分／合光元件（１４...

一种石英及玻璃材料中二阶极化率产生与增强的新方法，其特征在于：稀土离子掺杂的石英及玻璃材料、载氢、紫外曝光、退火；本发明适用于光纤、薄膜、熔融块状体等各种结构的稀土离子掺杂石英及玻璃材料，特别适用于石英光纤；工艺简单，成本低，产生的二阶...