0引言有限元方法(Finite Element Method)随着电子计算机的发展而迅速发展起来的一种现代计算方法。它是50年代首先在连续体力学领域、动态特性分析中应用的一种有效的数值分析方法,随后很快广泛的应用于求解热传导、电磁场、流体力学等连续性问题。Sergey等人[1]曾基于有限元的方法做过气泡动力学方面的分析。本文基于有限元方法。
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
Dynamically tracking hundreds of individual pits is essential to determine whether there exist "hot spots" for the formation of clathrin-coated pits or if the pits formed randomly on the plasma membrane. We propose an automated approach to detect these particles based on an improved á trous wavelet transform decomposition with automatic threshold selection and post processing solution, and to track the dynamic process with a greedy algorithm. The results indicate that the detection method can successfully detect most particles in an image with accuracy of 98.61% and 97.65% for adaptor and clathrin images, respectively, and that the tracking algorithm can resolve merging and splitting issues encountered when analyzing dynamic, live-cell images of clathrin assemblies.
