期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
TECTONO-SEDIMENTARY EVOLUTION OF THE TERTIARY BASINS IN EASTERN TIBET: CONSTRAINING THE RAISING OF TIBETAN PLATEAU 被引量:1
1
作者 Zhou Jiangyu\+1, Wang Jianghai\+1, Yin An\+2,Brian Horton\+3, Matthew Spurlin\+2 2.Department of Earth and Space Sciences and Institute of Geo 《地学前缘》 EI CAS CSCD 2000年第S1期287-288,共2页
The Tertiary basins are distributed in the eastern margin of the Tibetan Plateau along the large\|scale arc\|shaped strike\|slip belt of the Qiangtang—Hengduan Shan—Jinshajiang—Red River belt. Most of basins were c... The Tertiary basins are distributed in the eastern margin of the Tibetan Plateau along the large\|scale arc\|shaped strike\|slip belt of the Qiangtang—Hengduan Shan—Jinshajiang—Red River belt. Most of basins were controlled by regional northwest\| and south\|north treading faults, and a few basins were constrained by northwest\| or north\|north\|east\|treading local faults.The detailed field mapping and sedimentologic observations for 6 typical Tertiary basins in eastern Tibet show that their types include depressive basins, rifting basins, pull\|apart and extensional basins related to strike\|slip faulting, and erosion\|residual basins. Recently, most of them are controlled by compression\| or thrust\|related margin faults in single side or double laterals of these basins. Not\|well\|developed strata in the Tertiary basins were deformed to form various tight folds and thrusts. High\|K magma intruded widely into the basins. The tectono\|sedimentary evolution of the Tertiary basins appears tempo\|spatially inhomogeneous. The preliminary model to interpret the Tertiary basin evolution is described as below. 展开更多
关键词 TERTIARY BASINS SEDIMENTOLOGY TIBET raising Eastern T ibet
在线阅读 下载PDF
基于RAIS地下水源地健康风险评价 被引量:5
2
作者 李燕 孙亚军 +2 位作者 刘勇 王赫生 杨志斌 《人民黄河》 CAS 北大核心 2011年第5期48-50,共3页
参考NAS和EPA的健康风险评价成果,采用RAIS推荐的暴露剂量计算方法,考虑儿童期暴露特点,并针对我国人群特点和水源地特定的污染物种类,对RAIS模型参数作了适当修改,对某地下水源地通过饮水和皮肤接触两种暴露途径对人体产生的健康危害... 参考NAS和EPA的健康风险评价成果,采用RAIS推荐的暴露剂量计算方法,考虑儿童期暴露特点,并针对我国人群特点和水源地特定的污染物种类,对RAIS模型参数作了适当修改,对某地下水源地通过饮水和皮肤接触两种暴露途径对人体产生的健康危害进行了评价。结果表明:该水源地六价铬和砷超过EPA对A类致癌物质控制标准35倍;水源地2007—2009年砷、氟化物和硝酸盐氮和总的危险指数有逐年递增趋势。 展开更多
关键词 地下水源地 健康风险评价 RAIS模型
在线阅读 下载PDF
基于RSL的协议形式化描述与验证方法 被引量:3
3
作者 顾翔 邱建林 邵浩然 《计算机工程》 CAS CSCD 北大核心 2009年第23期41-43,共3页
讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相... 讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。 展开更多
关键词 协议工程 形式化描述 RAISE规范语言 协议验证
在线阅读 下载PDF
UML状态机模型元素的RSL形式化定义 被引量:4
4
作者 郭艳燕 刘惊雷 《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一... UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。 展开更多
关键词 统一建模语言(UML ) 状态机 形式化方法 有穷自动机 RAISE规约语言(RSL)
在线阅读 下载PDF
UML状态机视图的RSL形式描述(英文) 被引量:2
5
作者 孙猛 张乃孝 Bernhard K Aichernig 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第3期344-357,共14页
使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确... 使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性。最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析。 展开更多
关键词 UML 状态机 RAISE 形式化
在线阅读 下载PDF
基于输入/输出动作的协议形式化描述和测试用例生成方法 被引量:1
6
作者 顾翔 邱建林 严燕 《计算机应用》 CSCD 北大核心 2008年第6期1471-1474,共4页
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提... 通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。 展开更多
关键词 协议测试 形式化描述 RAISE规范语言
在线阅读 下载PDF
结合UML和RAISE的软件开发方法研究 被引量:2
7
作者 明仲 《计算机工程》 CAS CSCD 北大核心 2001年第4期23-25,共3页
面向对象方法形象、直观、使用方便,但难以消除二义性。形式化方法严密、可靠、可验证,但软件规约不直观,不符合开发人员的使用习惯。探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法。
关键词 软件开放方法 UML RAISE 软件工程 面向对象
在线阅读 下载PDF
MRPII系统开发的一种形式化方法
8
作者 虞慧群 宋国新 邵志清 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第3期361-367,共7页
研究了MRPI系统开发的形式化方法。使用形式化语言RSL定义MRPI系统的规范和精化关系。以库存管理子模块为例,详细介绍了将形式化方法RAISE应用于MRPII系统的规范、精化、验证和实现。
关键词 MRPII系统 RAISE 软件工程 形式化法
在线阅读 下载PDF
负载自适应的存储池数据重构策略
9
作者 魏登萍 陈浩稳 +2 位作者 谢徐超 袁远 高文强 《计算机工程与科学》 CSCD 北大核心 2021年第2期211-217,共7页
大数据时代各应用领域对计算机存储系统的性能和可靠性需求与日俱增。新型存储介质为计算机存储系统的性能提升提供了良好的机遇,基于固态盘的存储阵列(RAIS)已在各种存储系统中广泛使用。传统RAIS系统中当一块固态盘出现故障时,通过数... 大数据时代各应用领域对计算机存储系统的性能和可靠性需求与日俱增。新型存储介质为计算机存储系统的性能提升提供了良好的机遇,基于固态盘的存储阵列(RAIS)已在各种存储系统中广泛使用。传统RAIS系统中当一块固态盘出现故障时,通过数据重构操作恢复故障盘的数据,重构时间长,且影响对上层应用提供I/O访问服务的能力。针对该问题,设计实现了基于多线程并发处理的存储池架构,该架构能够并发处理存储池中的I/O请求,提高用户I/O和数据重构I/O的访问性能。提出了一种负载自适应的I/O调度策略,能够在保证用户I/O服务质量的同时,提升数据重构效率。实验结果表明,基于存储池的多线程并发I/O处理架构能够提升数据重构性能,负载自适应的I/O调度策略能够根据用户I/O的负载情况动态调整用户I/O和数据重构I/O的调度比例,在保证用户I/O服务质量的同时,提升数据重构效率。 展开更多
关键词 闪存阵列 RAIS技术 数据保护 存储池 数据重构
在线阅读 下载PDF
RAISE规范语言及其语义特征
10
作者 李舟军 宁洪 刘春林 《计算机工程与科学》 CSCD 1993年第4期28-33,89,共7页
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
关键词 软件开发 规范语言 语义特征 RAISE
在线阅读 下载PDF
基于时态逻辑的协议RSL形式化描述
11
作者 顾翔 邱建林 《计算机工程》 CAS CSCD 北大核心 2011年第5期7-9,共3页
研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而... 研究以RAISE规范语言(RSL)描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻辑模型基础上用RSL对协议进行形式化描述的步骤,以AB协议为示例,给出其基于时态逻辑模型的RSL描述,从而证明该描述模型有利于协议验证和协议测试用例生成的自动实现。 展开更多
关键词 时态逻辑 RAISE规范语言 形式化描述 协议工程
在线阅读 下载PDF
基于Web的形式化方法工具RRTChecker的研究与设计
12
作者 李丹 李丹宁 Chris George 《计算机科学》 CSCD 北大核心 2008年第7期286-287,F0003,共3页
形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广。本文针对形式化方法RAISE,提出了一种研究和开发基于Web的工具的方法。该方法以原有的RAISE工具为基础,通过Shell管道拦截技术、ASP技术、Act... 形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广。本文针对形式化方法RAISE,提出了一种研究和开发基于Web的工具的方法。该方法以原有的RAISE工具为基础,通过Shell管道拦截技术、ASP技术、ActiveX DLL技术及路径重写技术,将工具的所有功能集成整合到统一的、用户友好的Web界面上,用户可通过鼠标在浏览器中进行不同的操作。原有的RAISE工具的所有功能,在基于浏览器的集成化工具中得到全面支持。该方法也为开发其它形式化方法基于Web的工具提供了新思路。 展开更多
关键词 形式化方法 形式化方法工具 RAISE WEB-BASED TOOL WEB信息系统
在线阅读 下载PDF
跨行政区治理:区域农业创新体系建设的对策思考
13
作者 于美霞 赵国杰 《中国农机化》 北大核心 2009年第6期27-29,33,共4页
区域农业创新体系是国家创新体系的重要组成部分,在建设和谐社会、区域协调发展的过程中,行政区经济已成为区域创新体系建设的瓶颈因素。行政区经济是区域经济受行政区划的刚性约束而产生的一种特殊区域经济现象,行政边界与区域农业创... 区域农业创新体系是国家创新体系的重要组成部分,在建设和谐社会、区域协调发展的过程中,行政区经济已成为区域创新体系建设的瓶颈因素。行政区经济是区域经济受行政区划的刚性约束而产生的一种特殊区域经济现象,行政边界与区域农业创新体系既有对应性又有非对应性,这对区域农业创新体系的建设造成正反两方面的影响。文章通过对两行政区区域农业创新体系建设过程中隐性知识的非合作博弈分析,提出了行政区经济下的区域农业创新体系建设的对策和建议。 展开更多
关键词 行政区经济 非合作博弈 区域农业创新体系(RAIS) 对策建议
在线阅读 下载PDF
RAISE技术改组转录因子RpoD调控大肠杆菌的低pH值耐受性 被引量:3
14
作者 高茜 朱丽英 +2 位作者 周伟 梁世中 江凌 《化学与生物工程》 CAS 2016年第3期14-18,52,共6页
在生物炼制生产过程中,微生物由于自身对酸的抗逆性差,其代谢生产过程会受到严重的影响。为解决该问题,本实验采用PCR方法从E.coli DH5α中扩增分离得到分子量为2 075bp的RpoD完整序列(包含天然启动子区域和终止子区域),并利用RAISE方法... 在生物炼制生产过程中,微生物由于自身对酸的抗逆性差,其代谢生产过程会受到严重的影响。为解决该问题,本实验采用PCR方法从E.coli DH5α中扩增分离得到分子量为2 075bp的RpoD完整序列(包含天然启动子区域和终止子区域),并利用RAISE方法,通过突变全局调控因子RpoD来提高大肠杆菌的耐酸能力。通过对104随机突变文库的多轮筛选,获得最佳突变菌株MutantⅦ。在pH值为3.0、3.5、4.0、5.0、6.0和7.0的条件下,对MutantⅦ和对照菌株的生长情况进行比较分析,结果表明,在酸性条件下MutantⅦ较对照菌株具有明显的生长优势,尤其在pH值为3.0时,相比对照菌株0.015h-1的生长速率,MutantⅦ的生长速率达到0.022h-1,具有较高应用价值。 展开更多
关键词 大肠杆菌 耐酸性 RPOD RAISE方法
在线阅读 下载PDF
可信软件实时性测试用例集生成方法研究 被引量:2
15
作者 蔡琼 李兴国 丁帅 《计算机应用研究》 CSCD 北大核心 2009年第6期2344-2346,2348,共4页
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造... 基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。 展开更多
关键词 时间化RAISE规范语言 实时性 可信软件 测试用例
在线阅读 下载PDF
形式化语言对实例-模型库的规约 被引量:3
16
作者 蒋庆 孙林夫 《计算机应用》 CSCD 2000年第S1期143-144,共2页
利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。
关键词 基于实例的推理 形式化方法 知识库 RAISE规范语言
在线阅读 下载PDF
Timed RAISE方法在列控系统等级转换场景中的应用研究 被引量:1
17
作者 丁春平 陈永刚 《铁道标准设计》 北大核心 2015年第8期164-169,共6页
高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转... 高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。 展开更多
关键词 高速铁路 TIMED RAISE CTCS 等级转换场景 实时性 场景交互一致性
在线阅读 下载PDF
线性鉴定技术在奶牛提质增效中的应用探讨 被引量:3
18
作者 贾永宏 杨海涛 +1 位作者 高秀丽 李梅 《中国牛业科学》 2015年第1期78-81,共4页
陕西省奶牛产业转型升级核心是提质增效,其遗传改良的基础是线性鉴定技术应用。目前,由于各地对该技术应用认识不到位,线性鉴定工作普遍未开展,制约奶牛提质增效的步伐。本文通过线性鉴定技术对奶牛提质增效中的作用、线性鉴定性状遗传... 陕西省奶牛产业转型升级核心是提质增效,其遗传改良的基础是线性鉴定技术应用。目前,由于各地对该技术应用认识不到位,线性鉴定工作普遍未开展,制约奶牛提质增效的步伐。本文通过线性鉴定技术对奶牛提质增效中的作用、线性鉴定性状遗传力与奶牛提质增效关系、线性鉴定主要性状与奶牛提质增效目标的关系和线性鉴定技术应用对奶牛提质增效意义思考的探索分析,以便提高认识,达到共识,为今后奶牛提质增效广泛开展线形鉴定技术应用打下基础。 展开更多
关键词 DAIRY COW LINEAR DISCRIMINATE RAISE quality and EFFICIENCY Application
在线阅读 下载PDF
Effective stress analysis method of seismic response for high tailings dam 被引量:3
19
作者 柳厚祥 李宁 +2 位作者 廖雪 吴从师 潘旭东 《Journal of Central South University of Technology》 EI 2007年第1期129-134,共6页
Based on the analysis method for tailings dam in upstream raising method presently used in metallurgy and nonferrous metals tailings depository in the world, an effective stress analysis method of seismic response for... Based on the analysis method for tailings dam in upstream raising method presently used in metallurgy and nonferrous metals tailings depository in the world, an effective stress analysis method of seismic response for high tailings dam was developed according to the results of engineering geological exploration, static and dynamic test and stability analysis on Baizhishan tailing dam 113.5 m high. The law of generation, diffusion and dissipation of seismic pore water pressure during and after earthquake was investigated, and the results of tailings dam’s acceleration, seismic dynamic stress and pore water pressure were obtained. The results show that the seismic stability and liquefaction resistance of high tailings dam are strengthened remarkably, and the scope and depth of liquefaction area at the top of dam are reduced greatly. The interior stress is compressive stress, the stress level of every element is less than 1.0 and the safety coefficient of every element is greater than 1.0. The safety coefficient against liquefaction of every element of tailing dam is greater than 1.5 according to the effective stress analysis of seismic response by finite element method. The calculated results prove that liquefaction is the main reason of seismic failure of high tailing dams, and the effect of seismic inertia forces on high tailing dams’ stability during earthquake is secondary reason. 展开更多
关键词 tailings dam seismic response effective stress nonlinear analysis against liquefaction upstream raising method
在线阅读 下载PDF
A new technique of combining accretion by cyclone separator and scattertube for tailings dams 被引量:3
20
作者 柳厚祥 李宁 +2 位作者 廖雪 龚锦林 方风华 《Journal of Central South University of Technology》 2004年第2期185-191,共7页
A new technique of combining accretion by cyclone separator and scattertube for tailings dams was developed according to laboratory experiment, model experiment and spot experiment technology. Three tailings dams were... A new technique of combining accretion by cyclone separator and scattertube for tailings dams was developed according to laboratory experiment, model experiment and spot experiment technology. Three tailings dams were successfully constructed by the new technique. The results of engineering geological exploration, static and dynamic test and stability analysis on Baizhishan tailings dams prove that the new technique improves structure and stability of the dams and working conditions compared with the traditional technique. The thin layers of fine-grained soils are greatly reduced, fine tailings sand is solid to make the dam stable and seepage conditions are well improved; the immersing line of the dam descends. In addition, the stability and liquefaction resistance of tailings dams are strengthened remarkably. The interior stress is compressive stress, stress level of every element is less than 1.0 and safety coefficient of every element is greater than 1.0. The safety coefficient against liquefaction of every element of tailings dams is greater than 1.5 according to the analysis of seismic response by finite element method. 展开更多
关键词 tailings dams combining accretion cyclone separator scattertube upstream raising method
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部