干扰条件下的“北斗”信号解扩重构DOA估计

在干扰条件下，卫星导航抗干扰波束形成算法往往需要卫星信号波达方向（Direction-of-Arrival，DOA）的先验信息。但当存在低信噪比信号或主动干扰源时，常规的DOA估计算法性能急剧下降甚至失效。针对此问题，提出了一种被干扰信号压制的低信噪比“北斗”信号的DOA估计算法。该算法首先通过对接收信号进行子空间投影抑制干扰信号，然后对抑制干扰后的信号进行解扩重构处理，最后通过多重信号分类算法完成对“北斗”信号的DOA估计。仿真结果表明，在干扰信号干信比80 dB条件下，“北斗”信号DOA估计误差在5°以内，为下一步进行波束形成计算提供了高精度的入射角信息。     

Earliness–tardiness minimization on scheduling a batch processing machine with non-identical job sizes

This paper considers the scheduling problem of minimizing earliness–tardiness (E/T) on a single batch processing machine with a common due date. The problem is extended to the environment of non-identical job sizes. First, a mathematical model is formulated, which is tested effectively under IBM ILOG CPLEX using the constraint programming solver. Then several optimal properties are given to schedule batches effectively, and by introducing the concept of ARB (Attribute Ratio of Batch), it is proven that the ARB of each batch should be made as small as possible in order to minimize the objective, designed as the heuristic information for assigning jobs into batches. Based on these properties, a heuristic algorithm MARB (Minimum Attribute Ratio of Batch) for batch forming is proposed, and a hybrid genetic algorithm is developed for the problem under study by combining GA (genetic algorithm) with MARB. Experimental results demonstrate that the proposed algorithm outperforms other algorithms in the literature, both for small and large problem instances.     

Microwave assisted-in situ synthesis of porous titanium/calcium phosphate composites and their in vitro apatite-forming capability

Microwave irradiation has been proven to be an effective heating source in synthetic chemistry, and can accelerate the reaction rate, provide more uniform heating and help in developing better synthetic routes for the fabrication of bone-grafting implant materials. In this study, a new technique, which comprises microwave heating and powder metallurgy for in situ synthesis of Ti/CaP composites by using Ti powders, calcium carbonate (CaCO₃) powders and dicalcium phosphate dihydrate (CaHPO₄·2H₂O) powders, has been developed. Three different compositions of Ti:CaCO₃:CaHPO₄·2H₂O powdered mixture were employed to investigate the effect of the starting atomic ratio of the CaCO₃ to CaHPO₄·2H₂O on the phase, microstructural formation and compressive properties of the microwave synthesized composites. When the starting atomic ratio reaches 1.67, composites containing mainly alpha-titanium (α-Ti), hydroxyapatite (HA), beta-tricalcium phosphate (β-TCP) and calcium titanate (CaTiO₃) with porosity of 26%, pore size up to 152 μm, compressive strength of 212 MPa and compressive modulus of 12 GPa were formed. The in vitro apatite-forming capability of the composite was evaluated by immersing the composite into a simulated body fluid (SBF) for up to 14 days. The results showed that biodissolution occurred, followed by apatite precipitation after immersion in the SBF, suggesting that the composites are suitable for bone implant applications as apatite is an essential intermediate layer for bone cells attachment. The quantity and size of the apatite globules increased over the immersion time. After 14 days of immersion, the composite surface was fully covered by an apatite layer with a Ca/P atomic ratio approximately of 1.68, which is similar to the bone-like apatite appearing in human hard tissue. The results suggested that the microwave assisted-in situ synthesis technique can be used as an alternative to traditional powder metallurgy for the fabrication of Ti/CaP biocomposites.     

A new numerical algorithm to check the observability and bad-data processing ability of the metering scheme

This paper provides a unified approach for the optimization of measurements placements employed for power system online monitoring through state estimation. The proposed methodology, which can be suitable for the mixed measure system, preserves state estimation observability and bad-data processing capability by employing numerical algorithms for observability checking, critical measurements and critical couple identification. First, node injection radix measurements and measurement categories are defined. According to the above definitions, the coefficient matrix can be solved. The analysis on the column vectors of the coefficient matrix can determine each measurement classification. Furthermore, the numbers of each measurement class contains can determine bad-data processing capability. The observability can be checked by the type number of measurements. The proposed method is illustrated with the IEEE39-bus system and the IEEE118-bus system. Results from the case studies are presented to demonstrate that the approach adequately fulfills the desired properties related to observability, bad-data processing, cost, and robustness.     

A hybrid knowledge and ensemble classification approach for prediction of venous thromboembolism

Clinical narratives such as progress summaries, lab reports, surgical reports, and other narrative texts contain key biomarkers about a patient's health. Evidence-based preventive medicine needs accurate semantic and sentiment analysis to extract and classify medical features as the input to appropriate machine learning classifiers. However, the traditional approach of using single classifiers is limited by the need for dimensionality reduction techniques, statistical feature correlation, a faster learning rate, and the lack of consideration of the semantic relations among features. Hence, extracting semantic and sentiment-based features from clinical text and combining multiple classifiers to create an ensemble intelligent system overcomes many limitations and provides a more robust prediction outcome. The selection of an appropriate approach and its interparameter dependency becomes key for the success of the ensemble method. This paper proposes a hybrid knowledge and ensemble learning framework for prediction of venous thromboembolism (VTE) diagnosis consisting of the following components: a VTE ontology, semantic extraction and sentiment assessment of risk factor framework, and an ensemble classifier. Therefore, a component-based analysis approach was adopted for evaluation using a data set of 250 clinical narratives where knowledge and ensemble achieved the following results with and without semantic extraction and sentiment assessment of risk factor, respectively: a precision of 81.8% and 62.9%, a recall of 81.8% and 57.6%, an F measure of 81.8% and 53.8%, and a receiving operating characteristic of 80.1% and 58.5% in identifying cases of VTE.     

Deployment of a cloud pipeline for real-time visual inspection using fast streaming high-definition images

We investigate the challenges of building an end-to-end cloud pipeline for real-time intelligent visual inspection system for use in automotive manufacturing. Current methods of visual detection in automotive assembly are highly labor intensive, and thus prone to errors. An automated process is sought that can operate within the real-time constraints of the assembly line and can reduce errors. Components of the cloud pipeline include capture of a large set of high-definition images from a camera setup at the assembly location, transfer and storage of the images as needed, execution of object detection, and notification to a human operator when a fault is detected. The end-to-end execution must complete within a fixed time frame before the next car arrives in the assembly line. In this article, we report the design, development, and experimental evaluation of the tradeoffs of performance, accuracy, and scalability for a cloud system.     

Dietary advanced glycation end‐products: Perspectives linking food processing with health implications

Dietary advanced glycation end products (dAGEs) are complex and heterogeneous compounds derived from nonenzymatic glycation reactions during industrial processing and home cooking. There is mounting evidence showing that dAGEs are closely associated with various chronic diseases, where the absorbed dAGEs fuel the biological AGEs pool to exhibit noxious effects on human health. Currently, due to the uncertain bioavailability and rapid renal clearance of dAGEs, the relationship between dAGEs and biological AGEs remains debatable. In this review, we provide the most updated information on dAGEs including their generation in processed foods, analytical and characterization techniques, metabolic fates, interaction with AGE receptors, implications on human health and reducing strategies. Available evidence demonstrating a relevance between dAGEs and food allergy is also included. AGEs are ubiquitous in foods and their contents largely depend on the reactivity of carbonyl and amino groups, along with surrounding condition mainly pH and heating procedures. Once being digested and absorbed into the circulation, two separate pathways can be involved in the deleterious effects of dAGEs: an AGE receptor‐dependent way to stimulate cell signals, and an AGE receptor‐independent way to dysregulate proteins via forming complexes. Inhibition of AGEs formation during food processing and reduction in the diet are two potent approaches to restrict health‐hazardous dAGEs. To elucidate the biological role of dAGEs toward human health, the following significant perspectives are raised: molecular size and complexity of dAGEs; interactions between unabsorbed dAGEs and gut microbiota; and roles played by concomitant compounds in the heat‐processed foods.     

Hetero-assembly of colloidal particles in concentrated non-aqueous suspensions by polymer dispersant design

Although many colloidal assembling systems have been reported, most systems suffer from severe aggregation under high solid concentrations, which can often be observed in typical hetero-aggregation system. In this study, we created a hetero-assembly system using concentrated (~50 vol%) suspensions by mixing large SiO₂ particles modified with polyacrylic acid partially complexed with oleylamine (PAA-OAm) and small SiO₂ particles modified with polyethyleneimine partially complexed with oleic acid (PEI-OA) in a non-aqueous solvent. We demonstrated that hetero-assembly is driven by the interactions between the uncomplexed carboxyl/amine groups of the PAA/PEI present on the particles, while severe aggregation is simultaneously prevented by the steric repulsions of the aliphatic oleyl chains. Comparison of the cross sections of the in-situ solidified hetero-assembled suspensions with those of ideally assembled structures which were reproduced by a simulation considering the statistical distribution of particles strongly supported successful particle assembling via the proposed approach. The results revealed that the OA content in the PEI-OA complex was the dominant factor that controlled the dispersion and assembling state of the binary particles. The significance of this study is that our findings will provide a class of colloidal dispersion state which binary particles were assembled in a high solid content suspension without forming strong aggregates.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.