Lecture capture with real‐time rearrangement of visual elements: impact on student performance

The primary goal of this study is to create and test a lecture‐capture system that can rearrange visual elements while recording is still taking place, in such a way that student performance can be positively influenced. The system we have devised is capable of integrating and rearranging multimedia sources, including learning content, the instructor and students' images, into lecture videos that are embedded in a website for students to review after school. The present study employed a two‐group experimental design, with 153 participants (145 females and 8 males) making up an experimental group in which lecture courses were recorded using the new lecture‐capture system, and 149 participants (140 females and 9 males) forming a control group whose lectures were recorded by traditional means. All participants were in the freshman college and studying Introduction to Computer and Information Science in one of six classes, and were randomly assigned to one of the two groups. The participants' midterm examination and final examination scores were collected as indicators of their academic performance, with their mathematics entrance scores used as a pre‐test. The findings obtained from analysis of covariance (ANCOVA) suggest that appropriate rearrangement of visual elements in lecture videos can significantly impact students' learning performance.     

豫西雷门沟钼矿水文地质条件分析及涌水量预测

豫西熊耳山雷门沟钼矿床位于东秦岭多金属成矿带东段,是已探明的超大型斑岩型钼矿,前人研究程度高、地质成果丰硕,但对矿床开采技术条件方面研究较少。本次通过地质调查工程、水文地质试验等方法,从水文地质角度,对雷门沟钼矿床水文地质条件进行研究,填补了该方面的空白,丰富了研究成果；采用水文地质比拟法预测未来矿坑最大排水量2613 m³/d,经实践检验结果较为可靠；总结的采坑排水量预测方法、含水层特点、矿床充水因素以及防治水措施,以期对该区域水文地质工作具有参考价值。     

Biological Water Treatment by a Hybrid Fluidized-Bed Bioreactor: Theoretical Study

A hybrid fluidized-bed bioreactor for water purification was proposed and analyzed. It is a novel type of bioreactor characterized by hitherto unknown stationary and dynamic features. Steady-state characteristics of this hybrid bioreactor with external liquid circulation are presented. A quantitative analysis of steady-state properties of the bioreactor was performed with the aid of an original mathematical model developed for a double-substrate aerobic microbiological process. A steady-state analysis of aerobic processes characterized by different oxygen demand was performed. The effect of essential parameters was evaluated, including carbonaceous substrate concentration in the feed stream to the apparatus, aeration intensity, total residence time of a liquid in the bioreactor, and height of the bed of fine carrier particles.     

电磁精细探测法在隐伏型导水地质裂缝勘探中的应用

针对传统隐伏型导水地质裂缝勘探方法存在勘测精度较差的问题,提出电磁精细探测法探析隐伏型导水地质裂缝。依照屏蔽系数、实测场强和理论场强数据绘制综合曲线图,通过该图获取隐伏型导水地质裂缝所处位置几何阴影范围,采用层析成像法得到网格化的工作面,获取隐伏型导水地质图像。通过图像直接观测隐伏型导水地质工作面裂缝所处位置,在此基础上,观测四个电磁场分量,采用正交电磁场分量计算介质视电阻率,依据计算视电阻率数值和视电阻率分布状态研究裂缝发育情况和裂缝富水程度。结果表明:采用该方法能较为精准地获取隐伏型导水地质裂缝位置。通过裂缝位置进一步检测出隐伏型导水地质裂缝最大发育高度为63.5 m。当视电阻数值不断增加时,隐伏型导水地质裂缝和裂缝富水性逐渐减小,与实际情况较为相符,说明该种方法探析效果较好。     

Interaction of graphene,MnOx, and Ca2+ for enhanced biomimetic, ‘bubble-free’ oxygen evolution reaction at mild pH

Water electrolysis powered by renewable electricity will likely be critical to a future hydrogen economy. However, the typical use of strongly acidic or alkaline electrolytes necessitates the use of expensive materials, while bubbles add to capital and operational costs, due to blocking of the electrode surface and the necessary use of pumps and gas-liquid separators. Here ‘bubble-free’ oxygen evolution at mild pH is carried out using an electrocatalyst that mimics photosystem II (PSII). The bubble-free electrode includes a gas-extracting Gore-Tex® membrane. Edge-functionalised graphene (EFG) is included to mimic the metal-binding local protein environment, and the tyrosine residue, in the oxygen evolving complex (OEC) of PSII, while MnO_x and Ca²⁺ are incorporated to mimic the Mn₄CaO₅ cluster. Interaction between EFG, MnO_x, and Ca²⁺ results in a significant, 130 mV fall in the overpotential required to drive electrocatalytic oxygen evolution at 10 mA cm⁻², compared to the electrode without these biomimetic components.     

基于MF-R和AWS密钥管理机制的物联网健康监测大数据分析系统

带有传感器的可穿戴式医疗设备不断生成大量数据，由于数据的复杂性，难以通过处理和分析大数据来找到有价值的决策信息。为了解决这个问题，提出了一种新的物联网体系结构，用于存储和处理医疗应用的可扩展传感器数据（大数据）。所提出的架构主要由两个子架构组成：Meta Fog重定向（MF-R）架构和AWS密钥管理机制。MF-R架构使用Apache Pig和Apache HBase等大数据技术来收集和存储不同传感器设备生成的传感器数据，并利用卡尔曼滤波消除噪声。AWS密钥管理机制使用密钥管理方案，目的是保护云中的数据，防止未经授权的访问。当数据存储在云中时，所提出的系统能够使用随机梯度下降算法和逻辑回归来开发心脏病的预测模型。仿真实验表明，和其他几种算法相比，提出的算法具有更小的误差，且在吞吐量、准确度等方面具有一定的优越性。     

Automated network management and configuration using Probabilistic Trans-Algorithmic Search

Online configuration of large-scale systems such as networks requires parameter optimization within a limited amount of time, especially when configuration is needed as a response to recover from a failure in the system. To quickly configure such systems in an online manner, we propose a Probabilistic Trans-Algorithmic Search (PTAS) framework which leverages multiple optimization search algorithms in an iterative manner. PTAS applies a search algorithm to determine how to best distribute available experiment budget among multiple optimization search algorithms. It allocates an experiment budget to each available search algorithm and observes its performance on the system-at-hand. PTAS then probabilistically reallocates the experiment budget for the next round proportional to each algorithm’s performance relative to the rest of the algorithms. This “roulette wheel” approach probabilistically favors the more successful algorithm in the next round. Following each round, the PTAS framework “transfers” the best result(s) among the individual algorithms, making our framework a trans-algorithmic one. PTAS thus aims to systematize how to “search for the best search” and hybridize a set of search algorithms to attain a better search. We use three individual search algorithms, i.e., Recursive Random Search (RRS) (Ye and Kalyanaraman, 2004), Simulated Annealing (SA) (Laarhoven and Aarts, 1987), and Genetic Algorithm (GA) (Goldberg, 1989), and compare PTAS against the performance of RRS, GA, and SA. We show the performance of PTAS on well-known benchmark objective functions including scenarios where the objective function changes in the middle of the optimization process. To illustrate applicability of our framework to automated network management, we apply PTAS on the problem of optimizing link weights of an intra-domain routing protocol on three different topologies obtained from the Rocketfuel dataset. We also apply PTAS on the problem of optimizing aggregate throughput of a wireless ad hoc network by tuning datarates of traffic sources. Our experiments show that PTAS successfully picks the best performing algorithm, RRS or GA, and allocates the time wisely. Further, our results show that PTAS’ performance is not transient and steadily improves as more time is available for search.     

A two stage heuristic algorithm for the integrated aircraft and crew schedule recovery problems

Airline disruptions incurred huge cost for airlines and serious inconvenience for travelers. In this paper, we study the integrated aircraft and crew schedule recovery problem. A two stage heuristic algorithm for the integrated recovery problem is proposed. In the first stage, the integrated aircraft recovery and flight-rescheduling model with partial crew consideration is built. This model is based on the traditional multi-commodity network model for the aircraft schedule recovery problem. The objective of this model also includes minimization of the original crew connection disruption. In the second stage, the integrated crew schedule recovery and flight re-scheduling model with partial aircraft consideration is built. We proposed a new multi-commodity model for the crew schedule recovery. The main advantage of such model is that it is much more efficient to integrate the flight-scheduling and aircraft consideration. New constraints are incorporated to guarantee that the aircraft connections generated in the stage 1 are still feasible. Two stages are run iteratively until no improvement can be achieved. Experimental results show that our method can provide better recovery solutions compared with the benchmark algorithms.     

Learning keyword phrases from query logs of USPTO patent examiners for automatic query scope limitation in patent searching

Professional search in patent repositories poses several unique challenges. One key requirement is to search the entire affected space of concepts, following well-defined procedures to ensure traceability of results obtained. Several techniques have been introduced to enhance query generation, preferably via automated query term expansion, to improve retrieval effectiveness. Currently, these approaches are mostly limited to computing additional query terms from patent documents based on statistical measures. For conceptual search to solve the limitation of traditional keyword search standard dictionaries are used to provide synonyms and keyword phrases for query refinement. Studies show that these are insufficient in such highly specialized domains. In this paper, we present an approach to extract keyword phrases from query logs created during the validation procedure of the patent applications. This creates valuable domain-specific lexical databases for several specific patent classes that can be used to both expand as well as limit the scope of a patent search. This provides a more powerful means to guide a professional searcher through the search process. We evaluate the lexical databases based on real query sessions of patent examiners.     

Characterizing physical habitat preferences and thermal refuge occupancy of brook trout (Salvelinus fontinalis) and Atlantic salmon (Salmo salar) at high river temperatures

Anthropogenic influences, including climate change, are increasing river temperatures in northern and temperate regions and threatening the thermal habitats of native salmonids. When river temperatures exceed the tolerance levels of brook trout and Atlantic salmon, individuals exhibit behavioural thermoregulation by seeking out cold‐water refugia – often created by tributaries and groundwater discharge. Thermal infrared (TIR) imagery was used to map cold‐water anomalies along a 53 km reach of the Cains River, New Brunswick. Trout and salmon parr did not use all identified thermal anomalies as refugia during higher river temperature periods (>21°C). Most small‐bodied trout (8–30 cm) were observed in 80% of the thermal anomalies sampled. Large‐bodied trout (>35 cm) required a more specific set of physical habitat conditions for suitable refugia, that is, 100% of observed large trout used 30% of the anomalies sampled and required water depths >65 cm within or adjacent to the anomaly. Densities of trout were significantly higher within anomalies compared with areas of ambient river temperature. Salmon parr were less aligned with thermal anomalies at the observed temperatures, that is, 59% were found in 65% of the sampled anomalies; and densities were not significantly different within/ outside anomalies. Salmon parr appeared to aggregate at 27°C, and after several events over 27°C variability in aggregation behaviour was observed – some fish aggregated at 25°C, others did not. We stipulate this is due to variances of thermal fatigue. Habitat suitability curves were developed for velocity, temperature, depth, substrate, and deep water availability to characterize conditions preferred by fish during high‐temperature events. These findings are useful for managers as our climate warms, and can potentially be used as a tool to help conserve and enhance thermal refugia for brook trout and Atlantic salmon in similar systems.