命题公式集F(S)的基于R_0-算子的16类分划 被引量：4

1

作者 韩诚 王国俊 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2005年第3期553-558,共6页

利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.

关键词 分划 R0-算子 确定集 K=公式集 封闭类

下载PDF 职称材料

一种随机聚类法(Ⅱ)

2

作者 汪明瑾 《数学的实践与认识》 CSCD 北大核心 2002年第4期613-616,共4页

本文给出了一般情况下评价校验码算法的准则 .

关键词 随机聚类法 封闭类 均匀封闭类

原文传递

混凝土表面封闭类防水剂 被引量：1

3

作者 徐峰 《化学建材》 1992年第1期39-40,共2页

混凝土表面封闭类防水剂是指在混凝土表面涂施的一层能渗入其表面层毛细孔中使之具有憎水性的防水材料,如我国常用的有机硅类防水剂、硅酸钠类防水剂,以及国外使用的丙烯酸甲酯单体防水剂等。 1.渗入原因及表面封闭的防水机理混凝土渗... 混凝土表面封闭类防水剂是指在混凝土表面涂施的一层能渗入其表面层毛细孔中使之具有憎水性的防水材料,如我国常用的有机硅类防水剂、硅酸钠类防水剂,以及国外使用的丙烯酸甲酯单体防水剂等。 1.渗入原因及表面封闭的防水机理混凝土渗水的原因主要是由于外压作用,或由于其中的毛细孔吸附混凝土表面的水,或由于二者的综合作用。 展开更多

关键词 混凝土 防水剂 表面 有机硅 封闭类

下载PDF 职称材料

补充两种双主谓结构句 被引量：2

4

作者 马清华 《汉语学习》 1986年第4期18-20,共3页

关于双主谓结构句问题,曾有两篇文章进行过专门讨论。一是刘宁生《汉语口语中的双主谓结构句》(载《中国语文》83年第2期),一是徐复岭《另一类双主谓结构句》(载《中国语文通讯》84年第5期)。本文试在此基础上补充两种句式。 为称述方... 关于双主谓结构句问题,曾有两篇文章进行过专门讨论。一是刘宁生《汉语口语中的双主谓结构句》(载《中国语文》83年第2期),一是徐复岭《另一类双主谓结构句》(载《中国语文通讯》84年第5期)。本文试在此基础上补充两种句式。 为称述方便,将作主语的主谓短语记作主谓1,作谓语的记作主谓2,主谓2内部各成分分别记作主2、谓2、宾2。 A: (1)张医师不批药他认为没什么理由。 (2)杨舒生组织侦察连长觉得很合适。 (3)你在这件事上稀里糊涂我看不应该。 (4)他去不去我想关系不大。这类句子的特点是: (一)主谓2对主谓1表示某种看法。 (二)谓2一般是“认为、以为、想、看、觉得、说(≠‘说话’的‘说’)”等表示评议的及物性动词。这是一个有限的封闭类。主2有一定限制。“认为”、“以为”、“ 展开更多

关键词 主谓 双主 意念关系 句子 句式 主语 封闭类 词汇成分 变式句 “以为”

下载PDF 职称材料

浅议英语成对词

5

作者 杨廷君 《当代外语研究》 1996年第Z1期40-41,44,共3页

英语中有一种惯用短语,由连词and采用A and B格式连接而成,表达一个完整概念。人们习惯把这样的短语称之为“成对词”。尽管它们属于封闭类,其数量难以随社会的发展而增加,其出现频率却很高。笔者下边对其作简单介绍。

关键词 英语成对词 形容词 热自来水 词汇意义 连词and 封闭类 出现频率 为人民服务 单数形式 钢铁工业

原文传递

命题公式集F(S)在Godel系统中的一个24类分划

6

作者 张花荣 《兰州理工大学学报》 CAS 北大核心 2009年第6期138-140,共3页

将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.

关键词 分划 Godel系统 确定集 封闭类

下载PDF 职称材料

一种随机聚类法 被引量：2

7

作者 汪明瑾 《数学的实践与认识》 CSCD 北大核心 2002年第1期55-60,共6页

本文给出了一种新的随机聚类法 ,并应用这种方法分析了银行帐号 ,对于银行系统选择帐号校验码的算法这类问题有参考价值 .

关键词 随机聚类法 均匀封闭类 银行帐号 银行系统 校验码 银行网点电子化

原文传递

现代汉语句子中的开放类成分和封闭类成分

8

作者 张东赞 《山西大同大学学报（社会科学版）》 2019年第1期75-78,共4页

语言的开放类系统是句子中"质"的因素,主要表现时间、空间、以及性状领域中相关实体的概念内容。封闭类系统为句子提供一定的概念框架,句子通过这些框架把概念内容组织起来,从而形成一个有序的结构体。除此之外,封闭类系统中... 语言的开放类系统是句子中"质"的因素,主要表现时间、空间、以及性状领域中相关实体的概念内容。封闭类系统为句子提供一定的概念框架,句子通过这些框架把概念内容组织起来,从而形成一个有序的结构体。除此之外,封闭类系统中的成员所具有的拓扑性以及量级中性,能在一定程度上反映出概念内容相关的语法属性。 展开更多

关键词 开放类系统 封闭类系统 质 量

下载PDF 职称材料

英语标题式语言的语法特点和使用探究

9

作者 曾德光 《佛山科学技术学院学报（社会科学版）》 1995年第3期94-99,共6页

英语标题式语言文字简练，常用于揭示语、文章和新闻报导的题目、电报及某些应用文体；结构上以名词（或名词短语、名词分句及其他起名词作用的结构）为主；封闭类词的省略、动词的时态和体以及大写规则等有其共性而又各有特点．

关键词 标题式语言 名词 省略 封闭类词 时态和体

下载PDF 职称材料

关于英语介词的若干思考

10

作者 施佳 《温州大学学报（自然科学版）》 1995年第2期65-68,共4页

关键词 英语介词 介词词组 形容词 结构模式 名词词组 封闭类词 后置词 句子成分 即期汇票 介词宾语

下载PDF 职称材料

波斯特封闭类与离散谓词系统

11

作者 窦如静 《计算机工程》 CAS CSCD 北大核心 2001年第9期21-23,共3页

概述波斯特封闭类与离散谓词系统的研究成果，提出这类研究中的新问题和应用前景。

关键词 人工智能系统 知识库 波斯特封闭类 离散谓词系统 代数系统

下载PDF 职称材料

如何解决时间旅行和因果关系之间的矛盾

12

作者 郝好山 孙文起 《新乡师范高等专科学校学报》 2000年第4期36-38,共3页

本文在分别讨论了诺维柯夫的“自洽性原理”和霍金的“时序保护猜想”解决时间旅行和因果关系之间矛盾的具体方案后，指出两个方案中可能存在的问题，从而得出较为合理的结论。

关键词 时间旅行 封闭类时曲线 因果关系 自洽性原理 时序保护猜想

下载PDF 职称材料

反射机制在Android开发中的应用

13

作者 武海斌 《中国电子商务》 2013年第10期73-73,共1页

随着hndroid系统在智能手机中所占份额的日益增加，越来越多的企业和个人开发者加入到Android手机应用开发的行列。截至到2013年2月，Android市场应用数量已经达到80万。而在软件开发过程中，往往有一些优秀的软件设计由于Android系统的... 随着hndroid系统在智能手机中所占份额的日益增加，越来越多的企业和个人开发者加入到Android手机应用开发的行列。截至到2013年2月，Android市场应用数量已经达到80万。而在软件开发过程中，往往有一些优秀的软件设计由于Android系统的API限制无法实现。如何突破API的限制，调用系统的封闭方法，实现软件设计需求，是Android软件开发中的一个重点。本文主要介绍了JAVA的反射机制和利用它调用hndroid系统封闭类的方法。 展开更多

关键词 ANDROID 反射机制 封闭类

下载PDF 职称材料

运动事件封闭和开放语类的体验对比研究——以英语路径动词为例 被引量：7

14

作者 杨京鹏 托娅 《外语教学》 CSSCI 北大核心 2013年第5期7-12,共6页

本文以Talmy的运动事件理论为依据,采用实证方法对英语运动事件动词与短语进行认知表征体验的对比分析。研究发现,在开放语类替换为包含封闭语类的动词短语后,运动事件中英语动词和动词短语的认知表征体验存在明显差别,且该差别具有一... 本文以Talmy的运动事件理论为依据,采用实证方法对英语运动事件动词与短语进行认知表征体验的对比分析。研究发现,在开放语类替换为包含封闭语类的动词短语后,运动事件中英语动词和动词短语的认知表征体验存在明显差别,且该差别具有一定程度的普遍性;其概念成分也会发生不同程度的变化。其中,图形和背景概念根据是否凸显可能会发生变化,运动概念发生变化,路径概念总体趋于发生变化。路径概念包含的矢量特征发生变化,构型概念根据是否凸显可能发生变化,指示概念不发生变化。矢量概念包含的三个概念成分中,"起点"保持不变,"途中"根据替换后路径概念的偏离程度可能发生变化,"终点"发生变化。研究结论支持Talmy(2000a)的理论假设,并对其结论进行了必要的扩展和延伸。 展开更多

关键词 运动事件 封闭语类 开放语类 英语动词

原文传递

双主体认知逻辑研究 被引量：4

15

作者 许涤非 《自然辩证法研究》 CSSCI 北大核心 2002年第z1期1-5,共5页

本文介绍了双主体认知逻辑的语义学，给出了双主体认知逻辑的若干系统。这些系统刻画了寻找交流对象和学习对象的条件。而且证明了这些系统的可靠性和其中一些系统的完全性。

关键词 模拟 封闭框架类 有效性 典范模型

下载PDF 职称材料