检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

算法语言L的指称语义

计算机研究与发展 1998年第3期35卷 240-245页

作者：王岩冰张家重刘弘上海交通大学计算机系山东师范大学计算机系

文中为算法语言Ｌ定义了动态指称语义，在描述中避免了含有函数空间构造运算的递归论域方程．指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达到更好的直观性和实用性．

关键词：算法语言L 抽象文法程序语言指称语义

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

用XYZ／E语言描述和验证硬件的行为

软件学报 1996年第11期7卷 676-682页

作者：韩俊刚王岩冰沈武威西安邮电学院山东师范大学中国科学院软件研究所

本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例，用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统，这种描述可以在ＸＹＺ系统上执行，从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系... 详细信息

本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例，用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统，这种描述可以在ＸＹＺ系统上执行，从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系统对所期望的性质进行了形式化证明．本文还将ＸＹＺ／Ｅ描述与相应的ＶＨＤＬ（ＶＨＳＩＣｈａｒｄｗａｒｅｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）描述进行了比较．

关键词：时态逻辑硬件描述语言 XYZ/E语言

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

面向机器理解的汉语语法理论初探

模式识别与人工智能 1992年第1期5卷 16-23页

作者：王岩冰张家重

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

算法语言L的设计与形式规范

计算机研究与发展 1996年第4期33卷 248-255页

作者：王岩冰张家重刘弘上海交通大学计算机系南京大学计算机软件研究所中国科学院计算技术研究所

本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的面之设计原则，而定义了一个小型的算法语言Ｌ。文中详细给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有... 详细信息

本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的面之设计原则，而定义了一个小型的算法语言Ｌ。文中详细给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。

关键词：算法语言 Pascal语言形式规范程序语言

维普期刊数据库

“一带一路”沿线国家贸易便利化对中国农产品出口的影响研究

在线全文

学校读者我要写书评

暂无评论

“一带一路”沿线国家贸易便利化对中国农产品出口的影响研究

作者：王岩冰新疆财经大学

学位级别：硕士

随着全球化进程的推进,国家间贸易合作日益加深,关税对贸易的影响逐渐减弱,但诸如海关效率低下、基础设施建设不完善等贸易非效率因素导致的“贸易低效性”,正在成为阻碍贸易增长的重要因素。为了降低贸易成本,提出了贸易便利化的概念... 详细信息

随着全球化进程的推进,国家间贸易合作日益加深,关税对贸易的影响逐渐减弱,但诸如海关效率低下、基础设施建设不完善等贸易非效率因素导致的“贸易低效性”,正在成为阻碍贸易增长的重要因素。为了降低贸易成本,提出了贸易便利化的概念。目前,各国均致力于提升贸易便利化。2013年我国提出“一带一路”倡议以来,受到各方的关注和支持,中国与沿线国家的贸易往来持续扩大,贸易结构也不断优化,倡议实施以来取得了较为丰硕的进展和成果。而农业作为我国与“一带一路”沿线国家国民经济发展的重要组成部分,历来是双方经贸合作的重要领域。但农产品不同于工业制成品,农产品贸易对交易时间较为敏感,更易受到各国通关效率等贸易便利化因素的影响。因此,厘清贸易便利化与农产品贸易的关系,有助于为今后农产品贸易的更好发展提供改进思路。本文首先介绍研究背景及意义,并梳理相关文献。其次,将我国的农产品出口贸易细分为农产品出口的深度和广度,并从深度和广度视角分析中国对沿线49国农产品的出口现状。再次,选取基础设施、海关管理、规制环境、电子商务和金融服务五个指标,运用主成分分析法测算2008-2018年沿线49国的贸易便利化水平。并以此为基石,构建拓展的引力模型,从深度和广度维度探究沿线国家贸易便利化对我国农产品出口的影响,并对贸易便利化的一级指标进行回归,测算各一级指标的影响效应。通过研究得出以下结论:第一,在农产品出口深度方面,2008年至2018年,中国对沿线49国的农产品出口呈上行态势。从农产品出口贸易的区域分布看,我国对东南亚、南亚的依赖程度较高,对中东欧、中亚的依赖程度较低;从主要农产品贸易伙伴看,在我国农产品出口贸易前15位的国家中,东南亚占了7位。由上述分析得出:我国农产品出口的地区分布比较集中,尚未形成多元化的出口格局。在出口广度方面,中国向沿线国家出口的农产品种类日渐繁多,农产品出口的多样性正在逐步增强,但同样存在出口格局不合理问题。第二,“一带一路”沿线国家贸易便利化总体呈上升趋势。2018年,测算得49个国家的平均得分为0.5838,总体上仍属于不便利国家。而在这49个国家中,仅有2个国家的贸易便利化程度达到了非常便利,有4个国家达到较高便利,一般便利有10个国家,而其余33个均为不便利国家。分地区来看,贸易便利化水平较高的是东南亚和西亚北非,而中亚相对偏低。从主要贸易伙伴来看,有半数以上的贸易伙伴属于不便利的行列,便利化水平参差不齐,改进余地较大。第三,“一带一路”沿线国家贸易便利化水平对我国农产品出口量及出口种类均有显著的正向作用。其中GDP、人口总量对出口量也有显著的正向影响,但贸易自由度和虚拟变量是否与中国签订自贸协定均未通过显著性检验。而GDP、人口总量和贸易自由度对出口种类存在显著的正向影响,但虚拟变量是否与中国签订自贸协议同样未通过显著性检验。第四,各个一级指标中,基础设施、海关管理和规制环境对我国农产品出口量以及出口种类均有正向作用;电子商务对农产品出口额的影响不显著,但会促进出口种类的提升;金融环境均对农产品出口额和出口种类的增加有负向影响。基于上述结论,并结合实际,提出以下建议:第一,大力推进基础设施建设;第二,加强海关环境建设;第三,加快构建完善的规制环境;第四,加大技术投入,提升电子商务水平;第五,提高金融服务水平。

关键词： “一带一路” 贸易便利化农产品贸易

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

北沙柳产地试验及优良无性系初选

北沙柳产地试验及优良无性系初选

作者：王岩冰内蒙古农业大学

学位级别：硕士

北沙柳(Salix psammophila *** et Ch Y. Yang)为杨柳科柳属,是草原地带典型的中旱生落叶灌木,为中国西部特有种。本研究于2007～2009年对鄂尔多斯地区15个产地的北沙柳进行了田间试验,从苗期生长方面研究不同产地的北沙柳之间的差异,... 详细信息

北沙柳(Salix psammophila *** et Ch Y. Yang)为杨柳科柳属,是草原地带典型的中旱生落叶灌木,为中国西部特有种。本研究于2007～2009年对鄂尔多斯地区15个产地的北沙柳进行了田间试验,从苗期生长方面研究不同产地的北沙柳之间的差异,并筛选出优良的北沙柳产地和北沙柳无性系。通过苗期试验取得的研究结果如下: (1)15个产地间的北沙柳苗高、地径的生长量以及扦插成活率存在极显著差异,而且,同一产地的不同北沙柳无性系也表现出了明显的性状分离。 (2)北沙柳无性系苗高的变异幅度大于地径的变异幅度,苗高和地径的分布特征呈现正态分布规律,性状较为稳定。 (3)15个产地的北沙柳苗高和地径生长量变异幅度最大的产地是伊金霍洛旗扎萨克镇门克庆嘎查,该产地的北沙柳在苗高和地径生长方面存在较丰富的遗传变异可供选择,具有作为苗木选育来源地的潜能。 (4)依据15个产地北沙柳无性系苗期数据聚类分析结果,可按其生长状况的不同区为三个级别,生长较差的产地有4个,生长中等的产地有9个,生长较好的有2个。 (5)从15个产地的北沙柳中初步选择出速生型北沙柳优良无性系158个,粗壮型北沙柳优良无性系85个,综合型北沙柳优良无性系159个。

关键词：鄂尔多斯北沙柳产地优良无性系

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

FTD公司信用担保业务风险管理研究

FTD公司信用担保业务风险管理研究

作者：王岩冰山东理工大学

学位级别：硕士

随着国内经济的蓬勃发展,各类企业为实现规模化、国际化运营纷纷需要更多的资金来支持本身的发展,同时带动了融资担保行业快速崛起并在前所未有的发展机遇中快速发展起来。但融资担保行业属于高风险、低收益的的特殊行业,高风险性使得... 详细信息

随着国内经济的蓬勃发展,各类企业为实现规模化、国际化运营纷纷需要更多的资金来支持本身的发展,同时带动了融资担保行业快速崛起并在前所未有的发展机遇中快速发展起来。但融资担保行业属于高风险、低收益的的特殊行业,高风险性使得自身必须面对各类潜藏的风险,由此信用担保业务能否做好风险控制也就成为左右着本行业能否顺利发展的核心与关键。与国外发达的信用担保业务发展比较而言,我国担保行业有着发展过晚、经验过少及风险控制力过低的诸多特点,这些自然成为限制我国担保行业纵深发展的根本原因。怎样确保担保公司稳固、有序发展并更好地为各类企业提供担保服务,同时增强担保公司在业务方面的风险控制水平,这一课题成为目前国内担保行业、理论界及实践界均亟待解决的重要难题。本文尝试对上述课题加以研究,在以FTD公司信用担保业务风险管理作为样本研究对象的同时,首先,系统分析该公司在信用担保业务的开展及盈利状况,并对其实施SWOT分析的基础上就FTD公司信用担保业务在风险管理方面的现状进行集中论述,主要围绕着其担保业务的各类风险识别、各类风险评估、各类风险决策及各类风险控制等内容进行阐述;其次,在分析了其最为重要的几类风险如在资本金、操作、道德及法律等四个方面的风险以后给出了这些风险形成的具体原因;再次经由对FTD公司的信用担保业务风险做出识别及相应的评估以后通过科学的模糊综合评估模型施以准确的论证;最后,提出了FTD公司信用担保业务风险管理的有效对策及其保障措施,即强化风险管理理念、建立信用担保业务支持体系、完善客户信息管理制度、加强公司风险管理文化建设。

关键词：信用担保风险管理风险控制业务风险