教学课程资源库 更多>>

关键词： African American studies   literature   Black women   Black feminism   terror   Cultural Studies   war on terror   counterinsurgency  

ISBN: (数字)9781479808410 ISBN: (纸本)9781479808427

摘要： The year 1968 was the height of the worldwide Black liberation struggle and the beginning of a new era in Black studies and Black culture in the United States. It also marked a turning point for the global reach of US power, which was built on the counterinsurgency honed on Black and other oppressed populations at home. The next five decades consolidated the culture of US empire, with the imperial grammars of Blackness justifying the domestic carceral regime and US and US-backed wars and occupations abroad. This study reveals the troubling ways that the long war on terror relied on the labor and the fantasies of Black women to justify the imperial spread of capitalist democracy. With attention to the way government agencies, intellectual and political elites, corporations, and universities disciplined and surveilled Black women, but also included and celebrated them, it probes the intimacy between security and Black womanhood since 1968. It also carefully chronicles the collective craft of Black feminist organizing and writing on the other side of terror, which tracked the changes in racial power and transformed African American literature and Black studies. With analyses of writers like Toni Cade Bambara, Nikky Finney, June Jordan, Claudia Rankine, and Alice Randall and television shows like Scandal and HBO’s In Treatment, this book weaves together a Black feminist cultural history of the long war on terror.

关键词： 智能化建筑   计算机科学   通信技术   应用  

摘要： 文中介绍了建筑智能化中应用的计算机科学与通信技术,包括现场通信监控单元、区域监控中心系统、集中监控中心系统和建筑的自动化系统,并分析了其取得的成效。

关键词： 肺癌   早死寿命损失年(YLL)   大气污染物   温度   交互作用  

摘要： 目的探讨大气污染物与温度对天津市河西区人群肺癌早死寿命损失年(YLL)的交互作用,为肺癌死亡影响因素研究提供参考依据。方法收集天津市河西区人群2015年1月1日—2017年12月31日的肺癌死亡相关数据及2015—2017年天津市河西区空气质量监测点环保监测数据和天津市气象数据,应用分布滞后非线性模型建立双变量响应面模型及单污染物和多污染物温度交互模型,分析大气污染物与温度对天津市河西区人群肺癌YLL的交互作用。结果相对于参考温度16.3℃,高温(34℃)和低温(–13℃)分别使天津市河西区人群每日肺癌YLL上升1.12%(95%CI=0.58%~2.16%)和1.49%(95%CI=0.16%~14.25%);细颗粒物(PM(2.5))、二氧化氮(NO_(2))、一氧化碳(CO)、臭氧(O_(3))-1 h和O_(3)-8 h可分别导致天津市河西区人群肺癌YLL上升1.00%(95%CI=0.98%~1.03%)、1.01%(95%CI=0.95%~1.08%)、1.01%(95%CI=0.99%~1.03%)、1.03%(95%CI=0.98%~1.09%)和1.03%(95%CI=0.98%~1.09%);且在低温时,每升高10μg/m3的PM(2.5)和NO_(2)可分别导致天津市河西区人群肺癌YLL上升4.14%(95%CI=0.55%~7.85%)和5.44%(95%CI=–4.80%~16.78%)。结论高温和低温以及PM(2.5)、NO_(2)、CO、O_(3)-1h和O_(3)-8 h均能增加每日肺癌YLL,且低温时PM(2.5)和NO_(2)对每日肺癌YLL影响的效应较强。

关键词： Unrelated parallel machine scheduling   Sequence and machine-dependent setup times   Workers resources   Learning effect  

摘要： The existing papers on unrelated parallel machine scheduling problem with sequence and machine-dependent setup times (UPMSP-SMDST) ignore the worker resources and learning effect. Given the influence and potential of human factors and learning effect in real production systems to improve production efficiency and decrease production cost, we propose a UPMSP-SMDST with limited worker resources and learning effect (NUPMSP). In the NUPMSP, the workers have learning ability and are categorized to different skill levels, i.e., a worker's skill level for a machine is changing with his accumulating operation times on the same machine. A combinatorial evolutionary algorithm (CEA) which integrates a list scheduling (LS) heuristic, the shortest setup time first (SST) rule and an earliest completion time first (ECT) rule is presented to solve the NUPMSP. In the experimental phase, 72 benchmark instances of NUPMSP are constructed to test the performance of the CEA and facilitate future study. The Taguchi method is used to obtain the best combination of key parameters of the CEA. The effectiveness of the LS, SST and ECT is verified based on 15 benchmark instances. Extensive experiments conducted to compare the CEA with some well-known algorithms confirm that the proposed CEA is superior to these algorithms in terms of solving accuracy and efficiency.

关键词： Tools   Binary codes   Libraries   Security   Task analysis   Reverse engineering   Computer science   Symbolic execution   equivalence checking   program synthesis   binary analysis  

摘要： Independently developed codebases typically contain many segments of code that perform same or closely related operations (semantic clones). Finding functionally equivalent segments enables applications like replacing a segment by a more efficient or more secure alternative. Such related segments often have different interfaces, so some glue code (an adapter) is needed to replace one with the other. In previous work, we presented an algorithm that searches for replaceable code segments by attempting to synthesize an adapter between them from some finite family of adapters;it terminates if it finds no possible adapter. In this work, we compare binary symbolic execution-based adapter search with concrete adapter enumeration based on Intel's Pin framework, and explore the relation between size of adapter search space and total search time. We present examples of applying adapter synthesis for improving security of binary functions and switching between binary implementations of RC4. We present two large-scale evaluations: (1) we run adapter synthesis on more than 13,000 function pairs from the Linux C library, and (2) we reverse engineer fragments of ARM binary code by running more than a million adapter synthesis tasks. Our results confirm that several instances of adaptably equivalent binary functions exist in real-world code, and suggest that adapter synthesis can be applied for automatically replacing binary code with its adaptably equivalent variants.

关键词： 夏商周断代工程   国家重大项目   自主发现   适逢其时   叶舒宪   学术研究   中国文化自信  

摘要： 《玄玉时代:五千年中国的新求证》是叶舒宪多年来玉文化研究的又一崭新学术创获。在回归中国本土、重建中国文化自信的学术研究主潮中,这一著作的出版可谓适逢其时。从20世纪末国家重大项目"夏商周断代工程"和"中华文明探源工程"发展至新时代以来的"早期中国"研究系列,国人自主发现和重建中国历史的努力正在结出丰硕果实。

关键词： 行业发展趋势   工厂化循环水养殖   大口黑鲈   尾水处理   养殖模式   产品质量   养殖病害   市场需求量  

摘要： 近年来,被喻为"第五大家鱼"的大口黑鲈深受消费者欢迎,市场需求量大,而目前大口黑鲈的养殖仍然以池塘、网箱等养殖模式为主,工厂化循环水养殖大口黑鲈符合水产行业发展趋势。工厂化循环水应用于大口黑鲈的养殖中,既能减少养殖病害,优化尾水处理,又能提高产量,提升经济效益,控制产品质量。本文对大口黑鲈工厂化循环水养殖试验进行总结,以供读者参考。

关键词： 线性代数   人工智能   C++语言  

摘要： 针对计算机专业大学生,文中论述了在AI人才培养背景下线性代数课程新的教学模式,即,将C++程序设计与线性代数相结合的课程教学.通过教学方案的设计,案例展示以及考核方式等方面,探讨了这种新型课程教学的模式.最后,根据调查研究,分析了针对计算机专业特色的线性代数新型教学模式的教学启示.

关键词： computer science   hospital equipment technology   application  

摘要： The society with more and more mature information technology has gradually made people’s life more convenient and tidy, which has imperceptibly affected the medical industry. With sensors, internet and computer technology, the medical industry has gradually built a hospital equipment information management system. Therefore, this paper analyzes the application of hospital equipment technology and computer science, discusses the possible problems according to the current development situation in China, and puts forward a series of suggestions and advantages for the application of computer science and technology and hospital equipment technology.