Two Innovative Coalition Formation Models for Dynamic Task Allocation in Disaster Rescues

This paper addresses the problem of multi-objective coalition formation for task allocation. In disaster rescue, due to the dynamics of environments, heterogeneity and complexity of tasks as well as limited available agents, it is hard for the single-objective and single (task)-to-single (agent) task allocation approaches to handle task allocation in such circumstances. To this end, two multi-objective coalition formation for task allocation models are proposed for disaster rescues in this paper. First, through coalition formation, the proposed models enable agents to cooperatively perform complex tasks that cannot be completed by single agent. In addition, through adjusting the weights of multiple task allocation objectives, the proposed models can employ the linear programming to generate more adaptive task allocation plans, which can satisfy different task allocation requirements in disaster rescue. Finally, through employing the multi-stage task allocation mechanism of the dynamic programming, the proposed models can handle the dynamics of tasks and agents in disaster environments. Experimental results indicate that the proposed models have good performance on coalition formation for task allocation in disaster environments, which can generate suitable task allocation plans according to various objectives of task allocation.     

Data-Driven Leader-Follower Output Synchronization for Networked Non-Linear Multi-Agent Systems with Switching Topology and Time-Varying Delays

This paper studies the output synchronization problem for a class of networked non-linear multi-agent systems with switching topology and time-varying delays. To synchronize the outputs, a leader is introduced whose connectivity to the followers varies with time, and a novel data-driven consensus protocol based on model free adaptive control is proposed, where the reference input of each follower is designed to be the time-varying average of the neighboring agents’ outputs. Both the case when the leader is with a prescribed reference input and the case otherwise are considered. The proposed protocol allows for time-varying delays, switching topology, and does not use the agent structure or the dynamics information implicitly or explicitly. Sufficient conditions are derived to guarantee the closed-loop stability, and conditions for consensus convergence are obtained, where only a joint spanning tree is required. Numerical simulations and practical experiments are conducted to demonstrate the effectiveness of the proposed protocol.     

基于可接受性标准的复杂产品仿真系统在线评估框架

针对当前复杂仿真系统评估的滞后性问题,提出了基于可接受性标准(Acceptability Criteria,AC)的仿真在线评估方法。通过定性和定量AC到指标的映射模型来建立评估指标体系;引入指标集和评估函数,提出了仿真评估流程有限自动机七元组模型,给出仿真流程到评估自动机的映射关系和基于数据驱动的状态转移机制,实现评估过程自动化执行过程;基于上述成果设计了在线评估工具,通过案例验证了在线评估方法的有效性,表明该方法能够有效解决仿真系统评估滞后性问题。     

Contours and Tight Clusters

Nested clusters arise independently in graph partitioning and in the study of contours. We take a step toward unifying these two instances of nested clusters. We show that the graph theoretical tight clusters introduced by Dress, Steel, Moulton and Wu in 2010 are a special case of nested clusters associated to contours.     

An empirical investigation on the risk-return relationship of carbon future market

This paper examines the risk-return relationship for the carbon future market during Phases I, II and III of the European Union Emission Trading Scheme (EU ETS). The risk factors derived from the newly developed LSW model, are embedded into a GARCH framework. This new specification is compared with several GARCH-M type models analyzing the risk-return relationship in the carbon market. The results show that the new specification consistently achieves a good fit and possesses superior explanatory power for the European Union Allowance (EUA) data. Some policy suggestions regarding market efficiency are also provided.     

The predictability of stock market volatility in emerging economies: Relative roles of local,regional, and global business cycles

This paper explores the role of business cycle proxies, measured by the output gap at the global, regional, and local levels, as potential predictors of stock market volatility in the emerging BRICS nations. We observe that the emerging BRICS nations display a rather heterogeneous pattern when it comes to the relative role of idiosyncratic factors as a predictor of stock market volatility. While domestic output gap is found to capture significant predictive information for India and China particularly, the business cycles associated with emerging economies and the world in general are strongly important for the BRIC countries and weakly for South Africa, especially in the postglobal financial crisis era. The findings suggest that despite the increase in the financial integration of world capital markets, emerging economies can still bear significant exposures to idiosyncratic risk factors, an issue of high importance for the profitability of global diversification strategies.     

Systemic Design for Applying the Combined Use of SSM and CDA to Social Practices

In this paper, we propose a framework for applying the combined use of soft systems methodology (SSM) and critical discourse analysis (CDA) based on social semiotic systemic functional linguistics to social practices. In the social practice, ‘participation’ mode of Checkland’s SSM is used for ‘problem-solving’ whilst CDA is used to problematize ‘problem-solving’ processes within the practice. During the meta-process of problematization of our research, we used Churchman’s systems approach and its theory of ‘boundary critique’ in order to explore issues such as governance, inequality of power, and social values within the organization examined for this study. In other words, the process-oriented methodology proposed in this paper consists of two processes: that of ‘problem-solving’ based on SSM and of problematization of naturalized discourse from the perspective of CDA and two phases of boundary critique in social practice. A detailed account of a case study of Korean social enterprise is given to demonstrate how our proposed framework of the combined use of SSM and CDA is applied into practice. Reflecting the outcome of the case study, this paper argues that critical social research from systemic inquiry using what we call ‘process-oriented methodology’ is useful to address some of the social and complex issues related to understanding dynamic relation between power and discourse amongst participants in the social enterprise in Korean contexts.     

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra

Some techniques using linear algebra was introduced by Faugère in F4 to speed up the reduction process during Gr?bner basis computations.These techniques can also be used in fast implementations of F5 and some other signature-based Gr?bner basis algorithms.When these techniques are applied,a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function(given in F4).Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function,this step can be very costly when the number of involved polynomials/monomials is huge.In this paper,multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported.Many examples have been tested by using this method,and the experimental data shows that the new method is very efficient.     

Comments on a Paper on Alleged Misconceptions Regarding the History of Analysis: Who Has Misconceptions?

This comment is analysing the last section of a paper by Piotr Blaszczyk, Mikhail G. Katz, and David Sherry on alleged misconceptions committed by historians of mathematics regarding the history of analysis, published in this journal in the first issue of 2013. Since this section abounds of wrong attributions and denouncing statements regarding my research and a key publication, the comment serves to rectify them and to recall some minimal methodological requirements for historical research.