automated abstracting

automated abstracting的基本解释

-

[计] 自动摘要

与automated abstracting相关的网络例句 [注：此内容来源于网络，仅供参考]

Electronic telephone pad is the "front-end" for your core database (every time a person calls, your core database is updated); Electronically track the in/out status of your staff and create automated integrated "find-me" exceptions; Business teams can deposit automated messages to potential callers to coordinate activities; Track your library books, files, documents and clients/customers/students/patients; Computer-generated automated e-mail notices for to-do items, which can be sent over the Internet to clients/customers/students/patients; Send automated integrated mass electronic mailings with a touch of a button.

电子电话垫是&前端&为您的核心数据库（每一次一个人的来电，您的核心数据库进行更新）；电子跟踪输入/输出的地位，您的工作人员和创建自动化集成&找到我&的例外情况；业务团队，可存款的自动邮件潜在的来电，以协调活动；追踪您的图书馆的图书，档案，文件和客户端/客户/学生/病人；计算机生成的自动电子邮件通知到办项目，可以通过互联网发送到用户端/客户/学生/病人；寄出自动的大规模综合电子邮购与用户只需轻触一个按钮。

Of an abstracting nature or having the power of abstracting .

指抽象的特点或者具有抽象的能力。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

与automated abstracting相关的网络解释 [注：此内容来源于网络，仅供参考]

魁北克地名自动数据管理系统 (地名数据系统);TOPOS;地名数据系统：automated data management system of Quebec toponymy

Automated Data Interchange Systems Panel;自动数据交... | automated data management system of Quebec toponymy;魁北克地名自动数据管理系统 (地名数据系统);TOPOS;地名数据系统 | Automated Light Microscope Sy...

abstracting service：摘录服务

abstract syntax of SGML SGML的抽象语法 | abstracting service 摘录服务 | abstracting, automatic 自动化摘录

abstracting, automatic：自动化摘录

abstracting service 摘录服务 | abstracting, automatic 自动化摘录 | abstraction 抽象性