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

计算机学报 1990年第4期13卷 271-276页

作者：潘凌云杨长生浙江大学计算机系

本文介绍了一种运用自然语言理解,完成汉语拼音到汉字的计算机自动转换系统。该系统利用汉语词法知识、句法知识、语义和语用知识,构造了一个层次结构的知识基,对汉语拼音形式的文章,逐句进行切词、词法分析、语法分析、语义和语用处理... 详细信息

本文介绍了一种运用自然语言理解,完成汉语拼音到汉字的计算机自动转换系统。该系统利用汉语词法知识、句法知识、语义和语用知识,构造了一个层次结构的知识基,对汉语拼音形式的文章,逐句进行切词、词法分析、语法分析、语义和语用处理,最后形成正确的汉字句子、文章。该系统已在IBM PC/XT微型计算机上实现。

关键词：汉字拼音计算机自动转换系统

来源：评论

学校读者我要写书评

暂无评论

从数据流图到模块结构图的自动转换系统

引用

小型微型计算机系统 1995年第8期16卷 41-46页

作者：丁忠俊华中理工大学计算机系

本文论述了从数据流图（ＤＦＤ）到模块结构图（ＭＳＣ）自动转换系统的设计与实现。提出了用于中间转换的有向控制图（ＤＣＤ）的概念，旨在实现从ＤＦＤ导出ＭＳＣ的自动化。

关键词：数据流图模块结构图自动转换系统程序设计

来源：评论

学校读者我要写书评

暂无评论

供配电保护装置电源自动转换系统

引用

电气应用 2008年第22期27卷 28-33页

作者：潘飞大连西太平洋石油化工有限公司

说明了利用保护装置实现供配电系统电源自动转换系统的转换方法和转换条件,详细叙述了电压测量点的设置、事故转换启动及过电流闭锁配合,以及电压回路、断路器操作回路、断路器状态辅助控制回路及电气设备位置的监测方法,提出的多投法... 详细信息

说明了利用保护装置实现供配电系统电源自动转换系统的转换方法和转换条件,详细叙述了电压测量点的设置、事故转换启动及过电流闭锁配合,以及电压回路、断路器操作回路、断路器状态辅助控制回路及电气设备位置的监测方法,提出的多投法解决了源转换和联转换与双转换的统一,简化了双转换的操作逻辑,提高了电源自动转换系统的可靠性。

关键词：自动转换系统系统电源保护装置供配电电压回路操作回路转换条件转换方法

来源：评论

学校读者我要写书评

暂无评论

卫导─罗兰自动转换系统的设计

引用

厦门水产学院学报 1994年第1期16卷 45-51页

作者：张家智厦门水产学院机电系

本文论述应用单片微型计算机组成一个系统，把ＧＰＳ卫导仪的位置经纬度值快速实时地转换成罗兰时差的软件及硬件设计。同时给出了转换精度的检验方法及检验结果。

关键词：卫导自动转换系统设计

来源：评论

学校读者我要写书评

暂无评论

软件形式规约自动转换系统设计与实现

软件形式规约自动转换系统设计与实现

引用

作者：李刚山东师范大学

学位级别：硕士

该文对软件形式规约自动转换系统的设计与实现做了较为详细的介绍.其主要内容如下:(1)HOOD方法及其改进.该部分在对HOOD方法进行简介、评价的基本上,对其做了必要的改进,使之成为一种支持需求分析与设计的广谱性方法--HOOD<\'... 详细信息

该文对软件形式规约自动转换系统的设计与实现做了较为详细的介绍.其主要内容如下:(1)HOOD方法及其改进.该部分在对HOOD方法进行简介、评价的基本上,对其做了必要的改进,使之成为一种支持需求分析与设计的广谱性方法--HOOD<\'+>;(2)对象描述骨架.该部分主要介绍了HOOD<\'+>方法中的对象描述骨架.它将作为源语言用到该文所介绍的转换系统中去;(3)面向对象的形式化规约语言GOOZ.该部分主要介绍了面向对象形式化规约语言GOOZ的设计.它将作为目标语言用到该文所介绍的转换系统中去;(4)形式规约的自动生成.该部分主要介绍了软件形式规约自动转换系统HOOD<\'+><,->AUTO的转换策略--基于规约构件模型的演化式转换,及其在转换实施上的一些技术特点,并对规约的完整性和转换过程的正确性进行了讨论;(5)软件形式规约自动转换系统HOOD<\'+><,->AUTO的设计与实现.该部分主要对软件形式规约自动转换系统HOOD<\'+><,->AUTO的设计思想、系统结构、集成构架、系统功能、转换算法、实现途径及系统的主要特点进行了详细的介绍.

关键词：软件自动化面向对象形式化方法自动转换系统 HOOD方法

来源：评论

学校读者我要写书评

暂无评论

简繁体汉字自动转换系统的设计与实现

简繁体汉字自动转换系统的设计与实现

引用

作者：辛春生中国科学院软件研究所

学位级别：硕士

该文首先分析了一个简繁转换系统的设计目标,然后简单介绍了系统支持的交换码集GB2312和TCA-CNS 11643及各自的内码双字节高位置\"1\"和Big5,随后介绍了系统必须用到的语词切分的基本原理和方法及与切分伴随而来的歧义问题,... 详细信息

该文首先分析了一个简繁转换系统的设计目标,然后简单介绍了系统支持的交换码集GB2312和TCA-CNS 11643及各自的内码双字节高位置\"1\"和Big5,随后介绍了系统必须用到的语词切分的基本原理和方法及与切分伴随而来的歧义问题,在给出这些预备知识和作好必要的准备后,详尽地论述了系统的设计思想和实现,讨论了实现时碰到的一些问题.

关键词：简繁体汉字自动转换系统

来源：评论

学校读者我要写书评

暂无评论

统一塑模语言模型之辅助分析工具：活动图之派翠网路自动转换系统

统一塑模语言模型之辅助分析工具：活动图之派翠网路自动转换系统

引用

作者：陈雅玲淡江大学

学位级别：硕士

企业营运良窳与其流程的正确性息息相关；然而流程在设计阶段不易被验证，错误经常在实际运作时才发现，企业却已蒙受损失。因使，一个可以在流程设计阶段便提供错误检验的塑模工具可大幅提升流程设计的应用。统一塑模语言(Unified Mode... 详细信息

企业营运良窳与其流程的正确性息息相关；然而流程在设计阶段不易被验证，错误经常在实际运作时才发现，企业却已蒙受损失。因使，一个可以在流程设计阶段便提供错误检验的塑模工具可大幅提升流程设计的应用。统一塑模语言(Unified Modeling Language)由于其结构完整且图形明了易懂，普遍使用于企业流程塑模或软体工程设计，可惜其本身并无错误验证机制。本研究开发一个统一塑模语言与派翠网路(Petri Net)的自动转换系统，透过可延伸标记语言标准将统一塑模语言之活动图转换为派翠网路图。借由派翠网路之流程属性验证工具，可在流程塑模阶段立即发觉潜在错误，以提升流程设计之效率与正确性。本研究以数个流程设计实例说明所开发之自动转换系统的可行性。

关键词：统一塑模语言派翠网路流程设计自动转换系统可延伸标记语言

来源：评论

学校读者我要写书评

暂无评论

基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统

基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统

引用

作者：张琦江西师范大学

学位级别：硕士

面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强等特点。面向服务架构(Sevice Oriented Architecture,简称SOA)是这种计算模式下通用的架构风格,而Web服... 详细信息

面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强等特点。面向服务架构(Sevice Oriented Architecture,简称SOA)是这种计算模式下通用的架构风格,而Web服务是服务计算的重要研究内容,同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型,并且具有基于标准的、松散耦合的、跨平台的特性,其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用,并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年,能够以可验证的方式精确地定义软件系统的语义。为了精确描述Web服务语义,本文在前期研究设计的Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言。该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明,其中代数公理方法易于建立整个Web服务的语义框架,而Hoare公理方法便于指导操作(算法)的形式化推导和验证。以模型驱动为理论指导,进一步提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统。最后,采用两个工业真实案例:空中交通管制系统、建管系统后台,验证了该生成方法的有效性。针对上述目标,本文主要做了如下几方面工作:1、扩展Radl语言为Radl-WS建模语言,统一了基于代数公理方法和Hoare公理方法,使之更适合精确地描述Web服务。2、以模型驱动为理论指导,根据WSDL语言特点提炼出等价转换规则,进而提出将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法。3、为支持模型转换,根据等价转换规则深入分析模型转换的实现原理,设计并实现了WSDL→Radl-WS自动转换系统。4、将该系统部署在阿里云服务器上:http://106.14.226.54:8080,并采用工业真实案例验证了其有效性。

关键词：代数规范 Web服务建模语言模型驱动自动转换系统

来源：评论

学校读者我要写书评

暂无评论

回转体零件特征和GT编码自动转换系统的研制

引用

运筹与管理 1998年第2期7卷 83-88页

作者：琚玑张晔唐昭琅安徽大学自动化系合肥工业大学机械工程系

文章主要介绍了作者研制的回转体零件特征和ＧＴ编码的自动转换系统的原理和实现方法。该系统具有良好的实用价值。

关键词：回转体零件自动转换系统研制特征技术 GT编码 JLBM-1 CAD CAM CAPP 集成

来源：评论

学校读者我要写书评

暂无评论

双电源自动转换系统三相监控技术的应用

引用

中国交通信息产业 2010年第4期 124-125页

作者：李立峰杭金衢高速公路金华管理处

为了保障高速公路设备供电的可靠性和连续性，每个变电站均设计有低压380VAC／220VAC双路电源自动转换系统。双电源自动转换系统的核心设备——自动转换开关，它最大用途就是实现电源二选一自动切换，在正常工作状态下，即在主电源处于... 详细信息

为了保障高速公路设备供电的可靠性和连续性，每个变电站均设计有低压380VAC／220VAC双路电源自动转换系统。双电源自动转换系统的核心设备——自动转换开关，它最大用途就是实现电源二选一自动切换，在正常工作状态下，即在主电源处于正常的电压范围内，负载一直连接于主电源。当主电源发生故障时，负载自动切换到备用电源，待主电源恢复正常后，负载又自动切换到主电源。

关键词：自动转换系统双电源监控技术应用三相自动转换开关自动切换主电源

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：