助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   更重要的是 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.007秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
社会学及统计学
中等教育
刑法
美术书法雕塑与摄影
宪法
戏剧电影与电视艺术
音乐舞蹈
保险
更多类别查询

图标索引 历史查询
 

更重要的是
    很抱歉,暂未找到该词条在当前类别下的译词。您可以查看在所有学科下的译词。
相关语句
  “更重要的是”译为未确定词的双语例句
    PDM system can not only enhance the information management capability of enterprises, but also shorten the period of new products developing of enterprises, control the cost of developing.
    PDM系统不但可以增强企业的信息管理能力,更重要的是可以缩短企业研发新产品的时间,控制研发成本。
短句来源
    The platforms emphasize structural relations and development standard as well as object encapsulation.
    平台由面向对象编程方法搭建而成,不仅强调封装概念,更重要的是平台的结构关系和开发标准。
短句来源
    It is worth noting that,this set of axioms is algorithmic manageable,and hence a new Security Protocol Verifier(SPV) can be designed and implemented,particularly focused on automatic verification of complex protocols.
    更重要的是,在此语义下的公理集在算法上是完全可以实现的,其对应的工具SPV(Security Protocol Verifier)已经开发成功,并且可以验证复杂的协议.
短句来源
    It can be got that KFSDA can preserve the advantage of FSDA, that the redundant information among sample features can be reduced very well. Moreover KFSDA can effectively extract the sample nonlinear features.
    分析表明,核Foley-Sammon鉴别分析保留了FSDA能明显降低样本特征之间冗余信息的优点,更重要的是该方法能够有效地抽取样本的非线性特征;
短句来源
    Moreover, the lock-based protocol is free from the overhead of maintaining the directory. Based on this protocol, a simple but efficient software DSM system named JIAJIA is designed.
    更重要的是,基于锁的协议中无须维护一个目录,从而更具有可伸缩性,基于这个一致性协议,本文设计并实现了一个简单而实用的软件分布式共享存储系统JIAJIA。
短句来源
更多       
查询“更重要的是”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


In this paper the author has proved that all the cyclically dependent compatible sets and any one of the cyclically dependent implicative compatible sets have the same closed dependent class. In the meantime, the paper presents a more important closed class, which is a closed class composed of all implicative compatible sets, and proves that the compatible pairs in this closed class are none other than the implicative compatible sets of all compatible pairs. Based on this analysis, the author has got an effective...

In this paper the author has proved that all the cyclically dependent compatible sets and any one of the cyclically dependent implicative compatible sets have the same closed dependent class. In the meantime, the paper presents a more important closed class, which is a closed class composed of all implicative compatible sets, and proves that the compatible pairs in this closed class are none other than the implicative compatible sets of all compatible pairs. Based on this analysis, the author has got an effective minimization method for constructing the minimal closure of the closed class of implicative compatible pairs without redundant elements. This method is simpler than the others,

本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时,提出了一个更重要的封闭类,即所有一级蕴涵相容组构成的封闭类。证明了这个封闭类所包含的相容对就是一切相容对的蕴涵相容对的封闭类。在此基础上,提出了一个有效的极小化方法——建立无多余元素的蕴涵相容对封闭类的极小闭包的方法。此方法较其它方法简单。

This paper established γω-calculus which is theoretically based on Curry's combinatory logic (C logic) while higher than C logic in the language level. It preserves the elegance of C logic, and can be directly used as a programming language or indirectly served as a logic foundation for various kinds of functional, applicative and reduction programming languages. Its theory and internal relations to C logic are discussed.

本文创建了γω演算,它在语言层次方面远高于curry合成逻辑(简称C逻辑),但在理论上依然奠基在C逻辑之上.这是一种高级的合成逻辑,它不失C逻辑的简洁性,更重要的,它可直接地用作编程语言,或者间接地用作各种各样“带糖衣”的函数编程语言、作用式编程语言和归约编程语言的语义理论基础.文中论述了γω演算的理论及其与C逻辑的内在联系.

An auxiliary support information system for enterprise decision-makers is described inthis paper. It is an interactive system. Utilized mathematical models and data base, this sys-tem can provide several decision schemes in combination with the experience and style of de-cision makers to select. Thus it realizes decision support function for enterpise managers.

经营决策辅助系统(DAS)是一个适用于企业经营决策层的信息支持系统。它除了完成一般的数据处理业务外,更重要的是通过运转数学模型,并采用人机对话方式为经营决策的某些具体问题提供多种备选方案,以制造一个良好的决策环境。系统的主要指标是:首先,建立经营管理的上层经济指标体系,即通过析取系统从有关科室提取数据,形成决策辅助系统专用数据库、预测专用数据库、分析专用数据库和查询缓冲数据库等,供决策者查询、分析之用;其次,设计生产预测、价格制定、奖金分配和经费预分等数学模型,构成模型子系统与数据库子系统、人机对话子系统相结合,提供与决策者进行信息交流的经营决策支持功能。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关更重要的是的内容
在知识搜索中查有关更重要的是的内容
在数字搜索中查有关更重要的是的内容
在概念知识元中查有关更重要的是的内容
在学术趋势中查有关更重要的是的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社