在信息化教学视域下,翻转课堂教学模式在英语课程教学中得到了广泛应用,如何对相应教学效果进行客观、科学的评价已成为热点问题.运用数据分析方法对高职院校英语教学的特点、教学方式与影响因素进行调查分析,提出:高职院校英语教学评价体系应以学生、教师、督导和教学管理者等多元对象为评价主体,注重评价对象的可持续发展与教学过程的人性化评价理念,按照"课前、课中、课后"3个教学环节,综合考虑学习态度、教学内容、教学活动、教学方法与手段、教学资源、教学过程与教学实施等诸多因素,设计评价体系、开展教学评价.

针对移动学习、微课程在企业培训中的重要意义,对企业培训实例加以研究,剖析了移动学习微课程在企业培训的应用方法和途径,提出三种应用模式,为企业培训探索出一条先进技术与新教学方式结合的未来发展之路.

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑-TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.

There are defects on analyzing of topological relationship between point and polygon with Ray-algorithm, this paper made use of the different relationship of positions to improve and extend the Ray-algorithm according to the complexity of polygon, and it extended into complex polygon simply and effectively by adding one, adding two and adding three operations. It could analyze of topological relationship between point and polygon accurately, and gave the detailed steps of the algorithm. It shows that the result of experiment, this method was effective to simple and complicated of polygons.

农业是第一产业,是国民经济的基础产业。俗话说"民以食为天",农业不仅是人民赖以生存的产业,也是影响一个国家实力的重要因素。在工业和服务业快速发展的新时代,对农业也提出了新的要求和标准。在这种形势下,加快发展精准农业既是转变经济发展方式,全面建设小康社会的重要内容,也是提高农业综合生产能力、增加农民收入、建设社会主义新农村的必然要求。本文介绍了精准农业的内涵及其技术体系,并对我国精准农业发展现状进行了研究。

本文对十种移动学习终端在5方面进行微比较并给出选择，力求满足不同学习者的学习需要。

With the fast development of Internet, web pages created by web spam which aimed at cheating the search engine and increasing rankings in the search results are prevailing. Web spam is a big problem for today's search engine; therefore it is necessary for search engines to be able to detect web spam during crawling. The web spam detection problem is viewed as a classification problem, that means classification models are created by machine learning classification algorithms, which given a web page, it will classify it in one of two categories: Normal and Spam. For support vector machine classification model, soft margin classifier based on linear support vector machine was developed by learning the sample set, and penalty functions were defined according to the links between web pages that seems to have similar characteristics. Not only the content features but also the link structures between web pages were taken advantage of to build classifier.

This article introduces the concept of things and key technologies including RFID technology and wireless sensor networks,describes the application of RFID and WSN-based internet of things in agriculture,then gives personal opinions on the application of internet of things in modern tobacco agriculture,and finally forecasts its development.Application of the internet of things could change the extensive tobacco production and management patterns,which had certain reference values to the development of modern tobacco agriculture.

A model of intelligent tutoring systems with emotional pedagogical agents is presented in this paper, and the functionalities of the key components of the system are described. To improve the interaction between learners and the system, a kind of emotional pedagogical agents which can deduce users' emotional statues, is introduced in order to improve pedagogical effects. The emotional pedagogical agents produces personalized learning units dynamically based on the information provided by user models and the expression information collected from cameras, in order to improve the self-adaptability and pedagogical effects of the system.

According to research of client honey-pot system and mechanism of the malicious web sites attacks,a highly interactive client honey-pot system called Malicious Web Site Hunter was designed and implemented based on Agent working model.The system is composed of control sub-system,high-interaction client honey pot sub-system and service sub-system.It is a malicious websites detecting with intelligence,which make full use of Agent's cooperation and honey pot's accuracy.The formal description of Agent of the system is implemented based on Agent VSK Logic formal description language,which not only to describe the Agent and its characteristics of environmental information,but also can describe the complete state of change process.

Mobile agent is a distributed computing model, the computing entity is no longer a static and passive, but the one can be calculated independently. The paper studies how to solve the moblie agent migration strategy through the Genetic Algorithm under the case of sequential, selective and parallel. Proposed the definition of the extended itinerary graph, by standardizing the restriction, selecting the proper fitness function, improving the arithmetic operators, the new Genetic Algorithm can solve the selective mission and paralleled mission.

With the development of artificial intelligence,the Agent theory and technology with its application has aroused great attention.Agent studies in the past focused the structure of Agent.With the development of biology and psychology,emotion is taken into account in the Agent studies by computer scientists.This paper establishes a formal model Em-BDI-VSK of the Agent with an emotional operator,which combines logic and VSK logic and BDI logic and adds emotional factors,and finally builds its semantic framework and axiom system.

With the changes in computing environment, the research on mobile Agent has attracted wide range of applications; Migration strategy of mobile Agent becomes one of popular research topics. Based on extended itinerary graph, this paper presents encoding scheme and data structure of sequential, selective and parallel tasks, and the using of improved genetic algorithms to solve problems of migration of mobile Agent. The paper implements the migration stimulation toolkit of mobile Agent, in order to test the effectiveness of the proposed method, and can meet the requirement of migration strategy in accuracy and convergence speed.

In this paper, an ontology is regarded as an information system in formal concept analysis. Then, based on theories of concepts, a formal context in ontologies defined by a set of properties is conceptualized as a concept with the extent and the intent. There are two kinds of properties implied by a formal context: one is the set of properties in its intent and another is the set of default properties. Then the features of formal contexts in ontologies are discussed in detail.

With the development of artificial intelligence, the Agent theory and technology research and application has aroused great concern and attention. Agent studies in the past, mainly research the structure of Agent. With the development of biology and psychology, joined the Agent in the emotional, increasingly attracted the attention of computer scientists. In this paper, put forward a formal model Em-BDI-VSK of the Agent with emotional operator, which combines logic and VSK logic and BDI logic and add emotion, and build the model semantic framework and axiom system.

In this paper,we model the interaction of nodes in WSN and intrusion detection system(IDS) as a Bayesian game formulation and use this idea to make a secure routing protocol.As this game approaches to Nash equilibrium,it leads to a defense strategy for the network.Simulation results show that the model can availably repress the selfish behavior of nodes and raise the service quality of the network.

In this paper, the algorithms of decomposing a complete multi-partite graph into complete bipartite graphs K-2(r,n), where r=1 and r=2, are proposed. Two main ways are used in the algorithms, one is "the way of deleting edge" and another is "the way of breadth-first-search of graph". Some optimization of the algorithm of the case r=2 has been done. And an algorithm, which to add direction to a complete multi-partite graph, is also discussed in this paper.

Web spam detection becomes a hot topic in the field of machine learning in.Based on the introduction of search engine spam and spam techniques,this paper makes a review of research on various Web spam detection models.For a variety of models,especially as the content analysis based detection model,link structures based detection models,detection model combined content and link structures,and others,are described and analyzed.The direction of the research on the topic is also conducted to the prospect.

Mobile Agent technology has broad application prospects, mobile strategy of which will directly affect the performance of Mobile Agent and even completion of its Task. Therefore, the research on self-migration calculation of Mobile Agent has theoretical significance and application value. Sequence will be regarded as a part of selective task, so this paper only discusses migration issues of Mobile Agent under the case of sequential, selective and parallel. This paper proposes a new definition of the extended itinerary graph, and on this basis gives the mathematical calculation model of the fitness function, population selection operator, mutation probability of genetic algorithm. By improving the genetic algorithm, Migration Algorithm of Mobile Agent is designed.