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.     

Bell state preparation based on switching between quantum system models

For the preparation of any target Bell state under continuous quantum measurement, this paper proposes a method which achieves the control objective by switching between two different models or by switching between two control channels under one model. Proper control Hamiltonians are selected for the two system models, a switching strategy between the two models is designed, and the stability of the whole switching system is proved in theory. For a given target Bell state, the effectiveness of the proposed switching control strategy between different models is illustrated through simulation experiments.     

The generalized Serre problem over <Emphasis Type="Italic">K</Emphasis>-Hermite rings

This paper investigates the completion and the zero prime factorization for matrices over a K-Hermite ring. The authors have generalized Kaplansky’s related results, solved similar Lin-Bose problem and generalized Serre problem over a K-Hermite ring.     

Greenhouse Effects in Global Warming based on Analogical Reasoning

Using an analogy in science and everyday life is a double-edged sword because they are accompanied by alternative ideas, in addition to scientific concepts. Schools and public education explain global warming by making a common analogy between this phenomenon and greenhouse effects (Chen in Philos Cogn Sci 105–114, 2012). Unfortunately, this analogy sometimes produces various incorrect explanatory mental models. To construct a correct understanding of global warming, it is necessary: first, to investigate the attributes of analogical reasoning; second, to understand these features by restructuring the greenhouse analogy; and third, to explore the problems and benefits of the greenhouse analogy. The characteristics of relations, rather than objects, must be mapped according to the principle of systematicity, but the public tends to preserve the attributes of the base domain, which is mapped relatively easily. In conclusion, certain facets of the prevailing greenhouse analogy cause a distorted public view of climate change. We must use the greenhouse analogy and yet simultaneously emphasize the relations and attributes highlighted and hidden in the analogy during evaluation.     

Love and Realism

In this reply I try to show that, contrary to Milberry’s apparent assertion, the general intellect of the multitude does not have the explanatory robustness she accredits to it (following both Virno and the Hardt and Negri of the Empire trilogy). Digital network technologies are currently overwhelmingly effective in proletarianizing and disempowering the cognitariat and only an active technopolitics of deproletarianization could reverse this hegemonic situation. In my response to Verbeek, I attempt to correct his misinterpretation (shared by Milberry) of the Stieglerian approach as being dialectical in nature and show that, far from reinstating the humanist dichotomy between human beings and technologies, my analysis assumes their original, albeit fundamentally ambiguous and even ‘uncanny’ [unheimlich] interconnection. I conclude with pointing out some implications of this view for a ‘really realistic’ political theory of technology.     

The Struggle for Technology: Towards a Realistic Political Theory of Technology

Pieter Lemmens’ neo-Marxist approach to technology urges us to rethink how to do political philosophy of technology. First, Lemmens’ high level of abstraction raises the question of how empirically informed a political theory of technology needs to be. Second, his dialectical focus on a “struggle” between humans and technologies reveals the limits of neo-Marxism. Political philosophy of technology needs to return “to the things themselves”. The political significance of technologies cannot be reduced to its origins in systems of production or social organization, but requires study at the micro-level, where technologies help to shape engagement, interaction, power, and social awareness.     

Supply chain performance for deteriorating items with cooperative advertising

To study the effect of cooperative advertising on the supply chain of deteriorating items, this paper establishes a Stackelberg game model for a two-echelon deteriorating items supply chain composed of one manufacturer and one retailer under a given support program with an exogenous participation rate. The manufacturer as the leader determines the wholesale price and production rate, and the retailer as the follower determines the retail price and advertising strategies. The strategies of the players under the decentralized scenario and the centralized scenario are respectively characterized. Numerical simulations and sensitivity analysis are conducted to gain some managerial insights. It is shown that the pricing, advertising and production strategies are negatively correlated to deteriorating coefficient, and both the profit and the channel efficiency decrease with deteriorating coefficient; The interaction between price, advertising investment and production rate results in a higher retail price of the centralized channel compared to that of the decentralized channel; Implementing the cooperative advertising program does improve the performance of the supply chain in some cases and the participation rate roughly at 0.5 is most preferable, but it is also possible to distort incentive and damage the channel performance when the participation rate reaches a relatively high level.     

Dual hesitant fuzzy information aggregation with Einstein t-conorm and t-norm

Dual hesitant fuzzy set (DHFS) is a new generalization of fuzzy set (FS) consisting of two parts (i.e., the membership hesitancy function and the non-membership hesitancy function), which confronts several different possible values indicating the epistemic degrees whether certainty or uncertainty. It encompasses fuzzy set (FS), intuitionistic fuzzy set (IFS), and hesitant fuzzy set (HFS) so that it can handle uncertain information more flexibly in the process of decision making. In this paper, we propose some new operations on dual hesitant fuzzy sets based on Einstein t-conorm and t-norm, study their properties and relationships and then give some dual hesitant fuzzy aggregation operators, which can be considered as the generalizations of some existing ones under fuzzy, intuitionistic fuzzy and hesitant fuzzy environments. Finally, a decision making algorithm under dual hesitant fuzzy environment is given based on the proposed aggregation operators and a numerical example is used to demonstrate the effectiveness of the method.     

Feature network-driven quadrant mapping for summarizing customer reviews

With the rapid growth of e-commerce, customers increasingly write online reviews of the product they purchase. These customer reviews are one of the most valuable sources of information affecting selection of products or services. Summarizing these customer reviews is becoming an interesting area of research, inspiring researchers to develop a more condensed, concise summarization for users. However, most of the current efforts at summarization are based on general product features without feature’s relationship. As a result, these summaries either ignore feedback from customers or do a poor job of reflecting the opinions expressed in customer reviews. To remedy this summarization shortcoming, we propose a feature network-driven quadrant mapping that captures and incorporates opinions from customer reviews. Our focus is on construction of a feature network, which is based on co-occurrence and sematic similarities, and a quadrant display showing the opinions polarity of feature groups. Moreover, the proposed approach involves clustering similar product features, and thus, it is different from standard text summarization based on abstraction and extraction. The summarized results can help customers better understand the overall opinions about a product.