The activities are closely related with time in workflow systems．How to guarantee that the activity is executed at a appropriate time has became the crucial problem in workflow systems．In this paper， temporal logic was used to solve this problem．Firstly，the concept of validity in workflow system was presented．Then propose a model of validity constraint based on temporal logic and the method to verify the validity constraint of the model．Finally，a instance is used for showing the validity of the method．

With the explosive development of the Internet，Search Engine Technology develops continuously and perfectly．This paper researches a search engine algorithm based on ant colony algorithm．Simulation experiments prove that this algorithm can improve search efficiency．This algorithm has parallelism essentially．It can be realized easily in distributed systems on the network．It can also maintain the system stability better．

Macro-to-Micro Model is similar to the idea of Granular Computing. The Macro-to-Micro data structure can be built in O(n) time. It can also be built in O(1) time by parallel technology. Moreover, dynamic insertion, deletion and query operation can be completed in constant time without the problem of breaking the balance of tree. This data structure and preprocessing operation can be shared with Macro-to-Micro algorithms, so that we can greatly improve the efficiency of the multi-operation problem. Experimental results show that the nearest neighbour searching and convex hull algorithm based on Macro-to-Micro model has great advantage than traditional algorithm.

Pages ranking has very important application in search engines，it determines whether a search engine is good or not．In this paper，a comprehensive survey on ranking is given，at the same time，the approaches and features of a variety of existing ranking arithmetics are reviewed in detail，then these key techniques are listed and compared with each other．In the end， the future trend of ranking is discussed．

Background model is a common method for detecting moving object in traffic video．A Video moving object detection and tracking algorithm in stationary scene is presented．presented．The researchers adopt the background difference method of mixture gaussian model to draw the moving object under the complex background condition．Programmed and tested by the OpenCV，the algorithm can realize the detecting of moving object accurately．Experiment result of the new model shows the convergent velocity in the process of surveillance is improved evidently．

Resources scheduling is one of core technologies of grid computing，and it is a NP-complete problem．Genetic algorithm is search algorithms to solve task scheduling．An improved genetic algorithm is thus proposed for task scheduling on computational grid，and then the subtasks are ranked according to their depth value．This algorithm considering the algorithmic ability of computing resource，the relationship can be obtained through the DAG，solves wrong chromosome．This algorithm employ multi-group on evolution of population，strengthen the fatherly chromosome evolvement and recombined．The simulation comparison results show the effectiveness and ability of proposed algorithm to the scheduling problem is better than conventional genetic algorithm．

With the rapid development of computer networking and enterprise Informatization，document informatization grows rapidly．But there are many security risks in the process of document informatization，such as bugs in hardware and software，virus，hacks’ attack，operator mistakes．This paper analyses the security risks we face，and makes advices for these risks．

With the rapid development of computer networks，network data security problem becomes more serious．How to achieve this particular orientation LAN data secure transmission within the region，how to solve the data resource sharing and security is becoming an important concern issues．This article discusses the basic LAN data frame，analyzes the risks of local area network data security，and put forward effective solutions designed to secure data LAN for the reference of views．

Window function method is a way to design digital filter．This paper introduces how to design FIR digital filter through window function and analyses different windows to exert influence on the performance of the filter．At last we compare performance by Matlab simulation．

The classical Fuzzy C-Means clustering algorithm (FCM) is widely used in image segmentation．However FCM clustering algorithm usually leads to local minimum result and noise sensitive．Skull stripping on human brain by using seeds filling and morphological operations is proposed．The original Euclidean distance in the FCM is replaced by a kernel-induced distance，by using kernel method．Then，spatial information is added to the objective function．The experimental results show that the new algorithm can segment the image effectively and properly，and it is shown to be more robust to noises．

With the development of computer science， face detection research is receiving increasing attention． This article gives in-depth research and analysis of the Adaboost algorithm， introduces the method of cascade structure and integration plans based on Adaboost， then analyzes the Haar-like features and classifier algorithm．

Using the ARM processor and μC/OS- Ⅱ as platform，this system obtains the GPS information with the GPS receiver．It matches the campus map information and the geographic information after processing，achieving accurate campus position and navigation．

Information Technology has replaced the Data Processing Technology as hot topic of the information research．The problem we face is not how to deal with the data but how to use it．This paper introduces both the concept of Data warehouse and OLAP’s application on the Data warehouse，describes the OLAP based on RDB，including the features of the ROLAP．Finally，it introduces the implement of the Data warehouse in telecommunication．

This paper discussed a new system remote monitoring measure system based on wireless sensor network technology and digital image processing technology．Through the wireless sensor nodes，image and video capture module collects video signals - smoke，fire，which is converted to digital information and sent to the monitoring center．The staff in the monitoring center make the data for further processing．The system provide intelligent protection for the rapid discovery of forest fires．

As a new development direction of e-business， E-commerce has a very promising market． This paper analyzes the development of mobile E-commerce status， development prospects and problems， and proposes the countermeasures．

With the increasing social demands for the improvement of E-Government system performance， a large quantity of E-Government systems are web applications based on B/ S mode，which have severe problems such as poor expansibility，bad interoperability，“information island” in varying degree．According to the current situation of E-Government systems，this dissertation proposes to apply SOA technology to solve the problems．

Cisco Packet Tracer is a network-assisted learning tool，released by the Cisco Corporation．It can provide a design、configure the network and solve networking problems for Cisco courses enthusiasts．According to "CCNA Study Collection (Exam No．640-802)" experimental demand，this article designs two practical CCNA experimental topologies in the Cisco Packet Tracer simulator，so that Cisco courses learner can learn network better．

Though the introduction and research about the apt-cacher caching and channel bonding technologies in linux operating system，a repository cache platform is build．This platform can offer load balancing and fault tolerance function with lower cost．By using this platform，it can reduce the stress of export concurrent network traffic，so as to save the network bandwidth and improve the speed of the internal network．

FPGA is a field-programmable logic devices，the use of CMOS SRAM manufacturing process makes it repeated programming and can achieve a variety of logic functions flexibility，so they are widely used in the design of modern electronic systems．But FPGA also easy to lose the data，the internal configuration data will be lost when the system power-down．So they require an external ROM to save its configuration data．This paper mainly describes the passive serial configuration scheme of EPF10K10 and the application of EPC2．

Data fitting is frequently used in our life．The points fitting process can be achieved through interpolation methods．According to the least-squares method， it achieves point fitting by the characteristics of the grid．The process is simple，and the surface smoothness is better．Owing to the flexibility and bending elastic plate of trade-offs，surface can be fitted when data is noisy or duplication．

Software radio technology is a technology based on the modern communication theory，using digital signal processing technology as the core，and using methods of computer software design for technical improvement．The application of software radio technology to 3G system can solve the problems of network interoperability effectively．So that 3G systems can provide seamless broadband services to achieve global coverage．

Printed circuit board， also known as circuit board，it is one of important components of electronic products．For almost every electronic equipment，small electronic watches，as long as there is electronic components，electrical interconnection between them must use printed circuit boards．This paper describes the development of printed circuit board history and the future development trend of printed circuit boards．

Short-wave, the traditional means of communication, holds lots of advantages which other means of communication can not match, in particular, in the short message transmission technology. The short-wave detection signal method can guarantee reliable and accurate information transmission, achieving high reliable information-receiving. Based on the presenting of the short message transmission channel model, format, and short-wave detection communication network building, the paper analyzes the specific application of short-wave detection signal on short message transmission technology from three aspects of SMS data encoding, data decoding, data frame detection.

Situation-based is the primary means of constructing a Project-Based Course．“Three parallel projects” is an effective form for this curriculum structure．Besides to design the Projects，there are several key factors that should be concerned in the implementation of the Project-Based Course．

As numerous applications can be derived from the third generation mobile communication technology, this thesis is about the research on developing the navigation system for the blind by leveraging on 3G and GIS. Such a system enables direction givers at home to direct the blind, allowing them to travel alone. Moreover, the system can also be applied to many other fields. The realization technology of the system mainly integrates the third generation system communication, the geographic information system (GIS) and the global positioning system (GPS).