Implementing Information Systems: Some Practical Advice and a Richer Model

Recent research suggests that implementing information systems presents considerable difficulties and that many implementations are total or partial failures. This paper argues that what both practitioners and students require are richer and more acceptable models of information systems implementation. Accordingly, case study data concerning the introduction of manufacturing resource planning (MRP II) are used to illustrate five patterns of behaviour (rites) which capture important social actions; and four components of changing psychological orientation. It is argued that appreciation of the rites and psychological developments identified here will support effective change programmes. Guidelines based on our model are provided for practitioners.     

商务智能在ERP系统中的应用

ERP系统属于典型的联机事务处理系统,不可避免的存在许多不足,无法提供企业决策所需的决策信息。商务智能是一种正在快速发展的技术,它在ERP中的应用有效的解决ERP存在的问题。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

��չ����Ȼ��Ϊԭ�ϵ�ȼ�ϵ������

研究燃料汽车及其氢源系统是当今国内外能源工业与汽车工业的共同课题，而优选制氢能源则是这一课题的关键。章介绍了利用能源、经济、环境(EEE)——生命周期评估(LCA)这一综合评估方法，针对以天然气、煤或石油作为制氢能源的多种燃料电池氢源供应方式以及配套的燃料电池汽车系统，从经济性、能源利用效率和环境影响三个方面进行了生命周期清单分析和EEE综合评价。结果显示：天然气作为发展燃料电池汽车氢源的一次能源，具有氢制取技术路线多样化、经济上竞争力强、能源利用效率高和环境效益好等诸多优势，应为燃料电池汽车的首选制氢能源。对这一评估模型的敏感性分析显示，即使在天然气价格波动较大时，天然气制甲醇--甲醇车载重整车和天然气制氢--纯氢车这两个方案仍然最具优势。     

Virtual Teams: Guide to Successful Implementation

The successful initiation and execution of a virtual team is gaining increasing attention in the design and construction community. From opportunities to integrate international and multidisciplinary teams to the opportunity to leverage the best resources in an organization on a given project, virtual teams can transform the concept of project planning and execution. However, potential barriers exist in several areas to the successful implementation of virtual teams. The needs of increased management emphasis, social and cultural understanding, and emphasis on common goals are only a few of the nontechnical factors that can turn successful virtual teaming into virtual frustration. When combined with traditional technical challenges including compatibility of systems, security, and the selection of appropriate technologies, the line between leveraging virtual technologies for enhanced solutions and introducing additional complications into the project process is one that can be easily crossed. This paper presents the findings of research that addresses the opportunities and potential barriers to successful virtual teams in the engineering, procurement, and construction industry. Combining results from current research, industry practices, and early results from nonconstruction industries, the research findings provide an initial path to successful virtual team implementation.     

Stability analysis of network-based cooperative resource allocation strategies

Resource allocation involves deciding how to divide a resource of limited availability among multiple demands in a way that optimizes current objectives. In this brief paper we focus on one type of distributed resource allocation problem where via an imperfect communication network multiple processors can share the load presented by multiple task types. We introduce asynchronous “cooperative” resource allocation strategies, and show that they lead to a bounded cumulative demand.     

裂解C_5馏分综合利用的对策

探讨了裂解C_5馏分就近集中分离综合利用和分散直接利用,以及建设单独分离双环戊二烯装置发展下游精细化工产品的综合利用策略。     

一种基于Google Maps的土地利用信息发布平台

目前常见的Web地图服务仅支持浏览和查询,不支持矢量数据的发布.文章提出一种基于Google Maps的WebGIS构建方法,支持多种浏览器的矢量数据互操作及空间分析.针对郑州市土地利用信息发布需求,采用B/S架构,借助Google Maps API和AJAX技术,实现了土地利用信息系统化,标准化发布平台.该平台响应速度快,面向多种用户,支持数据共享,能更好的为土地利用变化研究及土地整理决策提供服务.     

Rainbow smelt population responses to species invasions and change in environmental condition

Invasive species can cause major disruptions in native food webs, yet the impact of species introductions and whether they will become invasive appears to be context-dependent. Rainbow smelt and alewife co-exist as invasive species in the Laurentian Great Lakes and as native species on the Atlantic coast of North America, but in Lake Champlain rainbow smelt is the dominant native forage fish and alewife are invasive. Alewife became abundant by 2007, providing an opportunity to explore the dynamics of these two species in a system where only one is invasive. We used data from a 28-year forage fish survey to compare demographics of rainbow smelt populations in three basins of Lake Champlain with different volumes, nutrient levels, and predator abundances. Rainbow smelt catch-per-unit-effort (CPUE) remained constant in the large, deep Main Lake before and after alewife invaded, but decreased in the two smaller basins. Declines were primarily a result of increased age-0 and age-1 mortality. Predation by top piscivores, system productivity, and competition for resources alone could not explain the patterns in CPUE across the basins. The mechanisms that allow alewife and rainbow smelt to co-exist could be related to system volume and oxythermal habitat availability, and may explain why the two species do not negatively affect each other in the Great Lakes. Summer hypoxia in the smaller basins could force individuals into smaller habitat volumes with higher densities of competitors and cannibalistic adult rainbow smelt. Habitat availability may mediate the impact of invasive alewife on native rainbow smelt.     

Integer linear programming optimization of joint RRM policies for heterogeneous wireless systems

Wireless systems will be characterized by the coexistence of heterogeneous Radio Access Technologies (RATs) with different, but also complementary, performance and technical characteristics. These heterogeneous wireless networks will provide network operators the possibility to efficiently and coordinately use the heterogeneous radio resources, for which novel Joint Radio Resource Management (JRRM) policies need to be designed. In this context, this work proposes and evaluates a JRRM policy that simultaneously determines for each user an adequate combination of RAT and number of radio resources within such RAT to guarantee the user/service QoS requirements, and efficiently distribute the radio resources considering a user fairness approach aimed at maximizing the system capacity. To this aim, the JRRM algorithm, which takes into account the discrete nature of radio resources, is based on integer linear programming optimization mechanisms.