Prediction of fracture loads in PMMA U‐notched specimens using the equivalent material concept and the theory of critical distances combined criterion

This paper provides a methodology for the prediction of fracture loads in notched materials that combines the equivalent material concept with the theory of critical distances. The latter has a linear‐elastic nature and requires material calibration in those cases where the non‐linear material behaviour is significant. The calibration may be performed by fracture testing on notched specimens or a combination of fracture testing and simulation. The proposed methodology sets out to define an equivalent linear‐elastic material on which the theory of critical distances may be applied through its basic formulation and without any previous fracture testing and/or simulation. It has been applied to PMMA single edge notch bending specimens containing U‐notches, providing accurate predictions of fracture loads.     

An enhanced possibilistic programming approach for reliable closed-loop supply chain network design

Most of current logistics network design models in the literature typically assume that facilities are always available and absolutely reliable while in practice, they are always subject to several operational and disruption risks. This paper proposes a reliable closed-loop supply chain network design model, which accounts for both partial and complete facility disruptions as well as the uncertainty in the critical input data. The proposed model is of mixed integer possibilistic linear programming type that aims to minimise simultaneously the total cost of opening new facilities and the expected cost of disruption scenarios. An enhanced possibilistic programming approach is proposed to deal with the epistemic uncertainty in input data. Furthermore, the p-robustness criterion is used to limit the cost of disruption scenarios and protect the designed network against random facility disruptions. Several numerical experiments along with sensitivity analyses on uncertain parameters are conducted to illustrate the significance and applicability of the developed model as well as the effectiveness of the proposed solution approach. Our results demonstrate that operational and disruption risks considerably affect the whole structure of the designed network and they must be taken into account when designing a reliable closed-loop logistics network.     

A bandwidth-efficient and fair CSMA/TDMA based multichannel MAC scheme for V2V communications

Designing QoS-aware medium access control (MAC) scheme is a challenging issue in vehicular ad hoc networks. Proportional fairness and bandwidth utilization are among the significant requirements that should be taken into account by a MAC scheme. In this paper, a bandwidth-efficient and fair multichannel MAC protocol is proposed to address these two requirements, specifically in vehicle-to-vehicle communications. The proposed scheme is based on clustering of vehicles and exploits time division multiple access (TDMA) method alongside the carrier sense multiple access with collision avoidance mechanism to allocate DSRC-based resources in a different manner from IEEE 802.11p/IEEE 1609.4 protocols. It divides each channel into aligned dynamic-sized time frames. In each time frame, in a fully TDMA-based period, transmission opportunities are assigned to vehicles letting them have dedicated transmissions on the service and control channels. The maximum number of transmission opportunities per each frame is determined by the cluster head (CH) based on a defined optimization problem which aims at maximizing both proportional fairness and bandwidth utilization. Furthermore, the bandwidth utilization is assumed to be enhanced more through reallocation of unused transmission opportunities in each time frame, using a proposed reallocation algorithm. The proposed MAC protocol is treated as a lightweight scheme such that various types of unicast, multicast and broadcast communications are possible within the cluster without involving the CH. Evaluation results show that the proposed scheme has more than 90 % achievement in terms of proportional fairness and bandwidth utilization simultaneously, and in this case, has a considerable superiority over TC-MAC. In addition, using the proposed scheme, the satisfaction level of vehicles is preserved appropriately.     

LTL is closed under topological closure

We constructively prove that for every LTL formula φ, the smallest safety property containing the property expressed by φ is also expressible in LTL. It immediately follows that LTL admits the safety-liveness decomposition: any property expressed by an LTL formula is equivalent to the intersection of a safety property and a liveness property, both of them expressible in LTL. Our proof is based on constructing a minimal deterministic counter-free Büchi automaton that recognizes the smallest safety property containing the property expressed by φ.     

Recent developments in the organization goals conformance using ontology

Organizational goals serve as the most important achievement target in every organization. Even though some researchers have developed the concept of the organization goals, but structuring the organization goals model is always questionable by the way it is being used. In this paper, we propose ontology to develop a unified model for the organization goals structure. We review the recent literature on the organization modelling and ontology development as an effort to evaluate the organization goals using a metrics for the achievement of the organization goals. We suggest that the metrics is important to identify the relevant organization data in relation to the organization goals conformance. In order to achieve this purpose, we investigate various associated concepts and organize the literature based on the organization goals, organization ontology and metrics model. We observe our proposed models are important for domain experts and entrepreneurs to evaluate the relevant organization data and to assist them in decision making. In summary, the contribution of this survey may serve as a first step in understanding the evaluation of the organization data for the achievement of the organization goals.     

The Feasibility of Lab-scale Cyclic CO2 Injection in Fractured Porous Media

A comprehensive analysis of the CO₂ Huff-n-Puff process with application to representative light oil system contained within a fractured porous media is present in this article. To accomplish this work, a simulation model representative of the laboratory experimental model was built and constrained under similar laboratory conditions. Six sets of CO₂ Huff-n-Puff experiments were conducted at injection pressures of 1723–10342 kPa; moreover, additional sensitivity analysis was performed on the 5170 and 6894 kPa conditions for different permeability and porosity. Results of this study demonstrate that cyclic injection of CO₂ under miscible conditions performs more favorably than under immiscible injection conditions.     

Effect of dimethyl formamide in the synthesis of linear low density polyethylene on branched and molecular structure

In this research work, effect of dimethyl formamide (DMF) as an external electron donor in gas phase ethylene/1‐butene copolymerization process in the presence of Ziegler–Natta catalyst has been investigated. Different experiments were performed using TiCl₄/MgCl₂ as catalyst, triethyl aluminum as cocatalyst and in the presence of various amounts of DMF as an external electron donor. Then, effect of DMF on various parameters such as catalyst activity, molecular weight, and short chain branching content of the samples has been studied. The results showed that the more the ratio of DMF/Ti, the lower the catalyst activity. Moreover, the curves relating molecular weight and short chain branching content of the samples to the ratio of DMF/Ti passed through an extremum point at about DMF/Ti = 0.25. A justification for the occurrence of the extremum point has been proposed in this research work, and some analysis methods are adopted to confirm the suggested justification. © 2011 Wiley Periodicals, Inc. J Appl Polym Sci 123: 1267–1272, 2012     

Enhanced joint pricing and lotsizing problem in a two-echelon supply chain with logit demand function

In retail supply chains, ordering and pricing policies for the retailer and shipment plan for the supplier are the most important decisions. These policies are often conducted either individually or sequentially with poor overall performance for the whole supply chain resulting to extra inventory and other deficiencies. In this paper, an integrated marketing-inventory model in a two-echelon supply chain model is developed involving discount promotion, customer behaviour more realistically and operations aspects to determine optimal ordering, shipping and pricing quantities simultaneously. An efficient analytical solution procedure and a Particle Swarm Optimisation solution algorithm are also developed. Finally, a number of numerical tests are conducted to approve the interesting theoretical results of the analytical approach.