Suffix tree clustering is a fast, incremental, linear time clustering algorithm, but there are synonymous and label-contained relations among the result clusters. So just return these results to the users directly, wo...
详细信息
Suffix tree clustering is a fast, incremental, linear time clustering algorithm, but there are synonymous and label-contained relations among the result clusters. So just return these results to the users directly, would give them an added burden. In response to this problem, this paper presents a method that merging the semantic duplicate clusters and hierarchicalizing the label-contained clusters. The experimental results show that this method can effectively remove semantic duplication and hierarchicalize label-contained clusters clearly. It improves the organization of clustering results. To the STC search engine, this will provide users with better results and better classification.
Ontology definition is the base of ontology engineering, however, ontology definition currently seldom provides the accurate mathematical characteristics, namely, most of the ontology definitions cannot be described i...
详细信息
Ontology definition is the base of ontology engineering, however, ontology definition currently seldom provides the accurate mathematical characteristics, namely, most of the ontology definitions cannot be described in a formal way, and the existing ontology definitions aren't complete enough. In this paper, it reviews and sums up the ontology definitions and the formal descriptions of ontology. And, it proposes a novel method of formal ontology definition by analyzing existing ontology definitions, which can make the ontology modeling primitives precise by delimiting the data types with functional description language. Lastly, puts forward the closed definition of ontology algebra, and gives a formal description of ontology algebra based on the new formal description of ontology.
Reclamation and reuse of sewage is considered as an effective and economical measure to solve the water resource ***,the potential environmental risk caused by micropollutants in the sewage is increasingly of *** this...
详细信息
Reclamation and reuse of sewage is considered as an effective and economical measure to solve the water resource ***,the potential environmental risk caused by micropollutants in the sewage is increasingly of *** this paper,the removal characteristics of synthetic polycyclic musks in a full scale membrane bioreactor combined with anaerobic-anoxic-oxic (A2/O-MBR) process for treatment of municipal wastewater was *** synthetic polycyclic musks,composed of Tonalide (AHTN) and Galaxolide (HHCB),in every step of A2/O-MBR process,were simultaneously analyzed by gas chromatography/mass spectrometry after derivatisation.
With the myriad emergence of the online Web Database, the Web is divided into a two layers information platform which is composed of Surface Web and Deep Web. The huge information hidden in the Deep Web is higher in t...
详细信息
Theorem proving based on the extension rule is a new reasoning method. It is, in a sense, potentially a complementary method to resolution based method. HRIER is a very fast extension rule algorithm with reduction rul...
详细信息
Theorem proving based on the extension rule is a new reasoning method. It is, in a sense, potentially a complementary method to resolution based method. HRIER is a very fast extension rule algorithm with reduction rules and heuristic function. DR is a fast ordering-based restricted resolution method in proposition logic. In order to make best use of the respective characteristic of the extension rule method and resolution method, this paper proposes a combined algorithm CDE based on HRIER and DR. And then the soundness and completeness of it are proved. The experiment results show CDE is a fast SAT solver.
Theorem proving based on the extension rule is a new reasoning method. Based on the extension rule algorithm RIER, this paper presents a more efficient algorithm HRIER, which uses the heuristic strategy to guide the c...
详细信息
Theorem proving based on the extension rule is a new reasoning method. Based on the extension rule algorithm RIER, this paper presents a more efficient algorithm HRIER, which uses the heuristic strategy to guide the choosing of restricted searching space. The experiment results show HRIER improves the efficiency a lot, meanwhile it keeps the essence characteristic of extension rule method, namely it is still potentially a complementary method to resolution based methods.
An increasing number of databases are becoming web accessible through form-based query interfaces, therefore, this paper proposes a novel method of filling forms on deep web data integration system, which contains thr...
详细信息
In this study,the combined effects of highly inhibitory allelochemicals gramine from Arundo donax and ethyl 2-methylacetoacetate(EMA)from Phragmites communis on cyanobacterium Microcystis aeruginosa and their potentia...
详细信息
In this study,the combined effects of highly inhibitory allelochemicals gramine from Arundo donax and ethyl 2-methylacetoacetate(EMA)from Phragmites communis on cyanobacterium Microcystis aeruginosa and their potential mechanisms were *** results showed that the growth of *** was still significantly inhibited when gramine and EMA were added *** combined inhibition of *** EMA was enhanced with exposure time ***,antagonism was found for gramine and EMA with co-toxicity coefficient(CTC) lower than 70,and addition index(AI) lower than *** medium effective concentration(EC50,3 d)of their mixture was 4.26 mg/L,lower than 0.47 mg/L of gramine and 1.19 mg/L of *** joint addition of gramine and EMA,the levels of reactive oxygen species(ROS) in the algal cells were increased,but the ROS increase ratios were lower than the sum of the ratios from single actions of gramine and *** of the growth antagonism was discussed in connection with allelochemical structures and the ROS increase level.
暂无评论