Lua语言在轻量级Web服务器设计中的应用

Lua是一种小巧的脚本语言,它的易扩展性与整合性,使得它可以与别的语言很好的融合在一起,实现各种各样的需求,因此它的应用非常的广泛.本文利用Lua脚本语言与标准C语言相结合,在Linux操作系统上设计并实现了一个轻量级的Web服务器程序.Lua脚本语言的引入,使Web服务器不仅易于配置和安装,而且可以在那些无法负担IIS的主机上顺畅地运行;还进一步提高了服务器的运行速度,并增强了服务器的灵活性和扩展性.     

增强现实技术综述

增强现实技术是将计算机渲染生成的虚拟场景与真实世界中的场景无缝融合起来的一种技术,它通过视频显示设备将虚实融合的场景呈现给用户,使人们与计算机之间的交互更加的自然,同时具有广泛的应用前景,因此成为近年来的一个研究热点。随着跟踪注册技术的进步、计算机性能的飞速发展、深度摄像机的普及,以及Light Field投影技术在增强现实中的应用,增强现实技术逐渐成为下一代人机交互的发展方向。该文章首先概述了增强现实的主要研究内容和发展情况,并详细介绍了增强现实的关键技术、开发工具,然后分类概述了增强现实应用案例。     

高稳定度低纹波的线性稳压电源设计

设计制作了一款基于LT1083／LT1033系列大功率低压差三端稳压芯片的高稳定度低纹波直流电源,介绍了降压、整流滤波、线性稳压、LC低通滤波等主要构成模块。测试结果表明,本电源具有输出电压稳定度高、输出电流大、低纹波、低功耗等特点。     

皮肤流电响应监护系统与PC串口通信的设计

运用Visual Basic6.0开发了一套基于皮肤流电响应信号(GSR)的波形显示及分析系统.介绍了自行研制的皮肤流电响应硬件监护系统的硬件组成,利用VB中的MSComm控件实现计算机与GSR监护系统的串行通信,给出了详细的程序设计过程.     

Formal testing from timed finite state machines

In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where temporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our formalism allows three different ways to express the timing requirements of systems. Specifically, we consider that time requirements can be expressed either by means of fix time values, by using random variables, or by considering time intervals. Different implementation relations, depending on both the interpretation of time and on the non-determinism appearing in systems, are presented and related. We also study how test cases are defined and applied to implementations. Test derivation algorithms, producing sound and complete test suites, are also presented. That is, by deriving these test suites we relate the different notions of passing tests and the different implementation relations. In other words, for a given correctness criterion, a system represents an appropriate implementation of a given model if and only if the system successfully passes all the test belonging to the derived test suite.     

Approximate fixed point sequence for a finite family of asymptotically pseudocontractive mappings

Let E be a real Banach space and K be a nonempty, closed, convex, and bounded subset of E. Let T_i:K→K, i=1,2,…,N, be N uniformly L-Lipschitzian, uniformly asymptotically regular with sequences {ε_n}, and asymptotically pseudocontractive mappings with sequences , where {ε_n} and , i=1,2,…,N, satisfy certain mild conditions. Let a sequence {x_n} be generated from x₁K by

for all integers n1, where T_n=T_n(modN), {u_n} be a sequence in K, and {λ_n}, {θ_n} and {μ_n} are three real sequences in [0,1] satisfying appropriate conditions; then x_n−T_lx_n→0 as n→∞ for each l{1,2,…,N}.     

计算机辅助图像分类信息挖掘与应用探讨*

以沿海地区TM图像应用为例,通过量化方法由计算机对训练区的分离度进行确定与比较,进行最佳信息维数的确定与最佳信息维组合的选择,并将信息维数对分类精度的影响进行探讨。结果证明,这种方法可以得到能满足工作需要的分类精度,组合维数以6维最佳。     

一类多输入非线性系统的同时H∞镇定

研究了一类多输入非线性系统同时H∞镇定问题. 提出了可系统地构造公共二次控制储能函数(Control storage function, CSF)的方法. 基于公共二次控制储能函数,设计了可同时H∞镇定闭环系统的连续控制律. 通过一个例子说明了本文所提出方法的有效性.