ISI支付协议的Strand Space模型及其公平性分析

文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。     

“互联网+”模式下室内刺绣文化产品的应用与营销策略

文章基于中国传统刺绣不拘一格的魅力特征,根据当下人们的生活方式,将其文化元素应用到现代装饰及家纺产品当中。深入挖掘优秀文化资源将其转化为文化产品,并通过互联网的方式呈现给当代年轻人,让更多的年轻人感受到传统文化的独特魅力,其目的是让更多人感受传统文化独有的韵味,同时实现传统文化的独特价值。     

北京妫水河水生植物群落调查与水质响应关系研究

作为典型的北方缺水河流,妫水河生境脆弱,特别是城区段受人为干扰强烈,水生植物群落退化严重。通过开展妫水河水生植物群落实地调查和水质监测,摸清不同河段水生植物群落分布与水质之间的响应关系,有利于区域水生植物群落的重新构建。妫水河现有水生植物12科12属14种,其中,挺水植物6种(42.9%),沉水植物6种(42.9%),浮叶植物1种(7.1%),漂浮植物1种(7.1%)。不同河段水生植物群落结构存在显著差异,在水质较好的山区型河段(古城河和妫水河干流龙顺路附近)主要分布有以沉水植物为主的菹草+水毛茛+金鱼藻群落和浮萍﹣金鱼藻群落;在水质较差的城区型河段(三里河)主要分布有耐污性较强的香蒲+菖蒲群落、菰+芦苇+水芹﹣菹草群落;在缓坡型河段(蔡家河和妫水河干环湖南路附近)分布有以挺水植物为主的芦苇+香蒲﹣狸藻﹣荇菜群落和菰+香蒲﹣眼子菜群落。以群落分布规律为依据,可为妫水河生态修复提供思路和设计参考。     

Banach格上的b-AM-紧算子(英文)

本文对Banach格上的b-AM-紧算子进行了描述,得到了如下三个结论:1)如果Banach格F是无限维的,则E是KB-空间当且仅当每个从E到F的AM-紧算子是b-AM-紧算子。2)Banach格E是离散的KB-空间当且仅当每个从E到F的连续算子是b-AM-紧算子。3)如果E是离散的,则每个从E到F的b-弱紧算子是b-AM-紧算子。其次给出了b-AM-紧算子的控制性质,得到如下两个结论:1)如果E和F是两个Banach格,算子S,T:E→F满足0≤S≤T且T是b-AM-紧算子,则算子S是b-AM-紧算子当且仅当F具有序连续范数或者E是离散空间。2)如果S,T是从E到F的算子满足0≤S≤T,如果T是b-AM-紧算子,则S2也是b-AM-紧算子。     

基于自适应注意力融合特征提取网络的图像超分辨率

为了应对当前大型图像超分辨率模型参数过多难以部署,以及现有的轻量级图像超分辨率模型性能表现不佳的问题,提出了一种基于自适应注意力融合特征提取网络的图像超分辨率模型。该模型主要由一个大核注意力模块和多个高效注意力融合特征提取模块组成。首先,利用大核注意力模块进行浅层特征提取,然后将提取到的浅层特征信息输入级联的高效注意力融合特征提取模块进行深层特征提取、增强、细化和再分配的聚合操作。高效注意力融合特征提取模块由三个部分组成,分别是渐进式残差特征提取模块、通道对比度感知注意力模块和通道—空间联合注意力模块。该网络可以在利用少量参数的情况下实现更好的图像超分辨率性能,是一种表现优异的轻量级图像超分辨率模型。通过在流行的基准数据集上评估提出的方法,并与现有的一些方法进行对比,结果表明该方法的表现更优异。     

荧光碳量子点/锂皂石乳化的液体石蜡Pickering乳液及其性能研究

利用荧光碳量子点(CDs)和锂皂石协同乳化液体石蜡Pickering乳液,研究了CDs、锂皂石乳化体系对Pickering乳液稳定性的影响。结果表明:利用尿素和柠檬酸钠通过高压水热法制备出具有良好荧光性能的碳量子点纳米颗粒在365 nm处具有良好的荧光强度。通过红外光谱发现所制备的CDs表面具有羟基、羧基、氨基和—CN基团。通过AFM发现所制备的CDs带负电,具有良好的粒子性和粒径均一性。CDs对锂皂石的协同乳化作用随着CDs用量的增加而增大;CDs用量为0.125 g的条件下,稳定性达到最佳。随着锂皂石用量的提高,乳液粒径先降低后增大,然后保持不变;乳液稳定性先上升后下降再上升。锂皂石用量在5 mL时乳液粒径保持不变,稳定性达到最佳;继续增大锂皂石用量会破坏乳液的稳定性。锂皂石用量较低时,乳液为油包水(W/O)型乳液;当锂皂石用量超过0.05 g后,乳液均为水包油型(O/W)乳液。CDs和锂皂石纳米颗粒复配的颗粒吸附在油水两相的界面处,形成了一层界面颗粒膜以及3D网络结构,提高了乳液的稳定性。CDs具有显著的荧光示踪性,这为Pickering乳液界面颗粒稳定机理提供了崭新的研究思路。     

原发性肝淀粉样变性1例临床分析

1 临床资料 患者,男,54岁,因乏力、黄疸、腹胀3个月于2009年8月26日入院.患者缘于3个月前无明显诱因出现乏力、眼黄、肤黄、腹胀等症状,先后在多家医院诊断为:肝硬化,肝占位性病变?给予保肝、降酶等对症治疗,乏力无缓解,黄疸呈进行性加深,遂来南昌大学第一附属医院就诊.     

一种求解Job-shop问题的混合排序遗传算法

利用遗传算法和模拟退火算法的优点,提出一种新的基于工序的混合排序遗传算法(HSGA).新算法具有优秀的全局搜索能力和避免陷入局部极小的特性,有很高的收敛精度.对Job-shop调度问题进行仿真试验,结果优于其他同类算法,验证了HSGA的可行性和高效性.     

基于Z语言的软件工程形式化理论研究

形式化是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一。形式化语言有很多种,本文要介绍的是z语言,首先进行了z语言的概括,以及z语言的数学基础,最后列举了一个简单的例子说明z语言的用法。     

提高自动软水器软化水质节能降耗

2010年6月对锅炉系统进行改造,新安装投用了2台ZDR-20B型全自动流量型钠离子交换器。它的优点足：交换容量大,结构紧凑;缺点是：对原水的水质要求较高,盐水浓度大,清洗时不易清洗彻底,氯离子含量超标。我们结合生产实际,在处理工艺、方法上进行技术改进,优化新装黄的运行参数,充分发挥设备的性能,使软化水量满足多台锅炉安全平稳运行的需要,节能降耗,节约生产成本。