Internet密钥交换（IKE）及其在Linux系统中的实现

介绍了Internet密钥交换协议（Internet Key Exchange,IKE)在IPSEC中的地位和作用,分析了IKE协商安全关联（SA）的过程;提出了IKE在Linux系统中的实现方案,着重分析了进程与内核之间进行通信所采用的消息队列的实现方法。     

基于IKE的IPSec参数协商过程的研究

在IPSec协议实现过程中，利用IKE协议可以实现IPSec参数的自动管理，技术上 存在着很大优越性。该文从IKE协议实现的角度，简要说明了IKE守护进程的工作原理，重点 分析了IKE协议的消息协商过程。     

Internet密钥交换协议及安全性分析

Internet密钥交换协议IKE是一个相当复杂的协议,它包含许多子协议,但IKE设计的相当好.本文以分析一个例子作为了解IKE的主线,并对IKE的安全性进行了分析.     

IPSec协议及其实现的研究

IPSec是新一代因特网安全协议套件,它在IP层提供安全服务,IPSec提供的安全服务包括：访问控制,数据源验证,重放包拒绝以及杨密性保证机制,本文介绍了IPSrc结构,IPSec基本协议;身份验证报头（AH）和封装安全载荷（ESP）;Internet密钥交换（IKE）,安全策略数据库（SPD）,安全联盟数据库（SADB）,以及IPSec在防火墙中的应用。     

基于数字证书的Internet密钥交换实现技术研究

基于数字证书的Internet密钥交换可以划分为两个主要问题：公钥和私钥的存储与传递,以及在交换中如何使用公钥和私钥.文章在简述了IKE（Internet密钥交换）实现框架的基础上,着重分析了对IKE所定义的三种使用公钥证书的验证方法,描述了重要实现环节.     

基于Kerberos的Internet密钥协商协议的研究

KINK是一个的基于Kerberos的密钥协商协议，它使用Kerberos机制实现密钥协商过程中的身份认证和密钥交换。本文主要描述了KINK中的密钥协商的实现过程，并对它的特点和安全性作了相应的分析。     

Internet密钥交换协议IKEv2研究

2005年12月发布的Internet密钥交换协议IKE(Internet Key Exchange)第二版IKEv2在安全性和实现效率上得到提高,同时简化了原版本的复杂性.对IKEv2协议的密钥协商机制进行了分析.     

基于Authentication Test方法的高效安全IKE形式化设计研究

基于Authentication Test方法,围绕高效安全Internet密钥交换（ESIKE）协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于Strand Space模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性．该ESIKE协议克服了原有Internet密钥交换（IKE）协议存在的安全缺陷,提供了安全的会话密钥及安全关联（SA）协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证．同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效．     

基于IPSec的VPN密钥交换（IKE）协议的分析与实现

在研究IKE协议的基础上，首先分析了IKE的安全性并讨论了防范措施，继而分析了IPSec安全网关基本模型以及包括IKE模块在内的各模块之间的关系，提出了在IP协议栈上集成IPSec协议的方法，并对IKE在IPSec安全网关上实现的问题进行了描述。     

Internet密钥交换协议的安全缺陷分析

IKE(Internet key exchange,RFC2409)提供了一组Internet密钥交换协议,目的是在IPSec(IP security)通信双方之间建立安全联盟和经过认证的密钥材料.随后有学者发现IKE协议存在一个安全缺陷,并给出相应的修改建议.指出了修改后的IKE协议仍然存在类似的安全缺陷,并描述了一个成功的攻击.在给出修改建议的同时,成功地利用BAN逻辑分析了导致这两个安全缺陷的原因.     

Database management standards: status and applicability

This article presents the current status of existing and emerging ISO, ANSI, and FIPS standards for database management, specifically Database Languages NDL and SQL and Remote Database Access (RDA). It describes the general content of each standard and discusses its applicability, availability, completeness, maturity, stability, existing usage, and known limitations. Where appropriate, it also addresses the availability of conformance test suites and future plans for enhancements and follow-on standardization efforts.     

Ethical and legal issues for writing researchers in an age of media convergence

With the convergence of digital media into ever-widening social and technological networks for creation and distribution, the contexts for writing and the study of writing and writers have certainly changed. Researchers must navigate a dense matrix of ethical and legal issues in all phases of research when studying the ever-changing processes and products of digital communications. In this article, I draw from numerous sources to articulate a few of the challenges facing digital writing researchers in this age of convergence, focusing on issues of representation (researcher, participant, third-party), issues of informed consent, and issues of copyright and fair use.     

Integration | Innovation | Inclusion: Values,Variables and the Design of Human Environments

Complexity, complication, contradiction, consumption, confusion, delusion, depression. Opportunity, inspiration, ingenuity, compassion, wisdom. Our world is perplexing, our times are fast moving, and our choices are many. To find an appropriate path is a daunting yet vital challenge that confronts us as individuals, as communities, and as a civilization. How sustainable is our world? How reasonable are our behaviors? The present article is a collection of thoughts on a series of intertwined issues related to the contemporary world, its environmental dimensions, and their present-day problems. The goal is to survey the landscape through a lens of Environmental Design, to provide some perspectives, to raise some questions, and to explore systems, beliefs, and values informing and influencing actions. It is important to consider how people's belief systems influence, inform, and shape actions. This holds true in realms political, spiritual, and cultural. It also proves relevant in the ways in which we imagine, design, develop, and construct our buildings, cities, spaces, and places.

Appropriate solutions to some of our most daunting problems will arise through the concerted efforts, open dialogue, and collective wisdom of the wide array of stakeholders, professionals, politicians, decision makers, and citizens (both engaged and disenfranchised) who have the will and wherewithal to make a difference and to make the world safer, healthier, and better. It seems vital for us to critically examine, and question, our belief systems and their connections to the ways we define, refine, and realize progress. Architecture and Environmental Design, in both a philosophical and a practical sense, reflect as well as form greater aspirations, directions, and events of our times.     

Environmental ergonomics: a review of principles, methods and models

A review of the principles, methods and models used in environmental ergonomics is provided in terms of the effects of heat and cold, vibration, noise and light on the health, comfort and performance of people. Environmental ergonomics is an integral part of the discipline of ergonomics and should be viewed and practised from that perspective. Humans do not respond to the environment in a way monotonically related to direct measures of the physical environment. There are human characteristics which determine human sensitivities and responses. Practical methods for assessing responses to individual environmental components are presented as well as responses to ‘total’ environments and current and proposed International Standards concerned with the ergonomics of the physical environment.     

基于RGB-D信息的移动机器人SLAM和路径规划方法研究与实现

移动机器人在各种辅助任务中需具备自主定位、建图、路径规划与运动控制的能力。本文利用RGB-D信息和ORB-SLAM算法进行自主定位,结合点云数据和GMapping算法建立环境栅格地图,基于二次规划方法进行平滑可解析的路径规划,并设计非线性控制器,实现了由一个运动底盘、一个RGB-D传感器和一个运算平台组成的自主移动机器人系统。经实验验证,这一系统实现了复杂室内环境下的实时定位与建图、自主移动和障碍物规避。由此,为移动机器人的推广应用提供了一个硬件结构简单、性能良好、易扩展、经济性好、开发维护方便的解决方案。     

Interpretive Tools for 3-D Structural Geological Modelling Part II: Surface Design from Sparse Spatial Data

We present software tools and methods applicable to the geological modelling of sparse spatial and structural data within a 3-D digital environment. Free-form surfaces derived from section-style control frames and constrained by field-based structural measurements are employed as partially automated design aids intended to speed up and streamline the 3-D geological model building process. Some design degrees of freedom such as NURBS tension (or weights), knot sequencing and tying surface features are also discussed with examples drawn from spatial and structural data collected in Baffin Island by the Geological Survey of Canada and near-mine exploration data from Canadian mines. Interpolation of field-based structural measurements along the boundary of an unknown surface is also demonstrated. This work is potentially relevant to regional mappers and others dealing with sparse spatial and structural data, and/or conceptual surface modelling.     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

Real-world effectiveness of Ergonomic methods

The way ahead with the practical development and application of Ergonomic methods is through a better anticipation and appreciation of changes to system effectiveness and human work that will be incurred through the introduction of new technologies to the workplace. These improvements will involve an improved awareness by the system of the working context and environment. The argued future is with improvements in the handling and use of knowledge by systems. The development of suitable Ergonomics methods, or the careful adaptation of existing methods, should accompany any technological revolution. Moreover, future methods are needed that are specifically developed to be applicable to the real time study of work considering both work context and the amalgamation of results from the use of many diverse methods throughout the design and development life cycle of a system. Part of this process will be a necessary complementation of both quantitative and qualitative methods and guidelines. Another focus should be on creating improved Ergonomics participation within multidisciplinary system design and development environments throughout the system's life cycle. Only through this avenue can Ergonomics show a consistent and valued contribution to quality design and its development. In parallel to such a contribution will be an acceptance by other engineering disciplines, managers, and customers that such an application of Ergonomics is cost effective.     

Connectionism and artificial intelligence: history and philosophical interpretation

Abstract

Hubert and Stuart Dreyfus have tried to place connectionism and artificial intelligence in a broader historical and intellectual context. This history associates connectionism with neuroscience, conceptual holism, and non-rationalism, and artificial intelligence with conceptual atomism, rationalism, and formal logic. The present paper argues that the Dreyfus account of connectionism and artificial intelligence is both historically and philosophically misleading.     

面向集群服务器系统的监控平台综述

为保证云计算、高性能计算集群服务器系统的服务能力,需构建监控平台对各种来源数据的实现统一管理、统计分析和展现。本文面向集群服务器系统监控平台的搭建方式,综述当前各种常见的监控平台架构和组件,分析各类平台在部署、数据规模、统计分析能力以及时效性等方面的不同。分析结果表明,集群服务器系统监控平台搭建方案应根据监控数据规模、时效性要求、查询和统计需求选择方案。