二进制可辨矩阵的变换及高效属性约简算法的构造

This paper dose a lot of mathematics transformation to Binary Disernibility Matrix,it is called BDM too.Though these transformations,we may both decrease a lot of memory space of BDM and contribute to make high efficiency attributes reduction algorithms.Based on BDM,we also give three algorithms which are in turn used to reduce BDM,attribute‘‘‘‘s reduction and judge reduction.Finally,ew give three examples to illuminate the feasibility of three algorithms and analyze the complexity of algorithms.     

A site-based proxy cache

In traditional proxy caches,any visited page from any Web server is cached independently,ignoring connections between pages,And users still have to frequently visity in dexing pages just for reaching useful informative ones,which causes significant waste of caching space and unnecessary Web traffic.In order to solve the above problem,this paper introduced a site graph model to describe WWW and a site-based replacement strategy has been built based on it .The concept of “access frequency“ is developed for evaluating whether a Web page is worth being kept in caching space.On the basis of user‘‘‘‘‘‘‘‘s access history,auxiliary navigation information is provided to help him reach target pages more quickly.Performance test results haves shown that the proposed proxy cache system can get higher hit ratio than traditional ones and can reduce user‘‘‘‘‘‘‘‘s access latency effectively.     

Distributed and cooperative information retrieval on the World Wide Web

A masss of heterogeneous,distributed and dynamic information on the World Wide Web(the Web) has resulted in “information overload“ .It‘s an important and urgent reserach issue to provide users with effective information retrieval service on the Web.Web search enginees attempt to solve this problem,yet their effect is far from satisfying.In this paper,a distributed and cooperative strategy for information retrieval on the Web is proposed to substitute the centralized mode adopted by the current search engines.Then a new information retrieval system model IRSM is presented.which supports the retrieval of metadata about web documents and uses Z39.50 standard protocol to unify the heterogeneous interfaces of uments and uses Z39.50 standard protocol to unify the heterogeneous interfaces of different systems.Based on that,a distributed and cooperative information refieval framework,called DCIRF,is designed to help users in fast and effective information retrieval on the Web.     

构造类型论与计算机程序设计

Recent years,in the area of computer programming language theories,automated deduction,and more generalized area of logic and computing,a lot of systems based on constructive type theory are used widely to design type system for computer programming languages,to do formal system develpment and verification,and to be used as foundation of mathematics and computing.constructive type theory provides computer scientists with a framework to combine logic and computer program design in an elegant and flexible way.In this paper,the evolvement of constructive type theory is first introduced.The several foundations of type theory are then discussed,together with analysis of the relationships between them.The relation between constructive type theory and computer programming is explored in-depth.In the last,Martin Lof‘‘‘‘s intuitionistic type theory is used as an example to demonstrate how to do program development and verification in the same formal system.     

Web caching: A way to improve web QoS

As the Internet and World Wide Web grow at a fast pace, it is essential that the Web‘s performance should keep up with increased demand and expectations. Web Caching technology has.been widely accepted as one of the effective approaches to alleviating Web traffic and increase the Web Quality of Service (QoS). This paper provides an up-to-date survey of the rapidly expanding Web Caching literature. It discusses the state-of-the-art web caching schemes and techniques, with emphasis on the recent developments in Web Caching technology such as the differentiated Web services, heterogeneous caching network structures, and dynamic content caching.     

Knowledge-enhanced semantic communication system with OFDM transmissions

As a promising technology to enable effective multi-modal transmission over wireless channels,semantic communication has attracted a lot of attention from academics and industries. Different from Shannon’s information theory, based on common background knowledge provided by the knowledge base, the goal of semantic communication is transmitting intended useful information from the transmitter and recovered by the receiver at the semantic level. However, the existing studies on semantic communicat...     

Web超链分析算法研究

The World Wide Web serves as a huge, widely distributed, global information service center, and expand-ing in a rapid speed. It is import to find the information the user need precisely and rapidly. In recent years, re-searchers discovery that rich and import information is contained among hyperlinks, and develop a lot of algorithm us-ing hyperlink to improve the quantity and relevance of the results which search engine returned. This paper presents a review and a comparison of such algorithms existing now. Problems of these algorithms and directions to further re-search will be discussed.     

Resource Modeling and Cargos Tracking Service in Logistics Resource Grid Based on WSRF

I. INTRODUCTION The Web Service Resource Framework (WSRF) [1] is a set of specifications announced in 2004 as a new way for manipulating stateful resources to perform grid tasks using web services. A WS-Resource is a composition of a web service and a stateful resource described by an XML schema that is associated with the web service’s port type and addressed by a WS-Addressing EndpointReference [2]. Four specifications in the WS-ResourceFramework have been released. WS-Resou…     

A Logical Framework for Knowledge Base Maintenance

The maintenance sequences of a knowledge base and their limits are introduced.Some concepts used in knowledge base maintenance,such as new laws,user‘s rejections,and reconstructions of a knowledge base are defined;the related theorems are proved.A procedure is defined using transition systems;it generates maintenance sequences for a given user‘s model and a knowledge base.It is proved that all sequences produced by the procedure are convergent,and their limit is the set of true sentences of the model.Some computational aspects of reconstructions are studied.An R-calculus is given to deduce a reconstruction when a knowledge base meets a user‘s rejection.The work is compared with AGM‘s theory of belief revision.     

The Data Warehouse Model Based on Web Service Technology

This paper analyses the advantages of comhining Web service and data warehouse, then introduces a distributed data warehouse model based on Web service. It also introduces some features of Web services and data warehouse, Web service is a bridge, which can link different models, different operation systems and different program languages. With the development and application of Web service technology, the current operation of design and application will shift to develop and make use of Web service. Web service will matke ＂software as service＂ come true and finally let people think software is of great value, and its value can be embodied and transferred on the web. As a decision supporting system, data warehouse provides a solid plattbrm formed by current data and past data. Using this platform, companies can make a series of commerce analysis. This work combines the Web service and data warehouse, extends data warehouse＇s network ability. Then, Companies Corporation and individual can obtain information conveniently.     

A self-adaptive linear evolutionary algorithm for solving constrained optimization problems

In many real-world applications of evolutionary algorithms, the fitness of an individual requires a quantitative measure. This paper proposes a self-adaptive linear evolutionary algorithm (ALEA) in which we introduce a novel strategy for evaluating individual’s relative strengths and weaknesses. Based on this strategy, searching space of constrained optimization problems with high dimensions for design variables is compressed into two-dimensional performance space in which it is possible to quickly identify ‘good’ individuals of the performance for a multiobjective optimization application, regardless of original space complexity. This is considered as our main contribution. In addition, the proposed new evolutionary algorithm combines two basic operators with modification in reproduction phase, namely, crossover and mutation. Simulation results over a comprehensive set of benchmark functions show that the proposed strategy is feasible and effective, and provides good performance in terms of uniformity and diversity of solutions.     

Modeling and boundary control of a flexible marine riser coupled with internal fluid dynamics

In this paper, vibration reduction of a flexible marine riser with time-varying internal fluid is studied by using boundary control method and Lyapunov’s direct method. To achieve more accurate and practical riser’s dynamic behavior, the model of marine riser with time-varying internal fluid is modeled by a distributed parameter system (DPS) with partial differential equations (PDEs) and ordinary differential equations (ODEs) involving functions of space and time. The dynamic responses of riser are completely different if the time-varying internal fluid is considered. Boundary control is designed at the top boundary of the riser based on original infinite dimensionality PDEs model and Lyapunov’s direct method to reduce the riser’s vibrations. The uniform boundedness and closed-loop stability are proved based on the proposed boundary control. Simulation results verify the effectiveness of the proposed boundary control.     

iMashup: a mashup-based framework for service composition

The Web has undergone a tremendous change from a primarily publication platform towards a participatory and"programmable"platform,where a large number of heterogeneous Web-delivered services(including SOAP and RESTful Web services,RSS and Atom feeds)are emerging.It results in the creation of Web mashup applications with rich user experiences.However,the integration of Web-delivered services is still a challenging issue.It not only requires the developers’tedious eforts in understanding and coordinating heterogeneous service types,but also results in the time-consuming development of user interfaces.In this paper,we propose the iMashup composition framework to facilitate mashup development and deployment.We provide a unified mashup component model for the common representation of heterogeneous Web-delivered service interfaces.The component model specifies necessary properties and behaviors at both business and user interface level.We associate the component model with semantically meaningful tags,so that mashup developers can fast understand the service capabilities.The mashup developers can search and put the proper mashup components into the Web browser based composition environment,and connect them by data flows based on the tag-based semantics.Such an integration manner might prevent some low-level programming eforts and improve the composition efciency.A series of experimental study are conducted to evaluate our framework.     

A Meta-Model for Model-Driven Web Development

Several model-driven development (MDD) techniques for web applications exist; these techniques use meta-models for defining transformations and designing models. In this paper, we propose a meta-model for abstract web applications that can be mapped to multiple platforms. We extend a UML-based model to support specific features of the Web and Web 2.0 as well as to establish a bridge to functional and usability requirements through use cases and user interface (UI) prototypes. The meta-model also helps avoid a common MDD-related problem caused by name-based dependencies. Finally, mappings to a number of specific web platforms are presented in order to validate the appropriateness of the meta-model as an abstract web model.     

An adaptive series control for an interior permanent magnet synchronous motor with actuator compensation

An adaptive series speed control system for an interior permanent magnet synchronous motor (IPMSM) drive is presented in this paper. This control system consists of a current and a speed control loop, and it is intended to improve the drive’s speed tracking performance as well as to compensate for voltage distortions caused by non-ideal characteristics of the drive’s actuator, which is a voltage source inverter (VSI). To achieve these goals, a simple model that captures these characteristics of the VSI is developed and embedded in the motor’s electrical model. Then, based on the resulting model, an adaptive proportional-integral (PI) control for the current loops is designed, allowing for state regulation and actuator compensation. Additionally, to improve the drive’s speed tracking performance, a proportional-model-reference adaptive controller (MRAC) is designed for the speed loop. Techniques from machine learning are used for designing the MRAC to effectively address nonlinearities and uncertainties in the speed dynamic. Finally, simulation results are presented to illustrate the outstanding performance of the proposed multi-loop controller.     

架构一个企业的分布式服务群

The Development of the Internet raises enterprises‘‘‘‘‘‘‘‘requirements on Information Exchange.To construct a powerful intranet with proper architecture is the key for enterprise to realize Information Exchange.This article describes a distributed services architecture based on DCOM/CORBA.This architecture makes development of applications and Web publication easier and more flexible.     

基于Web的多形态新闻信息发布模型

There are a lot of different terminals existed in internet. Each of them has different demand on format and language when it retrieves information. This paper introduces a Web news information publish model with multi-for-mat and multi-language capability. Within this model,users no longer need specify format and language when he re-trieves information by any internet terminal. And information provider no longer need create copies for every format.A discrete model implement based on NewsML,a kind of XML standard used in news area,is presented in the paper.     

了解XML

The Extensible Markup Language (XML) was originally envisioned as alanguage for defining new document formats for the World Wide Web.XMLis derived from the Standard Generalized Markup Language (SGML), and canbe considered to be a meta-language: a language for defining markuplanguages. SGML and XML are text-based formats that provide mechanismsfor describing document structures using markup tags (words surrounded by‘<’and ‘>. Web developers may notice some similarity between HTML…