| 单词 | 数理逻辑 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 释义 | 数理逻辑 —mathematical logicsymbolic logicSee also:数理 adj—mathematical adj 数理—mathematical sciences 逻辑—logic (loanword)
|
根据评估结 果，秘书处编写了一份总体概念和设计文件，其中包括外 部和内部模块以及一项科技数据管 理逻辑 框 架。 daccess-ods.un.org | Based on the outcomes of this assessment, a general concept and design, [...] including external and [...] internal modules and a logical framework for scientific and technical data management, was prepared. daccess-ods.un.org |
与缓存池不同的是， 逻辑分区 对操作系统是透明的，可用于安装操 作系统或者保存其他要求高速低延迟访问的 数据。 adaptec.com | The logical partition, unlike the cache pool, is exposed to the operating system, and can be used to install an OS to it or store other data that requires fast, [...] low-latency access. adaptec.com |
Navicat Data [...] Modeler 是一个强大的和符合成本效益的数据库设计工具，它可让用户创建高质 素 逻辑 和 物 理数 据 模 型。 navicat.com.cn | Navicat Data Modeler is a powerful and cost-effective database design tool which help users [...] build high-quality logical and physical data models. navicat.com |
处理程序是编写与处理 Web 服务请求有关的业务逻辑的另 一种手段。 huihoo.org | Handlers are [...] another means of writing business logic associated with processing a Web [...]services request. huihoo.org |
您的权利包括：从Gucci获知您的个人数据是否仍存在于公司的数据库中；以适当形式获取数据通信，获知个 人 数 据 来 源以及 处 理逻辑 ； 清除、匿名化或阻止任何非法处理 的 数 据 ， 以及更新、修正或整合数据；以正当理由拒绝处理您的全部或部分个人数据。 gucci.com | In particular, you have the right to obtain from Gucci the confirmation as to whether or not personal data concerning you exist in the company database; you have the right to obtain the communication of the data in intelligible form, to be [...] informed of the source of the [...] personal data and the logic applied to the processing; you have the right to obtain erasure, anonymization or blocking of data that has been processed [...]unlawfully as [...]well as updating , rectification or, where interested therein, integration of the data; you have the right to object, in whole or in part, on legitimate grounds, to the processing of personal data concerning you. gucci.com |
能够有效地控制实际可行的性能负载包 括 逻辑 与 数 据 流。 javakaiyuan.com | Can effectively control the performance [...] of practical logic and data flow , including [...]the load . javakaiyuan.com |
买方，如果他确定他的身份，有权向卖方索取有关的个人资料，证实关于他的或不受到这种待遇，信息加工用途，个人资料的处理和类别的受助人或受助会员国类别该等资料披露，在适当的转移，个人资 料 数 据 认 为注定非欧洲共同体 ， 数 据 通信在个人可访问的形式到有关他的任何现有资料的来源及其信息，要知道，挑 战 逻辑 在 自动 处 理 决 定 的基础上，采取个人及其和生产方面的法律效果探讨。 zh.horloger-paris.com | The Buyer, if he establishes his identity, has the right to question the Seller to obtain confirmation that personal data concerning him are or are not subjected to this treatment, information on for purposes of processing, the categories of personal data processed and the recipients or [...] categories of [...] recipients to whom the data are disclosed, where appropriate, information on transfers of personal data considered destined for a non-member State European Community, the communication in an accessible form of personal data concerning him and any available information on the origin thereof, of information to know and challenge the logic- the automatic processing where a decision [...]taken on the basis thereof [...]and producing legal effects in respect of the individual. en.horloger-paris.com |
它外观纤巧，能够支持各种高速交易，是众多智能卡解决方案（包括公共身份验证(PIV)、门禁 和 逻辑 访 问 控制 、 数 字 签 名、网上银行等） 的 理 想 之 选。 acs.com.hk | With an elegant design and capability to support high speed transactions, ACR3801 is ideal for a broad range of smart card solutions, [...] including Public Identity [...] Verification (PIV), Physical and Logical Access Control, Digital Signature, and Online Banking. acs.com.hk |
至于可做到查出近似匹配的查询逻辑 ， 一般认为，虽然现代查询算法在设 计上可限制近拟匹配的数量， 但这种设计带来例如下列问题：(a)并非所有近似 匹配的通知都查出来，因为需要解决如何定义“近似匹配”这个复杂问题，并 且由此会导致法律上的不确定性；(b)近似匹配的通知列表可能很长，这种情况 有可能导致再作查询和对使用者造成高昂的费用及对登记处造成行政 管 理负 担 ；(c)允许查询结果查出近拟匹配可能会造成负面影响，不明确什么构成一项 登记有效所需的充分的设保人身份识别标志（见《担保交易指南》建议 58）。 daccess-ods.un.org | As to a search logic that would allow close matches to be retrieved, it was generally thought that, while modern search algorithms could be designed to limit the number of close matches, such design presented problems, such as the following: (a) not all closely matching notices would be retrieved, as it required addressing a complex question of defining “close matches” and resulted in legal uncertainty; (b) the list of closely matching notices could be long, a fact that might lead to additional searches and result in high fees for the user and administrative burden [...] on the registry; [...](c) allowing search results to retrieve close matches might have a negative impact on what constituted a sufficient grantor identifier for a registration to be effective (see recommendation 58 of the Secured Transactions Guide). daccess-ods.un.org |
我们寻求理解并 探寻的微动态信息，将 以 数 据 库 逻辑 的 当代使用为基础。 shanghaibiennale.org | The informational micro-dynamics we [...] seek to understand and elicit will be based on contemporary use of database logics. shanghaibiennale.org |
磁盘信息包括其物理 参数（联机类型、设备类型、大小等）；分区信息包括 物 理 参 数 ( 扇 区 、位置等） 和 逻辑 参 数（ 文件系统、可用空间、指定代号等）。 seagate.com | The disc information includes its physical parameters (connection type, device type, size, etc.); partition information includes both physical (sectors, [...] location, etc.), and logical (file system, free space, assigned letter, etc.) parameters. seagate.com |
咨询委员会回 顾，多年来发展账户管理和行 政得到了改善和加强，包括规定为期四年的项目实 施周期，必须按照全面逻辑框架提交详细项目文件并提交最终评价报告，以及设 立指导委员会和能力发展办公室，重新设计网站，改进基于互联网的协调，使各 方更容易了解项目信息和扩大影响(A/64/7，第十三.6-十三.7 段)。 daccess-ods.un.org | The Advisory Committee recalls that the [...] management and administration of the Development Account have been improved and strengthened over the years, including the institution of a four-year project implementation cycle, mandatory submission of detailed project documents based on comprehensive logical frameworks and final [...]evaluation reports, [...]the establishment of the Steering Committee and the Capacity Development Office, and the redesign of the website for improved Internet-based coordination and greater accessibility to project information and impact (A/64/7, paras. XIII.6-XIII.7). daccess-ods.un.org |
这些会议讨论了诸如以下的问题：听众--用户的连接、内容/技术构架 、逻 辑框架、管理和推 销、管理和培训、编辑方针、以及培训。 unesdoc.unesco.org | These meetings discussed such issues as audience-user [...] interface; contents/technical [...] architecture; logical framework; management and marketing; management and training; editorial principles; [...]and training. unesdoc.unesco.org |
由于两种方法都有逻辑上的理据，而作为这个问题上的做法是自相矛盾 的，委员会被迫进行逐渐的发展。 daccess-ods.un.org | As there were logical justifications for both [...] approaches, and as practice in the matter was ambivalent, the Commission was [...]compelled to engage in progressive development. daccess-ods.un.org |
虽然 Modbus 之类的 协议允许任何两个设备之间发生一个单一对话，但是 PPP 更类似于一个以太网连接， 因为它允许在一个单一物理链接 上存在不 限 数 目 的 逻辑 连 接。 redlion.net | While protocols such a Modbus allow a single conversation to occur between any two devices, PPP is more akin to [...] an Ethernet connection in that it [...] allows an unlimited number of logical connections to exist on a single physical link. redlion.net |
若当前硬盘使用了逻辑数据编 码方法，可选择样本符号（或基本数据位）序列并写入扇区，以 [...] 便重复并有效地抹除机密信息。 seagate.com | Using logical data encoding methods in [...] current hard discs, you can select samples of symbol (or elementary data bit) sequences [...]to be written to sectors in order to repeatedly and effectively wipe confidential information. seagate.com |
这些框架引入的理念有：通过视图模板分离业务和展 示 逻辑 、 数 据 库交互用的ORM、还有测试驱动开发；早在Rails诞生5年之前，这些理念就已经体现在Zope之中了。 infoq.com | These frameworks [...] introduced concepts like separation of business and display logic via view templating, ORMs for database [...]interaction, and test-driven [...]development were built into Zope 5 years before Rails was born. infoq.com |
支持多种语言，采用面向对象开发，设计成独立 于 数 据 库 ，表现 与 逻辑 相 互 分离。 javakaiyuan.com | Support for multiple languages [...] , object-oriented development , designed to be [...] independent of the database , the performance and logic are separated . javakaiyuan.com |
这些依照相关的政治行动者拟订的议程组成一个主导框 架，以加强民主制和改变国家管理的 逻辑。 daccess-ods.un.org | These agendas, expressed by the female political actors themselves, provide a guiding framework for bolstering democracy and transforming the rationale behind public administration. daccess-ods.un.org |
因此由于《协议》有关缓期期限的标准范围十分广泛，以公共健康 为 理由 为 单独授予某一领域缓期期限是十分不 合 逻辑 的。 iprcommission.org | It is not therefore very logical to grant an extension for one sector on the grounds of public health to a specific future date, when the criteria under TRIPS for granting extensions are far more broadly based. iprcommission.org |
利用IT优势：尽管很多矿业公司表示出创新的意愿，但它们在利用如数据分析法等后端技术、或并购结束之后有效整合不同技术平台方面却未能成功。为了在降低成本的同时改善运营，它们应当重新审视其IT策略，并且考虑投资可编 程 逻辑 控 制 器（PLC）、检测控制 和 数 据 采 集（SCADA）系统、制造执行系统（MES）、商业智能系统、数据分析法以及高级制造系统。 deloitte.com | At the IT edge: Despite demonstrated willingness to innovate, many mining companies fail to leverage back-end technology, such as data analytics or properly integrating disparate technology platforms following an M&A. To improve operations while reducing costs, they should revisit their IT strategies [...] and consider investing [...] in programmable logic controllers (PLCs), supervisory control and data acquisition [...](SCADA) systems, manufacturing execution systems (MES), business intelligence systems, data analytics and advanced manufacturing systems. deloitte.com |
根据访问 Port 的不同业务逻辑，客户机处理程序 可能需要支持多线程执行。 huihoo.org | Client handlers may need to support multi-threaded execution [...] depending on the business logic which is accessing the Port. huihoo.org |
您会学习基础性的Oracle概念以及它们是如何与数据库 管 理 员 和开发员相关的, 辨别和使用逻辑数据库 设计技术来设计一个基础实体关系图解，验证不正常化的目的，辨别iSQL*Plus的优点和缺点，通过编写SQL陈述来恢复和操纵数据，创建并执行一个简单 [...] PL/SQL程序，排列出数据包的目的和句法，过程，引发器和功能，列出Oracle数据库中的对象，并检查整个Oracle关系数据库管理系统(RDBMS)的构架。 vast-talent.com | Examine the basic Oracle concepts [...] and how they relate to database [...] administrators and developers, identify and apply the techniques of logical database design [...]to design a basic entity-relationship [...]diagram, examine the purpose of denormalization, identify the advantages and disadvantages of iSQL*Plus, write SQL statements to retrieve and manipulate data, create and execute a simple PL/SQL program, list the purpose and syntax of packages, procedures, triggers, and functions, list the objects in an Oracle database, and examine the overall architecture of the Oracle Relational Database Management System (RDBMS). vast-talent.com |
除了一般的数据库管理功能，如编辑 或 设 计表 、 数 据 写 入、数据库转储，及创建或编辑用户，其他有用的功能包括：导入/导出向导、报表创建工具、查询创建工具、自动完成代码、数据/结构同步，批处理作业计划，HTTP/SSH 通道连接、备份等等。 navicat.com.cn | Besides general [...] database administration functions like edit/design tables, data entry, SQL dump, and create/edit users, other [...]useful features include [...]the Import/Export Wizard, Report Builder, Query Builder, Code Completion, Data/Structure Synchronization, Batch Job Scheduler, HTTP/SSH Tunnel Connection, Backup and more. navicat.co.kr |
其语法形式为IRR(values,guess) [...] [...] 其中values为数组或单元格的引用，包含用来计算内部收益率的数字，values必须包含至少一个正值和一个负值，以计算内部收益率，函数IRR根据数值的顺序来解释现金流的顺序，故应确定按需要的顺序输入了支付和收入 的 数 值 ，如 果 数 组 或引用包含文本 、 逻辑 值 或空白单元格，这 些 数 值 将被忽略；guess为对函数IRR计算结果的估计值，excel使用迭代法计算函数IRR从guess开始，函数IRR不断修正收益率，直至结果的精度达到0.00001%，如果函数IRR经过20次迭代，仍未找到结果，则返回错误值#NUM！，在大多数情况下，并不需要为函数IRR的计算提供guess值，如果省略guess，假设它为0.1（10%）。 oapdf.com | Its grammatical form of IRR (values, guess) in which values for the array or cell reference, including the internal rate of return used to calculate the figures, values must contain at least one positive and one negative, to calculate the internal rate of return, IRR function Based on the numerical order to explain the order of cash flow should be determined by the need to enter [...] the order of payment [...] and income values, or if the array reference that contains text, logical values or blank cells, these values will [...]be ignored; guess [...]as to the function IRR calculation of the estimated value, excel using the iterative method to calculate IRR function to start from the guess function and constantly modify the rate of return IRR, until the results of the accuracy of 0.00001%, if the IRR function after 20 iterations, is still unable to find results, return error value # NUM! oapdf.com |
虽然从逻辑上讲，缔约国的工作 重点一直是实现直接受地雷影响者的权利和满足其需要，但缔约国已逐渐认识 到，在某些情况下，可能有必要设法从更大程度上满足家庭的需要，例如，在心 理支持 、重新融入经济生活及支持儿童接受教育等领域，因为缔约国也应当顾及 伤亡人员家庭受到的影响。 daccess-ods.un.org | While logically the emphasis of the States Parties’ efforts have been on addressing the rights and needs of those directly impacted by mines, the States Parties have come to recognise that it may be necessary to seek to address to a greater extent the needs of families, for example, in the area of psychological support, [...] economic reintegration / inclusion, and support for the education of children, [...]as the impact on the family of those killed or injured should also be taken into account. daccess-ods.un.org |
他强调，政治领导人和政党应发挥 [...] 关键性作用，并要求他们回应极端主义政党、运动和团体的民粹化和过于简单化 的言论，重新确立移民、不安全和失业等问题的相关事实，通过 合 理 的 论 证驳斥 不合逻辑的说法。 daccess-ods.un.org | He therefore emphasizes the key role that political leaders and political parties have to play, and calls upon them to provide answers to the populist and oversimplified statements of extremist political parties, movements and groups by re-establishing the facts associated with the issues [...] posed by, inter alia, immigration, insecurity and [...] unemployment, and by refuting illogical claims through reasoned [...]argument. daccess-ods.un.org |
公司广泛的产品组合包括电源和信号 管 理 、 逻辑 、 分 立及定制器件，帮助客户高效地解决他们在汽车、通信、计算机、消费电子、工业、LED [...] 照明、医疗、军事/航空航天及电源应用中的设计难题。 digikey.cn | The company offers a comprehensive [...] portfolio of energy efficient power and [...] signal management, logic, discrete and custom [...]solutions to help customers solve their [...]unique design challenges in automotive, communications, computing, consumer, industrial, LED lighting, medical, military/aerospace and power supply applications. digikey.ca |
秘书长关于防止灭绝种族罪行问题特别顾问工 作方面的特别政治任务的估计费用的报告 (A/65/328/Add.1 和 Corr.1 和 [...] 2)中所载各项提议显 然违反了大会关于处理逻辑框架 和在预算文件中所 说明的议事规则。 daccess-ods.un.org | The proposals contained in the report of the Secretary-General on estimates in respect of special political missions (A/65/328/Add.1 and Corr.1 and 2) relating to the work of the Special Adviser on the Prevention of Genocide clearly violated the rules and procedures [...] of the General Assembly with regard to [...] the treatment of logical frameworks and [...]the presentation of narratives in budget documents. daccess-ods.un.org |
英汉双解词典包含2273206条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。