基于泛灰区间数的齿轮传动设计参数分析

机械零件设计中许多设计参数往往以范围给定,设计人员需在不确定信息下确定设计参数的精确值,其设计思路包含着IF-THEN的判断逻辑.根据泛灰的运算法则,以齿轮设计计算为例,对所有条件集所产生的结果集进行分析计算,并对计算结果进行了充分讨论.此方法为机械零部件产品的设计和产品的评估提供了理论依据,具有重要的参考价值.     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

数据库自然语言查询条件研究

通过对汉语查询句的研究,建立了复合概念、逻辑概念与标准概念的内在联系.通过分析各种查询条件,得出查询条件表达式可以形式化表示为二叉树的结论,在此基础上,构造了查询条件字符块转换为二叉树的一套算法.     

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。     

基于约束符号集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式,而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,本文方法可以精确的分析C程序中的条件表达式。     

一种考虑标签语义的XML关键字查询算法

针对XML（可扩展标记语言）文档提出的信息单元和信息特征的概念,利用信息单元作为候选查询结果,以信息特征表征标签信息,结合XML文档的结构语义,在TF＊IDF模型的基础上,设计了查询结果的相关度排序策略.该策略同时涉及了查询结果的结构信息和内容信息,计算了信息特征的重要性,且能利用信息特征的重要性衡量不同信息特征下关键...     

四值逻辑代数及触发器

本文讨论了四值逻辑代数和T运算,指出四值模代数运算不是完备系。文中给出了四值D,T,JK以及全功能触发器的逻辑设计及性能。     

信息不对称条件下地方政府对能耗偏好性研究

通过建立数理规划模型来研究信息不对称条件下地方政府对中央政府配置能耗指标所采取的策略,并利用无差异等效用能耗曲线和期望能耗曲线进行辅肋分析和研究.研究发现:在信息不对称条件下,各地方政府居于节能降耗任务的约束,高能耗省更有积极性模仿低能耗省,而为获取这一信息中央政府在把节能降耗总目标分解到各个省时不可避免要付出信息成本值,导致信息不完全对称条件下社会总产出值相对于完全信息下的社会总产出值要小的事实,而两者之间的差额正是中央政府必须要付出的信息成本值.     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

任意逻辑表达式化简系统的分析

在逻辑线路的设计中,逻辑表达式越简单,线路实现起来就越经济,可靠性也越高。常用的卡诺图法通常会用于化简含有四个变量的逻辑表达式,但在变量超过八个时性能也会急剧下降。本文尝试通过不将逻辑表达式化简到最简形式以提高化简的效率,以便处理当逻辑表达式的变量增多和变复杂时的情况。