检索结果-南通市图书馆

化学试剂 1995年第4期17卷 226-227页

作者：吴为民徐寿颐清华大学化学系

介绍了在Ｎ－甲基吡咯烷酮中，以甲醇钠作试剂将顺式结构的４－（４′－烷基－反－环己基）－环己烷羧酸转化为反式异构体的方法。

关键词：液晶转位分离烷基环己基环己烷羧酸

基于线性规划的RTL可满足性求解和性质检验

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2006年第4期18卷 538-544页

作者：郑伟伟吴为民边计年清华大学计算机科学与技术系北京100084

采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RT... 详细信息

采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RTL性质的方法·通过实验,并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较,证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势·

关键词：线性规划寄存器传输级可满足性性质检验形式验证

在线全文

学校读者我要写书评

暂无评论

同济世博足迹 1

2010年

作者：吴为民

本书为同济大学师生服务、奉献2010年上海世博会的报告文学集，记述同济师生在上海世博会申办、筹备及运行过程中，追求卓越、倾情奉献的感人故事。既是对同济师生参与世博、奉献世博的真实记述，也是同济校园文化内容的丰富和扩充，有... 详细信息

ISBN: (纸本)9787560844190

本书为同济大学师生服务、奉献2010年上海世博会的报告文学集，记述同济师生在上海世博会申办、筹备及运行过程中，追求卓越、倾情奉献的感人故事。既是对同济师生参与世博、奉献世博的真实记述，也是同济校园文化内容的丰富和扩充，有利于学校形象的传播以及针对师生开展校情教育。

关键词：报告文学作品集中国当代

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

沉淀的记忆《同济报》选辑

丛书名：百年同济文史书系

2007年

作者：吴为民

本书结合体裁和内容两方面的考虑，反映了同济大学自改革开放至今在学校综合层面以及人才培养、科学研究、社会服务、国际交往等与内涵建设相关的各个方面所取得的成就、同济人的精神风貌。

ISBN: (纸本)7560834299

关键词：文化、科学、教育、体育教育高等教育

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

RTL验证中的混合可满足性求解

计算机辅助设计与图形学学报 2007年第3期19卷 273-278,285页

作者：邓澍军吴为民边计年清华大学计算机科学与技术系北京100084

RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息... 详细信息

RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息,因而求解效率较高.介绍了每一大类中的典型研究及其所采用的重要策略,以及RTL可满足性求解方面的研究进展.

关键词：形式验证寄存器传输级可满足性可满足性模理论

在线全文

学校读者我要写书评

暂无评论

特色教师的成长过程

上海教育科研 2004年第1期 65-67页

作者：吴为民李忠上海市浦东新区教育科学研究所 200129

一、何谓特色教师所谓特色教师,就是在教育教学上具有特色的教师。这种教育特色是教师教学个性的体现,是教师独特教学风貌的反映。相对于一般教师而言,特色教师具有以下方面的特征:第一,具有鲜明而独特的教育个性。这种个性不仅体现... 详细信息

一、何谓特色教师所谓特色教师,就是在教育教学上具有特色的教师。这种教育特色是教师教学个性的体现,是教师独特教学风貌的反映。相对于一般教师而言,特色教师具有以下方面的特征:第一,具有鲜明而独特的教育个性。这种个性不仅体现在教学行为层面上,还体现于思想层面,从行为层面上看,表现为教师在教育教学活动中所采取的各种做法具有鲜明的个体色彩。从思想层面上看,它“表明一种价值观,表达一种精神和执著追求着一种目标。”“是一种主体化。

关键词：特色教师教师专业成长教学常规教学设计中小学

在线全文

学校读者我要写书评

暂无评论

找准办学位置培养合格人才

中国高等教育 1997年第11期 20-21页

作者：吴为民贵州商业高等专科学校

找准办学位置培养合格人才贵州商业高等专科学校□吴为民我校是在１９８７年经贵州省人民政府和国家教委批准在原贵州省商业学校的基础上成立的普通高等专科学校。近年来，我们在教学基本建设，教学设施建设，师资队伍建设，加强学生能... 详细信息

找准办学位置培养合格人才贵州商业高等专科学校□吴为民我校是在１９８７年经贵州省人民政府和国家教委批准在原贵州省商业学校的基础上成立的普通高等专科学校。近年来，我们在教学基本建设，教学设施建设，师资队伍建设，加强学生能力培养，扩大成人教育办学规模等方面...

关键词：培养合格人才高等专科学校商业学校提高教学质量贵州省专科教育大专教育办学办出特色

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

增资扩股助力农合机构发展

银行家 2017年第10期 126-127页

作者：吴为民广东省农村信用社联合社

2017年全国金融工作会议对于我国金融业的改革发展是一次极为重要的会议,服务实体经济、防范化解风险成为会议主基调。贯彻全国金融工作会议精神,各省农信系统深化改革也进入了新阶段,如广东农信正掀起以改制农商行、化解风险为主要内... 详细信息

2017年全国金融工作会议对于我国金融业的改革发展是一次极为重要的会议,服务实体经济、防范化解风险成为会议主基调。贯彻全国金融工作会议精神,各省农信系统深化改革也进入了新阶段,如广东农信正掀起以改制农商行、化解风险为主要内容的新一轮改革热潮,要在最短时间内实现97家机构全部改制为农商行。时间紧,任务重,

关键词：农商行改革热潮防范化解主基机构改革资本管理服务实体账销案存股本金财务能力

学校科研:如何把握“行动”与“研究”的关系

在线全文

学校读者我要写书评

暂无评论

上海教育科研 2012年第11期 12-13页

作者：吴为民上海市浦东教育发展研究院 200127

“行动研究”是当前许多学校所采用的一种科研方法，这种方法对于突显中小学校课题研究的实践性，促使教育科研与学校日常教育工作的融合起到了积极的作用。许多学校结合实际工作设计研究活动，注重实践操作，关注行动的效果，使科研更... 详细信息

“行动研究”是当前许多学校所采用的一种科研方法，这种方法对于突显中小学校课题研究的实践性，促使教育科研与学校日常教育工作的融合起到了积极的作用。许多学校结合实际工作设计研究活动，注重实践操作，关注行动的效果，使科研更贴近学校教育实际，贴近教师工作实际。

关键词：学校科研实践操作科研方法行动研究课题研究中小学校教育工作教育科研