切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
A property-based testing framework for encryption programs
A property-based testing framework for encryption programs
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:bluelpower
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Chang-ai SUN
Zuoyi WANG
Guan WANG
【机 构】
:
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beij
【出 处】
:
城市道桥与防洪
【发表日期】
:
2014年3期
【关键词】
:
software testing
encryption programs
test oracles
metamorphic testing (MT)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
知识经济时代的大学创造教育
知识经济是建立在知识和信息基础之上的经济,是以知识和信息的生产、传播和使用为直接依据的经济.在这样的经济时代下,对人才提出了新的、更高的要求,其中,人才的创造性素质
学位
大学创造教育
知识经济
创造性人才
网络文化的困惑与解析
该文通过对网络文化进行反思,分析它产生的原因与特性,揭示网络文化的精神内核,阐述网络文化的"病症",特性,揭示网络文化矛盾和冲突产生的根源.同时,该文还通过对各种网络文
学位
网络技术
网络文化
网络社会
一場叙說歷史的話語盛宴——《清末民初的“晚明想像”》導論
一,歷史想像的交響當我們回眸歷史的視綫回閃到上一個“世紀之交”,正當清末民初幾十年間,一個詭異的文化現象居然曾經馳騁江湖,“無報不談明末事”:本來早已成為歷史記憶的
期刊
清末民初
Qing Dynasty
清王朝
政府
演出
文化
事件
人物
渠道
江湖
分歧
朝廷
让阅读由量变走向质变--农村小学生课外阅读的探究
阅读是切实提升学生语文素养的有效途径,而语文素养又是学生全面发展和终身发展的基础。《语文课程标准》也对小学阶段学生的阅读量做出了明确的规定,要求小学六年的课外阅读
期刊
阅读量
农村
语文素养
学生全面发展
终身发展
小学阶段
课程标准
提升
基础
切实维护广大职工的职业健康权益
自2012年《职业病防治法》修订以来,曾经困扰职业病患者求助无门的情况眼下正在得到积极改善。目前,全国生产作业场所的职业安全检查和劳动合同制正在逐步落实与完善,为当前
期刊
职业病防治
中华全国总工会
劳动合同制
职业安全
生产作业
基层工会
检查和
非公有制
中小型企业
脉搏
期刊
脉搏检查
脉搏
体征检查
医学刊物
国外护理
病员
挠动脉
心律不整
弱脉
交替脉
冯友兰文化类型说述评
近代中国,围绕“中国文化向何处去”这一历史课题的中西文化论争不断。冯友兰认为,文化论争中仅以个体观点观察中西文化而形成的全盘西化论、部分西化论和中国本位文化论的主张
学位
冯友兰
中国文化
文化类型
甲烷-丙烷二元混合气在流向变换催化燃烧器中反应特性的模拟研究
对甲烷和丙烷的二元混合气在流向变换催化燃烧器中的反应特性进行了模拟研究.选取总绝热温升作为基准参数,研究了混合气中甲烷所占比例和表观气速等运行条件对燃烧器运行规律
期刊
流向变换催化燃烧器
甲烷
丙烷
反应速率
数值模拟
50例精神分裂症病人外周血淋巴细胞染色体观察分析
随着细胞遗传学的开展,对精神分裂症的遗传问题曾在染色体方面进行过研究。精神分裂症是否与染色体异常有关,大多数持否定态度。井上(1968)、Anders(1968)在进行染色体及生
期刊
精神分裂症
精神分裂症病人
精神病医院
染色体
染色体异常
细胞遗传学
性染色体异常
生化学
抗精神病药
Nielsen
Optimization of the main liming process for inulin crude extract from Jerusalem artichoke tubers
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
inulin
homogenate extraction
Jerusalem artichoke
main liming process
其他学术论文