基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。     

扬州玉雕符号语意创新与解读

本文立足于扬州文化,以传统扬州玉雕为载体,借助于产品符号语意的方法,研究玉雕外延与内涵的语意,诠释扬州玉雕历史阶段性的符号语意.本文目的 在于探索扬州玉雕在当代的历史传承之路,提出新语境下扬州玉雕发展创新的新思路、新方法.     

刘志庚副省长率粤代表囤参加国际家用电器博览会

9月5日至6日，第六届中国国际家用电器博览会在安徽合肥滨湖国际会展中心召开。本届家电博览会由工业和信息化部、中国国际贸易促进会和安徽省人民政府共同主办。刘志庚副省长率广东省经贸代表团赴皖参此盛会并作重要讲话。     

基于UML状态图和Qt状态机框架的 IEC104规约的分析与实现

为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动机框架进行了软件实现。结果表明,设计出的状态图层次结构分明,逻辑关系清晰,各功能模块间相互独立,而且降低了耦合度,编程实现简单明了,体现了这种方法的优越性,对其他复杂通信规约的开发也具有一定的参考价值。     

功率计划在特高压直流输电工程中的传输和实现

特高压直流输电工程直流输送功率按调度编制的日功率计划曲线运行,功率计划的下发和执行直接影响到直流系统的稳定运行。在深入研究104/101远动规约及特高压直流输电工程应用的基础上,对直流工程远动系统及自动化监控系统SCADA进行了功能扩展,在远动系统中实现了基于IEC60870-5-104/101的功率计划的调度实时远传、接收、解析、显示及存储。在自动化监控系统SCADA中实现了自动功率控制功能,向直流工程控制系统下发功率计划值,具备较高的实时性和可靠性。功率计划的实时传输和自动功率控制的实现能够有效地提高电网调度部门及换流站运行人员的工作效率,对进一步提高电网安全运行水平具有重要意义。     

燃气管网地震灾害损失评估技术研究

对燃气管网的地震破坏等级进行划分,提出了燃气管网地震经济损失的计算方法。     

公共建筑外窗幕墙的节能设计探讨

外窗幕墙节能设计是公共建筑节能设计的重点环节。本文主要从外窗遮阳设计;外窗自然采光、通风设计;双层换气幕墙设计及铝板干挂石材幕墙外墙外保温设计四个方面探讨了公共建筑外窗幕墙的节能设计策略。     

以太原市为例谈居住区儿童活动环境

从当前我国居住区环境建设的背景出发,对太原市居住区环境现状进行了调查,结果表明:儿童独立活动场地很少,提出应转变观念,加强住区环境设计对儿童的考虑,保障儿童身心健康快乐发展。