Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion.The top of the lattice coincides with the barbed bisimilarity.     

祁连山北麓挤压隆起山地边缘不对称地堑发育模式研究

根据构造、沉积和地貌的野外调查与新分析研究了河西走廓压性山地边缘发育的一种特殊的活动构造地貌－喇叭形不对称地堑。它在呈弧形的山地边缘平面上为喇叭形河口，实际上是发育在特定的构造部位、由断层围限的不对称地堑。     

纳米氧化锡催化烯烃液相环氧化反应的研究

采用自制的纳米SnO2为催化剂,以环境友好的H2O2（30％）为氧源,考察其催化烯烃环氧化的反应效果．通过FT-IR取光谱、UV—Vis光谱、XRD和TEM对SnO2催化剂进行了表征．研究发现纳米SnO2对烯烃的液相环氧化具有非常好的催化效果,并以环己烯为例对反应条件做了相关探讨实验结果表明,在温度为50℃,H22Q与环己烯摩尔比为1．2时,烯烃转化率达到99．9％,环氧选择性高达98．1％．且催化剂循环使用9次催化活性没有发生明显变化．     

信息不对称引发的银行挤兑和风险传染模型

通过建立由银行信号引起的基于主体交互的羊群效应模型解释信息不对称导致银行挤兑发生以及风险传染的机制.研究的信息不对称主要体现在两个方面：储户不能通过银行信号准确判断银行的真实投资状况;储户不能完全获得所有其他邻居储户取款决策的信息.     

TS-1循环使用催化丙烯环氧化反应研究

通过间歇釜考察了TS-1循环使用时的反应性能;采用FT—IR、UV—Vis和XRF等手段对循环使用后的TS-1进行了表征,并以丙烯环氧化反应为探针考察了其催化性能．结果表明：在丙烯环氧化反应过程中,以甲醇为溶剂时,随着TS-1循环次数的增加,催化活性没有变化,但环氧丙烷选择性却随着使用次数的增加而下降;而以水为溶剂时,催化活性和环氧丙烷选择性随循环次数增加均变化不大．     

单手性螺旋聚醚的合成与应用研究进展

螺旋聚合物是化学家研究的热点之一.单手性螺旋聚醚作为螺旋聚合物中的一大类,近十余年来引起人们的广泛关注.介绍在手性环氧丙烷3号位碳上引进大位阻基团,通过阴离子聚合合成单手性螺旋聚醚,并介绍其在手性识别、不对称催化等方面的应用研究.     

不对称三相电路的分析及计算

在三相电路分析和计算中,不对称电源或负载加大了电路网络分析和计算的难度。对于电源不对称的三相电路,可以根据“对称分量法”将不对称的分量分解成对称的分量,对单相进行分析和计算;对于不对称的静负载,又可以通过直接列出节点电压方程来进行求解。这些方法广泛地应用于不对称三相电路,使得电路变得简单、容易,减少了计算量。算例演示了计算步骤和方法,验证了其有效性和正确性。     

求解连续Sylvester方程的预处理非对称HSS分裂迭代法

针对系数矩阵为大型非Hermitian正定/半正定稀疏矩阵的连续Sylvester方程组,提出了预处理不对称的埃尔米特和反埃尔米特分裂(PAHSS)迭代方法,并对所提算法进行了收敛性分析,讨论了PAHSS方法的准最优参数.为了进一步减少计算量,在内迭代求解子线性方程组时,基于该子线性系统具有特殊结构,采用某种有效的迭代方法去求解,得到了不精确的PAHSS迭代方法,并分析了其收敛性.数值实验验证了所提算法的有效性.     

冰期非对称气候变化模式与生物多样性的形成机制?

生物多样性的形成与维持机制是生态学中最具挑战的核心问题之一.本文研究了大量冰期相关文献,发现冰期除周期性的气温变化之外,每个气温变化周期都经历了漫长的降温过程和相对快速的升温过程,由此提出了冰期"慢降—快升"非对称气温变化模式.在非对称气候变化模式下,地球上的生物地理分布随之发生"慢退—快进"的收缩和扩张,群落中的物种经历了长时间的隔离和相对快速的重组,呈现"聚少离多"的特征.同时,通过许多亲缘地理学的研究案例,发现物种的遗传变异多发生于缓慢降温阶段,在升温阶段时,这些已经存在的突变常沿不同路线扩张,并再次相遇,是遗传变异重组的过程.本文提出通过建立大尺度的天然群落格局平台,涵盖群落"慢退—快进"历史演变过程,结合亲缘地理学方法,从多尺度、多维度真实地还原群落形成和维持过程,预测气候变化和人类影响下生物群落的未来.     

双向地震作用下多层偏心结构的增量动力分析

以往的增量动力分析(Incremental Dynamic Analysis, IDA)研究主要是针对单向地震下的对称结构,而对于地震动的多维性、结构偏心引起的扭转效应的影响则考虑较少。为此,设计了一幢5层的偏心结构模型,选取Taft双向地震记录为双向激励对结构模型进行多维增量动力分析。分析了结构在地震下的扭转效应对边缘框架反应的放大作用,并基于IDA能力曲线对结构模型进行多性能水准抗震评估。通过算例分析得到以下结论:基于IDA的结构抗震评估方法,概念清晰,操作简单;偏心结构在双向地震下的扭转效应会导致部分边缘框架的反应放大,且地震强度越大这种放大效应越明显;当考虑双向地震作用时,直接采用建议的双向IDA方法进行结构性能分析更具合理性。