从软件功能实例规格说明到软件功能形式规格说明的自动转换 被引量：1

1

作者 吕建 徐家福 《软件学报》 EI CSCD 北大核心 1992年第4期24-31,共8页

软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。

关键词 软件 规格说明 形式转换

在线阅读 下载PDF 职称材料

基于形式源级转换的可执行规格说明技术

2

作者 张幸儿 朱晓军 《软件学报》 EI CSCD 北大核心 1992年第3期33-39,共7页

本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保... 本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。 展开更多

关键词 规格说明 形式源级转换

在线阅读 下载PDF 职称材料

软件需求的形式化转换模型 被引量：4

3

作者 侯丽珍 蔡小娟 邹恒明 《计算机工程》 CAS CSCD 北大核心 2007年第5期73-75,共3页

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。

关键词 软件需求 形式化转换 软件可靠性

在线阅读 下载PDF 职称材料

关于电影形式和内容的思辨

4

作者 曲德煊 周欣欣 《电影文学》 北大核心 2024年第19期63-67,共5页

电影形式与内容相互依存,是一个统一的整体,对其内涵及二者关系进行全面研究,结合不同类型的电影作品层层深入分析二者的辩证关系,倡导形式与内容的和谐统一。电影内容和形式具有多层次性和可转换性,不但上一层级的形式可能是下一层级... 电影形式与内容相互依存,是一个统一的整体,对其内涵及二者关系进行全面研究,结合不同类型的电影作品层层深入分析二者的辩证关系,倡导形式与内容的和谐统一。电影内容和形式具有多层次性和可转换性,不但上一层级的形式可能是下一层级的内容,而且形式本身也可以转换为内容。通过电影形式与内容的思辨,电影形式可以呈现为一个动态的认知模型,以期为电影形态的分类提供新思路。 展开更多

关键词 电影内容 电影形式 内容与形式的多层次观 形式与内容的可转换性

在线阅读 下载PDF 职称材料

油源断裂向砂体转换输导油气形式分布部位预测方法——以歧口地区港东断裂砂一下亚段为例 被引量：1

5

作者 张金宝 《吉林大学学报（地球科学版）》 CAS CSCD 北大核心 2023年第5期1352-1361,共10页

港东断裂是歧口凹陷北部的一条重要的控藏断裂。为了研究歧口凹陷港东断裂位置的沙一下亚段油气分布规律,根据转换输导油气形式分两种情况研究:通过港东断裂在沙一下亚段内输导部位、沙一中亚段区域性泥岩盖层封闭部位和沙一下亚段连通... 港东断裂是歧口凹陷北部的一条重要的控藏断裂。为了研究歧口凹陷港东断裂位置的沙一下亚段油气分布规律,根据转换输导油气形式分两种情况研究:通过港东断裂在沙一下亚段内输导部位、沙一中亚段区域性泥岩盖层封闭部位和沙一下亚段连通砂体分布部位,取三者重合部位预测港东断裂向沙一下亚段砂体完全转换输导油气形式的分布部位;通过港东断裂在沙一下亚段内输导部位、沙一中亚段区域性泥岩盖层不封闭部位、沙一下亚段连通砂体分布部位和上覆明化镇组区域性泥岩盖层封闭部位,取四者重合部位预测港东断裂向沙一下亚段砂体部分转换输导油气形式的分布部位。结果表明:港东断裂向沙一下亚段砂体完全转换输导油气形式分布部位主要为其东部和西部,而部分转换输导油气形式分布部位主要为其中部,少量分布在其东部局部。港东断裂向沙一下亚段砂体完全和部分转换油气形式分布部位控制了港东断裂位置的沙一下亚段内油气在整条断裂内的分布。 展开更多

关键词 歧口凹陷 港东断裂 沙一下亚段 砂体 转换输导油气形式 分布部位

在线阅读 下载PDF 职称材料

《法国中尉的女人》电影改编中的叙事转换 被引量：2

6

作者 聂宝玉 《电影评介》 北大核心 2016年第5期68-70,共3页

《法国中尉的女人》于1969年出版,它是英国著名作家约翰·福尔斯最具有代表性的作品,一经问世就受到读者的普遍认可。小说的叙事形式使用的是＂元小说＂的方法,深入地审视和反思了19世纪维多利亚时代虚伪的社会风气。小说被多次改... 《法国中尉的女人》于1969年出版,它是英国著名作家约翰·福尔斯最具有代表性的作品,一经问世就受到读者的普遍认可。小说的叙事形式使用的是＂元小说＂的方法,深入地审视和反思了19世纪维多利亚时代虚伪的社会风气。小说被多次改编成电影,受＂元小说＂因素的影响,在改编的过程中遇到很多的困难。小说出版10年以后,英国剧作家哈罗德·品特才将其改编成电影搬上荧屏。下面以《法国中尉的女人》为例,将其在改编过程中使用的叙事转换形式进行详细的分析。 展开更多

关键词 电影改编 约翰·福尔斯 转换形式 萨拉 维多利亚时代 哈罗德 品特 戏中戏 法国中尉的女人 叙事形式

在线阅读 下载PDF 职称材料

基于扩展UML活动图的工作流建模及其到XPDL的转换 被引量：3

7

作者 申利民 隋峰 +3 位作者 李峰 雷炳银 白莲 王磊 《计算机集成制造系统》 EI CSCD 北大核心 2009年第8期1514-1521,共8页

针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活... 针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则。为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则。最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用。 展开更多

关键词 工作流模型 统一建模语言活动图 可扩展标记语言的过程定义语言 形式化转换 适应性 柔性

在线阅读 下载PDF 职称材料

播音中的“感情转换”初探

8

作者 吴郁 《现代传播（中国传媒大学学报）》 1983年第4期70-74,共5页

近几年来,在播音员相互切磋技艺时,在播音教学中,我们经常可以听到这样的议论:“你播这篇感情没有转换,没有跟上内容的发展,这句话后面应有个感情转换的过程”;“这里你的感情转换分寸把握得不够准确”……。看来,“感情转换”一词已在... 近几年来,在播音员相互切磋技艺时,在播音教学中,我们经常可以听到这样的议论:“你播这篇感情没有转换,没有跟上内容的发展,这句话后面应有个感情转换的过程”;“这里你的感情转换分寸把握得不够准确”……。看来,“感情转换”一词已在播音工作者中通用,虽不知它出自谁口,始自何时,但它确能为播音员接受、理解,并在实践中运用。 展开更多

关键词 转换形式 感情色彩 播音员 稿件 思想感情 听众 再创造 社会主义 发展变化 声音

在线阅读 下载PDF 职称材料

从协议Petri网到Estelle的转换

9

作者 罗军舟 杨晓燕 《系统仿真学报》 CAS CSCD 2003年第z1期78-82,共5页

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网... Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法。基于此方法文章还构造了自动实现转换的算法,并给出了一个实例。 展开更多

关键词 协议Petri网 ESTELLE 形式描述技术之转换 协议描述

在线阅读 下载PDF 职称材料

一种基于形式化规则的航电需求规范化方法 被引量：1

10

作者 沈翔宇 王立松 +4 位作者 康介祥 高忠杰 王辉 尹伟 仇智鹏 《小型微型计算机系统》 CSCD 北大核心 2021年第9期1992-1998,共7页

随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包... 随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包括:对于不同的自然语言需求,符号化定义需求语句结构.针对自然语言需求语句当中经常出现的歧义、模糊、不可验证等问题,根据不同的需求语句模式设计出不同的转换规则.同时,为实现自然语言需求到规范化需求的自动转换过程,本文借助Stanford Parser词法分析器,输出不同需求语句的语法树,并结合相应的转化算法输出规范化需求语句.最后通过实例验证了基于形式化转换规则的规范化方法在航空电子显控系统的自然语言需求领域中具有较好的有效性和实用性. 展开更多

关键词 自然语言需求 形式化转换规则 规范化需求 规范化方法

在线阅读 下载PDF 职称材料

欧盟开展将粮食残渣转换成饲料的研究

11

《饲料研究》 CAS 北大核心 2014年第22期12-12,共1页

据欧盟宫网10月16日消息，欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。项目有关负责人称，全球粮食有三分之一被浪费，总计达每年13亿吨。

关键词 动物饲料 粮食 欧盟 残渣 形式转换 低成本 奶制品 负责人

在线阅读 下载PDF 职称材料

欧盟开展将粮食残渣转换成饲料的研究

12

《食品与机械》 CSCD 北大核心 2014年第6期159-159,共1页

据欧盟官网10月16日消息,欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。项目有关负责人称,全球粮食有1/3被浪费,总计达每年13亿t。研究成果将为欧洲农民创造新的机会,并... 据欧盟官网10月16日消息,欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。项目有关负责人称,全球粮食有1/3被浪费,总计达每年13亿t。研究成果将为欧洲农民创造新的机会,并削减欧洲对粮食进口的依赖,同时还将在农业废弃物收集、加工处理和饲料生产等领域创造新的就业机会。该项目团队由来自6个欧盟国家及土耳其的研究中心、高校和企业组成，研究工作于2012年启动，预计2016年完成。 展开更多

关键词 欧盟国家 动物饲料 粮食 残渣 农业废弃物 形式转换 研究成果 就业机会

在线阅读 下载PDF 职称材料

欧盟开展将粮食残渣转换成饲料的研究

13

《家禽科学》 2014年第11期57-57,共1页

欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。 研究成果将为欧洲农民创造新的机会。并削减欧洲对粮食进口的依赖，同时还将在农业废弃物收集、加工处理和饲料生产等领... 欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。 研究成果将为欧洲农民创造新的机会。并削减欧洲对粮食进口的依赖，同时还将在农业废弃物收集、加工处理和饲料生产等领域创造新的就业机会。该项目团队由来自六个欧盟国家及土耳其的研究中心、高校和企业组成，预计2016年完成。目前。欧盟向欧洲生物经济的研究和创新领域投资超过40亿欧元。 展开更多

关键词 欧盟国家 动物饲料 粮食 残渣 农业废弃物 形式转换 研究成果 就业机会

在线阅读 下载PDF 职称材料

欧盟对粮食残渣转换成饲料开展研究

14

《北方牧业》 2014年第23期11-11,共1页

近日，据欧盟官网消息称。欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。项目有关负责人称，研究成果将削减欧洲对粮食进口的依赖，同时还将在农业废弃物收集、加工处理... 近日，据欧盟官网消息称。欧盟资助的NOSHAN研究项目试图将粮食残渣（尤其是水果、蔬菜和奶制品）以低成本、低耗能的形式转换成动物饲料。项目有关负责人称，研究成果将削减欧洲对粮食进口的依赖，同时还将在农业废弃物收集、加工处理和饲料生产等领域创造新的就业机会。 展开更多

关键词 动物饲料 粮食 欧盟 残渣 农业废弃物 形式转换 研究成果 就业机会

在线阅读 下载PDF 职称材料

计及电转气规划的综合能源系统运行多指标评价 被引量：78

15

作者 杜琳 孙亮 陈厚合 《电力自动化设备》 EI CSCD 北大核心 2017年第6期110-116,共7页

电转气设备的应用可实现能源转换,大力消纳可再生能源。电转气设备与燃气轮机的结合,可使能量在电网和天然气系统中双向流动。提出一种配置电转气设备的电-气联合系统优化模型,分析电转气设备的应用对负荷供能率及可再生能源过剩率的影... 电转气设备的应用可实现能源转换,大力消纳可再生能源。电转气设备与燃气轮机的结合,可使能量在电网和天然气系统中双向流动。提出一种配置电转气设备的电-气联合系统优化模型,分析电转气设备的应用对负荷供能率及可再生能源过剩率的影响。介绍了电转气设备的应用场景及联合系统配置模型;设置了相应指标对联合系统进行建模,并以电转气设备、蓄电池和燃气轮机的建设及运维成本最小为目标函数。算例结果表明,电转气技术提升了负荷供能率,降低了弃风水平。 展开更多

关键词 电转气 综合能源系统 能量形式转换 多指标评价 模型

在线阅读 下载PDF 职称材料

论鲁迅小说的改编 被引量：3

16

作者 王同坤 《鲁迅研究月刊》 CSSCI 北大核心 2007年第5期41-45,共5页

关键词 鲁迅小说 改编 艺术形式 语言艺术 形式转换 媒介 人类 心灵

在线阅读 下载PDF 职称材料

利用物权对应全新解读借贷记账法 被引量：2

17

作者 么秀杰 《会计之友》 北大核心 2015年第8期94-97,共4页

将借贷记账法涉及到的内容分为物权对应、形态转换和形式转换三种类型,分析分录产生的原因,并按照资金运动的逻辑顺序将筹资、投资、采购、生产、销售、经营成果计算及利润分配以图形的方式形象地展示。对损益结转的原因进行了逻辑上的... 将借贷记账法涉及到的内容分为物权对应、形态转换和形式转换三种类型,分析分录产生的原因,并按照资金运动的逻辑顺序将筹资、投资、采购、生产、销售、经营成果计算及利润分配以图形的方式形象地展示。对损益结转的原因进行了逻辑上的推导,重新解读累计折旧、生产成本等科目,说明了借贷记账法的各种转换,降低了理解难度,将枯燥的记忆转变为形象的图形化解读。 展开更多

关键词 借贷记账法 物权对应 形态转换 形式转换

在线阅读 下载PDF 职称材料

银行信贷调查中要关注企业应收账款分析

18

作者 杜连森 《金融理论与实践》 北大核心 2005年第5期79-79,共1页

关键词 应收账款分析 信贷调查 银行 商业信用 销售过程 优惠政策 企业销售 税收核算 企业会计 转换形式 企业形成 数额 市场 资产

在线阅读 下载PDF 职称材料

深入考察汉语语法现象的途径

19

作者 吴葆棠 《汉语学习》 1981年第3期24-32,共9页

现在汉语语法现象,有的一目了然,有的却要下一番功夫,方能辨认清楚。发现和分析语法现象,除了要讲究观点、原则和方法以外,还要有正确的途径。本文将概略地介绍四条揭示较隐蔽的语法现象的主要途径,即通过对比,分析同义词组、歧义词组... 现在汉语语法现象,有的一目了然,有的却要下一番功夫,方能辨认清楚。发现和分析语法现象,除了要讲究观点、原则和方法以外,还要有正确的途径。本文将概略地介绍四条揭示较隐蔽的语法现象的主要途径,即通过对比,分析同义词组、歧义词组、隐性构造词组和无理词组来考察语法现象。 1.从同义词组中考察语法现象 现实语流中有些词组,构造形式各不相同,但语义内容却很相近。这叫做同义词组。通过比较一系列的同义词组,可以发现和解释一些重要的语法现象。例如: 展开更多

关键词 同义词组 语义内容 汉语语法 语法现象 “给” “送” 主谓式 构造形式 转换形式 句法构造

在线阅读 下载PDF 职称材料

动补宾结构管见

20

作者 徐国玉 《汉语学习》 1986年第5期34-35,共2页

具有动词或形容词后附“了”构成补语的动补宾结构是一种比较复杂的结构。近几年来发表的一些文章对动补宾结构以及动补结构已经做了不少探讨。本文试图从句式的转换关系方面对vc了o(“v”指动词,“c”指补语,“o”指宾语)作一下剖析,... 具有动词或形容词后附“了”构成补语的动补宾结构是一种比较复杂的结构。近几年来发表的一些文章对动补宾结构以及动补结构已经做了不少探讨。本文试图从句式的转换关系方面对vc了o(“v”指动词,“c”指补语,“o”指宾语)作一下剖析,目的是,在寻常的材料中发现些有意义的语法现象。 把现在vc了o的转换关系图示如下: 展开更多

关键词 动补宾 结构管 宾语 “被”字句 转换为 “把”字句 转换形式 转换关系 撵走 《中国语文》

在线阅读 下载PDF 职称材料