Bilattices for deductions in multi-valued logic

In this exploratory paper we propose a framework for the deduction apparatus of multi-valued logics based on the idea that a deduction apparatus has to be a tool to manage information on truth values and not directly truth values of the formulas. This is obtained by embedding the algebraic structure V defined by the set of truth values into a bilattice B. The intended interpretation is that the elements of B are pieces of information on the elements of V. The resulting formalisms are particularized in the framework of fuzzy logic programming. Since we see fuzzy control as a chapter of multi-valued logic programming, this suggests a new and powerful approach to fuzzy control based on positive and negative conditions.     

Sign-Solvable Cone-Systems

Qualitative properties shared by the solutions to the family of linear equations of the form $$Ax=b, \quad (A\in C, b \in B),\eqno(1)$$ where C is a cone in ${\shadR}^{m\times n}$ and B is a cone in ${\shadR}^m$ are studied. In particular, the cones C and B for which the sign patterns of the solutions to (1) are independent of the choice of A ε C and b ε B are characterized.     

Towards a new framework for evaluating systemic problem structuring methods

Operational researchers and social scientists often make significant claims for the value of systemic problem structuring and other participative methods. However, when they present evidence to support these claims, it is usually based on single case studies of intervention. There have been very few attempts at evaluating across methods and across interventions undertaken by different people. This is because, in any local intervention, contextual factors, the skills of the researcher and the purposes being pursued by stakeholders affect the perceived success or failure of a method. The use of standard criteria for comparing methods is therefore made problematic by the need to consider what is unique in each intervention. So, is it possible to develop a single evaluation approach that can support both locally meaningful evaluations and longer-term comparisons between methods? This paper outlines a methodological framework for the evaluation of systemic problem structuring methods that seeks to do just this.     

Hierarchy,cities size distribution and Zipf's law

We show that a hierarchical cities structure can be generated by a self-organized process which grows with a bottom-up mechanism, and that the resulting distribution is power law. First we analytically prove that the power law distribution satisfies the balance between the offer of the city and the demand of its basin of attraction, and that the exponent in the Zipf's law corresponds to the multiplier linking the population of the central city to the population of its basin of attraction. Moreover, the corresponding hierarchical structure shows a variable spanning factor, and the population of the cities linked to the same city up in the hierarchy is variable as well. Second a stochastic dynamic spatial model is proposed, whose numerical results confirm the analytical findings. In this model, inhabitants minimize the transportation cost, so that the greater the importance of this cost, the more stable is the system in its microscopic aspect. After a comparison with the existent methods for the generation of a power law distribution, conclusions are drawn on the connection of hierarchical structure, and power law distribution, with the functioning of the system of cities.     

Properties of on-line social systems

We study properties of five different social systems: (i) internet society of friends consisting of over 10⁶ people, (ii) social network consisting of 3 × 10⁴ individuals, who interact in a large virtual world of Massive Multiplayer Online Role Playing Games (MMORPGs), (iii) over 10⁶ users of music community website, (iv) over 5 × 10⁶ users of gamers community server and (v) over 0.25 × 10⁶ users of books admirer website. Individuals included in large social network form an Internet community and organize themselves in groups of different sizes. The destiny of those systems, as well as the method of creating of new connections, are different, however we found that the properties of these networks are very similar. We have found that the network components size distribution follow the power-law scaling form. In all five systems we have found interesting scaling laws concerning human dynamics. Our research has shown how long people are interested in a single task, how much time they devote to it and how fast they are making friends. It is surprising that the time evolution of an individual connectivity is very similar in each system.     

Measurement-Based Quantum Computation and Undecidable Logic

We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs—describing the quantum correlations of the states—are associated with undecidable logic theories. Here undecidability is to be interpreted in a sense similar to Gödel’s incompleteness results, meaning that there exist propositions, expressible in the above classical formal logic, which cannot be proven or disproven.     

Numerical simulations of systems of PDEs by variational iteration method

In this Letter, a general framework of the variational iteration method (VIM) is presented for solving systems of linear and nonlinear partial differential equations (PDEs). In VIM, a correction functional is constructed by a general Lagrange's multiplier which can be identified via a variational theory. VIM yields an approximate solution in the form of a rapid convergent series. Comparison with the exact solutions shows that VIM is a powerful method for the solution of linear and nonlinear systems of PDEs.     

HLT500高低温试验箱PLC控制系统

介绍了以PLC(可编程控制器)为核心的高低温试验箱电控系统,着重介绍了可编程逻辑控制器PLC的选择和可编程控制器的程序编译。     

Stimuli-Triggered Strand Displacement-Based Multifunctional Gene Detection Platform Controlled By A Multi-Input DNA Logic Gate

Highly sensitive detection of various cancer related genes is of great significance in a number of biomedical applications. Here we describe a logic-controlled multifunctional platform that is capable of detecting two kinds of gene sequences with a 2-aminopurine (2-AP) as a quencher-free fluorescent probe, the fluorescence of which dramatically increases when it loops out the DNA helices. This detection platform is assembled from the split ATP aptamer, G-quadruplex, and the antisense strands of the P53 and K-ras genes, together with their complementary components. It is selectively activated by ATP and K⁺ via the target-induced DNA strand displacement, enabling the exposure of two long toehold regions that allow the P53 and K-ras genes to trigger the next DNA strand displacements. A hairpin DNA containing a looped-out 2-AP in the stem is finally released, accompanying with a significant increase of fluorescence intensity. The whole process behaves as a four-input AND logic gate. Such a logic-controlled gene detection platform is able to convert the external stimulation of ions and biomolecules into a detectable fluorescence output and functions well in gene detection.