Detecting stable locality-aware predicates

In a large-scale locality-driven network such as in modular robotics and wireless sensor networks, knowing the state of a local area is sometimes necessary due to either interactions being local and driven by neighborhood proximity or the users being interested in the state of a certain region. We define locality-aware predicates (LAP) that aim at detecting a predicate within a specified area. We model the area of interest as the set of processes that are within a breadth-first search tree (BFST) of height k$k$ rooted at the initiator process. Although a locality-aware predicate specifies a predicate only within a local area, observing the area consistently requires considering the entire system in a consistent manner. This raises the challenge of making the complexities of the corresponding predicate detection algorithms scale-free, i.e., independent of the size of the system. Since all existing algorithms for getting a consistent view of the system require either a global snapshot of the entire system or vector clocks of the size of the system, a new solution is needed. We focus on stable LAP, which are those LAP that remain true once they become true. We propose a scale-free algorithm to detect stable LAP within a k$k$-height BFST. Our algorithm can detect both stable conjunctive LAP and stable relational LAP. In the process of designing our algorithm, we also propose the first distributed algorithm for building a BFST within an area of interest in a graph, and the first distributed algorithm for recording a consistent sub-cut within the area of interest. This paper demonstrates that LAPs are a natural fit for detecting distributed properties in large-scale distributed systems, and stable LAPs can be practically detected at low cost.     

甲基葡萄糖甙（MeG）水溶液工艺改进试验

介绍了用５次以上的母液生产ＭｅＧ水溶液工艺的改进试验。     

Non-existence of finite-time stable equilibria in fractional-order nonlinear systems

We note that in the literature it is often taken for granted that for fractional-order system without delays, whenever the system trajectory reaches the equilibrium, it will stay there. In fact, this is the well-known phenomenon of finite-time stability. However, in this paper, we will prove that for fractional-order nonlinear system described by Caputo’s or Riemann–Liouville’s definition, any equilibrium cannot be finite-time stable as long as the continuous solution corresponding to the initial value problem globally exists. In addition, some examples of stability analysis are revisited and linear Lyapunov function is used to prove the asymptotic stability of positive fractional-order nonlinear systems.     

A heuristic biomarker selection approach based on professional tennis player ranking strategy

Extracting significant features from high-dimension and small sample size biological data is a challenging problem. Recently, Micha? Draminski proposed the Monte Carlo feature selection (MC) algorithm, which was able to search over large feature spaces and achieved better classification accuracies. However in MC the information of feature rank variations is not utilized and the ranks of features are not dynamically updated. Here, we propose a novel feature selection algorithm which integrates the ideas of the professional tennis players ranking, such as seed players and dynamic ranking, into Monte Carlo simulation. Seed players make the feature selection game more competitive and selective. The strategy of dynamic ranking ensures that it is always the current best players to take part in each competition. The proposed algorithm is tested on 8 biological datasets. Results demonstrate that the proposed method is computationally efficient, stable and has favorable performance in classification.     

Robustness of globally exponential stability of delayed neural networks in the presence of random disturbances

This paper analyzes the robustness of globally exponential stability of time-varying delayed neural networks (NNs) subjected to random disturbances. Given a globally exponentially stable neural network, and in the presence of noise, we quantify how much noise intensity that the delayed neural network can remain to be globally exponentially stable. We characterize the upper bounds of the noise intensity for the delayed NNs to sustain globally exponential stability. The upper bounds of parameter uncertainty intensity are characterized by using transcendental equation. A numerical example is provided to illustrate the theoretical result.     

Study of collective user behaviour in Twitter: a fuzzy approach

The study of collective user behaviours in social networking sites has become an increasing important topic in social media mining. Understanding such behaviours has its potential to extract actionable patterns that can be beneficial to develop effective marketing strategies, optimise user experiences and maximise website revenues. With the rapid development of micro-blogging, Twitter has become a richer source of intelligence that can be used to study collective user behaviour, due to its efficient and meaningful user-to-user interactions. However, the classical statistical methods have some drawbacks in bridging the gap between user-generated data and human analysts who mostly use linguistic terms to analyse data and model/summarise knowledge learned. To address this gap, this work proposes a new approach, which employs the mass assignment theory-based fuzzy association rules algorithm (MASS-FARM), for the first time, to extract useful interaction behaviour of Twitter users. The influential factors (including activity time, number of friends/followers and the number of tweets) are represented as fuzzy granules, and the associations amongst are studied by employing MASS-FARM. The collective user behaviours are analysed in the Reply category and the Non-Reply category, respectively. The applicability and usefulness of the proposed method are demonstrated via an empirical study on a collected Twitter data set. The derived results are also discussed and compared with existing works.     

Dynamic watermarking scheme for quantum images based on Hadamard transform

In this paper, a novel watermarking scheme for quantum images based on Hadamard transform is proposed. In the new scheme, a unitary transform controlled by a classical binary key is implemented on quantum image. Then, we utilize a dynamic vector, instead of a fixed parameter as in other previous schemes, to control the embedding process. The dynamic embedding vector is decided by both the carrier quantum image and the watermark image, which is only known by the authorized owner. The proposed scheme is analyzed from visual quality, computational complexity, and payload capacity. Analysis and results show that the proposed scheme has better visual quality under a higher embedding capacity and lower complexity compared with other schemes proposed recently.     

量子图像处理问题综述

量子图像处理问题将是量子计算机时代媒体信息处理的一个主要问题。量子图像处理包括一般的处理问题和安全方面的处理问题。本文介绍和分析了量子图像表示方式和处理等问题的最新研究成果。首先给出了目前量子图像处理的一般架构,然后介绍了目前流行的量子图像表示方法、并根据不同的量子图像处理目的对现有的处理算法进行了分类和分析,最后总结并展望了量子图像处理领域的未来发展方向。     

防止过拟合的属性约简

近年来,机器学习的过拟合问题备受关注,尤其在属性约简中。为解决这一难题,提出一种融合集成策略和去除操作的算法。首先将训练模型数据平分为◢M份;然后将其中M◣-1份采用集成策略进行潜在约简计算;最后将剩余的一份进行提前测试,一旦发生过拟合则将刚加入的属性从潜在约简集中去除。利用提前测试潜在属性约简的方法来防止过拟合现象的发生,几组UCI数据的实验结果说明了新算法的有效性,同时为丰富和发展属性约简提供了一种新的方向。     

Preparation of Titanium Nitride/Alumina Laminate Composites

A preparation route for TiN/Al₂O₃ laminate composites has been described. A water-based process using Al₂O₃ and TiN slurries with solids contents of 40 and 35 vol%, respectively, was used to make TiN and Al₂O₃ tapes. The removal of the binder was monitored by weight-loss measurements in a thermogravimetry unit. Bodies composed of Al₂O₃ and TiN tapes were densified at temperatures of 1400° and 1500°C using the Spark Plasma Sintering^® (SPS) technique. Densities of >98% of the theoretical densities were approached. Crack-free and almost fully densified TiN/Al₂O₃ compacts were prepared by heating the burned-out green bodies to the final sintering temperature (1500°C) at a rate of 100°C/min, and with a holding time of 5–10 min, under a pressure of 75 MPa. The microstructures of the obtained compacts were studied using scanning electron microscopy. Grain sizes in the sintered Al₂O₃ and TiN compacts were similar to those of the precursor powders. Hardness and indentation fracture toughness were measured at room temperature, and the monolithic compacts as well as the laminate composites exhibited anisotropic mechanical behavior; i.e., the cracks propagated much more easily in a direction parallel to the laminas than perpendicular to them.