Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

CSRe团簇内靶温度闭环控制器设计；Design of Closed Loop Temperature Controller for CSRe Internal Target System

介绍了国家重大科学工程项目——兰州重离子加速器冷却存储环(HIRFL-CSR)的实验环(CSRe)团簇内靶温度闭环控制器的设计。该控制器给气体喷嘴处测温电阻提供长时间稳定度为0.1%的1mA恒定电流,通过12位ADC得到喷嘴温度,并通过混合信号处理器MSP430F149来实现制冷/加热闭环操作。在多种不同实验气体的情况下,该控制器的温度控制精度小于0.5K。目前,该控制器在现场工作良好。

The meaning of environmental control systems (ECS) for people with spinal cord injury: An occupational therapist explores an intervention

Environmental Control Systems (ECS), enable people with high cervical Spinal Cord Injury (high SCI) to control and access everyday electronic devices. In Ireland, however, access for those who might benefit from ECS is limited. This study used a qualitative approach to explore the insider experience of an ECS starter-pack developed by the author, an occupational therapist. The primary research questions: what is it really like to live with ECS, and what does it mean to live with ECS, were explored using a phenomenological methodology conducted in three phases. In Phase 1 fifteen people with high SCI met twice in four focus groups to discuss experiences and expectations of ECS. Thematic analysis (Krueger & Casey, 2000), influenced by the psychological phenomenological approach (Creswell, 1998), yielded three categories of rich, practical, phenomenological findings: ECS Usage and utility; ECS Expectations and The meaning of living with ECS. Phase 1 findings informed Phase 2 which consisted of the development of a generic electronic assistive technology pack (GrEAT) that included commercially available constituents as well as short instructional videos and an information booklet. This second phase culminated in a one-person, three-week pilot trial. Phase 3 involved a six person, 8-week trial of the GrEAT, followed by individual in-depth interviews. Interpretative Phenomenological Analysis IPA (Smith, Larkin & Flowers, 2009), aided by computer software ATLAS.ti and iMindmap, guided data analysis and identification of themes. Getting used to ECS, experienced as both a hassle and engaging, resulted in participants being able to Take back a little of what you have lost, which involved both feeling enabled and reclaiming a little doing. The findings of this study provide substantial insights into what it is like to live with ECS and the meanings attributed to that experience. Several practical, real world implications are discussed.

Taking pluralism seriously:Embedded moralities in management accounting and control systems

Professor Norman Macintosh has long been a leading, and at times a dissonant, voice in critical accounting studies, exhibiting an intellectual dexterity seldom encountered in the accounting academy. His work ranges from the application of traditional organizational theories within work organizations to poststructural renderings of capital market exigencies. Here, we consider and extend Professor Macintosh's work contemplating the morality embedded within, and propagated by, management accounting and control systems (macs). We begin with Macintosh (1995) employing structuration theory in investigating the ethics of profit manipulation within large, decentralized corporations. The work highlights the fundamental dialectical contradictions within these work organizations, demonstrates the indeterminacy of traditional ethical reasoning, and shows the extent to which macs provide legitimating underpinnings for management action. We propose to extend the conversation using the tools provided in Macintosh's subsequent work: a Levinasian ethic (Macintosh et al., 2009), and heteroglossic accounting (Macintosh, 2002)—both emerging from his poststructuralist predilections. A Levinasian perspective provides an ontologically grounded ethic, and heteroglossic accounting calls for multiple accountings representing alternative moral voices. A critical dialogic framework is proposed as a theoretic for imagining heteroglossic accounting that takes pluralism seriously by recognizing the reality of irresolvable differences and asymmetric power relationships associated with assorted moral perspectives.