VERIFIABILITY,RELIABILITY, AND NATIONAL SECURITY

The rejection of the Comprehensive Nuclear-Test-Ban Treaty (CTBT) by the U.S. Senate in October 1999 could have been avoided, and the consequences of that vote still loom in the minds of supporters of the treaty. President Barack Obama has embraced the vision of a world free of nuclear weapons, and a key element of the Obama administration's arms control agenda is delivering on U.S. CTBT ratification. In order to secure the two-thirds majority in the Senate necessary to ratify the treaty, senators that remain skeptical of nuclear disarmament must also be convinced that the entry into force of the CTBT is in the national security interest of the United States. This article provides an analysis of the issues surrounding U.S. CTBT ratification divided into three segments—verifiability of the treaty, reliability of the U.S. stockpile, and the treaty's impact on U.S. national security—and concludes that CTBT ratification serves the security objectives of the United States. The CTBT constitutes an integral component of the multilateral nonproliferation architecture designed to prevent the proliferation of nuclear weapons, and it constrains the qualitative development of nuclear weapons, thereby hindering efforts by states of concern to develop advanced nuclear weapons.     

Screening multi-dimensional heterogeneous populations for infectious diseases under scarce testing resources,with application to COVID-19

Testing provides essential information for managing infectious disease outbreaks, such as the COVID-19 pandemic. When testing resources are scarce, an important managerial decision is who to test. This decision is compounded by the fact that potential testing subjects are heterogeneous in multiple dimensions that are important to consider, including their likelihood of being disease-positive, and how much potential harm would be averted through testing and the subsequent interventions. To increase testing coverage, pooled testing can be utilized, but this comes at a cost of increased false-negatives when the test is imperfect. Then, the decision problem is to partition the heterogeneous testing population into three mutually exclusive sets: those to be individually tested, those to be pool tested, and those not to be tested. Additionally, the subjects to be pool tested must be further partitioned into testing pools, potentially containing different numbers of subjects. The objectives include the minimization of harm (through detection and mitigation) or maximization of testing coverage. We develop data-driven optimization models and algorithms to design pooled testing strategies, and show, via a COVID-19 contact tracing case study, that the proposed testing strategies can substantially outperform the current practice used for COVID-19 contact tracing (individually testing those contacts with symptoms). Our results demonstrate the substantial benefits of optimizing the testing design, while considering the multiple dimensions of population heterogeneity and the limited testing capacity.     

飞机CAN总线线缆测试系统设计

为实现飞机CAN总线线缆的多种性能测试,研制了一种基于便携式工控机、VC++和Access数据库的新型的线缆综合测试系统,详细介绍了系统的硬件结构、软件设计方法;该测试系统硬件设计采用电路模块化设计技术并集成于工控机上,实现了飞机电缆的短路测试、接地测试、断路测试、交叉测试以及总线传输阻抗与信号衰减的测量,同时实现了总线通信的测试;软件通过接口完成数据库查询、数据分析以及结果显示、存储、报表和打印功能。系统检测速度快、可靠性高,实现了飞机线缆的集成化、自动化、可视化测试。     

基于多元高斯声束模型的圆柱体三维声场仿真

结合圆柱体工件内部缺陷超声检测的实际情况,采用多元高斯声束模型仿真了检测时超声波的三维声场分布。针对水浸式超声检测原理,将超声传播的过程分解成探头发射、液体耦合介质中的传播、液固界面处的传播和固体工件中的传播等4个阶段,建立了传播过程中的声场模型并得出仿真结果.分析了三维坐标体系中不同方向的声场变化情况,结果表明采用多元高斯声束模型模拟三维声场的有效性和准确性,研究的结果对于实际圆柱体工件的内部缺陷检测提供理论依据。     

基于WindowsCE的嵌入式漏磁检测仪ADC驱动程序设计

描述了基于WindowsCE的嵌入式漏磁检测仪总体结构设计,介绍了WindowsCE下设备驱动程序模型,并结合$3C2440A处理器的ADC驱动程序设计,详细阐述了基于Windows的流接口驱动程序的设计方法。实验结果表明：利用该方法设计的ADC驱动程序高效可靠,可以为开发类似设备驱动程序提供参考。     

车辆典型部件结构的有限元模型修正方法

以车身结构中简化的典型结构形式为研究对象,利用有限元软件中的焊点模拟单元,建立典型结构的有限元模型并进行模态分析。在参数灵敏度分析的基础上,结合模态试验测得的数据,利用广义简约梯度算法,对结构的有限元模型进行修正和模型验证,深入探讨了车辆典型部件结构的有限元模型修正方法。通过模型修正,有限元模型的精度得到了明显的提高,为进一步研究车辆结构部件的振动特性奠定了基础。     

框支短肢剪力墙转换结构不同墙肢布置方式抗震试验研究

框支短肢剪力墙转换结构在实际工程中已得到广泛应用,但其理论研究尚需完善.在试验和分析的基础上,通过对不同墙肢布置方式的两榀斜柱式转换结构试件在竖向和水平荷载共同作用下受力机理、承载能力、破坏形态、滞回特性、变形能力、延性系数、抗震耗能以及破坏机制等抗震性能参数的分析和对比,揭示了墙肢布置方式变化对整个转换结构受力性能及...     

某型导弹检测仪快速检校研究

针对某型导弹检测仪采用手动检测与校正致使校验仪器多、操作复杂、效率低等问题,分析了该导弹检测仪需检校的参数和硬件资源,提出了导弹检测仪快速检校系统总体方案,开发了基于C8051F040单片机的导弹检测仪快速检校系统,研究了导弹检测仪快速检校的方法。该快速检校系统能够提高导弹检测仪检校的速度和效率,对提高该装备的快速保障能力具有重要意义。     

非英语专业口语教学现状及对策的实证研究

传统的大学非英语专业口语教学对师生在教学活动中的角色定位不够准确,学生在学习过程中缺乏信心,教学效果不够理想。本文通过对大学非英语专业口语教学的特点进行研究,发现不利于学生开口说英语的种种因素,提出了教学改进的思路和措施,并运用SPSS进行测试分析,验证了此方案的可行性。     

仿真环境下嵌入式软件测试技术研究与应用

嵌入式软件的开发运行是针对特定的环境条件,作为第3方的测试,在有些运行平台和条件无法保障下,要测试嵌入式软件是非常困难的.主要论述在普通PC机上怎样实现对嵌入式软件测试的方法和步骤.