Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

The impact of market forces on the sustainability of the biotechnology industry

his paper contains a warning for investors, executives, analysts and scientists about the sustainability of the biotechnology industry. The study upon which the paper is based examines the impact of market forces on the biotechnology industry and argues that the short-term focus of market driven policies and practices impacts on the sustainability of firms operating in the industry. The market is represented by the National Association of Securities Dealers, Automated Quotations Market (NASDAQ), considered to be one of the vehicles of the promotion of ''new economy'' companies and principles. Through the application of bibliometric data (using both refereed and non-refereed papers), matched with the long term tracking of the NASDAQ Biotechnology Index, the authors provide a clear indication that the short-term investment thinking is leading an industry that is characterised by long R&D cycles. There is an incompatibility between the shorter-term investment considerations and the long-term scientific developments the biotechnology industry is attempting to achieve. Graphs and illustrations are provided to portray the comparative data.

Assessing the competitiveness of loss allocation methods in a deregulated electricity market

This paper critically assesses several loss allocation methods based on the type of competition each method promotes. This understanding assists in determining which method will promote more efficient network operations when implemented in deregulated electricity industries. The methods addressed in this paper include the pro rata [1], proportional sharing [2], loss formula [3], incremental [4], and a new method proposed by the authors of this paper, which is loop-based [5]. These methods are tested on a modified Nordic 32-bus network, where different case studies of different operating points are investigated. The varying results obtained for each allocation method at different operating points make it possible to distinguish methods that promote unhealthy competition from those that encourage better system operation.

A hybrid probabilistic criterion for market-based transmission expansion planning

Market-based transmission expansion planning gives information to investors on where is the most cost efficient place to invest and brings benefits to those who invest in this grid. However, both market issue and power system adequacy problems are system planers’ concern. In this paper, a hybrid probabilistic criterion of Expected Economical Loss (EEL) is proposed as an index to evaluate the systems’ overall expected economical losses during system operation in a competitive market. It stands on both investors’ and planner’s point of view and will further improves the traditional reliability cost. By applying EEL, it is possible for system planners to obtain a clear idea regarding the transmission network’s bottleneck and the amount of losses arises from this weak point. Sequentially, it enables planners to assess the worth of providing reliable services. Also, the EEL will contain valuable information for moneymen to undertake their investment. This index could truly reflect the random behaviors of power systems and uncertainties from electricity market. The performance of the EEL index is enhanced by applying Normalized Coefficient of Probability (NCP), so it can be utilized in large real power systems. A numerical example is carried out on IEEE Reliability Test System (RTS), which will show how the EEL can predict the current system bottleneck under future operational conditions and how to use EEL as one of planning objectives to determine future optimal plans. A well-known simulation method, Monte Carlo simulation, is employed to achieve the probabilistic characteristic of electricity market and Genetic Algorithms (GAs) is used as a multi-objective optimization tool.

Packing complete multipartite graphs with 4-cycles

In this paper we completely solve the problem of finding a maximum packing of any complete multipartite graph with edge-disjoint 4-cycles, and the minimum leaves are explicitly given.

Decomposition of complete tripartite graphs into gregarious 4-cycles

A 4-cycle in a tripartite graph with vertex partition {V-1, V-2, V-3} is said to be gregarious if it has at least one vertex in each V-i, 1 less than or equal to i less than or equal to 3. In this paper, necessary and sufficient conditions are given for the existence of an edge-disjoint decomposition of any complete tripartite graph into gregarious 4-cycles.

APSR Market Day

Notes for presentation

What are the economic prospects of developing aquaculture in Queensland to supply the low price white fillet market? Lessons from the US channel catfish industry

The farming of channel catfish (Ictalurus punctatus) is the largest (by volume and value) and most successful (in terms of market impact) aquaculture industry in the United States of America. Farmed channel catfish is the most consumed (in terms of volume per capita) fish fillet in the U.S. market. Within Australia, it has long been suggested by researchers and industry that silver perch (Bidyanus bidyanus) and possibly other endemic teraponid species possess similar biological attributes for aquaculture as channel catfish and may have the potential to generate a similar industry. The current teraponid industry in Australia, however, shows very little resemblance to the catfish industry, either in production style or market philosophy. A well established budget framework from the literature on U.S. channel catfish farming has been adapted for cost and climate conditions of the Burdekin region, Queensland, Australia. Breakeven prices for the hypothetical teraponid farms were found to be up to 50% higher than those published for catfish farms however were much lower than those reported for silver perch production in Australia using current, endemic styles of production. The breakeven prices for the hypothetical teraponid farms were most sensitive (in order of significance) to feed prices, production rates, interest rates, fingerling prices and electricity prices. At equivalent feed costs the costs of production between the hypothetical catfish farms in the Mississippi, U.S. and the hypothetical teraponid farms in the Burdekin, Australia were remarkably similar. The cost of feeds suitable for teraponid production in Australia are currently around double that of catfish feeds in the U.S. Issues currently hindering the development of a large scale teraponid industry in Australia are discussed.

Social democracy and market reform in Australia and New Zealand

Social democratic governments in Australia and New Zealand adopted policies of radical free-market reform, including financial deregulation, privatization, and public-sector reform in the 1980s. Because of the absence of institutional obstacles to government action, reform was faster and more comprehensive in New Zealand than in Australia. The New Zealand reforms were associated with increasing inequality and generally poor economic outcomes. There is nothing in the New Zealand experience to support the view that radical free-market economic policies are consistent with social democratic welfare policies or with social democratic values of concern for the disadvantaged, The Australian reforms were less radical, and were accompanied by some refurbishment of the welfare state. Economic performance did nor improve, as anticipated by advocates of reform, but was considerably better than that of New Zealand.

Comparative labor market performance of visaed and non-visaed migrants: Pacific islanders in Sydney

Using survey data for Tongan and Samoan migrants in Sydney the effects of visa restrictions on labor market performance of migrants are assessed. Univariate analysis suggests a positive association between unemployment and the unrestricted entry of Samoan step-migrants from New Zealand. A probit model of the determinants of unemployment is estimated with controls for human capital and demographic variables. While human capital endowments are important, visa restrictions do not have a significant effect on either group's employability. Implications for policy are discussed highlighting the complementarities between host country immigration policies and foreign aid programs.