Monte Carlo simulations of the HP model (the "Ising model" of protein folding)

Using Wang–Landau sampling with suitable Monte Carlo trial moves (pull moves and bond-rebridging moves combined) we have determined the density of states and thermodynamic properties for a short sequence of the HP protein model. For free chains these proteins are known to first undergo a collapse “transition” to a globule state followed by a second “transition” into a native state. When placed in the proximity of an attractive surface, there is a competition between surface adsorption and folding that leads to an intriguing sequence of “transitions”. These transitions depend upon the relative interaction strengths and are largely inaccessible to “standard” Monte Carlo methods.     

Z型折叠机翼的非线性动力学与模态分析研究

针对Z型折叠机翼这种复杂多体结构,运用多种不同的方法得到了结构的前4阶振动模态.将Z型折叠机翼假设为由三块碳纤维复合材料板组成,两板之间均以刚性铰链相连接.其中内翼左侧是固定端,并与机身相连接;中间翼以对边简支形式连接在内外翼之间;外翼的外端是自由端.在第一个铰链上施加驱动力矩M1为机翼提供折叠角速度,使中间翼进行转动;同时施加力矩M2于第二个铰链处,使外翼与内翼始终保持平行.本文首先利用Hamilton原理与von Karman大变形理论建立Z型折叠机翼的动力学模型,然后通过ANSYS软件设置合理的边界条件进行模态分析与谐响应分析,其次根据ANSYS模拟的Z型折叠机翼的振动形式,假设合适的模态函数,通过结构边界条件和系统动力学方程求出来的边界条件,求出三个板的横向振动模态函数,最后通过Maple验证得出的模态函数与ANSYS模拟的振动形式相符合.该研究不仅是Z型机翼的受迫振动响应分析的前提,而且对于Z型机翼的设计与实验也具有参考价值.     

基于确定模式的伪单跳变测试矢量生成技术

提出了一种基于确定模式的伪单跳变测试矢量生成方法,它是在折叠计数器确定模式的基础上,采用LFSR编码折叠计数器种子,通过选定的存储折叠距离来控制测试模式,使得产生的测试矢量之间实现伪单跳变。由于是在确定模式基础上进行的研究,没有改变原来的测试矢量,所以故障覆盖率不会改变,却大大降低了测试功耗。这样既保证了高故障覆盖率,又解决了不同种子所生成的测试矢量之间的重叠冗余。研究结果不仅表明该方案具有很好的数据压缩率,而且证明了该方案的有效性。     

基于去调频技术的斜视聚束SAR成像方法

针对具有方位谱混叠现象的斜视聚束式合成孔径雷达(SAR)成像问题,本文研究了一种基于去调频技术的成像方法.文中首先分析了斜视聚束SAR中的方位谱混叠现象,从理论上找出了斜视角影响方位粗聚焦的根本原因.基于分析结果,引入了回波信号非线性相位校正预处理法,彻底消除了斜视角的影响,从而得到正确的粗聚焦结果.然后基于斜视成像模型,推导了预处理回波信号的方位粗聚焦和精聚焦处理过程.在精聚焦的方位滤波处理中,针对非线性相位校正预处理导致的场景聚焦深度限制问题,提出了一种改进的非线性调频变标(NLCS)算法,实现了回波信号的高精度方位压缩.仿真实验结果证明了文中理论分析的正确性和所提方法的有效性.     

Classifying and Formally Verifying Integer Constant Folding

Constant folding is a well-known optimization of compilers which evaluates constant expressions already at compile time. Constant folding is valid only if the results computed by the compiler are exactly the same as the results which would be computed at run-time by the target machine arithmetic. We classify different arithmetics by deriving a general condition under which a target-machine arithmetic can be replaced by a compiler arithmetic. Furthermore, we consider integer arithmetics as a special case. They can be described by residue class arithmetics. We show that these arithmetics form a lattice. Using the order relation in this lattice, we establish a necessary and sufficient criterion under which constant folding can be done in a residue class arithmetic that is different from the one of the target machine. Concerning formal verification, we have formalized our proofs in the Isabelle/HOL system. As examples, we discuss the Java and C integer arithmetics and show which compiler arithmetics are valid for constant folding. This discussion reveals also potential sources of incorrect behavior of C compilers.     

Optimal pattern recognition procedures and their application

Results on Bayesian classification procedures, optimal on structures such as Markov chain and independent features, are reviewed. Numerical results of predicting protein secondary structure based on Bayesian classification procedures on non-stationary Markov chains are discussed. Complementarity relations for encoding bases in one DNA strand are presented. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 41–54, November–December 2007.     

关于PLA优化设计的一个综合算法

讨论ＰＬＡ优化设计的组合函数分解问题和ＰＬＡ折迭问题，得出对算法有用的两个直接结果，最后将二者联系起来，给出一个综合算法。     

选择序列的并行折叠计数器

为了减少测试应用时间并保证高测试数据压缩率,提出一种选择序列的并行折叠计数器。在分析并行折叠计算理论的基础上,通过记录表示折叠索引的组序号和组内序号生成选择状态的测试序列,避免了无用和冗余的测试序列的生成。ISCAS标准电路的实验结果表明,该方案的平均测试数据压缩率为94.48%,平均测试应用时间为类似方案的15.31%。     

Genetic Threading

The biological function of proteins is dependent, to a large extent, on their native three dimensional conformation. Thus, it is important to know the structure of as many proteins as possible. Since experimental methods for structure determination are very tedious, there is a significant effort to calculate the structure of a protein from its linear sequence. Direct methods of calculating structure from sequence are not available yet. Thus, an indirect approach to predict the conformation of protein, called threading, is discussed. In this approach, known structures are used as constraints, to restrict the search for the native conformation. Threading requires finding good alignments between a sequence and a structure, which is a major computational challenge and a practical bottleneck in applying threading procedures. The Genetic Algorithm paradigm, an efficient search method that is based on evolutionary ideas, is used to perform sequence to structure alignments. A proper representation is discussed in which genetic operators can be effectively implemented. The algorithm performance is tested for a set of six sequence/structure pairs. The effects of changing operators and parameters are explored and analyzed.     

微型折叠式三维电场传感器

提出一种基于柔性衬底和三维组装方法的新型三维电场传感器.利用柔性衬底的折叠,构建一种互相垂直的新型三维电场传感器,研究了测量空间电场时的耦合,提出解耦算法,标定灵敏度矩阵,实现了空间电场三个方向分量的准确测量;通过一系列的温湿度实验研究了三维结构的形变,证明了三维电场传感器结构稳定可靠.实验结果表明:所研制的三维电场传感器不仅能消除耦合干扰,实现空间电场分量的准确测量,测量误差在3.61％以内;而且通过新的三维组装方法,大大减少了三维电场传感器的质量、体积,折叠工艺简化了三维传感器的组装,有利于批量化生产.