1.
An Alogrithm for Detecting Legal Firing Sequence of Bounded Petri Net;
有界Petri网的合法引发序列判定算法
2.
The Research of Context Isomorphism Detection Algorithms and Their Application;
形式背景同构判定算法研究及其应用
3.
Algorithm for deciding active XML document safe rewriting
Active XML文档安全重写判定算法
4.
Determinant algorithm of Sheffer function in partial three-valued logic
部分三值逻辑中Sheffer函数的判定算法
5.
Schedulability test algorithm for periodic tasks with partial order constraint
偏序的周期任务间可调度性判定算法
6.
Research on the Algorithm of Fault Judge about Typical Circuit Based on PSPICE
基于PSPICE的典型电路故障判定算法研究
7.
Reasoning system OCRS based on order calculus and its decision algorithm
基于序演算的推理系统OCRS及其判定算法
8.
Multiple Levels Judgment Algorithm of Web Page Classification Based on Focused Crawling
基于定题爬虫的网页分类的多级判定算法
9.
Algorithm for Determining the Sign of Real Algebraic Numbers Based on the Maximum Root Method;
基于最大根方法的实代数数符号判定算法
10.
In this paper,the author gives an algorithm for testing isomorphism of finite Abelian groups.
给出了有限阿贝尔群同构的一个判定算法.
11.
Deciding Algorithm for Termination of Rule Set Based on United Formula;
基于联合公式的规则集终止性判定算法
12.
The Conformational and Determinant Algorithm of the Sheffer Function in Partial Two and Three-Valued Logic
部分二、三值逻辑中Sheffer函数的构造及判定算法
13.
Distributed Redundant Nodes Judging Algorithm for Wireless Sensor Network
一种无线传感器网络冗余节点分布式判定算法
14.
Algorithm Design of Full Rank Petri Net Reachability Judge and Its Implementation
满秩Petri网可达性判定算法的设计与实现
15.
Fast decision procedure and algorithm of nonsingular M matrix;
非奇异M矩阵的快速判定方法及算法
16.
A statement of fact to be tested for truth or falsehood within an algorithm.
在算法中判定某个事实真假性的语句。
17.
A Study of Kernel Discriminant Classify Algorithms Based on CPD Kernels
基于条件正定核的判决分类算法研究
18.
A genetic algorithms for 3-SAT problem determinant
基于遗传算法的3-SAT问题判定