查询词典 implementation
- 与 implementation 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.
本项目研究旨在根据XYZ系统的特性,在时序逻辑语言XYZ/E的基础上,提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL,使之不仅能够对软件体系结构进行精确的形式化描述,而且为对其进行求精、验证、演化和分析提供基础,从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构,并逐步过渡到最后的算法实现,从而能够支持软件开发设计的逐步求精全过程,把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。
-
If T is signed and N is not directly representable, the result t is implementation-defined , which means that the C++ implementation is required to produce a value t even if it is totally unrelated to s .
如果 T 是有符号的且 N 不是可直接表示的,则结果 t 是依实现定义的,即C++实现被要求产生一个值 t 即使它与 s 完全无关。
-
The main method in my implementation is Commit (in your implementation, it can be Rollback).
在我实施的主要方法是凯明。
-
Irregular run-time support library is used to simplify the implementation of this preprocessing and the communication of irregularly accessed array so that irregular computation and its compiler implementation are supported.
为了解决上述问题,我们采用运行时编译技术,在实际进行计算以前的预处理阶段分析问题的依赖结构,动态地确定数据的存取模式,然后,使用预处理阶段提取的信息产生通信,提高计算的性能。
-
Our experiments show that, in most cases, the performance of such an implementation is as good as that of Intel's native PFS. In other cases, such as small sequential file access, large I/O requests and collective I/O, the SIO implementation is much more stable and better than that of the PFS.
我们的实验结果表明,在大多数情况下,这种实现方式下PFS的性能与原始的PFS性能相当,在某些情况下,如较小的顺序文件存取、较大的I/O请求、和Collective I/O,SIO-LLAPI上的PFS实现比原始的PFS性能更稳定和更好。
-
To this end, Shunde reunification and improve the land requisition compensation standards for land compensation and resettlement fees for individual parts of a one-time allocation of shares in accordance with honor, so that the interests of farmers to be the fastest most direct implementation; curing homestead villagers, the villagers issued a one-time residential construction land arrangements for the construction of indicators and year after year to solve the "limited land resources to implement an unlimited distribution" problem; the abolition of the construction of village-level decentralization of industrial sites remain targets, stop approving the non-fragmented集约工业区of agricultural land to switch to the implementation by the proportion of land area set-aside land for building approach, to the Village to develop enough land to stay.
为此,顺德统一和提高征地补偿标准,土地补偿和安置补助费的个别部分一次性分配股份按照荣誉,使农民利益得到最快最直接的执行情况;固化霍姆斯泰德村民,村民们发出了一次性住房建设用地安排建设的指标和年复一年地解决了"土地资源有限,实施无限分配"问题;废除建设村一级的权力下放的工业网站仍然指标,停止审批非支离破碎集约工业区的农田切换到执行土地面积的比例预留土地兴建的办法,对村开发足够的土地,留下来。
-
Semicolon problem comes out from Ecmascript standard inner tube actually, the context that inserted semicolon principle automatically in Es standard to break grammar has nothing to do quality, so implementation rises very troublesome have 3 kinds of means of settlements: 1, completely handwritten Parser2, modification grammar (in regarding terminative Fu Fang as to enter generation type line feed accord with), this kind of method is the most troublesome 3, modification ParserGenerator produces a mistake to restore code, whether is be being judged when encountering solecism caused in the absense of semicolon, whether to if be,satisfy in judgement insert semicolon principle (if encounter right big bracket or line feed) it is the most convenient that implementation of the 3rd kind of method rises, but the Parser support mistake that needs ParserGenerator generation restores.
分号问题其实是从Ecmascript标准里带出来的,es标准中的自动插入分号原则打破了语法的上下文无关性,所以实现起来很麻烦有三种解决方法:1,完全手写Parser2,修改语法(把换行符作为终结符放入产生式中),这种办法最麻烦3,修改ParserGenerator产生错误恢复代码,在遇到语法错误时判断是否是由于缺少分号引起的,如果是在判断是否满足插入分号原则(如遇到右大括号或者换行)第三种办法实现起来是最方便的,但是需要ParserGenerator产生的Parser支持错误恢复。
-
In this paper, enterprise information system planning, implementation methods and the theory based on the combined business of the actual situation and put forward for business characteristics and stage of development of information systems planning and implementation of the program.
本文在研究企业信息系统规划内容、方法和实施的理论基础上,结合企业实际情况,提出适合企业特点和发展阶段的信息系统规划和实施方案。
-
The company has rich experience in the implementation of system integration and after-sales service repair experience for the successful implementation of a number of units in system integration projects, and received by users.
公司拥有丰富系统集成实施经验和售后服务维修经验,成功的为多家单位实施系统集成项目,并获得用户好评。
-
Introduced the basic principles, implementation, and the theoretical curve fitting method, and gives the implementation process and the preparation of some of the software interface.
介绍了基本原理,执行办法,以及曲线拟合的理论方法,并给出了实现的程序和编制软件的部分界面。
- 推荐网络例句
-
The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.
采用不同浓度K2CrO4(0,0.4,0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗,测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。
-
By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.
通过分析数学形态学在图像中的理论基础,研究二值图像的形态分析算法,探讨最小结构元素的两种基本形态:膨胀和腐蚀;分析了数学形态学复杂算法的基本原理,把数学形态学的部分并行处理理念引入到家实际应用中。
-
Have a good policy environment, real estate, secondary and tertiary markets can develop more rapidly and improved.
有一个良好的政策环境,房地产,二级和三级市场的发展更加迅速改善。