Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.     

Building Organizational Identity: an Insider Action Research from a Founder’s Viewpoint

This paper features the implementation of an extensive insider action research, exhaustively following the framework of Coghlan and Brannick (2010, 2014). It consisted of two action research projects - the thesis action research and the core action research - which were done in a parallel manner, both following the iterative cycles of constructing, planning, taking, and evaluating action. The thesis action research was aimed at developing a theory on building organizational identity from the viewpoint of an organizational founder. On the other hand, the core action research was focused on promoting the specific identity of the Institute for Integrality, Inc. Quality and rigor were observed in the implementation of the action research cycles. In the fieldwork, there were three main cycles undertaken – understanding organizational identity, fine-tuning the practice of this identity, and designing the integration of this identity in organizational culture. Thereafter, significant learnings were derived from meta-learning in the form of content, process, and premise reflections. Finally, through the critical reflection of the project in the light of the experience and theory, A-Founder’s Integrative Theory of Organizational Identity Building was derived.     

Systemic Development of Leadership: Action Research in an Indian Manufacturing Organization

This insider action research study differentiates between developing leaders and leadership, evolves a systemic leadership model, and intervenes on the human, social and processes dimensions for developing leadership. This is a real-time study and responds to the organizational reality of fast pace of change and its systemic nature. Consequently, the research too is fast to guide actions and influence positive changes in the organization. As the action research addresses a systemic reality, research and contributions are in multiple aspects, with new techniques having huge implications for theory building as well as improving practice. The study provides a structural solution to perceived lack of commitment in senior colleagues—a syndrome I acronym as HILE (High Intentions and Lukewarm Execution)–by re-designing organizational processes and making time available for its effective utilization in developing leadership. A new technique of triggering major changes in organizations termed “concept sublimation” distils concept from the statements of major stakeholder and sublimates it from lower to higher unit of analysis and to higher levels of positivity. Statistical simplification of a competency framework by applying concepts from Euclidian geometry and making it effective is yet a unique contribution of this action research study. The study adapts the competing values framework in developing a method of assessing cultural congruence of a candidate with the culture of the organization. The uniqueness of the study lies in bridging the gap in the literature by actually and systemically developing leadership in an organization and providing pragmatic insights on developing leadership while also creating knowledge for theory building.     

Operationalising “Double-Loop” Learning in Service Organisations: A Systems Approach for Creating Knowledge

Learning organisation literature has widely discussed the connections between “double-loop” learning and its significance to organisational performance, but paying little attention to tools and systems that can operationalise “double-loop” learning in organisations. This paper investigates the impact of applying a systems approach for service operations design, expressed as the Vanguard Method (Seddon, Freedom from command and control: a better way to make the work work, 2003), in order to activate “double-loop” learning in service organisations. Two case studies were conducted in the banking mortgage operations and adults’ social care services in the UK, using the dimensions of the learning organisation questionnaire (DLOQ), semi-structured interviews, observations, and documents. The findings of the cross-case analysis support the link of applying the Vanguard Method with operationalising “double-loop” learning through three main factors, namely systematic-operations improvement, organisational capacity development, and outside-in mode of work; that are all embedded into the seven dimensions of the DLOQ. The value of this paper is the introduction of a service operations design tool that can activate “double-loop” learning performance in the fast changing knowledge era. It also provides an impetus for service organisations to creatively influence employees’ competencies to effectively improve internal systems.     

Ube3a,the E3 ubiquitin ligase causing Angelman syndrome and linked to autism,regulates protein homeostasis through the proteasomal shuttle Rpn10

Ubiquitination, the covalent attachment of ubiquitin to a target protein, regulates most cellular processes and is involved in several neurological disorders. In particular, Angelman syndrome and one of the most common genomic forms of autism, dup15q, are caused respectively by lack of or excess of UBE3A, a ubiquitin E3 ligase. Its Drosophila orthologue, Ube3a, is also active during brain development. We have now devised a protocol to screen for substrates of this particular ubiquitin ligase. In a neuronal cell system, we find direct ubiquitination by Ube3a of three proteasome-related proteins Rpn10, Uch-L5, and CG8209, as well as of the ribosomal protein Rps10b. Only one of these, Rpn10, is targeted for degradation upon ubiquitination by Ube3a, indicating that degradation might not be the only effect of Ube3a on its substrates. Furthermore, we report the genetic interaction in vivo between Ube3a and the C-terminal part of Rpn10. Overexpression of these proteins leads to an enhanced accumulation of ubiquitinated proteins, further supporting the biochemical evidence of interaction obtained in neuronal cells.     

The origins and early years of the Magnetic and Meteorological department at Greenwich Observatory, 1834-1848*

As one of his first acts upon becoming Astronomer Royal in 1835, George Airy made moves to set up a new observatory at Greenwich to study the Earth’s magnetic field. This paper uses Airy’s correspondence to argue that, while members of the reform movement in British science were putting pressure on the Royal Observatory to branch out into geomagnetism and meteorology, Airy established the magnetic observatory on his own initiative, ahead of Alexander von Humboldt’s request for British participation in the worldwide magnetic charting project that later became known as the ‘Magnetic Crusade’. That the Greenwich magnetic observatory did not become operational until 1839 was due to a series of incidental factors that provide a case study in the technical and political obstacles to be overcome in building a new government observatory. Airy attached less importance to meteorology than he did to geomagnetism. In 1840, he set up a full programme of meteorological observations at Greenwich – and thus turned his magnetic observatory into the ‘Magnetic and Meteorological department’ – only as the price of foiling an attempt by Edward Sabine and others in the London scientific elite to found a rival magnetic and meteorological observatory. Studying the origins of Airy’s Magnetic and Meteorological department highlights how important the context of other institutions and trends in science is to understanding the development of Britain’s national observatory.     

COMPARISON OF TWO METHODS OF OPERATING THEATRE PLANNING： APPLICATION IN BELGIAN HOSPITAL

Operating Theatre is the centre of the hospital management＇s efforts. It constitutes the most expensive sector with more than 10% of the intended operating budget of the hospital. To reduce the costs while maintaining a good quality of care, one of the solutions is to improve the existent planning and scheduling methods by improving the services and surgical specialty coordination or finding the best estimation of surgical case durations. The other solution is to construct an effective surgical case plan and schedule. The operating theatre planning and scheduling is the two important steps, which aim to make a surgical case programming with an objective of obtaining a realizable and efficient surgical case schedule. This paper focuses on the first step, the operating theatre planning problem. Two planning methods are introduced and compared. Real data of a Belgian university hospital ＂Tivoli＂ are used for the experiments.     

An improved branch-and-bound algorithm to minimize the weighted flowtime on identical parallel machines with family setup times

This article investigates identical parallel machines scheduling with family setup times. The objective function being the weighted sum of completion times, the problem is known to be strongly NP-hard. We propose a constructive heuristic algorithm and three complementary lower bounds. Two of these bounds proceed by elimination of setup times or by distributing each of them to jobs of the corresponding family, while the third one is based on a lagrangian relaxation. The bounds and the heuristic are incorporated into a branch-and-bound algorithm. Experimental results obtained outperform those of the methods presented in previous works, in term of size of solved problems.     

Suan Shu Shu A Book on Numbers and Computations

In December and January of 1983–1984, archaeologists excavating the tomb of an ancient Chinese provincial bureaucrat at a Western Han Dynasty site near Zhangjiashan, in Jiangling county, Hubei Province, discovered a number of books on bamboo strips, including inter alia works on legal statutes, military practice, and medicine. Among these was a previously unknown mathematical work on some 200 bamboo strips, the Suan shu shu, or Book of Numbers and Computations. Based upon other works found in the tomb, especially a copy of the Er nian lü ling (Laws and Decrees of the Second Year (of the reign of empress Lü, i.e. Lü Hou)), archaeologists have dated the tomb to ca. 186 BCE (Lü Hou’s regency lasted from 188 to 180 BCE). The Suan shu shu, as the earliest yet discovered work devoted specifically to mathematics from ancient China, has stirred considerable interest among Chinese historians of science. The translation and commentary offered here draw extensively on the works cited in Sect. 3 below. Several appendixes devoted to specific issues related to translating the Suan shu shu, including its title and the problem of determining English equivalents for various commodities that arise in the text, may be found in Appendix II. An erratum to this article can be found at     

Cluster Synchronization in a Complex Dynamical Network with Two Nonidentical Clusters

This paper further investigates cluster synchronization in a complex dynamical network with two-cluster. Each cluster contains a number of identical dynamical systems, however, the subsystems composing the two clusters can be different, i.e., the individual dynamical system in one cluster can differ from that in the other cluster. Complete synchronization within each cluster is possible only if each node from one cluster receives the same input from nodes in other cluster. In this case, the stability condition of one-cluster synchronization is known to contain two terms： the first accounts for the contribution of the inner-cluster coupling structure while the second is simply an extra linear term, which can be deduced by the ＂same-input＂ condition. Applying the connection graph stability method, the authors obtain an upper bound of input strength for one cluster if the first account is known, by which the synchronizability of cluster can be scaled. For different clusters, there are different upper bound of input strength by virtue of different dynamics and the corresponding cluster structure. Moreover, two illustrative examples are presented and the numerical simulations coincide with the theoretical analysis.