西北某电厂工业厂房强夯加固地基处理技术研究

火力发电厂工业厂房结构对地基的变形要求较高,在天然地基承载力或变形不能满足上部结构要求时,一般要采用人工方法对地基进行强化处理。本文通过工程实际,介绍了在火力发电厂工业厂房结构地基处理工程中强夯技术的设计、施工、检测及效果。表明了强夯在工业厂房结构地基工程中技术上是可行的,在施工质量和处理效果上可以满足要求,地基承载力和稳定性都得到了较大的提高。     

物联网技术对军事电子信息系统发展的影响和思考

叙述了物联网技术对军事电子信息系统发展作用和影响,以及建立物联网武器需求体系的重要性和发展物联网武器需要重视的几个关键技术问题。提出了研究、开发和应用国产软硬件产品和技术的重要性。     

‘Green procurement’ of buildings: a study of Swedish clients' considerations

The results of a survey show that both public and private building clients in Sweden, to varying extents, include environmental requirements in their procurement documents. The requirements identified have been classified into six categories primarily related to building and demolition waste, building material, contractors' environmental work, ecological aspects, construction work and other. One conclusion is that requirements regarding the separation of waste and a contractor's environmental policy are considered important, since they are stipulated in the majority of projects. Another finding is that requirements related to operation and especially to energy use are not considered sufficiently. Structured interviews were conducted with three of the clients who at that time of the survey had developed the most complete procurement documents with regard to environmental requirements. The aim of the interviews was to investigate how the stipulation of requirements, the evaluation of environmental aspects and the verification of environmental requirements were carried out. The conclusion drawn is that Swedish clients find the stipulation of requirements relatively uncomplicated, but find the evaluation of environmental impact, mainly related to selection of materials, problematic due to inadequate evaluation models.     

Power Evaluation of the Los Angeles Oxygen–Fed Ozone System

The Los Angeles Department of Water and Power (LADWP) operates a 600 mgd (2,270 ML/day) direct filtration water treatment plant which includes a 7,900 lb/day (149 kg/hr) ozonation system. Ozone is applied as a preoxidant for the purposes of disinfection and microflocculation. The ozonation system is unique in that high purity oxygen is generated on–site and is used as the feed–gas in a once–through system. The process was selected through competitive bids and evaluated for total present worth from 20–year life cycle costs which included capital plus energy expenses. Power consumption (and penalty) was valued at $6,500/kW. System power demand was measured at nine ozone production rates. A minimum specific energy of 6.5 kWh/lb (14.3 kWh/kg) of ozone was observed when generating ozone at a concentration between 5 and 6 % (wt) [65 and 80 g/m³; where the standard temperature and pressure are 70F (21.11 C) and 1 atm, respectively]. The test methodology and data assessment considerations were developed jointly by the owner and manufacturer, and produced results with practical significance beyond the performance testing objective.     

扬水灌区灌溉用水量浅析

通过对运城地区大中型扬水站1984－1999年亩用水量统计分析，提出大中型泵站应综合灌芡产业结构调整和实际灌溉情况，并考虑1997年的旱情，对各站进行规模复核，对有富余供水能力又有发展条件的泵站，建议进行扩大灌区规模设计，以便充分发挥现有工程设施的作用。对规划灌区，要充分考虑农村产业结构调整，及已成灌区亩毛用水量，建议灌溉建设保证率取50％。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

人体包装与舒适性

文中从人体活动的原理上对人体包装与舒适性关系展开研究，指出目前国内相关行业在设计中存在问题的严重性与带来的负面影响，并为设计人员提供科学性建议。     

供应链管理及其产生背景分析

供应链管理(SCM)是近年来在国内外日益受到重视的一种新的管理理念与模式，其产生背景的研究对当前中国企业的改革和提高企业竞争能力有着十分重要的理论和实践意义。本文首先介绍了供应链管理的概念、目标，接着从管理模式、市场环境和信息技术等多个方面分析了供应链管理产生的背景，可为国内相关企业更全面、更准确地认识了解和推广应用供应链管理这一新型管理模式起到积极的推动作用。     

Strategic reasoning about business models: a conceptual modeling approach

Strategic reasoning about business models is an integral part of service design. In fast moving markets, businesses must be able to recognize and respond strategically to disruptive change. They have to answer questions such as: what are the threats and opportunities in emerging technologies and innovations? How should they target customer groups? Who are their real competitors? How will competitive battles take shape? In this paper we define a strategic modeling framework to help understand and analyze the goals, intentions, roles, and the rationale behind the strategic actions in a business environment. This understanding is necessary in order to improve existing or design new services. The key component of the framework is a strategic business model ontology for representing and analyzing business models and strategies, using the i* agent and goal oriented methodology as a basis. The ontology introduces a strategy layer which reasons about alternative strategies that are realized in the operational layer. The framework is evaluated using a retroactive example of disruptive technology in the telecommunication services sector from the literature.     

企事业信息系统软件需求变更度量方法

度量乃管理之基石。文章介绍了传统软件度量理论,并分析了企事业信息系统软件开发及其需求工程的一些规律。然后给出了一个软件需求度量体系实例及其应用实例,最后分析了应用的效果。