A new method for assigning common spot boundaries for multiple gels in two-dimensional gel electrophoresis

The benefits of defining common spot boundaries when several gels from 2-DE are compared and analyzed have lately been stressed by both commercial software producers and users of this software. Though the importance of common spot boundaries is clearly stated, few reports exist that target this issue explicitly. In this study a method for defining common spots boundaries is developed, called the spot density method. The method consists of the following steps: segmentation and spot identification on each individual gel, transferring the spot-center coordinates for all gels onto a single new gel, collecting spot centers clustered together in the new gel and finally assigning pixels and new spot boundaries based on the spots in each cluster. The method is compared to a synthetic gel approach, and validated by visual inspection of three representative areas in the gels. The gel images need to be aligned prior to segmentation and spot identification, but the method can be used regardless of the choice of segmentation procedure. This makes the method an easy extension to existing methods for spot identification and matching. Conclusions based on the visual inspection are that the spot density method identifies partly overlapping spots and low-intensity spots better than the synthetic gel approach.     

A New Hybrid Iteration Method for I-Asymptotically Nonexpansive Mappings

In this article, convergence theorems are established for a new hybrid iteration for a finite family of I-asymptotically nonexpansive mappings. Our results extend, generalize, and unify various known results in the existing literature.     

Convergence Theorems for Pointwise Asymptotically Strict Pseudo-Contractions in Hilbert Spaces

A new class of contractive mappings called pointwise asymptotically ?-strict pseudo-contractions in Hilbert spaces is introduced and weak convergence of the sequence generated by Mann's iterative scheme to a fixed point of a uniformly Lipschitzian and pointwise asymptotically ?-strict pseudo-contractive mapping T in a Hilbert space is established. Also, a new kind of monotone hybrid method which is a modification of Mann's iterative scheme for finding a common fixed point of an infinitely countable family of uniformly Lipschitzian and pointwise asymptotically ?-strict pseudo-contractive mappings is proposed. Strong convergence of the sequence generated by the proposedmonotone hybrid method for an infinitely countable family of uniformly Lipschitzian and pointwise asymptotically ?-strict pseudo-contractive mappings in a Hilbert space is also shown. The results presented in this article extend and improve some known results in the literature.     

Optimal mean–variance investment and reinsurance problems for the risk model with common shock dependence

In this paper, we study the optimal investment–reinsurance problems in a risk model with two dependent classes of insurance business, where the two claim number processes are correlated through a common shock component. Under the criterion of mean–variance, two cases are considered: One is the optimal mean–variance problem with bankruptcy prohibition, i.e., the wealth process of the insurer is not allowed to be below zero at any time, which is solved by standard martingale approach, and the closed form solutions are derived; The other is the optimal mean–variance problem without bankruptcy prohibition, which is discussed by a very different method—stochastic linear–quadratic control theory, and the explicit expressions of the optimal results are obtained either. In the end, a numerical example is given to illustrate the results and compare the values in the two cases.     

高能激光精确指向监视系统设计及装调

为实现高能激光的有效发射,设计了一种高能激光精确指向监视系统.该系统通过调整主、次镜的相对位置来进行调焦,同时能够在100~1000m范围内对自然目标清晰成像.利用ZEMAX软件对光学系统进行设计优化,运用ZYGO干涉仪和大口径平行光管进行辅助装调,使成像系统成像角分辨率达到3.38μrad5μrad,光学系统同轴度达到4.75″≤5″,满足设计指标要求.该系统能够捕获、识别、跟踪目标,从而引导高能激光进行精确打击.     

C波段全密封加速管研制

 介绍了一台1.5MeV的C波段便携式无损电子直线加速器的全密封加速管的设计、微波冷测和研制,热测结果表明该加速管满足加速器的设计要求。     

The difference between common knowledge of formulas and sets

Common knowledge can be defined in at least two ways: syntactically as the common knowledge of a set of formulas or semantically, as the meet of the knowledge partitions of the agents. In the multi-agent S5 logic with either finitely or countably many agents and primitive propositions, the semantic definition is the finer one. For every subset of formulas that can be held in common knowledge, there is either only one member or uncountably many members of the meet partition with this subset of formulas held in common knowledge. If there are at least two agents, there are uncountably many members of the meet partition where only the tautologies of the multi-agent S5 logic are held in common knowledge. Whether or not a member of the meet partition is the only one corresponding to a set of formulas held in common knowledge has radical implications for its topological and combinatorial structure.     

Common Belief with the Logic of Individual Belief

The logic of common belief does not always reflect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs that are incorporated in axiom 5 for common belief.     

Weakly <Emphasis Type="Italic">φ</Emphasis>-pairs and common fixed points in cone metric spaces

In this paper we introduce a weak contractive condition, called weakly φ-pair, for two mappings in the framework of cone metric spaces and we prove a theorem which ensures existence and uniqueness of common fixed points for such mappings. Also we obtain a result on points of coincidence. These results extend and generalize well-known comparable results in the literature. The authors are supported by Università degli Studi di Palermo, R. S. ex 60%.     

Exponential stability of simultaneously triangularizable switched systems with explicit calculation of a common Lyapunov function

In this note, a common quadratic Lyapunov function is explicitly calculated for a linear hybrid system described by a family of simultaneously triangularizable matrices. The explicit construction of such a function allows not only obtaining an estimate of the convergence rate of the exponential stability of the switched system under arbitrary switching but also calculating an upper bound for the output during its transient response. Furthermore, the presented result is then extended to the case where the system is affected by parametric uncertainty, providing the corresponding results in terms of the nominal matrices and uncertainty bounds.