针对Android应用组件间通信的模糊测试技术研究

Intent是Android应用中最常用的组件间相互通信的载体。然而,如果应用组件对Intent处理不当,极有可能导致应用异常甚至崩溃。以Android应用的各个组件为研究对象,提出了一种通过构造Intent对象来测试Android应用组件间通信健壮性的模糊测试方法。首先分析应用组件的注册文件,提取需要测试的组件及其相关信息。然后,反编译APK源文件,获得目标组件的源代码并提取Intent的附加信息。接着,基于状态压缩批量生成目标组件的Intent测试用例用于自动化测试,并监控目标组件的运行日志来获取其运行状态反馈,据此判断应用组件在响应Intent时是否发生异常。最后,基于相似度匹配的错误日志去重算法,准确地将同一缺陷生成的错误日志归为一类,降低人工分析的工作量。实验表明,所提方法相较于现有前沿研究Hwacha,能够少生成9%的测试用例,多发现14%的程序异常,并通过去重算法显著降低了需要人工研判错误类别的工作量。     

煤层气三孔双渗流动模型及压力分析

通过对美国Antrim页岩气藏及一些别的低阶煤层的研究表明,在基质颗粒中也有相当一部分自由气存在。本文建立了低阶煤层中单相煤层气三孔双渗流动的试井模型,并获得了模型在拉氏空间上的解析解以及模型的数值解,讨论了储层外边界条件、弹性储容比、窜流系数以及吸附系数等参数对于压力动态响应的影响。结果表明：外边界条件决定着早期过渡段出现的早晚;窜流系数和弹性储容比影响窜流阶段出现的早晚;而吸附系数对晚期过渡段影响明显。     

Magneto-Orientated Graphite Double-Layer Homo-Structure with Broadband Microwave Absorption

We utilized magnetic fields as an efficient tool to manipulate the orientation and electromagnetic properties of graphite micro-flakes(GMFs). As a result, we successfully developed a GMF double-layer homo-structure,which shows excellent electromagnetic absorption properties. By tuning the direction of a small magnetic field(850 G), vertical and horizontal aligned GMFs are produced. Their electromagnetic parameters are effectively tailored by this magneto-orientation effect, and the vertical and ...     

广义四元数群的Coleman外自同构群

在这篇注记中,我们利用群的射影极限性质证明了广义四元数群的Coleman外自同构群或者是1或者是一个初等阿贝尔2-群.     

基于λ/4谐振器的高选择性90°带通滤波耦合器北大核心CSCD

本文提出了一种新型的高选择性的90°带通滤波耦合器。所提出的耦合器采用λ/4谐振器通过微带线构成的J转换器相互耦合，通过在输入端口加载一个半波长开路枝节引入了多个传输零点，提高了带外选择性。所提出的新型网络拓扑结构通过将输出端口处的谐振器设置为非谐振的功率分配器，使得两个输出端口实现同样的响应，实现了良好的效果。本文所提出的模型实现了两个输出端口等功率分配比的90°相位差，在带外实现了多个传输零点，隔离端口的隔离度超过37dB的高性能带通滤波耦合器。     

1,4-氮硼杂芳环在有机和过渡金属催化中的应用（英文）

总结了1,4-氮硼杂芳环在有机和过渡金属催化中的最新进展,涵盖三部分内容:一是简要介绍了1,4-氮硼杂芳环的发展历史;二是重点介绍了1,4-氮硼杂芳环作为有机小分子催化剂在光致氧化三芳基膦中的应用;三是详细阐述了1,4-氮硼杂芳环作为配体在钯催化的烯炔的立体选择性硼化反应中的应用.此外,对这一领域的未来发展进行了展望.     

行业大视频融媒体平台建设

本文介绍了江苏有线创新建设的行业大视频融合媒体平台产品.该平台面向政企客户,以电视媒体为切入点,结合大数据、边缘计算、云计算、互联网、人工智能等新兴技术,围绕"终端+直播+点播+行业服务"的核心理念,将有线电视端的传统直播、回看、互动点播媒体与移动端、广播、电脑媒体渠道等有机融合,在安全可管可控的前提下,向不同行业的用...