Using ambients to control resources

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals aim at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of mobile ambients, named controlled ambients, that is suited for expressing such issues, specifically denial of service attacks. We present a type system for controlled ambients, which makes static resource control possible in our setting, and enhance it with a rich notion of resources .     

应用GPS授时时角拍星法标校测角精度

在用拍星法标校高精度测角设备过程中,针对通常采用天文授时存在的授时难、理论值误差大等问题,提出了应用 GPS 授时时角拍星法进行拍星标校。授时精度的提高和新时角算法的运用,大大提高了拍星标校的理论值精度,标校精度可达 5″以内,并在高精度测角设备上得以应用。     

物流GPS监控管理系统的设计和应用

物流GPS监控管理系统是一个基于GPS车载设备/监控中心/互联网的移动目标跟踪服务平台,以地理信息系统(GIS)为基础,借助互联网进行信息汇总,集监控、定位、报警及调度于一体的信息管理系统,它的应用能有效地提升物流企业的现代化管理水平。本文针对江铜集团永信运输有限公司物流GPS监控管理系统的特点、设计开发和应用作了详细的介绍。     

GPS电离层改正模型的评价

讨论了单频接收机的电离层延迟的改正和有关电离层的概况及对GPS信号的影响．对电离层的物理概况作了归纳，并就GPS信号在电离层的传播及其影响进行了探讨，总结了几种电离层延迟改正模型．最后集中讨论了克罗布歇的模型构建及其解算，对模型的优缺点进行了总结，并对电离层延迟改正模型作了评价与展望．     

How international is Computers and Composition?

In this article, I examine to what extent Computers and Composition: An International Journal for Teachers of Writing is international. My analysis of several aspects of the journal indicates limited international scope. I also discuss two issues important when considering the potential international scope of computers and writing research and practices: the differing uses of computers for writing by different language users and the differing concepts of identity and self in different cultures in relation to writing. I conclude with concrete suggestions for broadening our perspectives on computers and writing and making this journal truly international.     

Nonlinear optimal tracking control with application to super-tankers for autopilot design

A new method is introduced to design optimal tracking controllers for a general class of nonlinear systems. A recently developed recursive approximation theory is applied to solve the nonlinear optimal tracking control problem explicitly by classical means. This reduces the nonlinear problem to a sequence of linear-quadratic and time-varying approximating problems which, under very mild conditions, globally converge in the limit to the nonlinear systems considered. The converged control input from the approximating sequence is then applied to the nonlinear system. The method is used to design an autopilot for the ESSO 190,000-dwt oil tanker. This multi-input-multi-output nonlinear super-tanker model is well established in the literature and represents a challenging problem for control design, where the design requirement is to follow a commanded maneuver at a desired speed. The performance index is selected so as to minimize: (a) the tracking error for a desired course heading, and (b) the rudder deflection angle to ensure that actuators operate within their operating limits. This will present a trade-off between accurate tracking and reduced actuator usage (fuel consumption) as they are both mutually dependent on each other. Simulations of the nonlinear super-tanker control model are conducted to illustrate the effectiveness of the nonlinear tracking controller.     

Remote sensing of vegetation and land-cover change in Arctic Tundra Ecosystems

The objective of this paper is to review research conducted over the past decade on the application of multi-temporal remote sensing for monitoring changes of Arctic tundra lands. Emphasis is placed on results from the National Science Foundation Land-Air-Ice Interactions (LAII) program and on optical remote sensing techniques. Case studies demonstrate that ground-level sensors on stationary or moving track platforms and wide-swath imaging sensors on polar orbiting satellites are particularly useful for capturing optical remote sensing data at sufficient frequency to study tundra vegetation dynamics and changes for the cloud prone Arctic. Less frequent imaging with high spatial resolution instruments on aircraft and lower orbiting satellites enable more detailed analyses of land cover change and calibration/validation of coarser resolution observations.The strongest signals of ecosystem change detected thus far appear to correspond to expansion of tundra shrubs and changes in the amount and extent of thaw lakes and ponds. Changes in shrub cover and extent have been documented by modern repeat imaging that matches archived historical aerial photography. NOAA Advanced Very High Resolution Radiometer (AVHRR) time series provide a 20-year record for determining changes in greenness that relates to photosynthetic activity, net primary production, and growing season length. The strong contrast between land materials and surface waters enables changes in lake and pond extent to be readily measured and monitored.     

基于改进卷积神经网络与支持向量机结合的面部表情识别算法

针对当前卷积神经网络（CNN）利用端层特征进行面部表情识别存在模型结构繁琐、训练参数过多、识别不够理想的问题,提出一种基于改进CNN与支持向量机（SVM）相结合的优化算法。首先,利用连续卷积的思想设计网络模型,以获取更多非线性激活;然后,采用自适应全局平均池化（GAP）层取代传统CNN中的全连接层,以减少网络参数量;最后,用SVM分类器代替传统Softmax函数实现表情识别,以提高模型泛化能力。实验结果表明,所提算法在Fer2013和CK+数据集上分别取得了73.4%和98.06%的识别准确率,与传统LeNet-5算法相比,在Fer2013数据集上提升了2.2个百分点,且该网络模型结构简单、参数量较少,具有良好的鲁棒性。     

Global stabilization of linear discrete-time systems with bounded feedback

This paper deals with the problem of global stabilization of linear discrete time systems by means of bounded feedback laws. The main result proved is an analog of one proved for the continuous time case by the authors, and shows that such stabilization is possible if and only if the system is stabilizable with arbitrary controls and the transition matrix has spectral radius less than or equal to one. The proof provides in principle an algorithm for the construction of such feedback laws, which can be implemented either as cascades or as parallel connections (“single hidden layer neural networks”) of simple saturation functions.     

两种色彩传递算法适用情况研究

对图像色彩传递中的两类主要算法,即全局色彩传递算法和点匹配算法及其改进算法进行了分析总结。针对如何选择源图,才能使目标图获得更好的传递效果等问题,系统地讨论了彩图到彩图、彩图到灰度图两种应用模式的特点及其不同适用情况。同时,以不同风格属性的图片进行测试,分析传递效果,得出了更具普遍性和实用性的实验结果。