an embedded real-time software oriented requirements specification language and checking methods

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行

温度对青蒿毛状根生长和青蒿素生物合成的影响(英文)

本实验研究了不同温度(15℃～35°C)对青蒿毛状根生长和青蒿素生物合成的影响,发现25°C有利于毛状根生长,30°C促进了青蒿素生物合成。通过温度改变的二步培养技术(培养前20d温度控制在25°C,后10d温度提高到30°C),青蒿素的产量得到明显提高,高于在恒温培养时(25°C或30°C)的结果

青蒿素研究进展

青蒿素是目前治疗疟疾的特效药。本文对自青蒿素发现以来的最新研究进展进行了比较详尽的综述。内容包括：青蒿素的发现及历史，青蒿素的来源，青蒿素的全合成，青蒿素的生物合成，青蒿素衍生物以及植物组织培养生产青蒿素

青蒿素生物合成研究进展

本文论述了青蒿素生物合成的研究进展 ,涉及生物合成和储藏位点、生物合成的中间体和前体、生物合成的途径以及生物途径代谢调节的关键酶等方面

青蒿素生物合成研究进展

本文论述了青蒿素生物合成的研究进展，涉及生物合成和储藏位点、生物合成的中间体和前体、生物合成的途径以及生物途径代谢调节的关键酶等方面

青蒿素生物合成研究进展

本文论述了青蒿素生物合成的研究进展，涉及生物合成和储藏位点、生物合成的中间体和前体、生物合成的途径以及生物途径代谢调节的关键酶等方面

青蒿毛状根生长、青蒿素合成以及营养物消耗的动力学(英文)

诱导产生的青蒿毛状根培养物置于MS培养基（含30g／L蔗糖）进行悬浮培养，并对悬浮培养过程中毛状根生长、青蒿素合成、蔗糖、磷酸盐和不同氮源的消耗、PH和电导率的动力学过程进行分析。经30d培养，生物量干重和青蒿素产量分别达到13．7g／L和0.23g／L，碳源和氮源在培养过程中被逐渐利用，而磷酸盐的利用速率最快，培养至15d所有的磷酸盐均被吸收，PH在培养初期降低，后又逐渐上升，电导率由于毛状根生长对无机离子的吸收而逐渐减低

不同石墨含量铜基摩擦材料耐热特性及摩擦性能研究

针对铜基摩擦材料耐热性能不足导致的摩擦片服役寿命受限这一问题，采用粉末冶金方法压烧了3种不同质量分数石墨的摩擦材料试样，主要研究了石墨含量对材料耐热性能及摩擦磨损性能的影响及其作用机制。表面形貌分析表明，随着石墨含量的增加基体连续性先增加后降低；热分析结果表明，石墨含量对热学性能的主要影响在于因石墨过量产生的团聚现象导致的界面传热下降；摩擦磨损试验结果证实，随着石墨含量的增加，试样耐热性能明显提升，材料基体的强度得到增强，但是却导致试样磨损率及动摩擦因数上升