修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。     

流化床式筛分机中气泡特性的数值模拟

采用流化床式筛分机,针对煤料在流化床内流化时的鼓泡筛分特性,以Eulerian多相流模型,对筛分机的单粒径颗粒气固两相流动进行模拟,得出了筛分机内某一截面的固相体积份额分布图和不同截面的气泡分布图.为求证最佳流化速度,共设计了4组不同入口气速的工况.根据4组数值模拟结果,分析得出筛分机内最佳流化速度为0.96m/s.通过比较4组工况的流化效果发现,当流化速度为1.36m/s时,气泡最多,因而该工况最具有代表性,可用来研究筛分机的鼓泡特性.研究结果表明,筛分机的鼓泡具有随机性和不均匀性.     

柴油机电控组合泵燃油喷射系统匹配仿真分析

利用AMESim软件建立了某柴油机电控组合泵燃油喷射系统仿真模型.通过喷油特性实验验证模型准确性后,仿真分析了喷孔直径、凸轮型线速度和柱塞直径等主要因素对喷射性能影响规律;并通过正交实验设计,开展了燃油喷射系统结构参数优化匹配分析,得到了两组优化的结构参数方案,即喷油器孔径0.24 mm,凸轮型线速度0.46 mm/(°AC)、柱塞直径15 mm和喷油器孔径0.26 mm,凸轮型线速度0.46 mm/(°AC),柱塞直径15 mm两组,为燃油喷射系统的匹配设计提供参考.     

两弱伴随矩阵的关系

根据两个矩阵可交换、相抵、相似、酉等价、相合,讨论了与其对应的两个弱伴随矩阵是否具有相同的性质。     

烧结机星轮包装设计

该文通过对烧结机星轮部产品特点的深入分析,设计出适合该产品运输的包装装置,此装置可以解决该产品的包装并完全满足运输过程中有关稳定性的要求,从而很好保证了产品吊装及运输过程中的安全,使产品免受任何损坏,同时此包装装置还适合于多种运输工具.     

不可逆加成-断裂链转移剂正丁基-2-苯基烯丙基硫在苯乙烯乳液聚合中的研究

基于不可逆加成断裂链转移机理,研究了正丁基-2-苯基烯丙基硫（BPAS）作为分子量调节剂对苯乙烯乳液聚合速率、乳胶粒子大小和聚合物数均分子量的影响。结果表明，BPAS存在下的苯乙烯乳液聚合速率有所下降，乳胶粒子粒径减小，这是由于乳胶粒子中自由基的解吸附；平均一个乳胶粒子中的自由基个数依赖于BPAS浓度；BPAS在苯乙烯乳液聚合整个过程中能有效调节聚合物分子量，其调节效率与温度无关，同时能与经典的数均分子量数学模型相匹配。     

美感产生的原因——关于功利和非功利两种形态

美感产生的原因大致分为两种,即功利原因和非功利原因。现代神经生理学和心理学的研究揭示了审美主体和审美对象之间的内在联系,从一个新的角度阐释了美的事物是如何单凭形式而引起人的美感的。     

芭蕉扇Tn的（整，模整）和数

给出了芭蕉扇Tn和数的上界，并证明了芭蕉扇Tn是整和图，模整和图．     

恶性肿瘤与弓形虫感染

概述了弓形虫病的流行概况、发病原因、传播途径及防治措施。并通过流行病学资料论述了恶性肿瘤患者对弓形虫的易感性，从而分析了弓形虫感染与恶性肿瘤之间的关系及其临床价值。     

基于多任务学习的高分辨率遥感影像建筑实例分割

针对基于深度神经网络的高分辨率遥感影像建筑物提取算法中将建筑物提取视为二分类问题(即将遥感影像中的像素点划分为建筑物与非建筑两类)而无法区分建筑物个体的局限性, 将基于Xception module改进的U-Net深度神经网络方法与多任务学习方法相结合进行建筑物实例分割, 在获取建筑物二分类结果的同时, 区分不同建筑物个体, 并选择Inria航空影像数据集对该方法进行验证。结果表明, 在高分辨率遥感影像的建筑物二分类提取方面, 基于Xception module改进的U-Net方法明显优于U-Net方法, 提取精度升高1.4%; 结合多任务学习的深度神经网络方法不仅能够实现建筑物的实例分割, 而且可将二分类建筑物的提取精度提升约0.5%。