Reflexive Incidence Matrx (RIM) Representation of Petr Nets

Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of selfloops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called "reflexive incidence matrix (RIM) c which is a combination of two matrices, a "base matrix Cb,,, and a "power matrix CP." This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.

Multipath Dissemination in Regular Mesh Topologies

Mesh topologies are important for large-scale peer-to-peer systems that use low-power transceivers. The Quality of Service (QoS) in such systems is known to decrease as the scale increases. We present a scalable approach for dissemination that exploits all the shortest paths between a pair of nodes and improves the QoS. Despite th presence of multiple shortest paths in a system, we show that these paths cannot be exploited by spreading the messages over the paths in a simple round-robin manner; nodes along one of these paths will always handle more messages than the nodes along the other paths. We characterize the set of shortest paths between a pair of nodes in regular mesh topologies and derive rules, using this characterization, to effectively spread the messages over all the available paths. These rules ensure that all the nodes that are at the same distance from the source handle roughly the same number of messages. By modeling the multihop propagation in the mesh topology as a multistage queuing network, we present simulation results from a variety of scenarios that include link failures and propagation irregularities to reflect real-world characteristics. Our method achieves improved QoS in all these scenarios.

Fundamental Principles and Rights At Work: Value, Viability, Incidence and Importance as Elements For Economic Progress and Social Justice

Working Paper prepared for the ILO by Maria Luz Vega Ruiz and Daniel Martinez, focusing on the rights at work in Latin America and the Caribbean.

The Apparel Industry and Codes of Conduct: A Solution to the International Child Labor Problem?

This report is the third volume in ILAB’s international child labor series. It focuses on the use of child labor in the production of apparel for the U.S. market, and reviews the extent to which U.S. apparel importers have established and are implementing codes of conduct or other business guidelines prohibiting the use of child labor in the production of the clothing they sell. The report was mandated by the Omnibus Consolidated Rescissions and Appropriations Act of 1996, P.L. 104-134.

Trafficking in Persons Report

Fifth annual Trafficking in Persons Report prepared by the Department of State and submitted to the U.S. Congress on foreign governments' efforts to eliminate severe forms of trafficking in persons.

On the Conversion of Hensel Codes to Farey Rationals

Three different algorithms are described for the conversion of Hensel codes to Farey rationals. The first algorithm is based on the trial and error factorization of the weight of a Hensel code, inversion and range test. The second algorithm is deterministic and uses a pair of different p-adic systems for simultaneous computation; from the resulting weights of the two different Hensel codes of the same rational, two equivalence classes of rationals are generated using the respective primitive roots. The intersection of these two equivalence classes uniquely identifies the rational. Both the above algorithms are exponential (in time and/or space).

Synergistic Execution of Stream Programs on Multicores with Accelerators

The StreamIt programming model has been proposed to exploit parallelism in streaming applications oil general purpose multicore architectures. The StreamIt graphs describe task, data and pipeline parallelism which can be exploited on accelerators such as Graphics Processing Units (GPUs) or CellBE which support abundant parallelism in hardware. In this paper, we describe a novel method to orchestrate the execution of if StreamIt program oil a multicore platform equipped with an accelerator. The proposed approach identifies, using profiling, the relative benefits of executing a task oil the superscalar CPU cores and the accelerator. We formulate the problem of partitioning the work between the CPU cores and the GPU, taking into account the latencies for data transfers and the required buffer layout transformations associated with the partitioning, as all integrated Integer Linear Program (ILP) which can then be solved by an ILP solver. We also propose an efficient heuristic algorithm for the work-partitioning between the CPU and the GPU, which provides solutions which are within 9.05% of the optimal solution on an average across the benchmark Suite. The partitioned tasks are then software pipelined to execute oil the multiple CPU cores and the Streaming Multiprocessors (SMs) of the GPU. The software pipelining algorithm orchestrates the execution between CPU cores and the GPU by emitting the code for the CPU and the GPU, and the code for the required data transfers. Our experiments on a platform with 8 CPU cores and a GeForce 8800 GTS 512 GPU show a geometric mean speedup of 6.94X with it maximum of 51.96X over it single threaded CPU execution across the StreamIt benchmarks. This is a 18.9% improvement over it partitioning strategy that maps only the filters that cannot be executed oil the GPU - the filters with state that is persistent across firings - onto the CPU.

An Online Implementable Differential Evolution Tuned Optimal Guidance Law

This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engagement is minimised using differential evolution. The difficulty of solving it by existing conventional techniques in optimal control theory is caused by the nonlinearity of the dynamic constraint equation, inequality constraint on the control input and inequality constraint on another parameter that enters problem indirectly. The optimal control problem of finding the minimum miss distance has an analytical solution subject to several simplifying assumptions. In the approach proposed in this paper, the initial population is generated around the seed value given by this analytical solution. Thereafter, the algorithm progresses to an acceptable final solution within a few generations, satisfying the constraints at every iteration. Since this solution or the control input has to be obtained in real time to be of any use in practice, the feasibility of online implementation is also illustrated.

Improving Flow-Insensitive Solutions for Non-Separable Dataflow Problems

Flow-insensitive solutions to dataflow problems have been known to be highly scalable; however also hugely imprecise. For non-separable dataflow problems this solution is further degraded due to spurious facts generated as a result of dependence among the dataflow facts. We propose an improvement to the standard flow-insensitive analysis by creating a generalized version of the dominator relation that reduces the number of spurious facts generated. In addition, the solution obtained contains extra information to facilitate the extraction of a better solution at any program point, very close to the flow-sensitive solution. To improve the solution further, we propose the use of an intra-block variable renaming scheme. We illustrate these concepts using two classic non-separable dataflow problems --- points-to analysis and constant propagation.

Comparative study on green building supportive policies of pacific-rim countries most vulnerable to climate change

- Problem Climate change is affecting the world in numerous ways such as increased temperatures, sea level rise, and increased droughts and floods. Governments worldwide, especially in the most vulnerable countries, are urged to seek better solutions for sustainable development. The construction industry and buildings have enormous impacts on humans and the environment, meaning green building must be one of the solutions. Government involvement is widely considered as one of the essential and most effective ways to promote green building and drive the construction market towards sustainability. This paper will review green building policy of the Pacific-Rim countries that are most vulnerable to climate change according to the recent Standard and Poor’s ranking, including: Cambodia, Vietnam, Fiji, Philippines, Papua New Guinea and Indonesia. Methodology: This paper will review policy related publications including journal and conference papers, portal websites of governments, legislation documents and reports of international organisations. It will focus on the policies and governmental instruments that support the adoption of green building practices. - Findings All six governments have launched climate change adaptation policies, showing a great concern regarding the damages caused by the phenomenon. All countries except Papua New Guinea have promulgated energy efficiency policy and programs which indirectly promote the adoption of green building practices. The comparison study shows that Philippines and Indonesia motivate the adoption of renewable energy generation, energy efficiency and green building through either financial or advocacy instruments, while other four countries tend to implement regulatory tools to mandate energy conservation. Through comparison, Cambodia and Vietnam – the two countries providing vision to develop green building - can learn from Philippines and Indonesia’s policy and instruments. - Research limitations Language differences between the countries and limit of formal sources may pose difficulties in searching for information. While much English language literature exists, sources from Cambodia, Philippines and Indonesia are less accessible. - Takeaway for practice As the paper provides more understanding about the supportive policy of those countries, it will introduce more opportunities for green property developers to invest in construction markets of those Pacific-Rim countries. - Originality There is little research reviewing green building supportive policies of developing and less-wealthy countries that are forecasted to be most vulnerable and most impacted by climate change. The originality of this paper lies in its investigation on how those countries intend to respond to this phenomenon and whether and to what extent they support the green building market by using policy tools.

Reverse Channel Training For Reciprocal Mimo Systems With Spatial Multiplexing

This paper investigates the problem of designing reverse channel training sequences for a TDD-MIMO spatial-multiplexing system. Assuming perfect channel state information at the receiver and spatial multiplexing at the transmitter with equal power allocation to them dominant modes of the estimated channel, the pilot is designed to ensure an stimate of the channel which improves the forward link capacity. Using perturbation techniques, a lower bound on the forward link capacity is derived with respect to which the training sequence is optimized. Thus, the reverse channel training sequence makes use of the channel knowledge at the receiver. The performance of orthogonal training sequence with MMSE estimation at the transmitter and the proposed training sequence are compared. Simulation results show a significant improvement in performance.

Divide-and-Correct Algorithm for Division in a Negative Base

A divide-and-correct algorithm is described for multiple-precision division in the negative base number system. In this algorithm an initial quotient estimate is obtained from suitable segmented operands; this is then corrected by simple rules to arrive at the true quotient.

Influence of interleukin-1 beta on platelet-poor plasma clot formation: A potential impact on early bone healing

Objectives Hematoma quality (especially the fibrin matrix) plays an important role in the bone healing process. Here, we investigated the effect of interleukin-1 beta (IL-1β) on fibrin clot formation from platelet-poor plasma (PPP). Methods Five-milliliter of rat whole-blood samples were collected from the hepatic portal vein. All blood samples were firstly standardized via a thrombelastograph (TEG), blood cell count, and the measurement of fibrinogen concentration. PPP was prepared by collecting the top two-fifths of the plasma after centrifugation under 400 × g for 10min at 20°C. The effects of IL-1β cytokines on artificial fibrin clot formation from PPP solutions were determined by scanning electronic microscopy (SEM), confocal microscopy (CM), turbidity, and clot lysis assays. Results The lag time for protofibril formation was markedly shortened in the IL-1β treatment groups (243.8 ± 76.85 in the 50 pg/mL of IL-1β and 97.5 ± 19.36 in the 500 pg/mL of IL-1β) compared to the control group without IL-1β (543.8 ± 205.8). Maximal turbidity was observed in the control group. IL-1β (500 pg/mL) treatment significantly decreased fiber diameters resulting in smaller pore sizes and increased density of the fibrin clot structure formed from PPP (P < 0.05). The clot lysis assay revealed that 500 pg/mL IL-1β induced a lower susceptibility to dissolution due to the formation of thinner and denser fibers. Conclusion IL-1β can significantly influence PPP fibrin clot structure, which may affect the early bone healing process.

Arithmetic Algorithms in a Negative Base

Algorithms are described for the basic arithmetic operations and square rooting in a negative base. A new operation called polarization that reverses the sign of a number facilitates subtraction, using addition. Some special features of the negative-base arithmetic are also mentioned.

Production attributes of Merino sheep genetically divergent for wool growth are reflected in differing rumen microbiotas

Divergent genetic selection for wool growth as a single trait has led to major changes in sheep physiology and metabolism, including variations in rumen microbial protein production and uptake of α-amino nitrogen in portal blood. This study was conducted to determine if sheep with different genetic merit for wool growth exhibit distinct rumen bacterial diversity. Eighteen Merino wethers were separated into groups of contrasting genetic merit for clean fleece weight (CFW; low: WG− and high: WG+) and fed a blend of oaten and lucerne chaff diet at two levels of intake (LOI; 1 or 1.5 times maintenance energy requirements) for two seven-week periods in a crossover design. Bacterial diversity in rumen fluid collected by esophageal intubation was characterized using 454 amplicon pyrosequencing of the V3/V4 regions of the 16S rRNA gene. Bacterial diversity estimated by Phylogenetic distance, Chao1 and observed species did not differ significantly with CFW or LOI; however, the Shannon diversity index differed (P=0.04) between WG+ (7.67) and WG− sheep (8.02). WG+ animals had a higher (P=0.03) proportion of Bacteroidetes (71.9% vs 66.5%) and a lower (P=0.04) proportion of Firmicutes (26.6% vs 31.6%) than WG− animals. Twenty-four specific operational taxonomic units (OTUs), belonging to the Firmicutes and Bacteroidetes phyla, were shared among all the samples, whereas specific OTUs varied significantly in presence/abundance (P<0.05) between wool genotypes and 50 varied (P<0.05) with LOI. It appears that genetic selection for fleece weight is associated with differences in rumen bacterial diversity that persist across different feeding levels. Moderate correlations between seven continuous traits, such as methane production or microbial protein production, and the presence and abundance of 17 OTUs were found, indicating scope for targeted modification of the microbiome to improve the energetic efficiency of rumen microbial synthesis and reduce the greenhouse gas footprint of ruminants.