Chest X-ray images super-resolution reconstruction via recursive neural network

Multimedia Tools and Applications - To address the problems of insufficient detail extraction and long training time in the super-resolution reconstruction of chest X-ray images, a method of chest...     

认识逻辑(3):基于语义tableau的证明理论

本文定义了带有索引的认识逻辑ELI,讨论了ELI的语义tableau的证明过程,证明了模态tableau的相容性和完备性.由于ELI与认识逻辑EL是等价的,因而,本文讨论的tableau证明过程也可以作为EL的证明理论.     

Self-organizing map approaches for the haplotype assembly problem

Haplotype assembly is to reconstruct a pair of haplotypes from SNP values observed in a set of individual DNA fragments. In this paper, we focus on studying minimum error correction (MEC) model for the haplotype assembly problem and explore self-organizing map (SOM) methods for this problem. Specifically, haplotype assembly by MEC is formulated into an integer linear programming model. Since the MEC problem is NP-hard and thus cannot be solved exactly within acceptable running time for large-scale instances, we investigate the ability of classical SOMs to solve the haplotype assembly problem with MEC model. Then, aiming to overcome the limits of classical SOMs, a novel SOM approach is proposed for the problem. Extensive computational experiments on both synthesized and real datasets show that the new SOM-based algorithm can efficiently reconstruct haplotype pairs in a very high accuracy under realistic parameter settings. Comparison with previous methods also confirms the superior performance of the new SOM approach.     

高通量测序分析正常及腐败熟成牛肉和牛舌细菌多样性

目的 解析正常与产生腐败异味的熟成牛肉和牛舌的优势细菌。方法 利用高通量测序技术分析熟成牛肉和牛舌的细菌多样性。结果 4组样品共获得有效序列数197144, 基于序列16S rRNA基因97%的相似度, 可划分为498个操作分类单元(operational taxonomic unit, OTU)。正常熟成牛肉(BG)、腐败熟成牛肉(BB)、正常熟成牛舌(BTG)、腐败熟成牛舌(BTB)样本OTU数分别为82、32、165、219。4组样品的Coverage、Sobs、Ace、Chao与Shannon指数表明细菌多样性依次为: BTB>BTG>BG>BB。BG的优势菌为厚壁菌门(Firmicutes, 占比94.5%)的乳杆菌属(Lactobacillus, 占比91.0%); BB的优势菌为变形菌门(Proteobacteria, 占比99.0%)的不动杆菌属(Acinetobacter, 占比92.3%)。BTG的优势菌为Firmicutes(占比67.6%)的Lactobacillus(占比62.8%); BTB的优势菌为Proteobacteria(占比80%)的假单胞菌属(Pseudomonas, 占比70.9%)。结论 Lactobacillus是发酵熟成牛肉与牛舌的有益菌, Acinetobacter与Pseudomonas是导致熟成牛肉与牛舌腐败变质的优势菌。有必要针对Acinetobacter与Pseudomonas采取控制措施, 防止牛肉制品熟成过程发生腐败变质。     

贮藏过程中冷却牛肉微生物模型的建立

冷却牛肉贮藏过程中易受微生物的污染,通过建立微生物数学模型,可以预测冷却牛肉的污染情况。实验以自然污染下的冷却牛肉为介质,对0、4、7、10、15、20℃恒温条件下的菌落总数进行计数,利用SAS软件拟合Modified Compertz方程,并对比生长率和时间拟合了平方根二级模型,最后在波动温度下对模型进行了验证。结果显示,Modified Compertz方程能很好地反映冷却牛肉中菌落总数的污染情况,恒定温度下的模型拟合度都在0.95以上,对波动温度条件下的菌落总数的预测值与实测值进行比较,偏差度为0.90,准确度为1.12,表明菌落总数生长模型可以可靠地预测冷却牛肉的微生物污染情况。     

固载化咪唑类离子液体催化合成碳酸丙烯酯

应用超声波技术在温和条件下制几种硅胶固载化的咪唑类离子液体(1-丙基(三甲氧基硅基)-3-甲基咪唑类离子液体)材料。应用29Si NMR、元素分析、低温N2吸脱附实验和热重分析(TG)对所制备的样品进行了表征,并考察了其催化二氧化碳和环氧丙烷(PO)合成碳酸丙烯酯(PC)的性能。结果表明离子液体基团是以共价键固载到了二氧化硅上,固载化前后载体孔结构变化不大。几种材料在碳酸丙烯酯合成反应中都表现出良好的催化性能,PO转化率均大于96%,PC选择性都在98%以上,并表现出较好的重复使用性能。     

Fast detection method of green peach for application of picking robot

When the picking robot picks green peaches, there are problems such as the color of the fruit being similar to the background color, overlapping fruits, and small fruit size, uneven lighting, and branches and leaves occlusion. As a result, the picking robot cannot quickly detect green peaches. In order to solve the above problems, a lightweight object detection network for fast detection of green peaches is proposed, which is composed of a backbone network, feature enhancement network, Lightweight Self-Attention (LSA) network, and four-scale prediction network. First, the lightweight detection unit LeanNet of the backbone network is designed, which uses the idea of deep separable convolution to achieve fast detection. Secondly, the feature enhancement module (P-Enhance) is designed, which uses convolution kernels of different receptive fields to extract different perceptual information in the feature map, which enhances the network’s feature extraction ability for green peach. Then, the LSA module is designed to generate a local saliency map based on green peach features, which effectively suppressed the irrelevant area of the branch and leaf background. Finally, a four-scale prediction network is designed, in which the Four-scale Pyramid Fusion (FSPF) module can generate a four-scale feature pyramid, which includes the color and shape of the green peach at different network depths, and is conducive to the detection of small volume green peaches. The experimental results show that precision, recall, and F1 of our method in the green peach test set reached 97.3%, 99.7%, and 98.5%, respectively. In the actual picking scenes, Qualcomm Snapdragon 865 embedded devices equipped with different state-of-the-art methods are used. Through comparative experiments in various scenarios, compared with the state-of-the-art method, both in terms of experimental data and visual effects, there is a significant improvement, which can meet the real-time object detection needs of picking robots.

     

基于人工神经网络的曲轴残余应力巴克豪森测试仪

研制了基于巴氏噪声的曲轴残余应力测试仪,介绍了人工神经网络技术的原理、学习与训练方法等内容,以及如何建立BN信号与应力间的关系。实验数据表明该仪器测试数据准确可靠。     

认识逻辑(2):多认识主体的认识逻辑MEL

认识逻辑ＥＬ给出了知识和信念在单一认识主体情形下的逻辑框架。本文将认识逻辑ＥＬ推广到多认识主体的情形，得到了一个可靠并且完备的系统ＭＥＬ。ＭＥＬ继承了ＥＬ的全部性质。ＭＥＬ的一个重要特点是各个认识主体的知识是可以共享的。ＭＥＬ可以作为分布式多ａｇｅｎｔ系统的逻辑基础。