基于IA64二进制翻译的解码技术研究

作为64位处理器架构,IA64提供了更高的指令级并行性,代表了一种新型微处理器的发展方向。该文介绍了基于SLED对IA64指令的描述和利用MLTK生成反向工具,讨论了IA64中指令解码器的设计与实现。这些技术对IA64二进制指令代码流的自动分析和变换,以及实现IA64二进制自动翻译具有重要的意义。     

安腾2战车滚滚而来HP篇

基于开放标准的IA64计算平台代表了工业标准企业计算技术的未来,IA64服务器已成为企业计算平台发展的必然趋势。今天的IT界已经围绕安腾2构建了一个“生态环境”,越来越多的硬件厂商、独立软件供应商和系统集成商加入到IA64的阵营,推动了IA64计算平台进入实质性的企业关键应用阶段,最终促成64位成为主流。     

降低复杂性——SAS推出基于安腾2的银行智能解决方案

IT 界已经围绕 IA64计算平台构建了一个“生态环境”,越来越多的硬件厂商,独立软件供应商和系统集成商加入到 IA64计算平台的阵营,使 IA64计算平台的生态环境快速发展,推动 IA64计算平台进入实质性的企业关键应用阶段,安腾2服务器的应用条件正在趋于成熟。作为 IA64基础架构最积极的推动者之一,惠普与众多领先的供应商和开放商合作提供了从操作系统和工具软件,系统基础件到业务基础软件的全面的解决方案,并为 ISV 开发基于 IA64计算平台的行业应用提供强有力的支持,推动 IA64位行业应用的开发进程,如今已获得了累累硕果——基于 IA 计算平台的商业应用已全面遍及金融、证券,电信、网络服务供应商,制造业、服务业、高性能技术计算以及跨行业企业管理应用领域。从本期开始,我们将连续八期详细介绍基于惠普安腾2服务器的行业应用解决方案。     

Linux/IA64存储管理的研究

安腾处理器家族是Intel公司新一代64位处理器,它已成功应用于科学计算和事务处理等领域,Linux是支持IntelIA-64平台的主流操作系统之一。该文研究了Linux/IA64存储管理,包括Linux/IA64灵活的地址空间划分、TLB等机制,并着重讨论了与IA64VHPT(VirtualHashPageTable)walker紧密结合的虚实地址变换、基于IA64区ID的懒惰TLB刷新等新技术。     

IA64二进制翻译中的数据段映射技术

数据段映射是二进制翻译过程中源可执行文件和目标可执行文件数据关系的纽带。论文介绍了32位处理器二进制翻译的数据段映射技术,指出了这种映射技术在IA64二进制翻译中存在的缺陷,进而提出了改进方法,并解决了IA64二进制翻译的数据段映射问题。     

《中国计算机用户》读者信息反馈表

随着越来越多的硬件厂商、独立软件供应商和系统集成商加入到IA64平台的阵营,IA64平台的生态环境快速丰富,并推动IA64计算平台进入实质性的企业关键应用阶段。惠普企业系统集团首席技术顾问张报昌先生认为,无论从设计思想、制造工艺、开放性、批量生产能力、推广力度以及OEM和ISV支持程序,IA64计算平台所表现的超群能力都奠定了其成为高端应用主流平台的基础,IA64服务器已成为企业计算平台的必然趋势。     

过程恢复技术在IA64二进制翻译中的应用与实现

论文介绍了静态二进制翻译中的过程恢复技术。根据IA64体系结构特点及其对过程调用的有关约定,实现了对IA64过程的恢复;并在对大量实例进行研究的基础上,提出了一种浮点参数恢复的改进方法。     

IT观察

国内首台基于IA64架构的服务器问世 浪潮英信于2001年1月初在国内首家推出其基于IA64架构的超能2000服务器。超能2000是浪潮推出的第一代IA64产品,它支持1到4颗安腾处理器,具有显式并行指令(EPIC)、64位体系结构、分支预测执行(Predication)、投机装载(Speculation)、寄存器轮动(Rotating Registers)、更多的计算单元和流水线等技术,使系统的性能和效率有了极大的提高;由于采用64位的地址空间,使IA-64服务器系统有非常好的数据吞吐能力和系统扩展能力。     

每周新闻

Intel、HP将公布IA—64处理器指令集和程 序员指南,以使开发商开始编制应用于IA-64平台的应用 程序。公布指令集是这两家公司推动IA—64芯片结构商业应用一系列行动中的最新举措。两家公司希望IA—64芯片能够与Sun和Compaq Alpha部门的64位处理器开展竞争。     

微软拉安腾一把——Windows Server 2003助IA64走出尴尬

Windows Server2003的发布是安腾平台走出尴尬的转折点,今年下半年将是IA64平台大规模走向行业的开端,下一步IA64推广的关键是应用移植。中国惠普有限公司企业系统集团渠道暨区域业务部总监卢肖时、市场及技术咨部技术中心总监陈晓燕和英特尔公司安腾亚太区业务经理吴定严在接受记者采访时都表明了相同的观点。     

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.     

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.     

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.     

基于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.     

Developing Faculty ICT Competencies Inside and Outside the Library

Despite all the financial resources that are directed to support and acquire learning technologies, the results have been generally disappointing. Faculty are eager to use technology but lack the technical skills, ability, and experience. Library staff includes a talent tool rich in Information and Communication Technologies (ICT)/WEB 2.0 technical expertise and experience. In terms of content sourcing and procurement, library technical services and selection staff have broad knowledge of the marketplace for online information and content as well as experience in licensing access. They have a firm grasp of the transaction process, workflows, pricing, and licensing negotiations. Content development and sourcing inevitably involves access management, online storage, copyright, and licensing—things at which libraries are good. ICT deployment is changing teaching and learning on campuses, and the roles of those involved in teaching and learning are also changing. Whether formally through mandated library services, or informally through back channels, library staff are supporting faculty new technology use as well as faculty teaching materials content sourcing and procurement.     

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

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