检索结果-南通市图书馆

2012考研政治十年真题与强化训练1200题精解

在线全文

学校读者我要写书评

暂无评论

2012考研政治十年真题与强化训练1200题精解

2011年

作者：杨宗丽赵卯生曹培强等

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

在线全文

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

学校读者我要写书评

暂无评论

基于SPEC#的自动测试方法

计算机应用与软件 2007年第11期24卷 89-91页

作者：陈玲杨宗源华东师范大学计算机科学系软件工程实验室上海200062

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段。基于(SPEC#+NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法。这种方法使用形式化谓词断言来作... 详细信息

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段。基于(SPEC#+NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法。这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例。这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能。

关键词： SPEC# 形式规范测试用例测试框架谓词断言

在线全文

学校读者我要写书评

暂无评论

凌钢炼铁技术进步

炼铁 2005年第1期24卷 38-41页

作者：杨宗成田中明吴国雄凌源钢铁集团公司

通过大规模的重建和改建,凌钢高炉的装备水平有了较大提高。与此同时,原燃料质量和高炉技术操作水平也有了明显的提高,生产能力大大增强,炼铁主要技术经济指标明显改善。

关键词：高炉炼铁技术原燃料装备水平技术操作经济指标生产能力大规模质量改善

在线全文

学校读者我要写书评

暂无评论

UASB工艺处理造纸废水启动的研究

给水排水 2016年第8期42卷 74-78页

作者：刘肖张洁杨宗政曹井国天津科技大学海洋与环境学院天津300457 天津科技大学化工与材料学院天津300457

为了提高UASB反应器的生化反应速率,强化反应器处理高浓度有机废水的效果,提高产甲烷的能力,有必要研究UASB反应器的启动规律,以供实际工程借鉴。以葡萄糖配水为原水,逐步增加造纸废水的比例,控制反应器的温度为38℃,进水pH在7.0左右,... 详细信息

为了提高UASB反应器的生化反应速率,强化反应器处理高浓度有机废水的效果,提高产甲烷的能力,有必要研究UASB反应器的启动规律,以供实际工程借鉴。以葡萄糖配水为原水,逐步增加造纸废水的比例,控制反应器的温度为38℃,进水pH在7.0左右,监测出水COD、氨氮、pH、VFA(挥发性有机酸)以及系统产气情况。结果表明:经过85天的运行,系统氨氮、COD的去除率分别为60%和62%,甲烷体积分数达到36.6%,厌氧启动过程获得成功。

关键词：造纸废水 UASB反应器 COD甲烷

在线全文

学校读者我要写书评

暂无评论

组件文档的研究

计算机应用与软件 2002年第5期19卷 29-31,60页

作者：黄德浩杨宗源华东师范大学计算机科学与技术系上海200062

本文针对目前组件文档不完备的情况,指出组件文档在CBSE中的重要作用,分析了组件的特点和组件使用中的风险。并从方便开发者选择、装配组件和降低组件使用风险的角度提出了书写组件文档的框架。

关键词：组件文档 CBSE 软件工程软件产品

在线全文

学校读者我要写书评

暂无评论

考虑暂态过程的对地电容电流检测方法研究

河北水利电力学院学报 2023年第4期33卷 32-37页

作者：周锐夏俊雅郑安豫侯宜祥安徽电气工程职业技术学院电力工程系安徽省合肥市包河区230051 中国建材检验认证集团安徽有限公司安徽省合肥市包河区230051 安徽省电力公司培训中心安徽省合肥市包河区230051

对谐振接地系统,画出电流源形式等值电路,提出基于暂态过程的一种对地电容电流检测方法,服务于消弧线圈跟踪调谐。该方法通过断开中性点调谐回路,测量过渡过程时间常数,以及电路稳定前后的电压、电流幅值,推导出对地电容的计算方法。在M... 详细信息

对谐振接地系统,画出电流源形式等值电路,提出基于暂态过程的一种对地电容电流检测方法,服务于消弧线圈跟踪调谐。该方法通过断开中性点调谐回路,测量过渡过程时间常数,以及电路稳定前后的电压、电流幅值,推导出对地电容的计算方法。在Matlab中搭建模型对方法进行验证,仿真数据验证该方法的有效性,测量方法简单,计算容易,测量时间短,计算精度满足要求,为消弧线圈跟踪调谐提供一种基于暂态过程测量电容的理论依据。

关键词：暂态过程时间常数对地电容 Matlab

在线全文

学校读者我要写书评

暂无评论

子环的和与积

云南大学学报（自然科学版） 2007年第4期29卷 335-338页

作者：杨宗文杨柱元云南大学数学系云南昆明650091 云南民族大学数学与计算机科学学院云南昆明650031

讨论了环由子集生成的子环、子环的和与积的结构,子环的积对和的分配关系,证明了结合环类是完备代数类及可积代数类,从而是完备代数正规类及可积代数正规类.

关键词：环子环理想代数正规类

在线全文

学校读者我要写书评

暂无评论

用JSP和TRS开发文献管理系统

计算机应用 2001年第8期21卷 62-63页

作者：王志刚唐文忠杨宗煦北京航空航天大学自动化科学与电气工程学院北京100083 北京航空航天大学科技处北京100083

从文献资料管理的角度出发 ,介绍了使用JSP动态网页技术和TRS全文检索技术开发文献管理系统的方法 ,并给出了系统的模块结构 ,数据库设计和部分关键的程序代码。

关键词： JSP TRS 文献管理系统程序代程数据库

小学语文阅读教学中提升学生核心素养的策略探讨

在线全文

学校读者我要写书评

暂无评论

小学语文阅读教学中提升学生核心素养的策略探讨