Numerical simulation of critical dependences for symmetric two-layered Josephson junctions

Partial critical dependences of the form current-magnetic field in a two-layered symmetric Josephson junction are modeled. A numerical experiment shows that, for the zero interaction coefficient between the layers of the junction, jumps of the critical currents corresponding to different distributions of the magnetic fluxes in the layers may appear on the critical curves. This fact allows a mathematical interpretation of the results of some recent experimental results for two-layered junctions as a consequence of discontinuities of partial critical curves.     

Precise bounds for the petersen time-varying real parameter uncertainty system stabilized via linear static controllers

Using a class of linear static controllers, we stabilize the Petersen open-loop two-dimensional linear system (Ref. 1), which consists of one time-varying uncertainty in the state matrixA and one timevarying uncertainty in the input matrixB. We show that the worst-case uncertainty strategy for the closed-loop system is a piecewise constant strategy of the angular state with three switches on the half-turn, –/2/2; it is unique with respect to a set of measure zero. Formulas are derived for the worst-case half-turn radius gainr _HT as a function of the parameters of the class of stabilizing linear static controllers. Using the class of scalar-quadratic Lyapunov functions, we show that a necessary and sufficient condition for the closed-loop system to be robustly stable against all time-varying admissible uncertainties is thatr _HT be less than unity. The bound on the time-varying real parameter uncertainties for the closed-loop system to be robustly stable is derived for the class of linear static feedback controllers. We obtain stabilizing linear static controllers such that the bound is as close to infinity as desired. The derived results are compared with numerical results obtained using commerical robust-control software.     

准静态离散元方法和线性粘弹性问题的模拟

离散元方法是近年发展起来的一种新数值方法,但原则上只能用于动态问题。从静力平衡条件出发建立了离散元系统的准静态演化方程并证明了系数矩阵具有对称正定、稀疏、带状分布等特点,适用于“有效列”方法求解,该解法比高斯消去法节省更多的内存和机时。通过引入广义Maxwell体的元间作用模型建立起线性粘弹性材料准静态响应的离散元模拟方法。该方法独立于传统动态离散元方法,是传统动态离散元方法的拓展,可望在更多领域获得应用。     

关于精确结构静力重分析法的注记

结构重分析是与结构优化设计紧密相关的分析环节。位移约束条件、载荷与单元刚度矩阵可修改的精确结构静力重分析是较新的一种方法，文献[1,2]提出其结构静力重分析的列式，这一重分析方法被多篇综述文章引用。本文从另一角度推导结构修改的基本方程，并给出广义柔度矩阵的简便可行算法，推导过程简单明了，力学意义明显。     

氮化铁磁性流体密封研究

利用磁性流体被磁场吸附的原理，探讨了氮化铁磁性流体密封装置的设计原理和动作过程，分析并通过试验验证了磁性流体密封承压能力，进而成功地研制了氮化铁磁性流体密封安全阀，基于磁性流体密封安全阀开启压力稳定性、可控性和密封性能测试结果，所研制的样机已正常运行10000h。     

Applications of SMP Bounds to Multi-class Traffic in High-speed Networks

In this paper, we consider the stochastic fluid-flow model of a single node in a high-speed telecommunication network handling multi-class traffic. The node has multiple buffers, one for each class of traffic. The contents of these buffers are multiplexed onto a single output channel using one of the service scheduling policies: the Timed Round Robin Policy or the Static Priority Service Policy. The Quality of Service requirements for each class are based on cell loss probabilities. Using effective bandwidth methodologies and the recently developed bounds for semi-Markov modulated traffic, we solve call admission control problems for the two service scheduling policies at this node. We compare the performance of the effective bandwidth methodologies and the SMP bounds technique. We also numerically compare the performance of the two service scheduling policies.     

一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

P2P保险的道德风险问题研究

伴随信息产业的快速发展和互联网保险的广泛运用,近几年来国际上出现了一种新型保险模式――P2P保险(Peer to Peer Insurance)。该模式基于互联网,通过聚集若干风险类型相似的投保人组建风险共担互助小组,风险互助小组成员间一般是亲戚、朋友等熟人关系。P2P保险形成的相互监督机制和声誉机制,可以较好地解决传统保险市场中存在的道德风险问题。本文利用经济学中的比较静态分析方法,研究了P2P保险的道德风险问题,并从理论上证明了在P2P保险模式下,投保人会倾向于更加努力防范风险以降低出险概率,道德风险问题可以得到有效缓解。     

考虑几何与材料及静风荷载的非线性因素的大跨径桥梁静风稳定分析法

针对现有的桥梁静风稳定分析方法中存在的问题，提出了增量与内外两重迭代相结合的新方法，并且考虑了结构几何、材料和静风荷载非线性。在上述方法的基础上，编制了桥梁非线性空气静力稳定分析程序BNAP，并进行了相应的算例分析，所得结果表明该方法具有计算稳定和速度快的优点。最后，以一座主跨1000米的斜拉桥为例，分析了结构几何非线性、材料非线性和静风荷载非线性对大跨径桥梁空气静力稳定性的影响。