下一代Internet应用与编程设想

从应用与软件开发的角度 ,分析了目前Internet编程和应用现状与局限 ,提出了下一代Internet的系统模型与构想 ,以及所面临的机遇与挑战。     

蓄电池发展与WTO

分析了我国加入WTO后铅蓄电池行业面临的发展机遇和市场的挑战。铅蓄电池,特别是商品化的免维护电池,固定型密封电池和电动汽车用新型电池等,具有广阔的国际国内市场。我国铅蓄电池技术水平与国外先进水平上仍存在差距,提高技术和装配等水平,是我们在加入WTO后赢得发展机会的必然选择。     

直面WTO挑战的中国人力资源管理方式

21世纪的竞争说到底是人力资源管理方式的竞争,而我国的人力资源管理方式并不健全。文章从我国人力资源管理的现状入手,分析了我国人力资源管理的缺陷,结合我国加入WTO所要面临的挑战,提出了我国加入WTO后人力资源管理方式的转变方向。     

A mini challenge: build a verifiable filesystem

We propose tackling a “mini challenge” problem: a nontrivial verification effort that can be completed in 2–3 years, and will help establish notational standards, common formats, and libraries of benchmarks that will be essential in order for the verification community to collaborate on meeting Hoare’s 15-year verification grand challenge. We believe that a suitable candidate for such a mini challenge is the development of a filesystem that is verifiably reliable and secure. The paper argues why we believe a filesystem is the right candidate for a mini challenge and describes a project in which we are building a small embedded filesystem for use with flash memory. The work described in this paper was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration.     

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

We explain why for the verified software challenge proposed in Hoare (J ACM 50(1): 63–69, 2003), Hoare and Misra (Verified software: theories, tools, experiments. Vision of a Grand Challenge project. In: [Meyer05]) to gain practical impact, one needs to include rigorous definitions and analysis, prior to code development and comprising both experimental validation and mathematical verification, of ground models, i.e., blueprints that describe the required application-content of programs. This implies the need to link via successive refinements the relevant properties of such high-level models in a traceable and checkable way to code a compiler can verify. We outline the Abstract State Machines (ASM) method, a discipline for reliable system development which allows one to bridge the gap between informal requirements and executable code by combining application-centric experimentally validatable system modelling with mathematically verifiable stepwise detailing of abstract models to compile-time-verifiable code.     

2006年钼市场回顾与2007年展望

通过回顾、分析2006年国内钼初级产品市场和外销走势，指出了2007年钼市场在经济环境，钢材市场，政策变化以及不确定因素影响下面临的机遇和挑战，总结并预测了未来几年钼市场的走势。     

虚拟社区思想政治工作初探

加强虚拟社区思想政治工作的研究和应用,是网络信息时代思想政治教育工作的一个重要课题,也是广大思想政治工作者普遍关注的热点问题。从分析虚拟社区的特征入手,阐述了虚拟世界给思想政治工作带来的挑战,提出了必要的应对措施。     

THE EFFICIENCY CHALLENGES OF RESOURCE DISCOVERY IN GRID ENVIRONMENTS

Resource discovery is one of the most important services that significantly affects the efficiency of grid computing systems. The inherent dynamic and large-scale characteristics of grid environments make their resource discovery a challenging task. In recent years, different approaches have been proposed for resource discovery, attempting to tackle the challenges of grid environments and improve the efficiency. Being aware of these challenges and approaches is worthwhile in order to choose an appropriate approach according to the application in different organizations. This study reviews the most important factors that should be considered and challenges to be tackled in order to develop an efficient grid resource discovery system.     

Integrated energy strategy for the sustainable development of China

We propose in this paper an integrated energy strategy based on a systems approach to address the energy challenges and energy dilemma in China. First, we give a review of existing approaches to energy planning and strategic management, followed by a discussion on the major relationships among energy, economical, environmental and societal systems. Next, we present a conceptual system model with alternative solutions and clarify corresponding concepts. Based on the results, we propose, summarize, and present strategic ideas as policy implications for China’s decision makers. In conclusion, we determine that China should enhance strategic planning and regulation from a life cycle viewpoint of the whole society, prioritize energy saving, continuously improve incumbent energy, and rationally develop alternative energy.     

我国住宅产业面临的机遇与挑战

研究了我国住宅产业所面临的机遇与挑战，对其未来的发展趋势作出了初卞的判识。