检索结果-内蒙古大学图书馆

作者： Zhou, Junping Yin, Minghao Zhou, Chunguang College of Computer Science and Technology Jilin University Changchun 130012 China College of Computer Northeast Normal University Changchun 130117 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China

ISBN: (纸本)9781577354642

The rigorous theoretical analyses of algorithms for #SAT have been proposed in the literature. As we know, previous algorithms for solving #SAT have been analyzed only regarding the number of variables as the parameter. However, the time complexity for solving #SAT instances depends not only on the number of variables, but also on the number of clauses. Therefore, it is significant to exploit the time complexity from the other point of view, i.e. the number of clauses. In this paper, we present algorithms for solving #2-SAT and #3-SAT with rigorous complexity analyses using the number of clauses as the parameter. By analyzing the algorithms, we obtain the new worst-case upper bounds O(1.1892m) for #2-SAT and 0(1.4142m) for #3-SAT, where m is the number of clauses. Copyright © 2010, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Traffic optimization for distributed network model base on Petri Nets

Traffic optimization for distributed network model base on P...

引用

Japan-China Joint Workshop on Frontier of Computer Science and Technology (FCST)

作者： Chang, Xin Pang, Huanli Hu, Liang Key Laboratory of Symbol Computation and Knowledge Engineering Ministry of Education Jilin University Changchun 130012 China Collage of Computer Science and Engineering Changchun University of Technology Changchun 130012 China

ISBN: (纸本)9780769541396

Petri Nets is a powerful mathematical modeling tool for system description and analysis, with which we can describe the relationship among entities efficiently. The present thesis puts forward the modeling of the distributed computer network DNMPN and DNMPNTO based on Petri Nets. DNMPN implements the basic function of distributed computer network, and DNMPNTO modifies DNMPN's repetitive forward problem. Thus, it is efficiently helpful to optimize the unit traffic of the network, save the net work resource and improve the efficiency of the network system. © 2010 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An Algorithm Based on Resolution for the Satisfiability Problem

An Algorithm Based on Resolution for the Satisfiability Prob...

引用

The 2nd IEEE International Conference on Advanced Computer Control(第二届先进计算机控制国际会议 ICACC 2010)

作者： Youjun Xu Dantong Ouyang Yuxin Ye College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

ISBN: (纸本)9781424458455;9781424458486;9781424458479;9781424458462

The satisfiability problem is the core problem in artificial intellgence. The algorithm directional resolution(DR) is a well known method based on resolution for satisfiability problem. But the number of clauses has great impact on the efficiency of the method. In this paper, an algorithm SRDR is proposed to solve the problem. SRDR is based on algorithm DR and splitting rule. By using splitting rule, the number of clauses can be reduced obviously. Furthermore, the strategy MO is designed for SRDR. With the strategy, we can get a better order of variables and the efficiency of SRDR is improved. The experimental data shows that SRDR is more efficient that DR.

关键词： satisfiability problem directional resolution splitting rule SRDR strategy MO

来源：评论

学校读者我要写书评

暂无评论

A multi-heuristic cooperative ant colony system for optimizing elimination ordering of Bayesian networks

A multi-heuristic cooperative ant colony system for optimizi...

引用

2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2010

作者： Dong, Xuchu Ouyang, Dantong Ye, Yuxin Yu, Haihong Zhang, Yonggang Department of Computer Science and Technology Jilin University Changchun Jilin 130012 China Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education Changchun Jilin 130012 China

ISBN: (纸本)9780769541914

To solve the problem of searching for an optimal elimination ordering of Bayesian networks, a novel effective heuristic, MinSumWeight, and an ACS approach incorporated with multi-heuristic mechanism are proposed. The ACS approach named MHC-ACS utilizes a set of heuristics to direct the ants moving in the search space. The cooperation of multiple heuristics helps ants explore more regions. Moreover, the most appropriate heuristic will be identified and be reinforced with the evolution of the whole system. Experiments demonstrate that MHC-ACS has a better performance than other swarm intelligence methods. © 2010 IEEE.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

RMADV-Hop: An Improved DV-Hop Localization Algorithm

RMADV-Hop: An Improved DV-Hop Localization Algorithm

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Tingting Yi Zhiyi Fang Ruixue Li Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun China

In recent years, with the development of the wireless sensor networks, the localization method receives the attention of many researchers. However, due to the network cost and characteristics of sensor nodes, most of the localization algorithms are not well suitable for the wireless sensor network, positioning error is relatively large. Based on the regular moving anchor node and RSSI ranging technique assisting positioning, in this paper, we proposed the RMADV-Hop (Regular Moving Anchor DV-Hop) localization algorithm to improve the DV-Hop algorithm. In the same network condition, we simulated these two localization algorithms using the omnet++ simulation software. Simulation results show that RMADV-Hop algorithm uses less anchor nodes than the DV-Hop algorithm, reduces the cost of network hardware, approximately achieves the evenly distribution of anchor nodes, and can get higher positioning accuracy than the DV-Hop algorithm in the randomly distributed network.

关键词： Wireless sensor networks Costs Algorithm design and analysis Computer networks Hardware Military computing Information technology educational institutions Computer science educational technology

来源：评论

学校读者我要写书评

暂无评论

Model counting with boolean algebra and extension rule

引用

Journal of Convergence Information Technology 2010年第7期5卷 7-7页

作者： Xu, Youjun Ouyang, Dantong Ye, Yuxin College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

Model counting is an important problem in artificial intelligence and is applied in several areas of information science. Extension rule is a method which could be used to count models. But it's not appropriate when clause length is short or clause number is huge. After studying extension rule, we found that the satisfiability problem could be solved by hitting set algorithms. And the models could be counted with extension rule after calculating hitting sets of a clause set. Therefore, we proposed an algorithm MCBE in this paper. With Boolean algebra, MCBE could easily calculate hitting sets of a clause set. Then, it gives the number of models with extension rule. The test results show that when clause length is short and clause number is big enough, the algorithm is more efficiency than the algorithm CDP and CER.

关键词： Boolean algebra

来源：评论

学校读者我要写书评

暂无评论

LLA: A New High Precision Mobile Node Localization Algorithm Based on TOA

引用

Journal of Communications 2010年第8期5卷 604-611页

作者： Li, Ruixue Fang, Zhiyi College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

Mobile node localization is one of the challenging and crucial issues in wireless sensor networks. The paper proposed a new approach to mobile localization, called LLA (Lee Localization Algorithm), to mitigate TOA measurement errors. The algorithm was divided into three phases: (1) pre-ranging algorithm was proposed to initialize localization by employing TOA method;(2) refinement algorithm was designed to filter out bad nodes;(3) smallest circle covering algorithm was developed to deal with good nodes to complete the localization. Experimental results show that the presented approach efficiently eliminates the effects of the measurement bias and obtains a high accuracy of 2m as well as low complexity, outperforming traditional trilateration. © 2010 ACADEMY PUBLISHER.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

Multiple attribute mappings for domain ontology generation in deep web

Multiple attribute mappings for domain ontology generation i...

引用

2nd Conference on Environmental Science and Information Application Technology, ESIAT 2010

作者： Chen, Kerui Zuo, Wanli Zhang, Fan He, Fengling College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Computation and Knowledge Engineering Ministry of Education China College of Information Engineering Zhongzhou University Zhengzhou 450044 China

ISBN: (纸本)9781424473885

Due to the structuring and semi-structuring of the most data contained in deep web, it's considerably much easier to extract and construct the ontology. The constructed ontology has multiple appliances, such as the data integration, data extraction assistance and so on. During the process of constructing ontology, the matching of attribute is a significantly important step, the quality of whose result will directly affect ontology's quality. The method proposed in this paper works well on identifying and solving the cases of simple matching and complex matching. Experiment results approve that the ontology constructed under the instruction of this method is perfect, as well as effective. ©2010 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Solving SAT Problem with Boolean Algebra

Solving SAT Problem with Boolean Algebra

引用

Japan-China Joint Workshop on Frontier of Computer Science and Technology (FCST)

作者： Youjun Xu Dantong Ouyang Yuxin Ye Jialiang He Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN

The satisfiability (SAT) problem is an important problem of automated reasoning. In the past decades, many methods of SAT are proposed, such as method based on resolution, method based on tableau and method based on extension rule. Based on the study of extension rule, we find that the SAT problem can be solved with hitting set algorithms. If we can find a hitting set of a clause set, and if there is not any pair of complementary literals in the hitting set, the clause set is satisfiable. Algorithm BHS based on Boolean algebra proposed by Jiang is an efficient hitting set algorithm. SSBF proposed in this paper is a revised algorithm of BHS that can be used to judge the satisfiability of a clause set. The test result shows that SSBF is an efficient algorithm.

关键词： Algorithm design and analysis Boolean algebra Cognition Atomic measurements Computers Computer science

来源：评论

学校读者我要写书评

暂无评论

An Improved Particle Swarm Algorithms for Global Optimization

An Improved Particle Swarm Algorithms for Global Optimizatio...

引用

International Conference on Machine Vision and Human-Machine Interface (MVHI)

作者： Ye Tian Dayou Liu Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Jilin University Changchun Jilin CN

Particle swarm optimization (PSO) algorithm is a robust and efficient approach for solving complex real-world problems. In this paper, a modified particle swarm algorithm (IMPSO) is introduced for unconstrained global optimization. The whole swarm is partitioned to three different sub-populations according to their fitness, and different velocity updating strategies are used to different sub-populations. Besides, we take advantage of crossover to maintain the diversity of the swarm and avoid getting into local optimum. IMPSO are extensively compared with other two modified PSO algorithms on three well-known benchmark functions with different dimensions. Experimental results show that IMPSO achieves not only better solutions but also faster convergence.

关键词： Particle swarm optimization Partitioning algorithms educational institutions Marine animals Birds Testing Machine vision Man machine systems Computer science Laboratories

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：