检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

芯片开发功能验证的形式化方法

软件学报 2021年第6期32卷 1799-1817页

作者：姚广宇张南田聪段振华刘灵敏孙风津西安电子科技大学计算理论与技术研究所陕西西安710071 综合业务网理论及关键技术国家重点实验室(西安电子科技大学) 陕西西安710071

在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法... 详细信息

在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法对模型和代码的一致性进行验证,很难保证设计的可靠性和安全性,并存在验证效率低、工作量大等问题.提出一种新型验证设计模型和生成代码一致性的方法,该方法利用MSVL语言进行系统建模,并通过模型提取命题投影时序逻辑公式描述的系统的性质,通过统一模型检测的原理,验证模型是否满足性质的有效性.进而,应用信号灯控制电路系统作为验证实例,对验证方法做了检验和说明.

关键词：芯片设计模型驱动功能一致性 MSVL建模命题投影时序逻辑

在线全文

学校读者我要写书评

暂无评论

牡丹江市高校健美操教学现状分析

当代体育科技 2019年第7期9卷 132-133页

作者：陈珊张梦凡于金龙姚广宇牡丹江师范学院黑龙江牡丹江157000

健美操是在音乐伴奏下,以身体练习为基本手段、以有氧运动为基础,从而达到增进健康、塑造形体和娱乐目的的一项体育运动。高校健美操教学是公共体育教学的重要内容之一,在健美操教学中应遵循体育教学的规律和原则,根据大学生健美操教学... 详细信息

健美操是在音乐伴奏下,以身体练习为基本手段、以有氧运动为基础,从而达到增进健康、塑造形体和娱乐目的的一项体育运动。高校健美操教学是公共体育教学的重要内容之一,在健美操教学中应遵循体育教学的规律和原则,根据大学生健美操教学特点采用有效的教学方法和手段。本文运用文献资料法、问卷调查法、访谈法等调查研究方法,对牡丹江市高校健美操教学课程开设情况、课程内容、教学方法和器材配备等现状进行调查研究,旨在找出制约地方高校公共体育健美操课程教学开展的因素,为牡丹江市高校公共体育健美操教学开展提供可行性依据。

关键词：高校健美操教学现状

在线全文

学校读者我要写书评

暂无评论

创新教育形势下的单片机教学模式改革研究

科技创新导报 2017年第36期14卷 202-202,204页

作者：姚广宇长春理工大学吉林长春130022

2015年《国务院办公厅关于发展众创空间推进大众创新创业的指导意见》指出鼓励大学生创业,这再一次地给高校创新教育课程改革敲响了警钟。创新教育到底是什么?是一股风还是一门课?还是贯穿于整个大学的学生思想的转变?而以单片机为基础... 详细信息

2015年《国务院办公厅关于发展众创空间推进大众创新创业的指导意见》指出鼓励大学生创业,这再一次地给高校创新教育课程改革敲响了警钟。创新教育到底是什么?是一股风还是一门课?还是贯穿于整个大学的学生思想的转变?而以单片机为基础的嵌入式系统课程式许多学生参加各类创新创业竞赛的基础,更是科技转化类创业项目的基础。在这类课程上引导学生建立创新意识可以事半功倍。本文结合我校单片机课程改革,提出了创新引导与课程实践的教改方案,鼓励学生上课发散思维,课后动手创新,取得了一定效果。

关键词：嵌入式系统单片机创新实践

在线全文

学校读者我要写书评

暂无评论

高校学生资助工作人员的专业发展

教育与职业 2016年第4期 110-112页

作者：吴广宇姚卫兵范天森南京信息工程大学南通开放大学组织部南京信息工程大学学工部

高校学生资助工作人员专业发展势在必行,专业发展结构主要包括专业信念、专业知识、专业能力、专业伦理、专业自主、专业自觉、专业文化等七个纬度。要进一步优化政策顶层设计,建立专业发展标准,建立专业伦理规范,健全专业组织架构,建... 详细信息

高校学生资助工作人员专业发展势在必行,专业发展结构主要包括专业信念、专业知识、专业能力、专业伦理、专业自主、专业自觉、专业文化等七个纬度。要进一步优化政策顶层设计,建立专业发展标准,建立专业伦理规范,健全专业组织架构,建设专业支持平台,强化专业化培训,优化专业评估体系,促进高校学生资助工作人员专业发展。

关键词：资助工作专业发展

在线全文

学校读者我要写书评

暂无评论

运用建构理论,探索有效课堂

新课程（教研版） 2010年第9期 29-29页

作者：姚广宇陕西宝鸡陈仓区陈仓初中

建构主义理论认为学习的过程是学习者主动建构知识的过程，学习活动不是由教师单纯向学生传递知识，也不是学生被动地接受信息的过程，而是学生凭借原有的知识和经验，通过与外界的互动，主动地生成信息的过程。学生所学知识不再是我们... 详细信息

建构主义理论认为学习的过程是学习者主动建构知识的过程，学习活动不是由教师单纯向学生传递知识，也不是学生被动地接受信息的过程，而是学生凭借原有的知识和经验，通过与外界的互动，主动地生成信息的过程。学生所学知识不再是我们通常所认为的课本、文字、图片以及教师的板书和演示等对现实的准确表征，

关键词：建构理论有效课堂建构知识建构主义理论学习活动学习者学生教师

在线全文

学校读者我要写书评

暂无评论

走复兴路,圆中国梦

发明与创新（高中生） 2014年第5期 38-38页

作者：姚广宇邢凌霄山东省临清市第一中学

每个人都有梦想，十六岁的我们也和大家一样有过许多梦想：它曾是快点长大的小心愿，考试拿第一的小野心，期待放暑假的小放纵……如今，又有了五彩斑斓的新梦想——中国梦!它是泱泱中华的复兴梦，是炎黄子孙的强国梦!

关键词：中国梦梦想个人

在线全文

学校读者我要写书评

暂无评论

走复兴路,圆中国梦

初中生之友 2014年第30期 1-1页

作者：姚广宇邢凌霄

每个人都有梦想,十六岁的我们也和大家一样有过许多梦想:它曾是快点长大的小心愿,考试拿第一的小野心,期待放暑假的小放纵……如今,又有了五彩斑斓的新梦想——中国梦!它是泱泱中华的复兴梦,是炎黄子孙的强国梦!中国梦,很悠长。曾记否,... 详细信息

每个人都有梦想,十六岁的我们也和大家一样有过许多梦想:它曾是快点长大的小心愿,考试拿第一的小野心,期待放暑假的小放纵……如今,又有了五彩斑斓的新梦想——中国梦!它是泱泱中华的复兴梦,是炎黄子孙的强国梦!中国梦,很悠长。曾记否,三皇五帝孕育了我们最初的芬芳,长江黄河流淌着我们的豪放;曾记否,万里长城屹立起秦汉的雄壮,丝绸瓷器铸造了汉唐的辉煌;曾记否,郑和的船队七下西洋,四大发明拥有改变世界的力量。

关键词：中国梦

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

钢混组合梁桥面板不同施工方法探讨

城市道桥与防洪 2022年第12期 171-174,I0015页

作者：郑晓华范广宇姚宝文广东顺控交通投资有限公司广东佛山528300 上海市政工程设计研究总院(集团)有限公司上海市200092

分析钢-混组合梁桥面板的不同施工方法的影响因素,以45 m跨径钢-混组合梁为例,通过计算对比分析桥面施工方法对钢-混组合梁受力的影响,选择更优的桥面板施工方法。

关键词：钢-混组合梁桥面板施工方法

计及荷电状态的并网型直流微电网功率协同控制策略

在线全文

学校读者我要写书评

暂无评论

发电技术 2024年

作者：卫广宇应笑冬姚延军杨小芳翁楚迪彭勇刚李海龙浙江大学电气工程学院宁波经济技术开发区北仑电力实业有限责任公司

现有关于分散式协同控制策略的研究主要针对直流微电网内部的功率分配展开，而较少考虑直流微电网并网运行的情况。对此，提出一种计及荷电状态(stateof charge,SOC)的并网型直流微电网功率协同控制策略。将互联变换器视作一个可调度的... 详细信息

现有关于分散式协同控制策略的研究主要针对直流微电网内部的功率分配展开，而较少考虑直流微电网并网运行的情况。对此，提出一种计及荷电状态(stateof charge,SOC)的并网型直流微电网功率协同控制策略。将互联变换器视作一个可调度的资源，所提策略在储能单元和互联变换器之间实现合理的功率分配，以及在储能单元之间实现SOC均衡，保证直流微电网的运行稳定。此外，所提策略将母线电压和储能SOC有效限制在允许范围内，避免电压越限和储能单元过充过放的情况出现。最后，利用Simulink仿真平台验证所提协同控制策略的有效性。

关键词：直流微电网协同控制策略分散式控制功率分配 SOC均衡