本发明提供的基于虚拟机的地理信息系统通用符号系统，其包括符号语言、符号编译器、符号集成开发环境和符号虚拟机，ＧＩＳ是地理信息系统。本发明还提供了基于虚拟机来构建地理信息系统通用符号的方法，即：利用符号虚拟机来屏蔽具体ＧＩＳ平台的差异，为...

本发明涉及基于计算机网络的防转载或／和反剽窃监控方法，其方法步骤包括：（１）在服务器上建立数据库的步骤；（２）在服务器上建立一个用于储存被监控文档的文档数据的存储空间的步骤；（３）在服务器上建立用于供用户输入包括文档条件的交互窗口的步骤...

本发明公开了一种嵌入式系统软件的模型驱动与构件化开发方法，即：在模型驱动的框架下，将模型作为嵌入式软件开发的核心和基本元素，集成模型编辑、验证、模拟和模型编译技术，实现嵌入式系统模型的编辑、验证、模拟和代码的自动生成，并根据基于构件的软...

本发明涉及能加快反剽窃或转载文档检测速度的方法，具体步骤包括：（１）建立用于存放遗留格式计算机编码的存储空间；（２）用存储空间内的遗留格式计算机编码对被检测文档进行匹配搜索，判断是否存在相同的遗留格式计算机编码，并作出后面的选择。本发明...

本发明涉及一种浮点复数乘法器，它包括数据接口、一个浮点加法单元、一个浮点减法单元、四个浮点乘法单元。本发明浮点复数乘法器可集成于高频地波雷达全数字雷达接收机中，实现对雷达回波信号进行实时数字脉冲压缩中的浮点复数乘法功能，可提高雷达接收机...

本发明涉及一种基于领域本体的软构件分类注册方法，包括以下步骤：构造一个软构件属性公共本体；建立一个具体领域的领域模型，在领域模型的支持下，对软构件属性公共本体进行细化，得到一个具体领域软构件属性本体；使用本体工具描述具体领域软构件属性本...

本发明涉及一种复杂渗控结构渗流问题的ＳＶＡ数值模拟方法，其步骤包括：以排水子结构方法模拟复杂渗控结构，并且采用粗网格单元构建有限元模型；将潜在溢出边界及工程渗控结构边界表述为Ｓｉｇｎｏｒｉｎｉ型互补条件，以变分不等式方法解决上述边界渗流...

本发明涉及一种构件库管理方法，包括以下步骤，（１）构造构件注册知识库概念模型，包括构件注册属性以及构件应用领域的分类属性；（２）构造构件注册知识库实例模型，模型中构件的注册信息根据概念模型的属性组织而成；（３）根据复杂查询的要求定义构件...

本发明涉及软构件资源管理方法，包括以下步骤，（１）构造一个软构件属性本体，注册为参考本体，注册参考本体的组成结构及其语义；（２）对一个或一个以上应用领域的本地本体，注册本地本体的组成结构以及与参考本体之间存在的语义关联；（３）基于本地本...

视频中事件语义识别方法，其特征在于利用视频中识别出的前景对象，结合马尔科夫链技术，自动识别视频事件语义，将视频中事件语义视为一个多元事件语义，它由若干个符合一定规则和时序关系的单元事件组成；　　　　单元事件语义的定义和构造步骤：单元事件...

本发明公开了一种高效、透明的分布式空间数据库查询方法，以Ｏｐｅｎ　　ＧＩＳ标准定义的空间拓扑关系和空间分析操作为基础，将空间拓扑关系操作和空间分析操作各分成两类：Ｄｉｓｊｏｉｎｔ操作和非Ｄｉｓｊｏｉｎｔ操作；Ｂｕｆｆｅｒ操作和非Ｂｕｆｆ...

本发明是一种可信机制上的嵌入式平台引导，即：将嵌入式平台与ＴＰＭ在一起，用ＴＰＭ支持嵌入式平台的安全性和可信性；ＴＰＭ先根据可信完整性测量根，在嵌入式平台ＣＰＵ开始工作之前，对存储在嵌入式平台上Ｆｌａｓｈ中的包括Ｂｏｏｔｌｏａｄｅｒ、操...

本发明提供了一种音乐检索方法，通过以下步骤实现：（１）把音乐乐谱按照以下的方式编码：Ｄｏ对应１，Ｒｅ对应２，Ｍｅ对应３，Ｆａ对应４，Ｓｏ对应５，Ｌａ对应６，Ｓｉ对应７，只记录音高，得到相应的音乐数字编码；（２）将相应的音乐数字编码去冗余...

本发明属于遥感影像领域，特别涉及ＲＰＣ模型参数提取方法和ＲＰＣ模型几何纠正方法。本发明的技术方案将高程变化模拟化为随机场，从平稳随机场理论出发，根据若干随机变量的观测值来构建Ｋｒｉｇｉｎｇ方程组，可获得对未观测点的最佳无偏插值。本发明提...

本发明提供了一种建立在可信机制上的嵌入式系统启动引导方法，该方法是将嵌入式系统与可信平台模块（Ｔｒｕｓｔｅｄ　　Ｐｌａｔｆｏｒｍ　　Ｍｏｄｕｌｅ，ＴＰＭ）结合在一起，并将嵌入式系统中外部存储器设备独立出来，由ＴＰＭ控制对其的读和写；在嵌...

本发明属于遥感影像应用领域，特别涉及一种基于内容的遥感图像数据智能搜索方法，根据遥感图像搜索的关键字，进行遥感图像的智能搜索，取得关键字包括：步骤一，通过非监督分类方法对遥感图像进行分类，得到分类栅格图像；步骤二，通过网络发布分类栅格图...

本发明公开了终端接入可信ＰＤＡ的方法和接入系统。接入方法是：在终端接入可信ＰＤＡ之前，先对终端的身份进行认证，认证通过之后要求终端将其当前平台状态报告给可信ＰＤＡ，可信ＰＤＡ将终端的当前平台状态与预先保存的终端平台可信状态值进行比较，如...

本发明提供了一种基于ＴＰＭ的嵌入式系统恢复机制。该嵌入式系统包括嵌入式平台、ＴＰＭ、非受保护存储器，还包括备份存储器和总线仲裁器，嵌入式平台、ＴＰＭ、备份存储器和外部工作用存储器均和总线仲裁器相连。本发明在硬件上，通过系统结构的安全性改...

本发明涉及一种用于复制式协同建模系统的拓扑元素名字对应方法：协同建模系统内的所有协同站点都具有完备并且对等的交互功能、造型功能、通讯功能和几何模型数据配置；任何一个协同站点通过用户交互生成的造型操作在本地站点立即执行，从而可以提高协同设...

本发明涉及一种动态真随机数发生器，由真随机源、冯.诺依曼校验器、分组杂化网络和动态控制部件组成，真随机源产生的数据输入冯.诺依曼校验器，冯.诺依曼校验器的输出接到分组杂化网络的输入；所述分组杂化网络包含有混沌变换部件、离散化部件和分组密...