您现在的位置:生物医药大词典 >> 英汉双语句子大全 >> 的意思
Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.
中文意思:
摘要在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。


以下为相关句子列表(点击查看,可以看对应的解释):
Based on our own simulation results and results of some numerical simulation of single Fold structure by other investigators in recent years, the factors that affect single fold shapes and the variation of maximum principal stress and horizontal strain du 本文结合近年来单层褶皱构造数值模拟研究进展,以及笔者近几年来对单层褶皱所进行的数值模拟实验研究,主要论述了单层褶皱变形的影响因素,单层褶皱变形过程中的最大主应力与水平应变的变化及其影响因素等。
Based on our several major crowd of employment conditions, elaborated on China's employment status, trends and causes, and the employment of Chinese crux of the root causes into education and social re-education investment, neglect of human capital invest 本文从我国几大主要人群的就业情况出发,阐述了我国就业问题的现状,趋势以及原因,把中国就业症结的根本原因归纳为教育和社会再教育投资不足、忽视人力资本投资和忽视劳动者基本权益,从中得出一条直线,教育——就业——经济,因而,只要我们大力投资教育和社会再教育,致力于学习型社会的建设,就业问题就得到缓解。
Based on our tests of a Paladin vs Warrior vs Druid in Bear form, Paladins are now more effective than Bear Form Druids but are less Effective than Warriors. 根据我们对圣骑士、战士、熊德做的测试,圣骑士作为坦克时将比熊德更为优秀,比战士差。
Based on our two-dimensional approximate theoretical analysis, a transfer function model of the acoustic characteristics of underwater anechoic coating with various backings is established on the low-frequency range. 摘要在吸声覆盖层水声声管测试的实验研究中,覆盖层背衬的选择对测量结果有重大影响。
Based on output wave of HS2260 encoding chip,this paper analyzes the encoding features of this chip and come up with the specific method of auto-adapted baud rate decoding of this chip by MCU and the method that was used in the long-click and double-click 从HS2260编码芯片的输出波形入手,分析了该芯片的编码特征,提出了使用单片机对其进行自适应波特率解码的方法,同时也提出了该芯片在遥控器应用中的长键及双击动作的识别方法。
Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally. 摘要在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出。
Based on past experience, this type of auto-hub bearing is the most dependable and reliable. 基于过去的经验,这类型的汽车轮毂轴承是最值得信赖和可靠.
Based on pattern design of ancient Chinese buildings, this paper explores its ethical norms, rational spirit and philosophy, and expound the pattern design feature of the combination of rationality and emotion in possession of ancient Chinese buildings. 摘要以中国古代建筑的形态设计为基础,探讨其蕴含的伦理规范、理性精神和哲学思想,阐明中国古代建筑所具有的融理情于一体的形态设计特征。
Based on physical metallurgy microstructural evolution rule and experiential expressions, calculation module of coupling microstructural evolution of metal hot deformation process had been developed. 摘要根据物理冶金组织演变规律和经验公式,开发了金属热变形过程耦合组织演变的计算模块。
Based on plenty of experience and special welding technology on pressure vessel, and strict pressure vessel quality management system, we supplied great quantity of welding pump parts for domestic and international pump manufacturers. 我公司凭借多年生产压力容器的经验和专业焊接技术,以及严格的压力容器质量管理体系,为国内外水泵制造厂提供了大量的水泵焊接部件。
Based on poor glandular formation, necrosis, cellular atypia, nuclear pleomorphism, invasion of soft tissue and bone, and vascular permeation. 主要基于腺管的结构分化不良,坏死,细胞异型性,核多型性,软组织和骨浸润以及血管浸润。
 
你知道它的英文吗?
你知道中文意思吗?
热门分类


成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今 生物医药大词典- 自2008年3月1日开始服务 生物谷www.bioon.com团队研发
沪ICP备14018916号-1