生存能力技术及其实现案例研究

生存能力技术谋求增强系统在面临攻击、失效等灾难情况下仍能继续提供服务的能力。本文提出了以多样化分布式动态备份技术和主动漂移机制为手段，以被保护目标的机动性和隐蔽性为目的的生存能力技术模型。提出了多样化体系理论及其实现案例，基于该理论设计并实现了自适应TOM方法。最后通过模拟和测试探讨了生存能力的评价方法，并验证了本文的结果。     

评述王化云的治河思想

王化云主持黄河水利委员会工作期间，注意研究历代治河方略，开展调查研究，从实践中认识黄河，从而在不同时期提出了不同的治河方案。从“确保临黄，固守金提”到“宽河固提”，采取一系列宽河与巩固堤防的措施，保证了40多年的防洪安全。在黄河全面治理方面，从“蓄水拦沙”到“滞洪排沙”、“蓄清排浑”，以至“上拦下排，两岸分滞”；还研究了调水调沙、河口治理、南水北调等方案。他赞成水土保持，主张河道整治，但不宜束水攻沙，反对改道和分流，对疏浚河道、河口挖沙、大放淤等也不赞成。我们应学习他以辩证唯物主义观点认识黄河，重视调查研究，实事求是地总结经验，重视科技，善于听取不同意见等等。     

TiB2与BN复相陶瓷的渗流模型

试验结果证实,TiB₂与BN复相陶瓷的导电性能符合渗流理论,原料粉粒度配比下,其渗流阀值为V_c%=22.9%;原料粉粒度比的改变将改变渗流阀值,从而改变各配比下的电阻率值;TiB₂与BN在SPS系统中快速烧结,晶粒的尺度比与原料粉的粒度比基本保持一致。     

关于CEA混凝土膨胀剂的若干技术问题--与游宝坤同志讨论

作者阐述了CEA膨胀剂混凝土的膨胀量较大，干缩小，抗裂性能良好的特性，CEA与粉煤灰掺用提高强度，改善界面过渡层的性质，提高耐久性；CEA混凝土无Ca（OH）2溶出问题。文中列出GBJ119应用技术规范，说明CEA可用于防水工程。     

基于OBE的工程图学混合式教学新体系

突如其来的疫情下“停课不停学”的线上教学,使得以成果导向教育(OBE)为理念的教学存在 特殊性。以《现代工程图学》课程为载体,提出突发事件下 OBE 在线教学应着眼于培养学生的图学素养,融 入计算机实体造型。教学重点集中在整合和挖掘教学资源、依托网络教学平台和加强工程能力培养,教学过程 强调以学生为中心的教学理念、加大多元化过程考核机制,拓宽制图课教学的知识面和受训面。构建了“课内 与课外相结合、线上和线下相结合、理论与实践相结合”的混合式制图教学新体系。并在机自专业制图课程教 学过程中加以实践,适度解决了远程教学中课堂互动性差、实践和测绘教学难以及上机实战少等问题,确保与 线下课程教学质量实质等效,为工程类基础课程教学提供改革思路。     

退火温度对超低碳钢ECAP变形组织的影响

采用BC方式通过等径弯曲通道变形(Equal Channel Angular Pressing,简称ECAP)法制备了铁素体晶粒尺寸约0.30μm的超低碳钢试样,研究了退火温度对ECAP变形组织的影响。结果表明,随退火温度升高,ECAP变形获得的亚微晶铁素体变形组织在原位逐渐演变为再结晶组织。300~500℃×1h退火时,亚微晶铁素体组织稳定,晶粒无明显长大。退火温度高于500℃后,铁素体晶粒开始明显长大,650℃退火后的铁素体平均晶粒尺寸约8.70μm。     

亚微米AlNp/Al复合材料的组织与性能研究

通过机械干混和湿混(添加分散剂)两种混合工艺,制备了20％AlNp／Al复合粉末,并通过冷等静压一热挤压制备了亚微米AlNp／Al复合材料。对比分析了两种混合工艺条件下亚微米AlN的分散情况,同时分析和测试了复合材料的显微组织与性能。     

客运专线信号监控系统研究

根据我国铁路客运专线管理信息化的模式,通过对客运专线信号系统特点的分析,提出客运专线信号监控系统的设计要求,设计了客运专线监控系统的方案及网络体系结构。     

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术

动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。     

零均值独立噪声背景下的二维谐波估计方法

关于信号频谱特性研究,为了提高有用信号的平稳性和精确的结果,通过定义一种特殊的四阶矩谱,提出了一种新的二维谐波频率估计方法,方法对噪声的分布和颜色无需作任何限制,而且表现出更好的计算有效性.作为一个副产品,还可以直接从频谱中估计出噪声的方差.进行仿真,结果表明能得到平稳和精确的结果,证明方法对零均值独立乘性与加性噪声背景下的二维谐波估计问题是非常有效的.