新编民谣

到了天津才知道自己笑话讲不好到了上海才知道自己穿的过时了到了湖南才知道自己辣的吃不了到了四川才知道自己麻的受不了到了山西才知道自己喝醋滋味了到了山东才知道自己爽快有多好到了新疆才知道石油真是不愁了到了内蒙才知道大革原有多么好到了西藏才知道空气真是缺不了     

运用多媒体技术,提高小学语文课堂教学效率

科学技术的日新月异发展,推进了素质教育的进程,多媒体技术已经走进了课堂,为教师教学开辟了广阔空间。多媒体技术激发了学生浓厚的学习兴趣,化解了教学难点,创设了丰富的教学情境,有效地进行了德育渗透,突出了学生主体地位,提高了课堂教学效率。本文试就小学语文教学运用多媒体技术问题进行了探讨。     

简论多媒体技术在小学语文教学中的应用

科学技术的日新月异发展,多媒体技术已经进入了课堂,优化了课堂教学,提高了教学效率,突出了学生主体地位,激发了学生学习欲望,调动了学生学习的积极性、主动性、创造性,扩大了知识容量,促进了学生想象思维的发展,实现了课堂教学过程的最优化。本文试就多媒体技术在小学语文教学中的应用进行了探讨。     

多媒体技术在小学数学教学中的作用

科学技术的日新月异发展,推动了素质教育的进程,多媒体技术已经走进了课堂,本文阐述了小学数学教学应用多媒体技术,激发了学生浓厚的学习兴趣,化解了教学重点难点,营造了良好的氛围,优化了课堂教学,提高了课堂教学效率。     

软件构架中接口设计方法

该文强调了软件构架中接口设计的必要性,介绍了5个方面的设计原则;给出了接口描述规范,介绍了5个指导方针;描绘了接口设计的标准结构(包含9个部分);罗列了接口可能的涉众;阐述了接口的表示方法;用具体的实例展示了这些方法在实践中的应用。     

基于契约的网格资源管理

针对网格计算经济，研究了将契约应用于网格资源管理和调度的方法。提出了一个结构化的契约模式，完成了契约匹配算法，分析了契约的安全问题和相关处理。在此基础上提出了基于契约的网格资源管理体系。该方法简化了资源管理以及网格监测，规范了GSP的行为，促进了资源的可靠性，进而推进了QoS的改善。     

视觉增强环境中图像校正算法的研究

文章研究了在视觉增强环境下的校正问题。建立了在视觉增强环境中校正的模型,研究了算法并提出了解决边缘校正问题的方法。利用边缘检测的方法替代了人工干预的方法,避免了在校正过程中人的参与,减少了人为因素导致的误差,实现了自动校正(SelfCalibration)。     

Ajax技术在EXT框架与MVC模式整合中的应用

分析了传统WEB系统的局限性,介绍了Ajax技术及工作原理。员工通讯录管理系统采用EXT框架和MVC模式相结合,使用Ajax技术实现了员工管理系统,克服了传统WEB的弊端,实现了界面友好,降低了开发成本,减轻了服务器端的压力,提高了系统的响应速度,减少了使用者的等待时间,使用户感受到使用Ajax技术与EXT框架与MVC模式相结合的优越性。     

具有上界约束的关联规则算法研究

针对具有上界约束的关联规则问题进行了研究，给出了上界约束的定义，分析了满足上界约束频繁集的性质，并给出了相关的证明。在此基础上，提出了基于FP-Tree的上界约束算法，采用了预先测试的方法，降低了测试项集的成本，提高了计算效率，实验结果证明该算法具有较高的效率。     

基于CORBA的发布-订阅系统

设计了一个基于CORBA的、混合了一般发布-订阅和点对点传输模式的发布-订阅系统。结果表明，该系统满足了测控需要。介绍了系统的原理和基本结构，描述了工作流程，分析了特点和优点，给出了基于TAO／ACE的实现，最后提出了今后的工作。     

Developing a vision-based auto-recharging system for mobile robots

This article describes a vision-based auto-recharging system that guides a mobile robot moving toward a docking station. The system contains a docking station and a mobile robot. The docking station contains a docking structure, a control device, a charger, a safety detection device, and a wireless RF interface. The mobile robot contains a power detection module (voltage and current), an auto-switch, a wireless RF interface, a controller, and a camera. The controller of the power detection module is a Holtek chip. The docking structure is designed with one active degree of freedom and two passive degrees of freedom. For image processing, the mobile robot uses a webcam to capture a real-time image. The image signal is transmitted to the controller of the mobile robot via a USB interface. We use an Otsu algorithm to calculate the distance and orientation of the docking station from the mobile robot. In the experiment, the proposed algorithm guided the mobile robot to the docking station.     

Bumpless transfer between observer-based gain scheduled controllers

This paper deals with bumpless transfer between a number of observer-based controllers in a gain scheduling architecture. Linear observer-based controllers are designed for a number of linear approximations of a non-linear system in a set of operating points, and gain scheduling control can subsequently be achieved by interpolating between each controller. The Youla-Jabr-Bongiorno-Kucera (YJBK) parameterization is used to achieve a smooth scheduling between the controllers. This approach produces a scheduled controller as a linear fractional transformation between a fixed controller and a scheduling parameter. The approach is tested on a simple, but highly non-linear model of a fossil fuel power plant.     

An Interactive Designing System with Virtual Sculpting and Virtual Woodcut Printing

In this paper, we propose an interactive designing method and a system based on it to create 3D objects and 2D images. This system consists of two subsystems for virtual sculpting to create a 3D shape and virtual printing to produce a picture with a printing block. In the virtual sculpting subsystem, a user can form solid objects with curved surfaces as if sculpting them. The user operates virtual chisels, and can remove or attach arbitrary shapes of ellipsoids or cubes from or to the workpiece. A 3D object generated by virtual sculpting looks like a real wooden sculpture. If using a board as a workpiece, a user can generate a virtual printing block. In the virtual printing subsystem, a user can synthesize a woodcut printing image from the virtual printing block mentioned above, a virtual paper sheet, and a printing brush. The user can synthesize a realistic woodcut print with a procedure similar to the actual woodcut printing.     

Panoramic appearance-based recognition of video contents using matching graphs

This paper proposes a general scheme for recognizing the contents of a video using a set of panoramas recorded in a database. In essence, a panorama inherently records the appearances of an omni-directional scene from its central point to arbitrary viewing directions and, thus, can serve as a compact representation of an environment. In particular, this paper emphasizes the use of a sequence of successive frames in a video taken with a video camera, instead of a single frame, for visual recognition. The associated recognition task is formulated as a shortest-path searching problem, and a dynamic-programming technique is used to solve it. Experimental results show that our method can effectively recognize a video.     

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

We show how Ohori and Sasano's recent lightweight fusion by fixed-point promotion provides a simple way to prove the equivalence of the two standard styles of specification of abstract machines: (1) in small-step form, as a state-transition function together with a ‘driver loop’, i.e., a function implementing the iteration of this transition function; and (2) in big-step form, as a tail-recursive function that directly maps a given configuration to a final state, if any. The equivalence hinges on our observation that for abstract machines, fusing a small-step specification yields a big-step specification. We illustrate this observation here with a recognizer for Dyck words, the CEK machine, and Krivine's machine with call/cc.The need for such a simple proof is motivated by our current work on small-step abstract machines as obtained by refocusing a function implementing a reduction semantics (a syntactic correspondence), and big-step abstract machines as obtained by CPS-transforming and then defunctionalizing a function implementing a big-step semantics (a functional correspondence).     

A proposal of bargaining solution for cooperative contract in a supply chain

As a problem in supply chain management, the decision problem of terms and conditions of a contract between a supplier and a retailer is recognized commonly. The concept of cooperative bargaining between a supplier and a retailer is the key concepts to resolve this problem in the supply chain. Then, the bargaining evaluation function by Nash in the game theory exists as a tool to obtain the solution by cooperation bargaining. The Nash bargaining solution is derived under the premise that a power balance between a supplier and a retailer is equal. However, the situation where the power balance between a supplier and a retailer in actual bargaining is not equal is supposed frequently. For the purpose of reflecting the power balance in obtaining the bargaining solution, the concept of a general bargaining solution was proposed and then the general bargaining evaluation function for obtaining the general bargaining solution was devised. However, in the case of adopting the general bargaining evaluation function as a bargaining tool, some problems are included. In this article, we address the problems in the general bargaining solution. Then, we propose a new concept of bargaining process to obtain a solution under considering the existence of power balance between a supplier and a retailer.     

Error estimate for quasistatic history-dependent contact model

In this paper we consider a mathematical model which describes a quasistatic process for a viscoelastic body in contact with an obstacle or a foundation. The variational formulation of the problem is in the form of a system coupling a nonlinear integral equation with a history-dependent hemivariational inequality. We establish a fully discrete scheme of the abstract problem and derive a result on error estimate.     

Conditional states and independence in D-posets

In this paper a new approach to a conditional probability is studied in more general structure called a D-poset. The authors go into the inner structure of a conditional system which is a crucial notion for the existence of a conditional state. An independence of elements in a D-poset with respect to a state is defined.     

手机轨迹中活动停驻点识别

针对现有停驻点的问题,将手机用户轨迹与背景地理信息相结合,并引入功能区概念,通过考虑用户在某一功能区域内的整体活动来判断用户是否在此停驻。通过对带有标签的模拟的手机轨迹数据进行实验,证明了新的停驻点识别方法有效地避免了由于正常切换、错误切换带来的误判。停驻点的判断更为宽泛,不仅限于一个小的范围（单个基站的覆盖范围）,而是由多个相邻且功能相似小区组成的功能区中的小区集合。     

Detection and replacement of a failing node in the wireless sensors networks

The lifetime in a wireless network, in particular a wireless sensor network, depends strongly on the connectivity factor between nodes. Several factors can be at the origin of a connectivity rupture such as: lack of energy on a significant node level, infection of a vital node by a malevolent code and a logical or physical failure of a primary node. This rupture can lead in some cases to a reconfiguration of the network by generating a prejudicial overhead or in other cases to a failure of the mission assigned to the network. In this paper, we propose a DRFN approach (Detection and Replacement of a Failing Node) for the connectivity maintenance by carrying out a replacement chain according to a distributed algorithm. Through simulation, we have shown our approach efficiency. Compared with similar work, our proposed approach consumes less energy, and improves the percentage of reduction in field coverage.