混合语义时间Petri网模型 被引量：11

1

作者 潘理 丁志军 郭观七 《软件学报》 EI CSCD 北大核心 2011年第6期1199-1209,共11页

提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证... 提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3种语义模型的调度分析能力. 展开更多

关键词 时间PETRI网 混合语义 图灵等价性 不可判定性 调度分析

在线阅读 下载PDF 职称材料

含导体边界的等离子体空间二维静电场PIC算法 被引量：4

2

作者 王甲富 屈马林 +1 位作者 屈绍波 王斌科 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2006年第5期60-62,共3页

讨论了有界等离子体区域含待定边界条件导体时,二维准静电场方程与边界条件的耦合问题。通过典型问题的具体分析,提出处理这种边界条件的PIC算法。将其用于气体放电等离子体吸波管的数值模型,给出空间电势的正确分布。研究结果对丰富PI... 讨论了有界等离子体区域含待定边界条件导体时,二维准静电场方程与边界条件的耦合问题。通过典型问题的具体分析,提出处理这种边界条件的PIC算法。将其用于气体放电等离子体吸波管的数值模型,给出空间电势的正确分布。研究结果对丰富PIC粒子模拟程序的应用具有重要的意义。 展开更多

关键词 PIC粒子模拟 待定边界条件导体 气体放电吸波管

在线阅读 下载PDF 职称材料

基于改进测量系统的非定步距相位轮廓测量技术研究 被引量：3

3

作者 周明安 徐建亮 方晓汾 《计量学报》 CSCD 北大核心 2016年第2期128-132,共5页

提出一种基于改进测量系统,该系统放宽了传统测量光路的3个约束,降低对系统结构的要求;同时结合非定步距轮廓测量技术,与传统相位轮廓测量技术相比较,无需保证等步距相移量,且仅需两幅畸变光栅图像就可以重建物体的三维轮廓。通过理论分... 提出一种基于改进测量系统,该系统放宽了传统测量光路的3个约束,降低对系统结构的要求;同时结合非定步距轮廓测量技术,与传统相位轮廓测量技术相比较,无需保证等步距相移量,且仅需两幅畸变光栅图像就可以重建物体的三维轮廓。通过理论分析,推导出高度与相位之间的非线性映射函数关系式。实验证明,在满足一定精度要求的同时,该系统对结构条件要求较低,测量速度较快,具有较强的可操作性。 展开更多

关键词 计量学 相位轮廓测量术 非定步距算法 三维轮廓重建

在线阅读 下载PDF 职称材料

当代社会的后现代性——鲍曼思想解读 被引量：5

4

作者 何林军 《晓庄学院社会科学学报》 CSSCI 北大核心 2005年第3期36-40,共5页

鲍曼全面细致地描述了当代社会的后现代性质,认为后现代知识分子身份已从立法者转变为阐释者,流动的个体化社会表征为自由的获得和安全感的缺乏,后现代精神的基本特征是不确定性和多元主义,因此需要建立一种保证和体现"道德自我&qu... 鲍曼全面细致地描述了当代社会的后现代性质,认为后现代知识分子身份已从立法者转变为阐释者,流动的个体化社会表征为自由的获得和安全感的缺乏,后现代精神的基本特征是不确定性和多元主义,因此需要建立一种保证和体现"道德自我"自由选择的个人主义性质的后现代伦理学。 展开更多

关键词 后现代性 知识分子 个体化社会 自由 不确定性 多元主义 后现代伦理

在线阅读 下载PDF 职称材料

非对称截面环状Kirchhoff弹性细杆的拓扑构型分析 被引量：1

5

作者 张琪昌 赵彬 王炜 《天津大学学报（自然科学与工程技术版）》 EI CAS CSCD 北大核心 2013年第12期1089-1094,共6页

为了揭示非对称截面环状Kirchhoff弹性细杆受到外力(矩)作用时其拓扑状态的变化情况,引入了等效初始扭矩的概念,利用势能密度函数与哈密顿函数形式上的相似性,建立了其与系统哈密顿函数、初始自连接数之间的定量关系.以环状DNA分子为背... 为了揭示非对称截面环状Kirchhoff弹性细杆受到外力(矩)作用时其拓扑状态的变化情况,引入了等效初始扭矩的概念,利用势能密度函数与哈密顿函数形式上的相似性,建立了其与系统哈密顿函数、初始自连接数之间的定量关系.以环状DNA分子为背景,对扭矩模型进行了非线性动力学分析,并利用解析方法中的待定固有频率法,分析了主要参数对扭矩模型稳定构型的影响.最后,利用等效刚度得到相应状态下曲率的表达式,为进一步认识和描述DNA环受到生物酶作用下的稳定构型提供了新的理论途径. 展开更多

关键词 KIRCHHOFF 弹性细杆 环状DNA分子 待定固有频率法 非线性动力学 等效初始扭矩

在线阅读 下载PDF 职称材料

带有区间约束的产品设计参数模糊推理法及其在继电器智能设计中的应用 被引量：1

6

作者 高朝晖 李志刚 +1 位作者 赵尚武 王建楠 《低压电器》 北大核心 2005年第3期13-16,共4页

在产品设计规则和计算式中,常存在一些只能在某一范围内取值的待定系数(设为a,且a∈[aL,aH] )。a的取值通常受到多种因素的影响和约束,而这种约束往往带有模糊性。为此,首先根据设计规则中各种影响因素对a的模糊约束关系,分别构造两者... 在产品设计规则和计算式中,常存在一些只能在某一范围内取值的待定系数(设为a,且a∈[aL,aH] )。a的取值通常受到多种因素的影响和约束,而这种约束往往带有模糊性。为此,首先根据设计规则中各种影响因素对a的模糊约束关系,分别构造两者的备择集以及备择集元素在其论域上的模糊集合,然后基于模糊综合决策方法来确定a。本方法剔除了以往在解决这一问题时,由人来决定a取值的主观性,适用于产品的智能化设计。 展开更多

关键词 产品设计 待定系数 区间约束 模糊集合 模糊推理 模糊综合决策

在线阅读 下载PDF 职称材料

建设世界一流大学政策的变迁及其未来趋势──以美国大学为例 被引量：3

7

作者 邝伟乐 《外国教育研究》 CSSCI 北大核心 2008年第4期32-36,共5页

美国大学体制中蕴涵着独特的自由教育的精神。基于此,在分析美国公立大学与私立大学体制与教育理念异同的基础上,探讨全球化学术霸权与市场化带给美国大学的得天独厚的条件,最后分析了北京大学元培计划对我国高等教育改革改可能有的启示... 美国大学体制中蕴涵着独特的自由教育的精神。基于此,在分析美国公立大学与私立大学体制与教育理念异同的基础上,探讨全球化学术霸权与市场化带给美国大学的得天独厚的条件,最后分析了北京大学元培计划对我国高等教育改革改可能有的启示,以期对我国现行的高等教育改革有所借鉴。 展开更多

关键词 自由教育 一流大学 大学前段不分系

在线阅读 下载PDF 职称材料

大规模数字集成电路标准矩阵功能测试新方法 被引量：2

8

作者 徐拾义 《计算机工程与科学》 CSCD 2005年第4期31-35,91,共6页

本文提出了一种对 VLSI电路功能测试的方法,可以同时检测和定位 VLSI电路输入和输出端上的固定故障和桥接故障,而不需要知道它们的内部逻辑结构。因而,对于简化测试过程、降低测试成本, 具有十分重要的实际意义。

关键词 大规模数字集成电路 VLSI 列交换算法 标准矩阵 功能测试

在线阅读 下载PDF 职称材料

不确定性:象征的基本意义维度 被引量：2

9

作者 何林军 《湘南学院学报》 2005年第6期24-28,42,共6页

西方美学中“象征”的一个基本的意义维度是不确定性,这种不确定性既表现在“客体”或象征物之意义本身的多元性、含蓄性方面,也存在于人类“主体”的积极理解和阐释的效应中。列维-斯特劳斯则通过其艺术压缩模式理论说明艺术意义是开放... 西方美学中“象征”的一个基本的意义维度是不确定性,这种不确定性既表现在“客体”或象征物之意义本身的多元性、含蓄性方面,也存在于人类“主体”的积极理解和阐释的效应中。列维-斯特劳斯则通过其艺术压缩模式理论说明艺术意义是开放的,艺术思维是一种象征思维。 展开更多

关键词 象征 意义 不确定性 多元性 阐释 象征思维

在线阅读 下载PDF 职称材料

面向半结构化数据的树逻辑及其性质研究

10

作者 韩婷婷 陈韬略 +1 位作者 俞春 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期162-170,共9页

　半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数... 　半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画.在[1]的基础上,在数据模型中加入了受限算子,并提出一种新的空间逻辑———树逻辑,在其中引入了一个新的模态算子,它们的意义在于能够对私有数据的性质进行刻画和表达.此外,通过修正数据模型中的同余关系,使得模型符合数据的有序性,从而使其更为合理.在此基础上证明了树逻辑系统公式可满足性的不可判定性,从而说明针对整个树逻辑系统的模型检测算法是不存在的.同时选择了其中一个子逻辑系统,给出了其模型检测算法,并证明了该算法的正确性. 展开更多

关键词 半结构化数据 树逻辑 不可判定性 模型检测

在线阅读 下载PDF 职称材料

含有不希望出现句子的网页鉴别问题

11

作者 王柠 刘国华 《小型微型计算机系统》 CSCD 北大核心 2014年第6期1232-1238,共7页

网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表述完整意思的语言单位,本文以句子为出发点对网页鉴别问题进行研究.句子的不同变换形式能够表述相同的含... 网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表述完整意思的语言单位,本文以句子为出发点对网页鉴别问题进行研究.句子的不同变换形式能够表述相同的含义的特点,给网页鉴别带来了困难.为解决该问题,首先定义句子和网页之间的4种关系:属于关系、同义词替换关系、简单语序变换关系、复杂语序变换关系,然后讨论每一种关系的识别问题,证明了:(1)识别句子和网页的属于关系是可判定问题并且是P问题;(2)识别同义词替换关系是不可判定问题;(3)识别简单语序变换关系是不可判定问题;(4)识别复杂语序变换关系是不可识别问题.上述结论勾画出了网页鉴别问题难易程度的谱系. 展开更多

关键词 网页鉴别 句子 可判定问题 不可判定问题 不可识别问题

在线阅读 下载PDF 职称材料

无界域上的全局优化问题不是算法可解的

12

作者 朱文兴 《福州大学学报（自然科学版）》 CAS CSCD 2000年第2期121-123,共3页

关键词 整数规划 非线性方程 全局优化 无界域 算法

原文传递

关于数学中的不可判定命题

13

作者 王迪吉 徐惠中 《新疆师范大学学报（自然科学版）》 1990年第2期11-14,共4页

本文首先从数学基础的有关概念谈起,介绍了数理逻辑中的一个重要定理——Godel不完全性定理。该定理揭示了在一个相容形式系统中存在着不可判定的命题。接着,给出了三个不可判定的命题的例子。

关键词 Godel不完全性定理 不可判定的命题

在线阅读 下载PDF 职称材料

Jones在Hilbert第十问题及其相关课题上的工作——为Jones教授访华而作

14

作者 孙智伟 《数学进展》 CSCD 北大核心 1993年第4期312-331,共20页

本文是有关Hilbert第十问题近代成果(特别是James P.Jones教授的工作)的综述报告。它由六个部分组成:1.Hilbert第十问题;2.9未知数定理;3.通用不定方程;4.不定方程前缀量词分类;5.Diophantine表示;6.Hilbert第十问题的应用。文中还提到... 本文是有关Hilbert第十问题近代成果(特别是James P.Jones教授的工作)的综述报告。它由六个部分组成:1.Hilbert第十问题;2.9未知数定理;3.通用不定方程;4.不定方程前缀量词分类;5.Diophantine表示;6.Hilbert第十问题的应用。文中还提到了作者的一些新结果,例如^(11)over Z不可判定。 展开更多

关键词 第十问题 希尔伯特 多项式方程

在线阅读 下载PDF 职称材料

过程间并发程序分析不可判定的一个新证明方法

15

作者 缪力 张大方 《计算技术与自动化》 2007年第2期53-56,共4页

过程间并发程序分析问题是一个不可判定问题,理解这个不可判定问题的来源是发展一个有效的分析算法的基础。现有的证明[1]通过构造三个并发任务的PCP问题实例,证明过程间并发程序分析是一个不可判定问题。利用反射的思想,仅仅用两个并... 过程间并发程序分析问题是一个不可判定问题,理解这个不可判定问题的来源是发展一个有效的分析算法的基础。现有的证明[1]通过构造三个并发任务的PCP问题实例,证明过程间并发程序分析是一个不可判定问题。利用反射的思想,仅仅用两个并发任务构造该问题的一个PCP问题实例,证明在两个并发任务的情况下,过程间并发程序分析是一个不可判定问题。 展开更多

关键词 过程间并发程序分析 上下文敏感 同步敏感 不可判定问题

在线阅读 下载PDF 职称材料

连续型L'Hospital法则与离散型Stolz定理的关联性探讨

16

作者 刘志红 《河南教育学院学报（自然科学版）》 2015年第4期7-9,共3页

通对Stolz定理和L'Hospital法则的推导证明,有效架起了Stolz定理和L'Hospital法则联系的桥梁,使之相互融会贯通,将应用Stolz定理和L'Hospital法则一体化.通过一些实例的应用,进一步探索这两个重要工具的内涵性和广延性.

关键词 STOLZ定理 L'Hospital法则 未定式 推广形式 中值定理

在线阅读 下载PDF 职称材料

论维特根斯坦对哥德尔定理的评析

17

作者 樊岳红 《洛阳师范学院学报》 2017年第10期8-13,共6页

数学哲学的基础问题一直是维特根斯坦所关注的核心领域之一。20世纪30年代哥德尔提出的第一不完备性定理彻底地动摇了数学的逻辑主义、直觉主义和形式主义的基础。在这种背景下,中后期的维特根斯坦对哥德尔第一不完备定理进行了评论,但... 数学哲学的基础问题一直是维特根斯坦所关注的核心领域之一。20世纪30年代哥德尔提出的第一不完备性定理彻底地动摇了数学的逻辑主义、直觉主义和形式主义的基础。在这种背景下,中后期的维特根斯坦对哥德尔第一不完备定理进行了评论,但他的评论却受到了人们广泛的质疑和批评。很大一部分的原因是由于人们误解或误读了维特根斯坦的观点。基于此,在维特根斯坦数学哲学的语境下来分析和理解他的这些评论,并最终阐明其理论特色。 展开更多

关键词 维特根斯坦 GIT 数学命题 不可判定 有限论

在线阅读 下载PDF 职称材料

找寻自我──论美国抽象表现主义艺术的创作观念

18

作者 沈乐 《巢湖学院学报》 2006年第6期152-155,共4页

美国抽象表现主义艺术的诞生确立了美国在西方现代艺术领域的重要地位,其艺术家积极寻求对“本我”的认知的艺术创作观念反映出美国的艺术家开始走出欧洲艺术大师的身影,并逐渐确立了自己的形象。

关键词 抽象表现主义 创作观念 无意识 未定性

在线阅读 下载PDF 职称材料

人工智能在金属部件失效分析专家系统中的应用

19

作者 韩传高 丁辉 +1 位作者 张都清 刘国众 《山东电力技术》 1997年第5期25-30,共6页

用人工智能开发的火电厂失效分析专家系统，直接接受用户的自然语言输入，经过不确定性因子推理机的推理，得出最大可能的失效原因，并给出预防措施。此外，本系统还融合有属监督计算机管理，在机资料查询和自学习的功能，可为电厂金属... 用人工智能开发的火电厂失效分析专家系统，直接接受用户的自然语言输入，经过不确定性因子推理机的推理，得出最大可能的失效原因，并给出预防措施。此外，本系统还融合有属监督计算机管理，在机资料查询和自学习的功能，可为电厂金属监督工作者提供有力的帮助。 展开更多

关键词 人工智能 专家系统 金属部件 发电厂

在线阅读 下载PDF 职称材料

“言不尽意”与接受之维

20

作者 王林生 《阴山学刊》 2010年第1期49-52,共4页

"言不尽意"在中国古代文论中是一个非常重要的命题,由于"言不尽意"的存在,使得文本中充斥着意义的未定点和空白,也就使得接受者可以依据自己不同的视野对作品中的意义未定点和空白做出不同的具体化和填充。

关键词 “言不尽意” 未定点和空白 期待视野

在线阅读 下载PDF 职称材料