论篇章连贯在英汉翻译中的重要性

英汉翻译是将英语语言的深层结构译成汉语语言的深层结构，译所传达的是原深层结构的信息，保持原探层结构的意义和风格。因此，在翻译过程中既要体现语义的一致性，还要体现篇章的连贯性。篇章连贯实现的手段通常有语义连贯、逻辑连贯和语篇连贯三种。只有充分重视篇章连贯，才能更好地进行英汉翻译。     

逻辑设计中比较逻辑的参与

针对带有比较器的数字逻辑电路,本文提出一种比较逻辑参与的设计方法,使设计的结果更为简单和合理。     

在列率域上的特征函数

在随机系统的分析中,许多问题可以借助特征函数得出简单的解法。本文是模拟 Fourier分析,引出 Walsh(沃尔什)分析。首先引入二进导数的概念,并用数学期望的概念来定义 Walsh 特征函数,对所对应的 Walsh 特征函数,经过 Gibbs 导数运算子,导出了矩的概念和性质,而且介绍了矩的计算法。同时也导出了研究函数的二进(逻辑)导数的 Walsh 变换结果。本文仅对一个随机变量的情况进行研究。     

CIMS环境中的一个知识型数据库

本文分析了ＣＩＭＳ环境中软件及硬件管理方面的问题，设计了一个搜集各种知识的知识型数据库，并以注塑模具为研究对象，研究并搜集模具设计、制造过程中生成及应用的知识．     

牛顿科学的"推理规则"与科学发现的逻辑

牛顿在<自然哲学的数学原理>中提出的"哲学中的推理规则",不仅浓缩了牛顿时代有关科学方法论的许多内容,而且还蕴涵着在此之后有关"科学发现的逻辑"问题的历史变化的思想根源,甚至这一规则也可以作为今天"复活发现逻辑"的一个典型的科学史范例.     

"罗斯悖论"研究述评及方法论思考

"罗斯悖论"是道义逻辑中的第一个"悖论",对此中外学者有过诸多研究,见解纷呈.在评述以往学界研究成果的基础上,通过语境原则的讨论和"悖论度"概念的引入,可以进一步澄清罗斯悖论的实质及其方法论价值.     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

智能控制在发酵过程控制中的应用

本文对基于知识的智能控制的控制系统的体系结构、主要概念、功能及特点、发展前景和目前所存在的主要问题进行分析与研究，对直接模糊控制、监督模糊控制及基于专家系统的监督控制的应用情况进行说明。     

基于预瞄的山区高速公路弯坡组合段 驾驶人车速模糊控制模型

为研究车辆驾驶人在山区高速公路弯坡组合路段的车速控制行为,提出了基于预瞄的山区高速公路弯坡组合路段安全车速认知模糊输入和输出参数集,通过实车试验,建立了包含101条车速模糊控制规则集的车速控制模型,并在西汉高速公路山区段选取6处典型路段进行了对比验证. 研究结果表明,模型预测结果与实测结果平均相对误差为3.8%,可较好地描述车速的控制行为.