检索结果-内蒙古大学图书馆

Application of a mathematic programming model for integrated planning and scheduling of petroleum supply networks

INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH 2008年第6期47卷 1935-1954页

作者： Kuo, Tung-Hsiung Chang, Chuei-Tin Natl Cheng Kung Univ Dept Chem Engn Tainan 70101 Taiwan

The scope of this study is concerned with the petroleum supply network operated by a typical oil company, in which the crude oil is consumed to produce ethylene, propylene, liquefied petroleum gas, butadiene, benzene, toluene, xylene, gasoline, kerosene, diesel, and other byproducts. These petrochemical products are usually manufactured with a cluster of strategically located conversion refineries.' A complete petroleum supply chain consists of at least 13 different types of production units, that is, the atmospheric distillation units, the vacuum distillation units, the cokers, the fluid catalystic cracking units, the naphtha crackers, the butadiene extraction units, the hydrotreaters, the aromatics extraction units, the reforming units, the xylene fractionation units, the parex units, the xylene isomar units, and the tatory units. Traditionally, the production plan of an industrial supply chain is created first and a compatible schedule is then identified accordingly. Because the detailed scheduling constraints are often ignored in the planning model, there is no guarantee that an operable schedule can be obtained with this hierarchical approach. To address this issue, a single mixed-integer linear program (MILP) has been formulated in this study to coordinate various planning and scheduling decisions for optimizing the supply chain performance. Solving this MILP model yields the proper procurement scheme for crude oils, the schedules for producing various petrochemical products, and the corresponding logistics. The appropriate sources (suppliers) of raw materials, the economic order quantities, the best purchasing intervals, and also the transportation schedules can be identified accordingly. In particular, the optimal production schedule of olefins, aromatics, and other petrochemical products over the specified planning horizon is configured by selecting throughput, operating conditions, and technology options for each unit in the chain, by maintaining the desir

关键词： .demands raw materials suppliers Chem Res distributors Crude oil programming model Planning and Scheduling supply network petroleum supply chain tankers

来源：评论

学校读者我要写书评

暂无评论

Component-based approach for programming and running scientific applications on grids and clouds

引用

INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS 2012年第3期26卷 275-295页

作者： Malawski, Maciej Gubala, Tomasz Bubak, Marian AGH Univ Sci & Technol Dept Comp Sci PL-30059 Krakow Poland Univ Notre Dame Ctr Res Comp Notre Dame IN 46556 USA ACC CYFRONET AGH Krakow Poland Univ Amsterdam Inst Informat Amsterdam Netherlands

This paper presents an approach to programming and running scientific applications on grid and cloud infrastructures based on two principles: the first one is to follow a component-based programming model, the second is to apply a flexible technology which allows for virtualization of the underlying infrastructure. The solutions described in this paper include high-level composition and deployment consisting of a scripting-based environment and a manager system based on an architecture description language (ADL), a dynamically managed pool of component containers, and interoperability with other component models such as Grid Component model (GCM). We demonstrate how the proposed methodology can be implemented by combining the unique features of the Common Component Architecture (CCA) model together with the H2O resource sharing platform, resulting in the MOCCA component framework. Applications and tests include data mining using the Weka library, Monte Carlo simulation of the formation of clusters of gold atoms, as well as a set of synthetic benchmarks. The conclusion is that the component approach to scientific applications can be successfully applied to both grid and cloud infrastructures.

关键词： cloud computing component programming distributed application grid computing programming model

来源：评论

学校读者我要写书评

暂无评论

Business Process Oriented Platform-as-a-Service Framework for Process Instances Intensive Applications

Business Process Oriented Platform-as-a-Service Framework fo...

引用

26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) / Workshop on High Performance Data Intensive Computing

作者： Zheng, Yongqing Pang, Jinshan Li, Jian Cui, Lizhen Shandong Univ Sch Comp Sci & Technol Shandong Prov Key Lab Software Engn Jinan Peoples R China

ISBN: (纸本)9780769546766

With the cloud computing becoming more and more popularity in both commercial and academic fields, platform-as-a Service (PaaS) becomes one of the core technologies for service provider to change the way of service-providing to both common users and scientific organization. This paper describes a business process oriented Platform-as-a-Service framework called BPPaaS including an integrated business process application programming model, and business process oriented Platform-as-a-Service middleware. BPPaaS can enable users to submit their business process logic source code programmed by integrated business process programming language to this platform. And BPPaaS will parse the logic source code, extract the business process tasks and task-relationship to form meta-data, and encode business process tasks as standalone executable components. Since different cloud data center has specific data, BPPaaS will assign the business process tasks to the specific data center as task execution nodes, which have the necessary data required by tasks. A scheduling algorithm is introduced to supporting business process intensive application execution with multiple heterogeneous java runtime environments as the underling parallel computation platform. Finally, a case in social security application shows this framework can streamline complex computational business process.

关键词： PaaS business process programming model instance intensive application

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Blue Gene/Q Hardware Support for Transactional Memories 12

Evaluation of Blue Gene/Q Hardware Support for Transactional...

引用

21st International Conference on Parallel Architectures and Compilation Techniques (PACT)

作者： Wang, Amy Gaudet, Matthew Wu, Peng Amaral, Jose Nelson Ohmacht, Martin Barton, Christopher Silvera, Raul Michael, Maged IBM Toronto Software Lab Markham ON Canada Univ Alberta Dep Comp Sci Edmonton AB Canada IBM Res Yorktown Hts NY USA

ISBN: (纸本)9781450311823

This paper describes an end-to-end system implementation of the transactional memory (TM) programming model on top of the hardware transactional memory (HTM) of the Blue Gene/Q (BG/Q) machine. The TM programming model supports most C/C++ programming constructs on top of a best-effort HTM with the help of a complete software stack including the compiler, the kernel, and the TM runtime. An extensive evaluation of the STAMP benchmarks on BG/Q is the first of its kind in understanding characteristics of running coarse-grained TM workloads on HTMs. The study reveals several interesting insights on the overhead and the scalability of BG/Q HTM with respect to sequential execution, coarse-grain locking, and software TM.

关键词： Hardware Transactional Memories programming model Run-time System Software Support

来源：评论

学校读者我要写书评

暂无评论

DataMods: Programmable File System Services

DataMods: Programmable File System Services

引用

25th ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis (SC)

作者： Watkins, Noah Maltzahn, Carlos Brandt, Scott Manzanares, Adam Univ Calif Santa Cruz Santa Cruz CA 95064 USA Calif State Univ Chico Chico CA 95929 USA

ISBN: (纸本)9780769549569;9781467362184

As applications become more complex, and the level of concurrency in systems continue to rise, developers are struggling to scale complex data models on top of a traditional byte stream interface. Middleware tailored for specific data models is a common approach to dealing with these challenges, but middleware commonly reproduces scalable services already present in many distributed file systems. We present DataMods, an abstraction over existing services found in large-scale storage systems that allows middleware to take advantage of existing, highly tuned services. Specifically, DataMods provides an abstraction for extending storage system services in order to implement native, domain-specific data models and interfaces throughout the storage hierarchy.

关键词： programming model active storage distributed file system

来源：评论

学校读者我要写书评

暂无评论

A TOPSIS-Based Approach to Multiple Attribute Decision Making with Interval Numbers

A TOPSIS-Based Approach to Multiple Attribute Decision Makin...

引用

24th Chinese Control and Decision Conference (CCDC)

作者： Zhang Quan Shun Yue-xin Shu Xiao-dong ShenYang Univ Technol Sch Informat Engn Shenyang 110178 Peoples R China

ISBN: (纸本)9781457720727

In ambiguous decision domain, the evaluation values of alternatives against the attributes would be interval numbers due to the inherent uncertain property of the problems. By using a number of linear programming models, Bryson and Mobolurin propose an approach to compute attribute weights and overall values of the alternatives in the form of interval numbers. The intervals of the overall values of alternatives are then transformed into points or crisp values for comparisons among the alternatives. However, the attribute weights are different because of the usages of the linear programming models in Bryson and Mobolurin's approach. Whether the alternatives are comparable is a question because of the different attribute weights. In this paper, a new approach is proposed to overcome the drawbacks of Bryson and Mobolurin's approach. By determining the positive and negative ideal alternatives and calculating the relative distances between every alternative and the positive ideal one, a new programming model is set up to figure our the attribute weights for conducting alternative ranking.

关键词： Multiple attribute decision making Interval number Ideal alternative programming model Ranking

来源：评论

学校读者我要写书评

暂无评论

A Goal-Oriented programming Framework for Grid Sensor Networks with Reconfigurable Embedded Nodes

引用

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 2012年第4期11卷 79-79页

作者： Subramanian, Varun Gilberti, Michael Doboli, Alex Pescaru, Dan SUNY Stony Brook Dept Elect & Comp Engn Stony Brook NY 11794 USA Politehnica Univ Dept Comp Sci Timisoara Romania

Cyber-physical systems (CPS) are large, distributed embedded systems integrated with various sensors and actuators. CPS are rapidly emerging as an important computing paradigm in many modern applications. Developing CPS applications is currently challenging due to the sheer complexity of the related functionality as well as the broad set of constraints and unknowns that must be tackled during operation. This article presents a novel high-level programming model and the supporting optimization and middleware routines for executing applications on physically-distributed networks of reconfigurable embedded systems. The proposed model describes the optimization goals, sensing inputs, actuation outputs, events, and constraints of an application, while leaving to the compiler and execution environment the task of optimally implementing the derived functionality. Experimental results discuss the additional performance optimizations enabled by the proposed model, and the timing and power consumption of the middleware routines, and present a temperature monitoring application implemented on a network of reconfigurable, embedded processors.

关键词： Design Algorithms Performance Cyber-physical systems networked embedded nodes programming model optimized implementation reconfiguration

来源：评论

学校读者我要写书评

暂无评论

A Data-Centric Approach to Synchronization

引用

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2012年第1期34卷 4-4页

作者： Dolby, Julian Hammer, Christian Marino, Daniel Tip, Frank Vaziri, Mandana Vitek, Jan IBM Corp TJ Watson Res Ctr Yorktown Hts NY 10598 USA Univ Saarland Cyber Secur Lab D-66123 Saarbrucken Germany Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA Symantec Res Labs Culver City CA 90230 USA

Concurrency-related errors, such as data races, are frustratingly difficult to track down and eliminate in large object-oriented programs. Traditional approaches to preventing data races rely on protecting instruction sequences with synchronization operations. Such control-centric approaches are inherently brittle, as the burden is on the programmer to ensure that all concurrently accessed memory locations are consistently protected. Data-centric synchronization is an alternative approach that offloads some of the work on the language implementation. Data-centric synchronization groups fields of objects into atomic sets to indicate that these fields must always be updated atomically. Each atomic set has associated units of work, that is, code fragments that preserve the consistency of that atomic set. Synchronization operations are added automatically by the compiler. We present an extension to the Java programming language that integrates annotations for data-centric concurrency control. The resulting language, called AJ, relies on a type system that enables separate compilation and supports atomic sets that span multiple objects and that also supports full encapsulation for more efficient code generation. We evaluate our proposal by refactoring classes from standard libraries, as well as a number of multithreaded benchmarks, to use atomic sets. Our results suggest that data-centric synchronization is easy to use and enjoys low annotation overhead, while successfully preventing data races. Moreover, experiments on the SPECjbb benchmark suggest that acceptable performance can be achieved with a modest amount of tuning.

关键词： Concurrent object-oriented programming data races serializability programming model

来源：评论

学校读者我要写书评

暂无评论

A State-Machine model for Reliability Eliciting over Wireless Sensor and Actuator Networks

引用

Procedia Computer Science 2012年 10卷 422-431页

作者： José Cecílio Pedro Furtado University of Coimbra Coimbra Portugal

Advances in communications and embedded systems have led to the proliferation of wireless sensor and actuator networks (WSANs) in a wide variety of application domains. One important key of many such WSAN applications is the needed to meet non-functional requirements (e.g., lifetime, reliability, time guarantees) as well as functional ones (e.g. monitoring, actuation). Some application domains even require that sensor nodes be deployed in harsh environments (e.g., refineries), where they can fail due to communication interference, power problems or other issues. Unfortunately, the node failures can be catastrophic for critical or safety related systems. State machines can offer a promising approach to separate the two concerns – functional and non-functional – bringing forth reliability exception conditions handling, by means of fault handling states. We develop an approach that allows users to define and program typical applications using their platform language, but also adds state machine logic to design, view and handle explicitly other concerns such as reliability. The experimental section shows a working deployment of this concept in an industrial refinery setting

关键词： WSN programming model State-Machine Industrial applications

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Metric Multi-core Functional Simulator

Design and Implementation of Metric Multi-core Functional Si...

引用

2012 2nd International Conference on Advanced Materials and Computer Science(ICAMCS 2012)

作者： Yan Wang Biying Zhang Zhongchuan Fu Wen Hu Department of Computer Science and Technology Harbin Institute of Technology College of Computer and Information Engineering Harbin University of Commerce

To integrate the programming model and the executing model, the procedure is introduced into the design of multi-core micro-architecture, and the method-centric(Metric) multi-core architecture is proposed. A functional simulator for Metric multi-core architecture is designed and implemented. The simulator is implemented with the object-oriented programming methodology, and is composed of three groups of components: functional simulator, ISA emulator and auxiliary components. The experimental results show that the implemented simulator is effective and correct.

关键词： Multi-core Functional simulator programming model

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：