检索结果-南通市图书馆

An algorithm to compute maximal contractions for Horn clauses

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information sciences) 2011年第2期54卷 244-257页

作者： LUO Jie & LI Wei State Key Laboratory of Software Development Environment, school of computer science and technology, Beihang university, Beijing 100191, china State Key Laboratory of Software Development Environment School of Computer Science and Technology Beihang University Beijing China

In the theory of belief revision, the computation of all maximal subsets (maximal contractions) of a formula set with respect to a set of facts is one of the key problems. In this paper, we try to solve this problem by studying the algorithm to compute all maximal contractions for Horn clauses. First, we point out and prove the conversion relationship between minimal inconsistent subsets of union of the formula set and the set of facts and maximal contractions of the formula set with respect to the set of facts. Second, we prove a necessary condition of a set of Horn clauses to be minimal inconsistent. Then, based on these two conclusions, we propose an interactive algorithm to enumerate all minimal inconsistent subsets of a given set of Horn clauses and a second algorithm to compute maximal contractions from these minimal inconsistent subsets. Finally, we proposed an interactive algorithm to compute maximal contractions for Horn clauses by composing the above two algorithms.

关键词： maximal contraction minimal inconsistent set minimal subtraction Horn clause

Presenting degenerate Ringel-Hall algebras of type B

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china Mathematics 2012年第5期55卷 949-960页

作者： FAN LiJuan1 & ZHAO ZhongHua2,1Department of Mathematics,Beijing Normal university,Beijing 100875,china 2Department of Mathematics and computer science,school of science,Beijing university of Chemical technology,Beijing 100029,china Department of Mathematics Beijing Normal University Beijing China Department of Mathematics and computer science School of Science Beijing University of Chemical Technology Beijing China

We give a presentation for the degenerate Ringel-Hall algebras of type B by studying the corresponding generic extension monoid *** an application,it is shown that the degenerate Ringel-Hall algebras of type B admit m... 详细信息

关键词： degenerate Ringel-Hall algebras generic extension monoid algebras Auslander-Reiten quivers Frobenius morphism

Spray and forward:Efficient routing based on the Markov location prediction model for DTNs

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information sciences) 2012年第2期55卷 433-440页

作者： DANG Fei1,YANG XiaoLong1,2 & LONG KePing2 1 Research Center for Optical Internet and Mobile Information Networks(COIMIN),university of Electronic science and technology of china,Chengdu 611731,china 2 school of computer and Communications Engineering,university of science and technology Beijing,Beijing 100083,china Research Center for Optical Internet and Mobile Information Networks (COIMIN) University of Electronic Science and Technology of China Chengdu China school of computer and Communications Engineering University of Science and Technology Beijing Beijing China

Typical delay tolerant networks(DTNs)often suffer from long and variable delays,frequent connectivity disruptions,and high bit error *** DTNs,the design of an efficient routing algorithm is one of the key *** existing methods improve the accessibility probability of the data transmission by transmitting many copies of the packet to the network,but they may cause a high network *** address the tradeoff between a successful delivery ratio and the network overhead,we propose a DTN routing algorithm based on the Markov location prediction model,called the spray and forward routing algorithm(SFR).Based on historical information of the nodes,the algorithm uses the second-order Markov forecasting mechanism to predict the location of the destination node,and then forwards the data by greedy routing,which reduces the copies of packets by spraying the packets in a particular *** contrast to a fixed mode where a successful-delivery ratio and routing overhead are contradictory,a hybrid strategy with multi-copy forwarding is able to reduce the copies of the packets efficiently and at the same time maintain an acceptable successful-delivery *** simulation results show that the proposed SFR is efficient enough to provide better network performance than the spray and wait routing algorithm,in scenarios with sparse node density and fast mobility of the nodes.

关键词： delay tolerant networks spray and forward Markov position prediction routing algorithm

Service Composition Instantiation Based on Cross-Modified Artificial Bee Colony Algorithm

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

china Communications 2016年第10期13卷 233-244页

作者： Lei Huo Zhiliang Wang school of Automation University of Science and Technology Beijing school of computer and science University of Science and Technology Beijing

Internet of things(IoT) imposes new challenges on service composition as it is difficult to manage a quick instantiation of a complex services from a growing number of dynamic candidate services. A cross-modified Artificial Bee Colony Algorithm(CMABC) is proposed to achieve the optimal solution services in an acceptable time and high accuracy. Firstly, web service instantiation model was established. What is more, to overcome the problem of discrete and chaotic solution space, the global optimal solution was used to accelerate convergence rate by imitating the cross operation of Genetic algorithm(GA). The simulation experiment result shows that CMABC exhibited faster convergence speed and better convergence accuracy than some other intelligent optimization algorithms.

关键词： optimization of service composition optimal service instantiation artificial bee colony algorithm swarm algorithm cross strategy

维普期刊数据库

An Aggregation Composition Compensation Method Based on Paired Net

在线全文

学校读者我要写书评

暂无评论

International Journal of Automation and computing 2012年第5期9卷 530-538页

作者： Xiao-Yong Mei 1,2 Yi-Yan Fan 2 Chang-Qin Huang 3 Ai-Jun Jiang 1 Shi-Xian Li 1 1 school of Information science and technology,Sun Yat-sen university,Guangzhou 510006,china 2 school of computer science and technology,Hunan university of Arts and science,Changde 415000,china 3 Department of Electrical Engineering and computer science,university of California,Irvine,CA,92697,USA school of Information science and technology Sun Yat-sen University Guangzhou China school of computer science and technology Hunan University of Arts and Science Changde China Department of Electrical Engineering and computer science University of California Irvine USA

With regard to the failure and cancellation of business logic of web services composition(WSC),this paper propose a novel web services transaction compensation mechanism based on paired net which can dynamically establish agile compensation-triggered process(CSCP-Nets),and satisfy prospective compensation *** related execution semantics of five usual composition compensation patterns based on paired net are analyzed in the situations of successful execution,failure compensation and failure *** net based application of trip reservation process(TRP) shows that it is feasible.

关键词： Web services composition failure handling composition compensation execution semantic analysis paired net

维普期刊数据库

Design of robust output-feedback repetitive controller for class of linear systems with uncertainties

在线全文

学校读者我要写书评

暂无评论

science china(Information sciences) 2010年第5期53卷 1006-1015页

作者： WU Min 1 ? , ZHOU Lan 1 , SHE JinHua 2 & HE Yong 1 1 school of Information science and Engineering, Central South university, Changsha 410083, china 2 school of computer science, Tokyo university of technology, Tokyo 192-0982, Japan school of Information science and Engineering Central South University Changsha China school of computer science Tokyo University of Technology Tokyo Japan

Repetitive control, which adds a human-like learning capability to a control system, is widely used in many fields. This paper deals with the problem of designing a robust repetitive-control system based on output feedback for a class of plants with time-varying structured uncertainties. A continuous-discrete two-dimensional hybrid model is established that accurately describes the features of repetitive control so as to enable independent adjustment of the control and learning actions. A sufficient condition for the robust stability of the repetitivecontrol system is given in terms of a linear matrix inequality. The condition is then used to obtain the parameters of the repetitive controller. Finally, a numerical example demonstrates the effectiveness of the method.

关键词： learning output feedback repetitive control robust control linear matrix inequality

Research on the UI Integration Architecture of Service System

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Research on the UI Integration Architecture of Service Syste...

Application of mesoscale modeling optimization to development of advanced materials

2008 IEEE International Conference on Communications(ICC 2008)

作者： Jie Hou school of computer science and technology shandong university jinan china Shijun Liu school of computer science and technology shandong university jinan china Xiangxu Meng school of computer science and technology shandong university jinan china

As researches of Service science have gradually come into practical use,architecture of practical service system has arisen as an important *** solve this problem,the paper proposes a kind of service system integration architecture based on UI（User Interface） integration *** modules of this architecture and their constructing process are particularly *** the end of this paper,the main characteristics of this architecture are enumerated to summarize the whole architecture.

关键词： UI integration architecture service model service system portal

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Progress in Natural science:Materials International 2004年第8期14卷 8-15页

作者： SONG Xiaoyan(school of Materials science and Engineering, Beijing university of technology, Beijing 100022, china) Sch. of Materials science and Eng. Beijing Univ. of Technology Beijing 100022 China

The rapid development of computer modeling in recent years offers opportunities for materials preparation in a more economic and efficient way. In the present paper, a practicable route for research and development of advanced materials by applying the visual and quantitative modeling technique on the mesoscale is introduced. A 3D simulation model is developed to describe the microstructure evolution during the whole process of deformation, recrystallization and grain growth in a material containing particles. In the light of simulation optimization, the long-term stabilized fine grain structures ideal for high-temperature applications are designed and produced. In addition, the feasibility, reliability and prospects of material development based on mesoscale modeling are discussed.

关键词： mesoscale computer simulation Monte Carlo technique deformation recrystallization grain growth.

A Novel Robust 3D Mesh Watermarking Ensuring the Human Visual System

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A Novel Robust 3D Mesh Watermarking Ensuring the Human Visua...