- 更多网络例句与重写相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.
对一个类定义,通过限制方程的从左向右使用即可得到一个代数重写系统,代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。
-
This paper studies default logic using Boolean ring rewriting system.
利用重写系统研究缺省逻辑姜云飞(吉林大学计算机科学系长春130023)摘要本文在布尔环重写系统中研究了缺省逻辑。
-
Bosco - Bosco is a rewrite of the popular Bugzilla defect tracking software in PHP.
Bosco是流行的Bugzilla 缺陷跟踪软件的重写,是用 PHP语言重写的。
-
For applications to be fully Internet-enabled, Oracle, PeopleSoft, and Dun and Bradstreet will have to reconstruct their wares and rewrite not only the client, but also the server portion of their applications in Java or ActiveX to improve security.
对于完全由internet驱动的应用程序,oracle、peoplesoft和邓白氏公司将必须重构他们的软件,不仅要用java或activex重写应用程序的客户机部分,还要重写服务器部分,以提高安全性。
-
In this paper, an extension of the algorithm to solve the problem of built-in predicates' presence is proposed.
在原算法的重写思想基础上,提出了一种基于约束的XML查询重写的改进算法。
-
Second, we rewrite the simple path expression into SQL statements. We research the different rewriting techniques for the different mapping nodes and different condition in where clause. For the query optimizing, we propose the path index based on the notion of node equivalence which is computed by bi-simulation algorithm.
第二步把简单路径表达式通过DTD字典重写为SQL语句,主要研究了对于SPE上的结点由于其映射的结点类型不同而进行不同的重写处理,同时研究了对于带有条件的查询在各种情况下的重写过程(如返回路径和条件路径不在一条路径上、多条件查询等)。
-
Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.
其所包含的主题:程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数:关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。
-
Query reformulation is a key issue of the data integration, and it automatically rewrites the users query request to the data source request directly.
查询重写是数据集成的一个关键问题,它是将用户的查询请求自动重写为直接面向数据源的查询请求。
-
I am on my last chapter of my book, yes the chapter I have been rewriting over and over, but I need your help.
我在写我的书的最后一章,对,就是我重写有重写的那章,不过我需要你的帮忙。
-
A method for rewriting onto a disk medium capable of being rewritten a limited number of times, comprises the steps of: encoding as data blocks all programs to be recorded; writing any encoded program onto a track on the disk medium as a given sequence of encoded data blocks; and, precessing along the track when overwriting the given sequence of encoded data blocks with a subsequent sequence of encoded data blocks.
一种用于写入和重写到能够被重写仅仅有限次数的盘媒体上的按照本发明方案的方法,包括步骤:将要记录的所有节目编码为数据块;将任何编码的节目的至少一部分写入到所述盘媒体上的轨道上作为所述编码的数据块的给定的序列;和当以编码的数据块的后续序列重写所述的编码的数据块的给定的序列时,沿着所述轨道旋进。
- 更多网络解释与重写相关的网络解释 [注:此内容来源于网络,仅供参考]
-
Overload operator equals on overloading add and subtract:可比较类型应该重写 equals 等方法
Nested types should not be visible 嵌套类型不... | Overload operator equals on overloading add and subtract可比较类型应该重写 equals 等方法 | Override methods on comparable types 在重写+和-运算的时候应...
-
override:重写
重写(override)与重载(overload) 相似:他们都是重新定义一个方法的实现过程 区别: 重写(override):是指对象之间的某个方法的重新实现,在一个类继承一个类时,当基类中某方...
-
overwrite:重写
如果基类有某个函数的多个重载(overload)版本,而你在子类中重写(overwrite)了其中的一个,或是子类添加新的函数版本,则所有基类的重载版本都被遮蔽. 所以,正常情况下,在子类中应重写基类中的所有重载版本.
-
overwrite error:重写错误;覆写错误
overvoltage 过电压 | overwrite 重写;覆写 | overwrite error 重写错误;覆写错误
-
overwrite error:重写误差
overwind clearance 过卷距离 | overwrite error 重写误差 | overwrite noise 重写噪声
-
rewrite:重写
题目是,"重写" (rewrite)这个词的寄义真相是什么?显然,"重写"差异于"重复"(repeat),大概每一个计划"重写"中国哲学史的人主观上都不会盼望自己的研究效果只是对昔人研究效果的低水平的重复. 这样看来,
-
rewrite rule:重写规则
(原创)重写规则(Rewrite Rule)应用:隐藏文件名/文件后缀名(原创)重写规则(Rewrite Rule)应用:隐藏文件名/文件后缀名(原创)重写规则(Rewrite Rule)应用:隐藏文件名/文件后缀名(原创)重写规则(Rewrite Rule)应用:隐藏文件名/文件后缀
-
rewriting:重写
加拿大教育现象学者马克斯.范梅南提倡对教育体验的捕捉采取一种"重写"(rewriting)的方法,通过不断反复地重写来提升对某种教育现象的本质直观,由此写作本身也便是一种研究.
-
rewriting rule:重写规则,改写规则
rewrite statement 重写语句 | rewriting rule 重写规则,改写规则 | rewriting statement 重写语句
-
overwriting:重写
overvoltage protection 过压保护 | overwriting 重写 | overwriting error 重写错误