1) parallel searching algorithm model
并发检索模型
2) concurrent retrieval
并发检索
1.
By using the principle of multi-thread processing of heterogeneous database under the network environment, this paper introduces the modes and functions of multi -database retrieval system, and connecting with the practical situation of the library of Commercial College of Shanxi University, advances some opinions on the design thought of database and the implementation of concurrent retrieval.
基于网络环境下异构数据库多线程处理的原理,介绍了跨库检索系统的模式和功能,结合山西大学商务学院图书馆的实际情况,就数据库设计思想和并发检索实现等问题提出了见解。
4) retrieval model
检索模型
1.
Research and Implementation of Semantic Retrieval Model Based on Jena;
一种基于Jena的语义检索模型研究与实现
2.
In view of the disadvantages of formerly retrieved model in feature extraction and retrieval efficiency,a multi-layer case retrieval model based on bitwise indexing was proposed,which selected the best matching case by describing case similarity comprehensively in multi-layer.
通过对基于实例的推理技术、实例的检索策略及实例相似性的研究,提出了可应用于机械产品设计领域的多层次实例检索模型和基于位索引的检索算法。
3.
The formation of retrieval model and the course of similar cases index based on fuzzy priority ratio is described in detail.
比较详细的叙述了实例检索模型的建立及基于模糊优先比的相似实例检索过程。
5) concurrency model
并发模型
1.
Research on multithread pool concurrency model in message oriented middleware;
消息中间件中多线程池并发模型的研究
2.
This paper firstly discusses and analyzes the concurrency model of a production which is developed by our team.
并发模型对于分布对象中间件具有十分重要的意义。
6) models for concurrency
并发模型
1.
The application of cate- gory theory to the study of some interleaving models for concurrency and the relationships between these models is also suggested.
介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例。
补充资料：并发模型
并发模型
models of concurrency
b ingfa moxing并发模型(n加日elsof~~y)描述并发系统行为的数学模型。 若一个系统内部发生的两个事件之间没有因果关系，则称此两个事件是并发的。因果关系不等于事件先后关系，有因果关系者必有先后关系，反之则不一定。存在并发事件的系统称为并发系统。例如操作系统是一个并发系统，人类社会也是一个并发系统。 并发概念由C.A.Petri于1962年首创。他的并发模型严格遵守并发即无因果联系的思想，用此模型描述的系统不含统一的时钟。此外还有另一种并发概念，例如R.Mihier认为:若一个系统内部的两个事件可以按任意次序发生，则称此两个事件是并发的。习惯上称前一种并发为真并发，称后一种并发为交叠式并发。前一种并发概念的描述能力强于后一种并发概念的描述能力，但是在程序设计的大多数场合，后一种并发概念也够用了。 并发模型可分为两个层次:描述性的并发模型和语义性的并发模型。 描述性的并发模型通常是一个形式系统，可以描述并发系统的行为。这种模型大体上有4类。 归约模型:几演算，项重写系统，图重写系统等都是。这类系统中的事件就是归约。它们缺少进程和通信的概念，不能用于分布式系统。 逻辑模型:时序逻辑、动态逻辑、线性逻辑等都是。这类系统中的事件就是逻辑推导。它们能够在进程上作推理，但是缺少有效的通信手段，因此也不适用于分布式系统。 进程代数模型:通倍顺序进程(〔芝尸)、通信系统演算(〔兀S)等都是。这类系统以进程及进程间的通信为主要描述对象。系统中的事件就是进程通信，它们特别适合于描述分布式系统。 佩特里网模型:EN系统，条件或事件系统，位置或变迁系统，有色佩特里网系统等都是。这类系统不直接描述进程和通信，但是可通过并发网络流表示进程和通信。系统中的事件就是事件节点的点火。这类模型不仅用于描述程序系统，也用于描述社会系统。 语义性的并发模型第一类并发模型通常以指称语义中的幂域理论为基础。第二类并发模型常采用Kripke的可能世界理论。第三类并发模型也采用幂域理论，但采用不同的对象作为域的元素。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条