软件组件的共代数语意

1

作者 张旅 冯刚 《计算机技术与发展》 2010年第12期46-49,共4页

基于组件的软件开发能够有效提高软件开发的质量与效率。但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发方法不能成功应用。为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件... 基于组件的软件开发能够有效提高软件开发的质量与效率。但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发方法不能成功应用。为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件的形式化语意进行定义。文中提出了一种基于共代数概念的语意,使得满足接口和组件规约的组件对应于一个具体的共代数,并由此推导出了接口和组件的功能契约的形式语意以及接口依赖的共代数语意。通过对一个简单的堆栈进行规约,体现了这种方法的可应用性。 展开更多

关键词 基于组件的软件开发 软件组件 共代数 形式语意

在线阅读 下载PDF 职称材料

大学英语词汇学习策略

2

作者 张旅 彭欢 《文教资料》 2006年第30期101-102,共2页

词汇是语言的三大要素之一,它是语言表达最基本的成分。本文旨在从词汇学习策略的角度出发,帮助语言学习者改进词汇学习的方法,提高学习的质量,以便学习者根据自身特点灵活使用有关学习策略,获得最佳词汇学习效果。

关键词 大学英语 词汇学习策略 发现策略 巩固策略

在线阅读 下载PDF 职称材料

语篇层次上的翻译浅谈

3

作者 张旅 《南昌教育学院学报》 2006年第3期40-43,共4页

在整个翻译过程中,译者时时不能忘记语篇是一个有机的整体,它要传达的往往是一个完整的信息。译者把目光放在语篇上,就可以对原文有整体的把握,避免只见树木不见森林的错误。

关键词 语篇 衔接与连贯 语境 翻译

原文传递

天然冰片、艾片对香烟烟雾提取物诱导肺巨噬细胞凋亡的干预作用探究

4

作者 林玉茵 蔡裕豪 +5 位作者 郭晓兰 苏颖俊 张旅 余聿祥 戴建威 庞玉新 《甘肃医药》 2025年第3期193-196,202,共5页

目的:探究天然冰片、艾片对经过香烟烟雾提取物(CSE)刺激的小鼠肺泡巨噬细胞(MH-S)细胞活力、炎症及凋亡的干预影响及机制。方法:体外培养MH-S细胞,使用CCK-8法检测不同浓度CSE、天然冰片、艾片对细胞活力的影响,筛选细胞实验给药处理浓... 目的:探究天然冰片、艾片对经过香烟烟雾提取物(CSE)刺激的小鼠肺泡巨噬细胞(MH-S)细胞活力、炎症及凋亡的干预影响及机制。方法:体外培养MH-S细胞,使用CCK-8法检测不同浓度CSE、天然冰片、艾片对细胞活力的影响,筛选细胞实验给药处理浓度;设置对照组、模型组(CSE刺激)、天然冰片干预组、艾片干预组,流式细胞仪检测MH-S细胞凋亡率;为探究相关分子表达水平的变化,采用qRT-PCR检测给药干预后的MH-S细胞中促炎因子IL-6、IL-1β的mRNA表达水平,采用Western blot检测给药干预后的MH-S细胞中IL-6、STAT3、p-STAT3、BAX、Bcl-2的蛋白表达水平。结果:CSE浓度高于2%(V/V)时,天然冰片、艾片质量浓度在75μg/mL及以上时明显抑制MH-S细胞活力;CSE上调MH-S细胞炎症因子IL-6、IL-1β表达、促进细胞凋亡;天然冰片和艾片抑制CSE所诱导的炎症因子上调及细胞凋亡,并下调CSE所诱导的IL-6/STAT3信号通路中IL-6和p-STAT3的蛋白表达水平,下调促凋亡蛋白BAX、上调抗凋亡蛋白Bcl-2的表达。结论:天然冰片、艾片皆可明显改善CSE诱导的小鼠肺巨噬细胞炎症反应和凋亡情况,其抗炎作用与IL-6/STAT3信号通路有关。 展开更多

关键词 冰片 香烟烟雾提取物 肺泡巨噬细胞 细胞凋亡 炎症因子

暂未订购

基于WinCE和GPRS多媒体广告系统设计 被引量：3

5

作者 江雷 冯刚 +1 位作者 香华冠 张旅 《现代计算机》 2009年第1期176-178,共3页

分析目前流行的广告系统的设计,介绍基于Windows CE操作系统和GPRS模块的嵌入式多媒体广告系统的设计,给出具体的硬件设计和软件结构设计,实现媒体播放控制的多样化。

关键词 WINCE GPRS 多媒体广告系统

在线阅读 下载PDF 职称材料

基于生命周期评价的铜尾渣资源化利用环境效益——以制取蒸压砖为例 被引量：6

6

作者 张旅 杨建新 +1 位作者 刘晶茹 孟献昊 《岩石矿物学杂志》 CAS CSCD 北大核心 2022年第5期950-958,共9页

我国每年产生的铜尾渣超过1 500万吨,持续堆存会造成严重的环境危害,而资源化处理则通常能够充分利用铜渣当中的资源并一定程度上降低环境危害。通过生命周期评价方法,对铜尾渣资源化利用制取蒸压砖并副产铜精矿、铁精矿和重介质的工艺... 我国每年产生的铜尾渣超过1 500万吨,持续堆存会造成严重的环境危害,而资源化处理则通常能够充分利用铜渣当中的资源并一定程度上降低环境危害。通过生命周期评价方法,对铜尾渣资源化利用制取蒸压砖并副产铜精矿、铁精矿和重介质的工艺过程的环境影响进行了分析。结果表明,该技术方案最主要的环境影响为人体毒性(33 886 kg 1,4-二氯苯当量/资源化1 000吨铜尾渣);水泥生产阶段环境负荷最高,在7种环境影响类别中均有最高的贡献;贡献最明显的关键物质为氮氧化物,其对富营养化、酸化、光化学污染贡献占比分别为94.1%、42.0%和24.3%。将生产蒸压砖和副产的铜精矿、铁精矿、重介质所避免的环境影响纳入考虑范围之后,发现该铜尾渣资源化方案能够取得明显的环境效益。 展开更多

关键词 生命周期评价 铜尾渣 资源化利用 循环经济

在线阅读 下载PDF 职称材料

浅谈生猪屠宰检疫中的同步检疫

7

作者 张旅 《兽医导刊》 2020年第18期52-52,共1页

本文以生猪屠宰检疫中的同步检疫进行分析与探讨,生猪屠宰检疫中的同步检疫,对于保障人民群众吃上放心肉具有非常重要的现实意义。我国早就出台了关于生猪定点屠宰同步检疫的一些规定。尤其是近年来,伴随人们生活水平的日益提升,社会制... 本文以生猪屠宰检疫中的同步检疫进行分析与探讨,生猪屠宰检疫中的同步检疫,对于保障人民群众吃上放心肉具有非常重要的现实意义。我国早就出台了关于生猪定点屠宰同步检疫的一些规定。尤其是近年来,伴随人们生活水平的日益提升,社会制度的逐渐完善,人们对于食品安全问题的重视程度也在不断增长,在保障食品安全中,检疫工作作为最为重要的环节,党和政府历来比较重视,此项工作近年来获得了巨大发展。尤其是基础设施建设、规范落实以及动物检疫管理等方面都在扎实推进。下文当中主要结合实践,对生猪定点检疫中的同步检疫内容进行介绍,并分析探讨生猪定点检疫中同步检疫的一些操作要点,以供参考。 展开更多

关键词 浅谈 生猪定点屠宰 同步检疫 操作要点经验分析

在线阅读 下载PDF 职称材料

精酿啤酒糖化锅常用形式及其搅拌装置与加热方式分析研究

8

作者 张旅 戴晓勇 《酒．饮料技术装备》 2020年第5期46-49,共4页

在精酿啤酒酿造过程中,麦芽的糖化分解过程直接决定了所得麦汁的质量和收得率,糖化锅中的加热装置和搅拌装置又直接决的了糖化过程的成败。由于精酿啤酒的生产灵活性决定了精酿啤酒糖化锅的多样性。通过对市面现存的精酿啤酒的糖化锅进... 在精酿啤酒酿造过程中,麦芽的糖化分解过程直接决定了所得麦汁的质量和收得率,糖化锅中的加热装置和搅拌装置又直接决的了糖化过程的成败。由于精酿啤酒的生产灵活性决定了精酿啤酒糖化锅的多样性。通过对市面现存的精酿啤酒的糖化锅进行对比分析研究,找出其优缺点和存在问题,可以为后续研究提供方向。 展开更多

关键词 精酿啤酒 糖化锅 搅拌装置 加热装置

在线阅读 下载PDF 职称材料

经营服装店的三套组合拳

9

作者 张旅 《新智慧（财富版）》 2009年第6期14-15,共2页

优秀的导购 深圳的艾童在经历了开店之初的迷茫后，迅速进入了状态．由于她在店铺经营上比较有经验，店铺很快就运转正常了。在服装店的经营中，困扰投资者的问题之一就是导购的选择以及对导购的有效管理．因为有些店主是兼职开店，有... 优秀的导购 深圳的艾童在经历了开店之初的迷茫后，迅速进入了状态．由于她在店铺经营上比较有经验，店铺很快就运转正常了。在服装店的经营中，困扰投资者的问题之一就是导购的选择以及对导购的有效管理．因为有些店主是兼职开店，有些则开了多家店面，不可能整天守着一个店面，如何防范导购高售低报隐瞒差价、货品丢失成了艾童担心的问题之一。不过，她很快就想出了办法： 展开更多

关键词 店铺经营 服装店 组合拳 有效管理 导购 投资者 开店 店面

原文传递

经营服装店的三套组合拳

10

作者 张旅 《新智慧》 2009年第6期I0014-I0015,共2页

深圳的艾童在经历了开店之初的迷茫后，迅速进入了状态，由于她在店铺经营上比较有经验，店铺很快就运转正常了。在服装店的经营中，困扰投资者的问题之一就是导购的选择以及对导购的有效管理。因为有些店主是兼职开店，有些则开了多家... 深圳的艾童在经历了开店之初的迷茫后，迅速进入了状态，由于她在店铺经营上比较有经验，店铺很快就运转正常了。在服装店的经营中，困扰投资者的问题之一就是导购的选择以及对导购的有效管理。因为有些店主是兼职开店，有些则开了多家店面，不可能整天守着一个店面，如何防范导购高售低报隐瞒差价、货品丢失成了艾童担心的问题之一。不过，她很快就想出了办法。 展开更多

关键词 店铺经营 服装店 组合拳 有效管理 导购 投资者 开店 店面

原文传递

博物馆,见证孩子的学习与成长

11

作者 引旎 张旅 +1 位作者 刘鑫 于雯 《幼儿教育》 2024年第14期4-6,共3页

2024年国际博物馆日主题为“博物馆致力于教育和研究”,重点强调了文化机构在提供全面教育体验方面的关键作用。博物馆是人类文明的结晶,也是对孩子进行教育的重要场所,随着博物馆的蓬勃发展,博物馆日渐成为一种重要的社会教育空间.

关键词 博物馆 教育体验 国际博物馆日主题 学习与成长 社会教育 人类文明 孩子 关键作用

原文传递