A methodology for analysis and control of discrete event dynamic systems

The rapid developments in computer technology have resulted in a widespread use of discrete event dynamic systems (DEDSs). This type of system is complex because it exhibits properties such as concurrency, conflict and non-determinism. It is therefore important to model and analyse such systems before implementation to ensure safe, deadlock free and optimal operation. This thesis investigates current modelling techniques and describes Petri net theory in more detail. It reviews top down, bottom up and hybrid Petri net synthesis techniques that are used to model large systems and introduces on object oriented methodology to enable modelling of larger and more complex systems. Designs obtained by this methodology are modular, easy to understand and allow re-use of designs. Control is the next logical step in the design process. This thesis reviews recent developments in control DEDSs and investigates the use of Petri nets in the design of supervisory controllers. The scheduling of exclusive use of resources is investigated and an efficient Petri net based scheduling algorithm is designed and a re-configurable controller is proposed. To enable the analysis and control of large and complex DEDSs, an object oriented C++ software tool kit was developed and used to implement a Petri net analysis tool, Petri net scheduling and control algorithms. Finally, the methodology was applied to two industrial DEDSs: a prototype can sorting machine developed by Eurotherm Controls Ltd., and a semiconductor testing plant belonging to SGS Thomson Microelectronics Ltd.

The language of business interviewing:a study in cross-cultural communication

The study examines the concept of cultural determinism in relation to the business interview, analysing differences in language use between English, French and West German native speakers. The approach is multi- and inter-disciplinary combining linguistic and business research methodologies. An analytical model based on pragmatic and speech act theory is developed to analyse language use in telephone market research interviews. The model aims to evaluate behavioural differences between English, French and West German respondents in the interview situation. The empirical research is based on a telephone survey of industrial managers, conducted in the three countries in the national language of each country. The telephone interviews are transcribed and compared across languages to discover how managers from each country use different language functions to reply to questions and requests. These differences are assessed in terms of specific cultural parameters: politeness, self-assuredness and fullness of response. Empirical and descriptive studies of national character are compared with the survey results, providing the basis for an evaluation of the relationship between management culture and national culture on a contrastive and comparative cross-cultural basis. The project conclusions focus on the implications of the findings both for business interviewing and for language teaching.

A political economy of the ethnic chinese catering industry

The present political climate in which the ideals of entrepreneurship and self-help are strongly encouraged has drawn attention to those ethnic minorities noted for their entrepreneurial activity. Since the Chinese appear to be an exemplary case in point, this thesis focusses upon the historical material conditions which have led to the formation of a Chinese 'business* community in Britain, both past and present As such, it rejects the theories of cultural determinism which characterise most studies of the Chinese. For rather than representing the endurance of cultural norms, the existence of the contemporary Chinese 'niche' of ethnically exclusive firms in the catering industry is due to the conjunction of a number of historical processes. The first is the imperialist expansion into China of Britain's capitalist empire during the nineteenth century which established a relationship of dependency upon the interests of British capital by colonial Chinese labour. The second is the post war development of the catering industry and its demand for cheap labour as administered by the British state together with the contemporaneous development of the agricultural economy of colonial Hong Kong. Far from representing a source of material benefit to all, the ethnic Chinese 'niche' in catering is highly exploitative and merely underlines the racial oppression of Chinese in Britain. Attempts to promote business interests within the ethnic community therefore serve merely to entrench the structures of oppression.

Kant and Darwin

The central theses of Kant's critical philosophy are sometimes said to have been overtaken by evolutionary biology. This paper considers how far this proposition can be sustained. I argue that the ‘architectonic’ or ‘system-building’ character of the mind, the categories and the forms of intuition, can indeed be seen as the outcome of a particular evolutionary lineage in a Darwinian world. I argue, further, that the principal motive energizing the critical philosophy is the 'nightmare' of physical determinism. An alternative escape route from this particular nightmare is rehearsed. If this route is taken, the intricate arguments of the Critiques are unnecessary to save moral action in a world of things. Nonetheless, insofar as 'first philosophy' necessarily starts from within the philosopher's own subjectivity, Kant's work retains its power. I suggest that the Kantian and the Darwinian interpretations are to an extent complementary. If this is so, some form of evolutionarily-informed dual-aspect psychoneural identity theory could combine the essence of the two interpretations.

An empirical examination of the strategic decision-making process:the relationship between context, process, and outcomes

Despite concerted academic interest in the strategic decision-making process (SDMP) since the 1980s, a coherent body of theory capable of guiding practice has not materialised. This is because many prior studies focus only on a single process characteristic, often rationality or comprehensiveness, and have paid insufficient attention to context. To further develop theory, research is required which examines: (i) the influence of context from multiple theoretical perspectives (e.g. upper echelons, environmental determinism); (ii) different process characteristics from both synoptic formal (e.g. rationality) and political incremental (e.g. politics) perspectives, and; (iii) the effects of context and process characteristics on a range of SDMP outcomes. Using data from 30 interviews and 357 questionnaires, this thesis addresses several opportunities for theory development by testing an integrative model which incorporates: (i) five SDMP characteristics representing both synoptic formal (procedural rationality, comprehensiveness, and behavioural integration) and political incremental (intuition, and political behaviour) perspectives; (ii) four SDMP outcome variables—strategic decision (SD) quality, implementation success, commitment, and SD speed, and; (iii) contextual variables from the four theoretical perspectives—upper echelons, SD-specific characteristics, environmental determinism, and firm characteristics. The present study makes several substantial and original contributions to knowledge. First, it provides empirical evidence of the contextual boundary conditions under which intuition and political behaviour positively influence SDMP outcomes. Second, it establishes the predominance of the upper echelons perspective; with TMT variables explaining significantly more variance in SDMP characteristics than SD specific characteristics, the external environment, and firm characteristics. A newly developed measure of top management team expertise also demonstrates highly significant direct and indirect effects on the SDMP. Finally, it is evident that SDMP characteristics and contextual variables influence a number of SDMP outcomes, not just overall SD quality, but also implementation success, commitment, and SD speed.

Who is really in charge of contemporary education? People and technologies in, against and beyond the neoliberal university

This article reflects on the position of people in, against and beyond information and communication technologies. Firstly, using Jandrić and Kuzmanić’s work on digital postcolonialism, Raymond Williams's work on residual and emergent cultures, and Deleuze and Guattari's insights into the dynamics between territorialization, de-territorialization and re-territorialization, it develops a theoretical framework for inquiry into the hybrid identity of the contemporary university. Then, through critical discourse analysis (CDA), the article moves on to analyse the ways in which technology discourse resides in the dominating ideology of technological determinism and co-opts with neoliberal agendas by omitting humans from explicit mention in UK policy documents. It shows that true counter-hegemonic practice against dominating social practices is possible only through reinvigorating the central position of human beings in regards to information and communication technologies. Within the developed theoretical framework, it seeks openings to intervene subversively into current relationships between technologies, people, and (higher) education, and to identify opportunities for building a non-determinist identity of the contemporary university that reaches beyond the single-minded logic of techno-scientific development. In the process, it situates Paulo Freire's insights into critical pedagogy in the context of the network society, and places the relationships between human beings, language and information and communication technologies amongst central questions of today's (higher) education and society at large.

Decision–making Support Systems as Personal Intellectual Device of a Decision–maker

The problems of the cognitive development of subject “perception” are discussed in the thesis: from the object being studied and means of action till the single system “subject – modus operandi of subject – object”. Problems of increasing adequacy of models of “live” nature are analyzed. The concept of developing decisionmaking support systems as expert systems to decision-making support systems as personal device of a decisionmaker is discussed. The experience of the development of qualitative prediction on the basis of polyvalent dependences, represented by a decision tree, which realizes the concept of “plural subjective determinism”, is analyzed. The examples of applied systems prediction of ecological-economic and social processes are given. The ways of their development are discussed.

A Circuit Implementing Massive Parallelism in Transition P Systems

ransition P-systems are based on biological membranes and try to emulate cell behavior and its evolution due to the presence of chemical elements. These systems perform computation through transition between two consecutive configurations, which consist in a m-tuple of multisets present at any moment in the existing m regions of the system. Transition between two configurations is performed by using evolution rules also present in each region. Among main Transition P-systems characteristics are massive parallelism and non determinism. This work is part of a very large project and tries to determine the design of a hardware circuit that can improve remarkably the process involved in the evolution of a membrane. Process in biological cells has two different levels of parallelism: the first one, obviously, is the evolution of each cell inside the whole set, and the second one is the application of the rules inside one membrane. This paper presents an evolution of the work done previously and includes an improvement that uses massive parallelism to do transition between two states. To achieve this, the initial set of rules is transformed into a new set that consists in all their possible combinations, and each of them is treated like a new rule (participant antecedents are added to generate a new multiset), converting an unique rule application in a way of parallelism in the means that several rules are applied at the same time. In this paper, we present a circuit that is able to process this kind of rules and to decode the result, taking advantage of all the potential that hardware has to implement P Systems versus previously proposed sequential solutions.

Optimal kernel development for real-time communications

The purpose of this research is to develop an optimal kernel which would be used in a real-time engineering and communications system. Since the application is a real-time system, relevant real-time issues are studied in conjunction with kernel related issues. The emphasis of the research is the development of a kernel which would not only adhere to the criteria of a real-time environment, namely determinism and performance, but also provide the flexibility and portability associated with non-real-time environments. The essence of the research is to study how the features found in non-real-time systems could be applied to the real-time system in order to generate an optimal kernel which would provide flexibility and architecture independence while maintaining the performance needed by most of the engineering applications. Traditionally, development of real-time kernels has been done using assembly language. By utilizing the powerful constructs of the C language, a real-time kernel was developed which addressed the goals of flexibility and portability while still meeting the real-time criteria. The implementation of the kernel is carried out using the powerful 68010/20/30/40 microprocessor based systems.

Rede de controle em ambiente hospitalar: um protocolo multiciclos para automação hospitalar sobre IEEE 802.3 com IGMP Snooping

VALENTIM, R. A. M. ; MORAIS, A. H. F. ; SOUZA, V. S. V ; ARAUJO JUNIOR, H. B. ; BRANDAO, G. B. ; GUERREIRO, A. M. G. . Rede de Controle em Ambiente Hospitalar: um protocolo multiciclos para automação hospitalar sobre IEEE 802.3 com IGMP Snooping. Revista Ciência e Tecnologia, v. 11, p. 19, 2009

Sobre (vivência) e mortalidade de pequenos negócios: o caso de mercados varejistas potiguares

This paper‟s starting point was the objective of understanding the relation between the reasons pointed out by small businesses owners for the continuity or shutdown of their businesses, and the reasons presented by the Environmental Theories. The paper discusses the Environmental Theories understand that it is supported by a systemic metaphor speech, discussing the theme in terms of organizational survival and mortality . The text reviews the literature showing the changes in the administrative thinking regarding the organization versus environment relation, and presenting general ideas about the micro and small businesses. In methodological terms, the qualitative approach was used in the research. Regarding the data collection technique, an in-depth thematic interview was used. It was carried out considering the elements of the techniques of life history and oral history, always giving priority to real world related narratives told by the interviewed subjects. The empirical corpus of the research was made up of seven owners of small retail businesses in two Potiguar cities: Natal and Mossoró. The interpretative and analytical process focused, at first, on the reflexive dialogue with each one of the owners‟ professional life history and business management experience, constituting the first level of analysis: reflections on individual narratives; and, afterwards, the interpretative process was developed through the analysis of all the subjects‟ statements, identifying the recurring themes and constituting the second level of analysis: reflection on the totalizing narrative. The themes identified in the totalizing narrative, that refer to the continuity of the businesses are: evolution, control, fidelity, liking what one does for a living. The themes that came up as reasons for shutdown are: lack of empathy with the business, lack of evolution, competition problems, suppliers and the government. The text synthesizes its comprehensions affirming that the reasons associated with continuity and shutdown of small markets, for this group of owners specifically, come up as a permanent tension between the volunteerism (quite human) and the determinism (systemic). The tension is shown in testimonies that at the same time evoke the organicist systemic logic through the themes evolution/no evolution, and also counterpoints with themes related to the interested human action, based on desires, feelings and personal convictions such as: liking what one does/ lack of empathy. As for the reflexive dialogue between the postulates of the Environmental Theories and the narratives, the results make it possible to affirm that, differently from the tension expressed by the subjects while talking about their reasons, the reasons associated with survival and mortality of businesses according to the Environmental Theories are theoretically polarized, seeming to preach options that are stagnated and shaping towards the subjects involved in the organization-environment relation

Rede de controle em ambiente hospitalar: um protocolo multiciclos para automação hospitalar sobre IEEE 802.3 com IGMP Snooping

VALENTIM, R. A. M. ; MORAIS, A. H. F. ; SOUZA, V. S. V ; ARAUJO JUNIOR, H. B. ; BRANDAO, G. B. ; GUERREIRO, A. M. G. . Rede de Controle em Ambiente Hospitalar: um protocolo multiciclos para automação hospitalar sobre IEEE 802.3 com IGMP Snooping. Revista Ciência e Tecnologia, v. 11, p. 19, 2009

Apport d'un programme de génétique à une filière de production aquacole : l'exemple de l'ostréiculture

Two oyster species are currently present along the French coasts : the indigenous European flat oyster (Ostrea edulis), and the Pacific cupped oyster (Crassostrea gigas), that has been introduced from Japan since the beginning of the 70ies. The flat oyster successively suffered from two protozoan diseases during the 60ies and its production decreased from 20 000 tons/year by that time to 1 500 tons/year nowadays. Consequently, the oyster production is principally (99%) based upon the Pacific oyster species with approximately 150 000 tons/year among which 90% are grown from the natural spat. However, the hatchery production of this species is developing and was estimated to 400 to 800 millions spat in 2002. Moreover, strengthened relationships between IFREMER and the 5 commercial hatcheries, that all joined the SYSAAF (Union of the French poultry, shellfish and fish farming selectors), allow to plan for new genetic breeding programs. At the end of the 80ies, IFREMER initiated a genetic breeding program for the resistance of the European flat oyster to the bonamiosis, and obtained strains more tolerant to this disease. After two generations of massal selection, molecular markers had identified a reduced genetic basis in this program. It was then reoriented to an intra-familial selection. However, we were confronted to a zootechnic problem to manage such a scheme and we compromised by an intra-cohorts of families selection scheme managed using molecular markers. The program has now reached the transfer level with experimentation at a professional scale. Concerning the Pacific cupped oyster, and in parallel with the obtaining and the study of polyploids, performance of different Asian cupped oyster strains were compared to the one introduced in France thirty years ago and currently suffering from summer mortalities. The local strain exhibited better performance, certainly based upon a good local adaptation. In other respects, although early growth is a relevant criteria for selection for growth to commercial stage, it is not to be privileged in the context of an oyster producing region with a limited food availability. Contrary, the spat summer mortality became a priority for numerous teams (genetic, physiology, pathology, ecology,...) joined in the MOREST program. The first results showed important survival differences between fullsib and halsib families. They indicate a genetic determinism to this character "survival" and promote for its selection.

Cycles saisonniers, reproduction et qualite des ovocytes chez Pecten maximus en rade de Brest

This work is part of the program, "recruitment determinism in scallops" initiated in 1992 by the "Contrat de Baie". The aim of this research was to explain interannual abundance fluctuations observed for Pecten maximus, in the Bay of Brest. To this end an analytical approach to the life cycle of the species was undertaken to determine its critical phases. A phase may be considered as "critical" if the mortality rate at its level varies from one year to the other. Using data from 1989 to 1994, a precise time-table of the "physiological year" of the scallop in the Bay of Brest was determined. Fecundity and gamete production kinetics were estimated from the annual variation in the weight indices of the gonad. In the laboratory, egg quality was estimated following stimulated spawning of newly caught individuals. The digestive activity was estimated by amylase activity measurements during a three year period. Spawning lasts 6 months in the Bay of Brest from March to October. Spawning, muscle and digestive gland growths, are intimately linked to phytoplancton blooms. Gonad production shows a maximum in April-May, and two relative minima in Match and November. These results, which provide detailed understanding of the adult's annual cycle in the Bay of Brest, will be used to interpret the relationship between the annual cycle and larval and post larval abundance and survival. Already, these results are being used to improve spat production in hatcheries.

Categories, Allegories, and Circuit Design

Languages based upon binary relations offer an appealing setting for constructing programs from specifications. For example, working with relations rather than functions allows specifications to be more abstract (for example, many programs have a natural specification using the converse operator on relations), and affords a natural treatment of non-determinism in specifications. In this paper we present a novel pictorial interpretation of relational terms as simple pictures of circuits, and a soundness/completeness result that allows relational equations to be proved by pictorial reasoning.