带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.     

状态空间法分析叶片振动问题

基于离散的方法,建立了圆盘和叶片的动力学方程,该方程中包含有陀螺阵,并且陀螺阵和刚度阵是时变的矩阵,文中采用状态空间转移矩阵法对系统的稳定性进行了分析,最后对该方程进行了稳定性的数值仿真.     

波分复用和频分复用光纤通信技术研究

波分复用(WDM)和频分复用(FDM)技术可用来充分开发光纤的宽频带特性,实现超大容量信息传输。在“八五”期间科研成果基础上,完成了4×2.488Gbit/s双向154km无中继波分复用光纤通信系统,并已安装于京九九光缆干线广州-深圳段通信线路上作现场试验和试运行。该系统工作稳定可靠,在5个多月试运行中未发现误码。同时,完成4×155Mbit/s频分复用光纤通信实验系统的研制。该系统频道间距为0.1nm,传输距离为18km。系统实现了模块化结构,具有良好的稳定性,实测24小时无误码。这一成果为FDM的应用打下了基础。     

不变方差弹性(CEV)模型下外汇期权的定价

利用偏微分方程中的摄动理论给出了CEV模型下的外汇期权定价公式的渐进展开形式,并对其精确性给予了证明.     

一个无界区域上的弹塑性问题

本文将一个无界区域上的弹塑性问题归结为一个有界区域上的变分不等方程问题,证明了这个问题解的存在唯一性,并证明了这个问题等价于一个鞍点问题。     

一类带阻尼项的二阶线性矩阵微分系统的振动准则

利用矩阵黎卡提变换、平均积分方法及矩阵不等式建立了二阶线性矩阵微分系统(P(t)X’(t))’+D(t)X’(t)+Q(t)X(t)=0,t∈[t0,∞)的一些新的振动性准则;所得结果推广和改进了已有文献的相关结果.     

单分子磁体:基本概念与磁性表征

在分子磁体领域,一些多核或单核配合物呈现宏观磁体行为,这些配合物的磁性来源于孤立的分子内,因而吸引了许多化学家、物理学家和材料学家的研究兴趣,相继开展了这方面的研究.综述了近年来国内外相关研究进展,介绍了相关量子力学理论和一些具有代表性的实例,并进一步展望了今后的研究和发展方向.     

松桃县“7·15”特大暴雨综合诊断分析

利用Micaps常规资料、区域自动站资料、探空资料和雷达资料等,对松桃县2015年7月14日夜间到15日白天出现的特大暴雨天气过程进行分析,得到如下结论:本次特大暴雨是在有利的大尺度环流背景下发生的,高空槽及高原低槽东移,带动槽后冷空气南下,与中低层地涡切变线东南侧的西南暖湿气流相互作用;较大的CAPE值、大气层积不稳定、湿层厚度较大是强对流天气得以发生、发展的基本条件;孟加拉湾水汽通道的建立为本次特大暴雨提供了强有力的水汽源,低层水汽辐合,高层水汽辐散和强烈的垂直上升运动为特大暴雨区提供了充足的能量供应;从雷达图和TBB图的演变来看,较强的雷达回波反射率因子、对流云团强烈发生和稳定少变是造成本次降水强度较大的原因。     

土曲霉发酵过程中菌形和有机酸积累对产物合成的影响

对土曲霉(Aspergillus terreus)产洛伐他汀过程中胞内外有机酸浓度进行测定,发现菌形对发酵过程胞内外有机酸浓度和洛伐他汀的产量有很大的影响.在发酵过程中形成球状菌比丝状菌更有利于洛伐他汀的合成,并且球状菌的胞内有机酸浓度普遍高于丝状菌.通过把有机酸与产素关联,发现在高产批次中胞内柠檬酸,a-酮戊二酸以及丙二酸大量积累,并且在产素期维持三羧酸循环的低通量能促进洛伐他汀高产.     

使用Simics模拟器辅助微处理器验证

在徼处理器功能验证中,仿真激励生成和复杂仿真环境构建经常耗费大量的时间.提出一种基于Simics模拟器的验证平台VMSIM,并介绍这种平台在龙腾C2486兼容处理器上的应用.使用VMSIM可以在软件仿真环境中,构造真实的操作系统运行环境,可以有效地发现深层次的设计错误并快速定位,为微处理器验证起到了良好的辅助作用.最后给出VMSIM在龙腾C2处理器验证中的实际应用结果.