排序方式: 共有40条查询结果,搜索用时 404 毫秒
1.
姜礼平 《海军工程大学学报》1991,(4)
本文讨论了带噪声情形下 AR 模型的参数估计及定阶问题,还给出了噪声模型的参数估计,并证明了它们的强相容性。 相似文献
2.
UDDI注册中心本质上是一个存储着Web服务注册信息的数据库,针对分布式存储与检索体系架构中出现的数据不一致性的问题,提出了一种分布式UDDI的数据一致性优化模型。首先分析了分布式UDDI及UDDI的核心数据模型,以及在分布式环境下的异构数据源问题。在此基础上,分析了数据的一致性问题,构建了UDDI节点—数据模型间的可达性矩阵,最后研究了分布式UDDI的一致性数据存储策略。该优化模型能有效减少存储冗余和检索网络带宽的消耗。 相似文献
3.
基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。 相似文献
4.
5.
针对需求开发过程中涉及到的系统以及各系统之间的关系,提出了需求开发的WRSPM五元素参考模型,对参考模型中元素和元素之间的关系进行了较明确的定义,做出对参考模型的形式化描述。比较分析了将WRSPM参考模型与功能文档描述模型(FDM),并得出了参考模型的特点。 相似文献
6.
给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。 相似文献
7.
8.
全自动包装计量装置是替代传统量具,以单片机为核心的智能控制器同新型包装机械相结合构成,可自动完成称重、夹袋、卸包和包装的机电一体化的全自动包装计量设备。本文论述了其设计原理、系统组成和特点。 相似文献
9.
10.
协调性是数理逻辑中最基本的语法概念之一。Smulyan提出了抽象协调类概念,并证明了相应的Smulyan合一原理。通过考察协调合式公式集类所具有的种种性质,本文将抽象协调类概念推广至最一般的形式——广义抽象协调类,并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。 相似文献