简介:IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM(verificationmethodologyman-ual)验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU(FomatConvertUnit)模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。
简介:我院自1996年开始招收软件技术专业专科学生,为北京市软件行业培养了一批批技术应用型人才。2003年,经教育部批准设立软件工程本科专业,同年开始招收第一届软件工程专业本科生和第一届专接本学生。四年来,软件工程专业共招收近400名本科层次学生。专业以服务北京市城市经济建没和社会发展、服务首都信息化为根本目标,充分利用民办高校的体制、机制优势和北京市的特殊环境优势,根据软件人才市场的实际需要,结合生源具体情况,通过课程体系的不断改进和完善、教学实践方法的持续探索和创新,建立并完善软件技术应用型高级实用人才的培养模式,逐步形成独到的专业特色,营造北京市软件实用人才培养基地。软件工程专业培养具有一定的软件理论基础,掌握软件工程技术,能够运用先进的软件开发工程化方法、熟练使用软件开发工具,具有良好的科技和人文素质、熟练的外语运用能力、规范的软件开发和项目组织能力,富有国际视野、创新精神、竞争意识和团队合作精神的技术应用型高级实用人才。可以从事软件项目设计、开发、测试、维护及项目管理等生产第一线工作。学科掠影——软件工程专业
简介:教育部于2011年对一级学科进行了调整,软件工程成为新增设的一级学科。文章根据60所具有软件工程一级学科博士点和硕士点的高校官网,对其公布的研究方向和培养方案进行统计,并对其中拥有计算机软件与理论二级学科的高校的研究方向和培养方案进行对比分析,结果表明,目前国内软件工程学科与计算机科学与技术一级学科(特别是二级学科计算机软件与理论)在研究方向、培养方案、课程体系等方面有诸多重叠。为此,文章初步讨论了在大数据、物联网、云计算等信息技术发展新趋势下,软件工程学科研究方向的凝练和研究生培养中应着重考虑的关键方法和技术,希望通过加强对软件工程学科内涵的理解,更好地进行人才培养。
简介:简要介绍了真实破裂过程分析软件系统(RFPA)和多物理场耦合数值模拟软件系统(COMSOLMultiphysics),并分别运用这两个软件系统对受拉应力作用下带孔平板试件和共心圆轴试件在热应力作用下的受力变形特征进行了数值模拟对比分析,指出真实破裂过程分析软件系统的特色在于对材料破坏过程的分析处理,而多物理场耦合数值模拟软件系统的特色在于对于复杂多场耦合问题的求解,将这两种软件系统各自的特色特点结合起来应用于材料破坏过程中的多场耦合问题分析是以后应当努力发展的方向.
简介:物流仿真在我国已逐渐显出其重要作用.我国物流发展水平和研究应用能力还不尽人意,物流企业或企业物流在面临物流工程项目投资新建或原有系统技术改造时,由于缺乏准确丰富的信息数据和必要的物流仿真系统决策支持,造成了企业物流项目建设投入的盲目性和资金流失.物流仿真借助计算机技术对物流系统进行真实模仿,通过仿真实验得到各种动态活动及过程瞬间仿效记录,进而验证物流工程项目建设的有效性、合理性和优化效果,因此物流仿真是有其重要意义的.本文着重介绍物流仿真的功能,几种常见的物流仿真软件的性能特点,同时结合Flexsim和RaLC(乐龙)两种国内外典型仿真软件,进行物流仿真软件的应用过程与仿真效果分析.