复杂嵌入式系统原型设计工具Statemate

嵌入式系统的设计面临着系统复杂性的挑战。StatemateMAGNUM是面向功能需求的系统级自动设计软件包,定位于复杂的反应型嵌入式实时混合系统的原型设计与正规化验证。通过对Statemate主要特性、方法论、核心技术及国内外应用情况的介绍与讨论,展示了该工具的良好应用前景。

冲击名校 文书最重要

申请海外大学,尤其是名校,文书一直是申请材料中的重点和难点。一篇好的文书能够弥补语言成绩、GPA等硬件条件的不足,甚至能逆转一次可能失败的申请。从《留学》家长会成员近期对杂志的提问和反馈来看,家长和学生对留学文书的作用还有诸多疑问。《留学》杂志为此组织了一场线下文书指导活动,为家长们答疑解惑。活动邀请了三组家庭参与,《留学》家长会为他们匹配了三位在文书方面有不同经历、经验的老师:高级文案指导老师闫胜龙、熟悉美国招生工作的留美海归薛同欣和对外英语教学专业毕业的Alvin老师。对于申请文书,家长们首先关心的是它在大学录取中的重要性。

基于Statemate的坦克油量报警系统的设计与仿真

系统设计面临很多问题的挑战。Statemate能够建立基于系统设计的原型,进行混合系统的原型验证与仿真。对Statemate主要功能进行了介绍和讨论,根据建立的实例,展示了该工具的良好应用前景。

STATEMATE系统设计思想的剖析

ＳＴＡＴＥＭＡＴＥ系统是一个颇有国际影响的软件开发环境，它是专门针对大型、复杂的Ｒｅａｃｔｉｖｅ系统开发的。作者对该系统作了深入剖析，并对其思想实质和设计哲学进行了论述；指出其主要特色是形式可视主义和可执行规约，它既面向人，又面向机器。在此基础上提出了开发环境要注意设计合理的人机功能分配和提高源码压缩比的思想，最后提出了实现我国自己的大型Ｒｅａｃｔｉｖｅ系统的策略。

China Set Targets of Pollution Reduction for 2010

China has set targets of cutting 400 000 tonsof sulfur dioxide emissions in 2010 on thebasis of that in 2009,and cutting additional200 000 tons of chemical oxygen demand(COD) after the COD aim set during the 11thFive-Year Program was met in 2009.The Ministerof Environmental Protection (MEP) announcedin a statement on January 25th.Emissions of sulfur dioxide in China