软件测试自动化关键技术研究

本书提出了一种基于程序切片技术的自动化软件测试工具架构，提出了一种测试数据的自动生成和测试用例集约简的框架模型，便于在整个测试过程实现测试用例集的自动化管理。同时，将基于I/O关系的黑盒测试用例集约...

中国·四川抗战文化研究丛书 大轰炸中的重庆陪都文化 文联版

抗战时期重庆为国民政府的陪都。重庆陪都有五年半时间遭受日军飞机近万次大轰炸。然而，这座城市与民众在大轰炸巍然屹立，悲壮而绚烂，成为战斗中国的象征。本书共十一章全面而系统地论述了大轰炸中的重庆陪都文...

劳动力市场分割与农民工流动研究 以重庆市丰都县为例

本研究从劳动力市场分割理论出发，以2008年美国金融危机中国农民工返乡为背景，使用作者于2009年7月发起并组织的重庆市丰都县返乡农民工和本土农民工抽样调查大样本数据，从市场的角度研究了不同地区劳动力市场...

高速公路早期凝冰预警及高危路段凝冰自动化处置技术研究

本书主要介绍了高速公路凝冰预警及自动化处置整套技术，该技术尤其适用于山区桥梁、隧道进出口、高海拔背阴等易结冰路段，有效解决长大纵坡和超高急弯等事故黑点路段冬季道路行车安全问题。...

电能表自动化检定及仓储智能系统研究

本书以建设一体化的单相电子式电能表自动化检定线智能量测系统为基础，介绍将自动检定流水线投入实用化运行的实践过程。电能表自动化检定线是自动化物流、自动化检定、信息科学集成的综合性科学技术工程，它以...

反哺农业立法问题研究 以重庆市为例

反哺农业是世界各国在工业化中期经济发展的一般规律，工业化国家大都通过相关立法实现“以农补工”向“以工补农”的政策转向。我国反哺农业问题是胡锦涛总书记在2004年党的十六届四中全会上“两个趋向”论述...

中国工业节能技术创新研究

中国社会主义工业化道路研究

海量网络学术文献自动分类研究

本书针对文本分类方法在发展过程中出现的问题，围绕“本体及其在文本分类中的应用”和“海量网络学术文献自动分类”两个方面展开探讨。深入研究了海量网络学术文献处理技术，比较分析了适合网络文献自动获取及...

职业女性的发展与工业 家庭关系研究