全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多

 provide 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时：0.034秒
 历史查询

 provide 很抱歉，暂未找到该词条在当前类别下的译词。您可以查看在所有学科下的译词。
 “provide”译为未确定词的双语例句
 Based on FIPA-OS architecture,an agent-oriented two-level PKI system is implemented,at the same time,a group security service agents is proposed which provide many kinds of security mechanisms for FIPA-OS system,such as authentication,agent certificate management,security audit,access control,agent society security management and so on. 基于FIPA-OS框架,设计并实现了一个面向Agent的二级认证PKI系统,同时提出一组安全服务Agent,为FIPA-OS框架增加了的身份鉴别、证书管理、安全审计、资源访问控制及Agent社区管理等多种安全机制。 短句来源 This paper introduces the characteristic of real-time operation system uC/OS-II,and the probability of porting uC/OS-II on S3C44BOX is discussed. In the end,we port uC/OS-II on S3C44BOX successfully and provide test program to prove the success of the porting. 介绍了实时操作系统uC/OS-II的特点,讨论了其在S3C44BOX上移植的可能性,成功地将uC/OS-II移植到S3C44BOX上,并通过例程验证了移植代码的正确性。 短句来源 We introduce a computer-assisted instruction software based on J++, and provide several pacing technologies. 本文介绍一个用J++实现的基于Web环境的协同式计算机辅助教学软件的结构,并给出了具体实现中的一些关键技术。 短句来源 This paper analyzes the strongpoint of J2EE in development of XMSF application, combine with the correlative technology and provide with an implement. 本文分析了J2EE在XMSF开发中的优点,并结合相关技术给出了开发实例。 In This paper ,we study Uighur speech synthesis technology using 32 single phonemes and 384 double phonemes as concatenating units, provide the establishing procedures of single and double phonemes database, and realize all process with C Sharp programming language, experiment results show the feasibility of this paper's research way and Uighur speech synthesis technology based on small-scale speech database. 本文研究了以32个单音素和以384个双音素作为拼接单元的维吾尔语音合成技术,给出了单、双音素语音数据库的建立方法,并用C Sharp编程语言实现了全过程,实验结果表明本文研究思路和基于小规模语音语料库的维吾尔语音合成技术方案的可行性和有效性。 更多

我想查看译文中含有：的双语例句

 provide
 Gindikin that complex analytic objects related to these domains will provide explicit realizations of unitary representations ofH?. Here we provide certain conditions (more general than those in [Ka1]) which guarantee preservation of the topology under a modification. We investigate conditions on kernel operators in order to provide prescribed orders of approximation in the Triebel-Lizorkin spaces. We provide a direct computational proof of the known inclusion ${\cal H}({\bf R} \times {\bf R}) \subseteq {\cal H}({\bf R}^2),$ where ${\cal H}({\bf R} \times {\bf R})$ is the product Hardy space defined for example by R. The space spanned by the translates of φv can only provide approximation order if the refinement maskP has certain particular factorization properties. 更多
 In this paper the sequential Circuitmodel by Huffman is revised. The noture of fuzzy border setis. invertigated. The sequential Cireut model with fuzzy border is set up on the bases of Boolean defferetial and fuzzy border set. By studing the grade of distinctness of fuzzy prick-shaped pulse. The criterion of the fuzzy state of the sequential circuit is finally put forward. Thus, the sequential circuit model described in this paper provides an evidence for a real algorithm of generation of fault test of... In this paper the sequential Circuitmodel by Huffman is revised. The noture of fuzzy border setis. invertigated. The sequential Cireut model with fuzzy border is set up on the bases of Boolean defferetial and fuzzy border set. By studing the grade of distinctness of fuzzy prick-shaped pulse. The criterion of the fuzzy state of the sequential circuit is finally put forward. Thus, the sequential circuit model described in this paper provides an evidence for a real algorithm of generation of fault test of sequential circuit and algorithm of generating test of fuzzy state of sequential circuit (logic correctness checking). 本文对赫夫曼时序电路模型提出修正。确立了乏晰边沿集合的运算及性质。在布尔微分及乏晰边沿集合两个基础上,建立了乏晰边沿的时序电路模型。研完了乏晰毛刺的分明度量,最后提出了时序电路不分明状态的判定定理。因此,本文阐述的时序电路模型为时序电路故障测试产生算法及时序电路不分明状态的测试产生算法(逻辑正确性检查)提供了依据。 Two-valued logic with elements "0", "1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks. In this paper it has been extended to four-valued logic for the sake of describing the dynamic behavior of logical circuits. Its mathematical foundation has been studied, several normal forms have been introduced, the deduction methods of Star algorithm have been dealt with and the expansion theorem which attaches Star algorithm to Boolean difference... Two-valued logic with elements "0", "1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks. In this paper it has been extended to four-valued logic for the sake of describing the dynamic behavior of logical circuits. Its mathematical foundation has been studied, several normal forms have been introduced, the deduction methods of Star algorithm have been dealt with and the expansion theorem which attaches Star algorithm to Boolean difference has been proved. The applications to several areas are also presented in this paper. Firstly, the application to fault detection in combinational logical circuits is described in detail; the algorithm deriving tests is then presented by typical examples and is compared with the current D algorithm, Boolean difference method and ESP method by M. Fridrich. In fact, there are some advantages in Star algorithm over the others. Finally, the possibility of the application to other areas in logical networks has been also pointed out. (The application to mathematical logics is omitted in this paper.) 包含“0”,“1”两个元素的布尔代数已为人们所熟知,它给命题演算和对逻辑网络的研究提供了很好的工具。为了能反映动态情况,本文将它扩展成四位的布尔代数,研完了它的数学基础,提出了几种表达式,介绍了星算法的推导法则,并证明了与布尔差分相沟通的展开定理。文章较详细地陈述了在组合网络诊断方面的应用;通过典型例子介绍了求测试码的算法,并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。 This paper proposes a numerical method for dividing the shell plating of the hull into parts which would be developed to a definite width. Programme is provided and the simple fiqure of the developed shell plate with definite width and other useful data are thus obtained. 本文提出了按给定展开宽度进行船体外板展开计算的方法。其计算结果提供按 给定宽度展平外板的简易图形及其有用的数据． << 更多相关文摘
 相关查询

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

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
2008 CNKI－中国知网

2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社