期刊文献+
共找到517篇文章
< 1 2 26 >
每页显示 20 50 100
资金三性与分层分群管理——以转型促个金业务息差管理提升 预览
1
作者 杨志斌 《现代商业》 2019年第16期103-104,共2页
近年来,受存贷款基准利率多次降低、利率市场化改革不断深化等周期性因素和制度性因素的综合影响,我国商业银行的息差持续、显著走低。个金业务也受到来自资产方、负债方的双重挤压,业务发展遇到前所未有的挑战。本文结合日常工作,从资... 近年来,受存贷款基准利率多次降低、利率市场化改革不断深化等周期性因素和制度性因素的综合影响,我国商业银行的息差持续、显著走低。个金业务也受到来自资产方、负债方的双重挤压,业务发展遇到前所未有的挑战。本文结合日常工作,从资金的盈利性、流动性、安全性的基本属性为出发点,探讨全面转型对接分层分群管理,构建息差管理的机制的可行性。 展开更多
关键词 资金三性 分层分群管理
在线阅读 下载PDF
嵌入偏序约简的状态事件线性时序逻辑验证 预览
2
作者 谢健 阚双龙 +3 位作者 黄志球 王飞 杨志斌 李伟湋 《计算机学报》 EI CSCD 北大核心 2019年第10期2145-2159,共15页
模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型检验在验证使用事件进行交互的组件系统中面临新的困难,因此需要新的规约技术对状态事件系统进行规约.状... 模型检验是硬件和软件形式化验证最成功的技术之一.目前大部分的模型检验技术是基于状态的而不考虑迁移上的操作和事件.这导致模型检验在验证使用事件进行交互的组件系统中面临新的困难,因此需要新的规约技术对状态事件系统进行规约.状态事件线性时序逻辑(State/Event Linear Temporal Logic,SE-LTL)给出了一种简洁和直接的方式表达包含状态和事件的系统属性.在SE-LTL中,状态和事件都可以作为原子命题.基于自动机理论的线性时序逻辑(Linear Temporal Logic,LTL)模型检验可以被用来对SE-LTL属性进行验证.然而SE-LTL属性在经典的stutter等价(stutter-equivalent)下无法保持,所以最有效的并发程序状态约简技术:偏序约简技术(Partial Order Reduction,POR)不能直接应用于SE-LTL的验证.该文提出一种新的方法利用已有的偏序约简技术对SE-LTL验证过程的状态空间进行约简.该方法分为两个部分:第一个部分是针对SE-LTL不带NEXT算子的约简方法;第二部分则是带NEXT算子的约简方法.第一部分的主要思想是从一个Büchi自动机(Automata,BA)中抽取出“状态部分”.“状态部分”的含义是该部分只与系统的状态相关.基于“状态部分”,给出关于BA和标签Kripke结构(Labeled Kripke Structure)的同步乘,并在同步乘的构造过程中嵌入偏序约简技术,从而约简同步乘的状态空间,即该文的约简技术是on-the-fly的.嵌入的偏序约简在已有的偏序约简基础上,面向SE-LTL公式中的事件引入新的可见操作的识别方法.为了能够将偏序约简技术应用到所有的SE-LTL公式,该文同时给出验证SE-LTL带NEXT算子的偏序约简算法.NEXT算子是偏序约简的另一个主要障碍.该部分是文中的第二部分工作.该部分的技术依然是on-the-fly的,并且需要与状态部分的识别相结合.通过将该文技术实现到SPIN模型检验器中对已有的模型进行验证.Spin是针对LTL的� 展开更多
关键词 偏序约简 状态事件线性时序逻辑 模型检验 同步乘 标签Kripke结构
在线阅读 下载PDF
一体化防热系统应用进展 预览
3
作者 张新霞 杨志斌 《科技创新与应用》 2019年第8期174-176,共3页
回顾了高速飞行器防热系统的发展历程,阐释了一体化防热系统(IntegratedThermalProtectionSystem,ITPS)的概念与特点,总结了ITPS结构设计的基本原则,探讨了ITPS的发展方向。
关键词 防热系统 力热耦合 一体化设计 优化
在线阅读 下载PDF
一种一体化热防护系统综合效能量化评价方法 预览
4
作者 赵旭升 杨志斌 张新霞 《航空科学技术》 2019年第5期65-69,共5页
一体化热防护系统(ITPS)已经成为高超速飞行器关注的主要发展方向,承力和防热的双重作用使得ITPS能够显著降低飞行器的整体重量。在对ITPS进行综合效能分析时,需要考虑结构效率、材料性能、结构的可设计性和工艺的复杂性等因素。本文从I... 一体化热防护系统(ITPS)已经成为高超速飞行器关注的主要发展方向,承力和防热的双重作用使得ITPS能够显著降低飞行器的整体重量。在对ITPS进行综合效能分析时,需要考虑结构效率、材料性能、结构的可设计性和工艺的复杂性等因素。本文从ITPS设计的合理性、ITPS减重的可行性、设计的难易度、工艺的复杂度4个方面进行了讨论,为设计人员提供指导。 展开更多
关键词 一体化热防护系统 设计合理性 设计难易度 工艺复杂度
在线阅读 下载PDF
2018年东华北中熟区6个玉米新品种比较试验 预览 被引量:2
5
作者 郗小倩 杨志斌 《安徽农学通报》 2019年第5期37-38,共2页
为了筛选出适宜东华北春玉米区种植的高产稳产多抗优质玉米新品种,加快玉米更新换代,通过对参加东华北中熟春玉米组区域试验的6个新育成品种进行田间种植,观测玉米品种特性和生长状况并测定产量。结果表明:6个参试品种表现一般。
关键词 春玉米 玉米品种 产量 比较分析
在线阅读 下载PDF
森林土壤有机质的测定——分光光度法 预览
6
作者 辜忠春 杜业云 +4 位作者 李光荣 李军章 程天伟 姚胜海 杨志斌 《湖北林业科技》 2019年第5期87-88,共2页
1范围本标准规定了以分光光度法测定森林土壤有机质的原理、试剂、仪器和设备、样品、分析步骤、结果计算、精密度和注意事项。本标准适用于湖北省森林土壤中有机质的测定。本标准不适用于含有氯化物的土壤的有机质测定。
关键词 土壤有机质 分光光度法测定 森林土壤 仪器和设备 分析步骤 注意事项 氯化物 湖北省
在线阅读 下载PDF
面向限定自然语言需求的AADL自动生成工具
7
作者 刘承威 杨志斌 +3 位作者 周勇 袁胜浩 许金淼 薛垒 《小型微型计算机系统》 CSCD 北大核心 2019年第5期984-995,共12页
在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界和工业界共同面临的难题.近年来,形式化模型驱动的安全关键软... 在航空、航天、交通、能源等安全关键领域中,软件的失效可能导致系统处于危险状态,从而导致财产损失、环境破坏甚至人员伤亡,如何保障这类软件的可靠性和安全性一直是学术界和工业界共同面临的难题.近年来,形式化模型驱动的安全关键软件设计与验证方法逐渐受到重视,并被认为是切实可行的重要手段.然而,形式化模型驱动开发方法的生命周期一般较少涉及需求阶段,主要原因是当前工业界的软件需求主要通过自然语言文本描述.而安全关键软件引起严重事故的问题链的最上端原因往往又是软件需求尤其是安全性需求的问题. AADL(Architecture Analysis&Design Language)是一种广泛应用于安全关键软件领域的建模语言标准.本文针对自然语言需求和AADL模型驱动开发方法之间还存在鸿沟的问题,研究基于限定自然语言的安全关键软件需求建模及AADL模型自动生成方法.首先,提出一种基于限定自然语言的需求规约方法,通过结构化的需求组织方式及受限的自然语言以减少需求表达中存在的二义性.其次,给出限定自然语言需求到AADL模型的自动转换方法.此外,本文给出一种结构化的验证性质描述模板,并自动转换到AADL组合验证附件AGREE(Assume Guarantee REasoning Environment) Annex,从而支持对AADL模型进行形式化验证.最后,在AADL开源工具环境OSATE中实现了原型工具,并基于航天导航制导控制子系统进行案例分析. 展开更多
关键词 安全关键软件 AADL 限定自然语言 组合验证
动态发展视阈下科研档案管理的创新思考
8
作者 杨志斌 《黑龙江档案》 2019年第4期53-54,共2页
国家的兴盛,社会的发展,离不开科学技术的创新驱动,更离不开技术档案的信息支撑。科研档案来源于科研活动的全过程,是科研人员科研成果的历史记录,是项目技术传承与利用的最好体现。科研档案是重要的科学技术资源,做好科研档案工作对生... 国家的兴盛,社会的发展,离不开科学技术的创新驱动,更离不开技术档案的信息支撑。科研档案来源于科研活动的全过程,是科研人员科研成果的历史记录,是项目技术传承与利用的最好体现。科研档案是重要的科学技术资源,做好科研档案工作对生产、建设和科研活动有着积极的意义。本文通过科研档案与其他传统档案在动态管理上的比较,分析了动态发展视阈下科研档案的个性特点,并对新时代科研档案管理的现实着力点进行了具体阐述。 展开更多
关键词 科研档案管理 文件材料 现行价值 创新思考
系统架构描述语言AADL的功能行为建模扩展 预览
9
作者 许金淼 杨志斌 +2 位作者 黄志球 谢健 周勇 《计算机科学与探索》 CSCD 北大核心 2019年第10期1638-1653,共16页
架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为... 架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。 展开更多
关键词 安全关键系统 架构分析与设计语言(AADL) 层次行为附件(HBA) 功能规约
在线阅读 下载PDF
基于去中心化的银行客服中心转型升级研究 预览
10
作者 杨志斌 《中国管理信息化》 2019年第6期113-114,共2页
改革开放的40年后,中国发生了翻天覆地的变化,经济主体日趋多元化,去中心化一度成为热词。银行也从曾经的“钢筋水泥+线路”发展成为柜台、ATM、POS终端、智能设备、手机银行、微信银行和移动PAD等多种渠道为一体的服务体系。面对由新... 改革开放的40年后,中国发生了翻天覆地的变化,经济主体日趋多元化,去中心化一度成为热词。银行也从曾经的“钢筋水泥+线路”发展成为柜台、ATM、POS终端、智能设备、手机银行、微信银行和移动PAD等多种渠道为一体的服务体系。面对由新科技带来的去中心化,客服中心如何整合安全渠道,发挥中心优势,支持业务发展,是当今银行发展的重中之重。 展开更多
关键词 银行 客服中心 转型
在线阅读 下载PDF
一种同步语言多线程代码自动生成工具 预览
11
作者 杨志斌 袁胜浩 +5 位作者 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVEIX Mamoun FILALI 《软件学报》 EI CSCD 北大核心 2019年第7期1980-2002,共23页
随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模... 随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证。目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成。提出一种同步语言SIGNAL多线程代码生成工具。首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码。通过在多核处理器上的实验,验证了所提方法的有效性。 展开更多
关键词 同步语言 同步多时钟卫式动作 多线程代码生成
在线阅读 下载PDF
沥青混合料生产过程中前后场施工要点分析 预览
12
作者 邹权 杨志斌 《价值工程》 2019年第28期222-224,共3页
本文以沥青混凝土路面施工过程中的施工质量控制要点进行分析总结,其中分别对“后场”“前场”两个施工侧重点进行论述。
关键词 沥青混合料 后场控制要点 前场控制要点
在线阅读 下载PDF
7075铝合金等离子弧-CMT复合焊工艺分析及性能研究 预览
13
作者 赵昕 杨志斌 程柏钦 《焊接技术》 2019年第7期38-40,共3页
文中以厚4.0 mm的7075铝合金为研究对象,研究CMT电流、等离子弧电流、电弧挺度3个主要工艺参数对焊缝质量和连接强度的影响规律。试验结果表明, CMT电流和电弧挺度增加,焊缝熔宽增加;等离子弧电流,熔宽、下塌量、熔深增加;焊缝中心区为... 文中以厚4.0 mm的7075铝合金为研究对象,研究CMT电流、等离子弧电流、电弧挺度3个主要工艺参数对焊缝质量和连接强度的影响规律。试验结果表明, CMT电流和电弧挺度增加,焊缝熔宽增加;等离子弧电流,熔宽、下塌量、熔深增加;焊缝中心区为树枝状等轴晶粒,热影响区是柱状晶,熔合线附近晶粒更加粗大;硬度分布以焊缝中心线对称分布,距焊缝中心越远,硬度先降低然后升高,其最低硬度值出现在热影响区熔合线附近,接近母材处的硬度值又有所升高,测得焊接接头最高的抗拉强度是母材抗拉强度的64.5%。 展开更多
关键词 7075铝合金 等离子弧-CMT复合焊 工艺参数 力学性能
在线阅读 下载PDF
坚决扛起扫黑除恶的政治责任
14
作者 杨志斌 《江淮》 2019年第5期20-21,共2页
开展扫黑除恶专项斗争是以习近平同志为核心的党中央作出的…项重大决策,作为组织部门要主动围绕中心服务大局,自觉把扫黑除恶与加强基层组织建设结合起来,把基层党组织建设好,堡垒作用发挥好.坚决防止黑恶势力滋生蔓延。提高政治站位,... 开展扫黑除恶专项斗争是以习近平同志为核心的党中央作出的…项重大决策,作为组织部门要主动围绕中心服务大局,自觉把扫黑除恶与加强基层组织建设结合起来,把基层党组织建设好,堡垒作用发挥好.坚决防止黑恶势力滋生蔓延。提高政治站位,守土必须知责明责.习近平总书记强调“加强基层组织建设,是铲除黑恶势力滋生土壤的治本之策、关键之举,务必把这个基层夯实筑牢”。 展开更多
关键词 政治责任 基层组织建设 基层党组织建设 黑恶势力 专项斗争 组织部门 治本之策 习近平
一种加热设备结构尺寸优化及加热功率预估方法
15
作者 刘志民 杨志斌 《结构强度研究》 2019年第2期5-10,共6页
随着航空事业的发展,以石油为原料的航空煤油将会越来越少,未来的航空燃料必然以生物燃料为主。以猪油为例,美国已经在进行利用猪油进行工业化生产生物柴油,我国作为猪油生产大国,猪油在工业生产和食用上还有很大的局限性,开发猪油生产... 随着航空事业的发展,以石油为原料的航空煤油将会越来越少,未来的航空燃料必然以生物燃料为主。以猪油为例,美国已经在进行利用猪油进行工业化生产生物柴油,我国作为猪油生产大国,猪油在工业生产和食用上还有很大的局限性,开发猪油生产航空燃料是可持续发展的技术手段之一。本文从热物理角度探讨猪油加热设备结构尺寸优化及加热功率预估。 展开更多
关键词 生物质 流动特性 能量守恒 数值仿真
圆筒式试验夹具参数化有限元模型的实现
16
作者 王振亚 杨志斌 《结构强度研究》 2019年第2期11-14,20共5页
提出一种在MSC.Patran平台实现圆筒式试验夹具有限元模型自动建立方法,其主要特点是对可以动态实现与试验件螺栓连接的配套。用户无需熟悉MSC. Patran环境,应用MSC. Nastran对圆筒式试验夹具进行强度和刚度校核,实际应用表明:采用该程... 提出一种在MSC.Patran平台实现圆筒式试验夹具有限元模型自动建立方法,其主要特点是对可以动态实现与试验件螺栓连接的配套。用户无需熟悉MSC. Patran环境,应用MSC. Nastran对圆筒式试验夹具进行强度和刚度校核,实际应用表明:采用该程序可以对圆筒式试验夹具进行快速预估,为设计人员提供技术支持。 展开更多
关键词 圆筒式试验夹具 数值仿真 PCL二次开发
SUS 301L不锈钢激光拼焊工艺分析及性能研究 预览
17
作者 赵昕 杨志斌 王富 《焊接技术》 2019年第6期43-46,共4页
以厚度分别为1.5 mm和2.0 mm的SUS 301L不锈钢为研究对象,研究激光功率、焊接速度、离焦量、偏移量4个主要参数对焊缝质量和连接强度的影响规律。试验结果表明,热输入直接决定了焊缝的熔宽大小,而熔宽大小影响着焊接接头的力学性能;正... 以厚度分别为1.5 mm和2.0 mm的SUS 301L不锈钢为研究对象,研究激光功率、焊接速度、离焦量、偏移量4个主要参数对焊缝质量和连接强度的影响规律。试验结果表明,热输入直接决定了焊缝的熔宽大小,而熔宽大小影响着焊接接头的力学性能;正离焦可有效增大焊缝熔宽;激光偏向厚板适应性更强;焊缝截面呈束腰状时,接头的力学性能随束腰处熔宽的增大而增大;当焊缝呈无束腰的平滑状时,其力学性能则会相对变弱。 展开更多
关键词 不锈钢 激光拼焊 成形规律 性能特征
在线阅读 下载PDF
挖掘红色资源 弘扬红色传统 传承红色基因
18
作者 杨志斌 《今日海南》 2019年第2期48-49,共2页
红色文化作为马克思主义中国化的文化成果,是中国共产党领导中国人民在革命、建设和改革开放时期,以马克思列宁主义为指导,吸收中外优秀文化养分所创造的先进文化,是中国共产党人和广大人民群众优良传统和品格风范的集中体现。
关键词 红色基因 红色文化教育 万宁市 红色资源
S207旧水泥混凝土路面改造的三维有限元分析 预览
19
作者 杨志斌 陈明 +2 位作者 吴超凡 肖杰 张继森 《湖南交通科技》 2019年第2期15-19,共5页
以湖南省道S207长沙县段水泥混凝土路面提质改造工程为依托,应用Abaqus三维有限元分析计算软件,针对旧水泥混凝土路面进行直接加铺和共振碎石化加铺沥青层的两种处理方案,分析了不同荷载作用下路面弯沉以及加铺沥青层底部的力学行为,并... 以湖南省道S207长沙县段水泥混凝土路面提质改造工程为依托,应用Abaqus三维有限元分析计算软件,针对旧水泥混凝土路面进行直接加铺和共振碎石化加铺沥青层的两种处理方案,分析了不同荷载作用下路面弯沉以及加铺沥青层底部的力学行为,并研究2种改造方案道路结构搭接缝处的力学响应。结果表明:共振碎石化结构的路面弯沉较大,但比直接加铺结构更加稳定;接缝处荷载作用在共振碎石侧路面强度更弱,作用在直接加铺侧内部应力的变化与峰值更大,结构最不稳定;超载对道路结构有着严重的危害。 展开更多
关键词 旧水泥混凝土路面 直接加铺 共振碎石 弯沉 搭接缝 力学响应
在线阅读 下载PDF
LaFeO3缓冲层对BaTiO3铁电薄膜电学性能的调控 预览
20
作者 陈周宇 杨志斌 +3 位作者 刘文燕 杨琼 姜杰 周益春 《湘潭大学学报:自然科学版》 CAS 2019年第3期39-45,共7页
采用溶胶-凝胶(Sol-Gel)法制备了BTO、LFO/BTO和LFO/BTO/LFO三种结构的BTO铁电薄膜,旨在通过LFO缓冲层来调控BTO薄膜的电学性能.研究发现:LFO缓冲层的引入减小了BTO铁电薄膜的漏电流,提高了其电滞回线的矩形度,获得了更高的剩余极化、... 采用溶胶-凝胶(Sol-Gel)法制备了BTO、LFO/BTO和LFO/BTO/LFO三种结构的BTO铁电薄膜,旨在通过LFO缓冲层来调控BTO薄膜的电学性能.研究发现:LFO缓冲层的引入减小了BTO铁电薄膜的漏电流,提高了其电滞回线的矩形度,获得了更高的剩余极化、饱和极化和更低的矫顽电压.这种调控作用在LFO/BTO/LFO薄膜中的效果要比在LFO/BTO中更加明显.结果表明,通过合理地设计LFO缓冲层,可以有效地改善BTO铁电薄膜的宏观电学性能. 展开更多
关键词 BTO铁电薄膜 LFO缓冲层 溶胶-凝胶法 电学性能
在线阅读 免费下载
上一页 1 2 26 下一页 到第
使用帮助 返回顶部 意见反馈
新型冠状病毒肺炎防控与诊疗专栏