检索结果-内蒙古大学图书馆

金属学报 1989年第1期25卷 B031-B036页

作者：王文采陈玉北京大学物理系北京大学

用X射线K吸收谱方法研究了Fe_xGe_(1-x)(x=8.7,19.1和28.5%)非晶薄膜的短程序结构。三种合金中,Ge或Fe原子的最近邻结构组态均由Ge,Fe分别形成的两个间距很小的双配位层构成。Fe含量较低的前两种合金,Ge的最近邻结构参数与非晶Ge非常相... 详细信息

用X射线K吸收谱方法研究了Fe_xGe_(1-x)(x=8.7,19.1和28.5%)非晶薄膜的短程序结构。三种合金中,Ge或Fe原子的最近邻结构组态均由Ge,Fe分别形成的两个间距很小的双配位层构成。Fe含量较低的前两种合金,Ge的最近邻结构参数与非晶Ge非常相近,Fe作为Ge的最近邻原子接近于无规的代位式配位。当Fe含量达到28.5at.-%时,相应的非晶薄膜的短程序发生了很大的变化;非晶已偏离连续无规网络结构,显示出朝无规密堆结构变化的趋向。同时,还显示出在该合金中Fe-Ge原子间存在较强的相互作用。

关键词： Fe-Ge 非晶薄膜程序结构 X线

来源：评论

学校读者我要写书评

暂无评论

程序结构自动分析

引用

船舶工程 1991年第6期13卷 40-44,3+15页

作者：谢金宝郭薇杨安上海交通大学

本文描述程序结构自动分析软件(PSAA)的功能。PSAA能够自动分析程序模块之间的关系和数据流向,并为程序维护提供大量有用的信息。一、引言程序结构自动分析(PSAA)是指程序总体结构的宏观分析。

关键词：程序结构自动分析 PSA 文件子程序软件地址长度程序模块

来源：评论

学校读者我要写书评

暂无评论

GRAPES物理过程的优化试验及程序结构设计

引用

科学通报 2008年第20期53卷 2428-2434页

作者：徐国强陈德辉薛纪善孙健沈学顺沈元芳黄丽萍伍湘君张红亮王世玉中国气象科学研究院灾害天气国家重点实验室北京100081 国家气象中心北京100081

新一代全球/区域多尺度通用数值分析同化与预报系统(GRAPES)按照模块化、标准化的程序结构,开发建立了插拔式可移植的区域中尺度和全球中期物理过程软件包,物理过程的完整性与国外先进的模式相当.GRAPES设计了物理过程与模式框架连接的... 详细信息

新一代全球/区域多尺度通用数值分析同化与预报系统(GRAPES)按照模块化、标准化的程序结构,开发建立了插拔式可移植的区域中尺度和全球中期物理过程软件包,物理过程的完整性与国外先进的模式相当.GRAPES设计了物理过程与模式框架连接的3层结构程序界面,为物理过程的插拔使用提供了一个友好界面.通过个例数值试验,对格点暴雨现象进行了分析,改进了垂直速度计算方案,通过调整GRAPES物理过程方案的相关参数,对降水方案进行了优化;结果表明,物理过程降水方案经过改进后,基本消除了虚假的格点暴雨现象,提高了降水预报的准确率.

关键词：物理过程程序结构格点暴雨优化试验

来源：评论

学校读者我要写书评

暂无评论

现代民事诉讼程序结构的类型化

引用

政法论丛 2015年第3期 129-137页

作者：张艳丽北京理工大学法学院北京100081

现代民事纠纷的多样性和复杂性推动了我国民事诉讼程序结构类型化的发展。民事诉讼程序类型化是回应型司法、程序相称原理、当事人程序选择权、司法职权优化配置、审判职业化和专业化等现代司法理念的体现。借鉴域外民事诉讼程序类型化... 详细信息

现代民事纠纷的多样性和复杂性推动了我国民事诉讼程序结构类型化的发展。民事诉讼程序类型化是回应型司法、程序相称原理、当事人程序选择权、司法职权优化配置、审判职业化和专业化等现代司法理念的体现。借鉴域外民事诉讼程序类型化的立法经验,结合我国民事司法改革的深入实践,民事诉讼程序结构的类型化应从审判与执行的分离、诉讼与非讼的分离、财产诉讼与人事诉讼的分离、法院审判与调解的分离、通常诉讼程序与专门诉讼程序的设置等方面进行。

关键词：民事诉讼程序结构程序分类程序类型化程序分离

来源：评论

学校读者我要写书评

暂无评论

C语言程序结构自动分析器的设计与实现

引用

哈尔滨工业大学学报 1991年第5期23卷 56-61页

作者：陈猛陈学锋李莲治哈尔滨工业大学计算机系

为了对用C语言编写的大型软件系统的程序结构进行自动分析,我们设计了一个C语言程序结构的自动分析器。本文给出了其设计思想,实现方案,并简要地说明了它的功能和使用方法。

关键词： C语言程序结构自动分析器

来源：评论

学校读者我要写书评

暂无评论

完善公诉程序结构制约机制刍议

引用

法学 1994年第7期 20-21页

作者：郝银钟华东政法学院

在法治社会里,为了有效地控制犯罪、维护社会秩序、保护人权,刑事诉讼法一方面要赋予检察机关以公诉权,并充分保障其履行控诉职能;另一方面,象其它权力一样,如果没有完善的监督制约机制,就难免会产生被滥用的危险。因而在刑事公诉程序... 详细信息

在法治社会里,为了有效地控制犯罪、维护社会秩序、保护人权,刑事诉讼法一方面要赋予检察机关以公诉权,并充分保障其履行控诉职能;另一方面,象其它权力一样,如果没有完善的监督制约机制,就难免会产生被滥用的危险。因而在刑事公诉程序结构中还必须建立起系统的公诉权制约机制,来防止公诉权在诉讼实务中被错用、滥用,保障检察机关公正、合法地履行其法律职能。在现代社会里,其实后者远比前者重要得多。非常遗憾的是,这一领域的研究至今还没有引起我国诉讼法学界的高度重视。

关键词：检察机关程序结构制约机制被害人公诉权被告人公诉制度刑事诉讼法提起公诉检察官

来源：评论

学校读者我要写书评

暂无评论

创设陪调制度的构想——兼顾纠纷解决与规则之治程序结构

引用

西南民族学院学报（哲学社会科学版） 2003年第8期24卷 206-212页

作者：林义全钟三宇西南民族大学法学院四川成都610041

审判制度、调解制度、陪审制度是我国诉讼法规定的重要制度 ,也是我国民事、经济审判方式改革的重要内容 ,但对其间的关系和作用问题 ,在理论和实务界却存在着争论 ,有主张调审分立、取消陪审制度等。针对此种情况 ,作者提出“两分立一... 详细信息

审判制度、调解制度、陪审制度是我国诉讼法规定的重要制度 ,也是我国民事、经济审判方式改革的重要内容 ,但对其间的关系和作用问题 ,在理论和实务界却存在着争论 ,有主张调审分立、取消陪审制度等。针对此种情况 ,作者提出“两分立一结合” ,即审判制度与调解制度相分立、审判制度与陪审制度相分立、调解制度与陪审制度相结合而创设陪调制度作为审判前置程序 ,并对三制度间的关系及相应的程序进行了分析论证 ,以期对我国的民事、经济审判方式改革及充分发挥各制度的作用。

关键词：审判制度调解制度陪审制度陪调制度程序结构民事诉讼法中国

来源：评论

学校读者我要写书评

暂无评论

辩诉交易程序结构解析

引用

政法论坛 2002年第6期20卷 39-43页

作者：马贵翔复旦大学上海200433

辩诉交易制度因其基本程序结构维持了控辩平等对抗、法官居中裁决的形式而确保了公正优先 ,它追求解决纠纷这一形式正义目标并以此一方面防止了犯罪者逃脱惩罚 ,另一方面又维护了被告人的利益。我国普通程序的结构性缺陷并不妨碍引进辩... 详细信息

辩诉交易制度因其基本程序结构维持了控辩平等对抗、法官居中裁决的形式而确保了公正优先 ,它追求解决纠纷这一形式正义目标并以此一方面防止了犯罪者逃脱惩罚 ,另一方面又维护了被告人的利益。我国普通程序的结构性缺陷并不妨碍引进辩诉交易制度 ,但应作出改造 ,主要包括限定案件范围、强化被害人与辩护律师的参与以及完善开庭审查等。

关键词：辩诉交易制度程序结构被告人利益刑事简易程序被告人中国

来源：评论

学校读者我要写书评

暂无评论

SCDAP/RELAP5程序结构及严重事故有关的模型概述

引用

核动力工程 2003年第S2期24卷 51-55页

作者：苏云许以全曹学武徐济鋆上海交通大学机械与动力学院核科学与系统工程系 200030

SCDAP/RELAP5 MOD3是目前国际上通用的机理性严重事故分析程序,可用于严重事故下堆芯损坏进程的的详细分析以及严重事故管理策略的设计与评估。介绍了SCDAP/RELAP5 MOD3程序的主体结构,RELAP5与SCDAP之间的联系,并分类说明了SCDAP程序... 详细信息

SCDAP/RELAP5 MOD3是目前国际上通用的机理性严重事故分析程序,可用于严重事故下堆芯损坏进程的的详细分析以及严重事故管理策略的设计与评估。介绍了SCDAP/RELAP5 MOD3程序的主体结构,RELAP5与SCDAP之间的联系,并分类说明了SCDAP程序的堆芯损坏进程模型以及实施模型的主要子程序。

关键词： SCDAP/RELAP5 程序结构严重事故模型

来源：评论

学校读者我要写书评

暂无评论

基于程序结构的白盒测试工具的研究与实现

基于程序结构的白盒测试工具的研究与实现

引用

作者：孙忠敏北京工业大学

学位级别：硕士

软件测试是保证软件质量的重要保证。随着计算机软件的快速发展,在航空控制领域和关键性领域,软件的质量保证受到RTCA/DO-178B标准严格的控制。在1994年,RTCA/DO-178B通过NASA提议的MC/DC准则在其他实践是测试策略必需的。由于软件问题... 详细信息

软件测试是保证软件质量的重要保证。随着计算机软件的快速发展,在航空控制领域和关键性领域,软件的质量保证受到RTCA/DO-178B标准严格的控制。在1994年,RTCA/DO-178B通过NASA提议的MC/DC准则在其他实践是测试策略必需的。由于软件问题导致的灾难性后果,FAA(Federal AviationAdministration)对软件的质量提出了更高的要求:所有航空航天的软件都要满足DO-178B标准。现在我国对航空航天软件的要求也在向这个标准靠近。\n 通过对国外软件和文献的研究,参照美国/欧洲航空航天最高标准RTCA/DO-178B标准的要求实现一个白盒覆盖测试工具,实现DO-178B标准的Level A级要求的对程序修改/判定覆盖。通过对被测程序的覆盖分析,探测并及时报告软件开发过程中引入的错误。\n 本文首先对软件测试中的白盒测试方法及目前市场上主流的,有代表性的测试工具进行了分析介绍。并对其中关键性的技术-MC/DC(修改条件/判定覆盖)技术的背景,定义,需求,进行了说明。通过对覆盖理论的分析研究,结合实践中遇到的问题,在对NASA提出的方法的进行消化吸收的基础上,通过n维体图转化为KV图(通过BFS搜索)的方法设计实现一个可以满足MC/DC覆盖准则的白盒测试工具,并通过实例对执行结果进行展示分析。\n 目前,国内市场上满足DO-178B标准的Level A级MC/DC(修改条件/判定覆盖)的测试产品,都是国外的产品在垄断。因此,研究实现一个针对MC/DC的白盒测试工具对于打破国外产品的技术垄断和提高我国的软件产品质量,增强我国的软件产品在国际上的竞争力将具有深远的意义。

关键词：白盒测试工具覆盖测试程序结构软件测试

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：