期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
二维逻辑PPTL^(SL)的可满足性检查 被引量:1
1
作者 陆旭 段振华 田聪 《软件学报》 EI CSCD 北大核心 2016年第3期670-681,共12页
由于指针的灵活性以及别名现象的存在,程序的运行可能会出现悬空指针引用、内存泄漏等诸多问题.PPTL^(SL)是一种二维(时间和空间)时序逻辑,它结合了分离逻辑(separation logic)与命题投影时序逻辑PPTL(propositional projection tempora... 由于指针的灵活性以及别名现象的存在,程序的运行可能会出现悬空指针引用、内存泄漏等诸多问题.PPTL^(SL)是一种二维(时间和空间)时序逻辑,它结合了分离逻辑(separation logic)与命题投影时序逻辑PPTL(propositional projection temporal logic),能够描述和验证操作链表的指针程序的时序性质.简要回顾了PPTL^(SL)的相关理论,并详细介绍了工具SAT-PPTL^(SL)的工作原理.该工具主要利用PPTL^(SL)与PPTL之间构建起来的同构关系进行PPTL^(SL)公式的可满足性检查.此外,结合一些实例展示了SAT-PPTL^(SL)的执行过程,并通过实验分析了关键参数对SAT-PPTL^(SL)执行效率的影响. 展开更多
关键词 时序逻辑 分离逻辑 指针 二维逻辑 可满足性
下载PDF
CATIA二维逻辑原理图驱动三维建模在轮机详细设计中的应用 被引量:3
2
作者 高林洋 王晨 羌燕 《船舶》 2020年第3期118-126,共9页
基于CATIA三维体验平台在船舶详细设计中的应用,文章论述和研究利用CATIA二维逻辑原理图驱动三维建模,以及采用管系规格书实现快速建模。通过与传统建模方法对比分析了CATIA 软件二维逻辑原理图驱动三维建模的优缺点,努力推进CATIA 三... 基于CATIA三维体验平台在船舶详细设计中的应用,文章论述和研究利用CATIA二维逻辑原理图驱动三维建模,以及采用管系规格书实现快速建模。通过与传统建模方法对比分析了CATIA 软件二维逻辑原理图驱动三维建模的优缺点,努力推进CATIA 三维体验平台在船舶轮机详细设计中的运用,实现设计优化。 展开更多
关键词 轮机详细设计 CATIA 体验平台 二维逻辑原理图驱动三建模 规格书快速建模
下载PDF
二维预设逻辑和复句预设投射
3
作者 邓雄雁 胡泽洪 《华南师范大学学报(社会科学版)》 CSSCI 北大核心 2008年第1期34-39,52,共7页
二维预设逻辑是一种特殊的四值逻辑。在二维预设逻辑中,每个句子的赋值是二维的,包含句子本身的真值和句子预设的真值。用二维逻辑的真值表方法来分析语义预设投射,可以很好地解释语义预设投射的"累积"现象和"消去"... 二维预设逻辑是一种特殊的四值逻辑。在二维预设逻辑中,每个句子的赋值是二维的,包含句子本身的真值和句子预设的真值。用二维逻辑的真值表方法来分析语义预设投射,可以很好地解释语义预设投射的"累积"现象和"消去"现象。 展开更多
关键词 预设逻辑 预设投射 累积 消去
下载PDF
海洋工程设计风速与波高的联合分布 被引量:2
4
作者 董胜 郝小丽 樊敦秋 《海洋学报》 CAS CSCD 北大核心 2005年第3期85-89,共5页
选取我国渤海某处21a的风暴过程后报资料,考虑风暴发生频次的影响,提出泊松二维逻辑分布,并且将其用于海洋石油工程设计中极值风速与波高的联合概率计算,给出了计算海域的风浪设计参数,并与传统的设计标准进行了比较.计算结果表明,新的... 选取我国渤海某处21a的风暴过程后报资料,考虑风暴发生频次的影响,提出泊松二维逻辑分布,并且将其用于海洋石油工程设计中极值风速与波高的联合概率计算,给出了计算海域的风浪设计参数,并与传统的设计标准进行了比较.计算结果表明,新的统计模式适用于受风暴影响海区的海洋工程结构设计,特别是边际油田的开发建设. 展开更多
关键词 泊松二维逻辑分布 环境因素 风暴过程 近海工程 设计
下载PDF
浅海石油平台风浪设计准则的比选
5
作者 樊敦秋 董胜 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第6期98-102,共5页
固定式平台是近海区域海洋石油开采的主要装备。由于渤海地区水浅,且纬度相对较高,经常遭受台风与寒潮的影响。为了描述灾害性天气对平台的作用,本文提出了泊松型二维逻辑极值分布,将其用于海洋结构设计中极值风速与波高的联合概率计算... 固定式平台是近海区域海洋石油开采的主要装备。由于渤海地区水浅,且纬度相对较高,经常遭受台风与寒潮的影响。为了描述灾害性天气对平台的作用,本文提出了泊松型二维逻辑极值分布,将其用于海洋结构设计中极值风速与波高的联合概率计算,实现了美国API标准提出的3种风浪参数设计准则。并以石油平台的基底剪力为例,进行了计算对比。算例表明,与传统的单因素设计标准比较,新的分布模型可以反映风速与波高对海洋结构的联合作用,使得基底剪力设计值降低。 展开更多
关键词 泊松二维逻辑极值分布 海洋环境 动力条件 天气过程 石油平台
下载PDF
异地海域年极值风暴增水同现规律的探讨 被引量:6
6
作者 董胜 梁永超 郝小丽 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第3期468-474,共7页
以塘沽和龙口海洋观测站 2 0年极值增水值为样本 ,基于二维冈贝尔逻辑分布模式 ,探讨了不同海域风暴潮增水极值的联合分布规律。通过对二维分布的联合概率密度、条件概率密度和同现概率的计算 ,给出了相应的工程设计参数 ,供有关部门在... 以塘沽和龙口海洋观测站 2 0年极值增水值为样本 ,基于二维冈贝尔逻辑分布模式 ,探讨了不同海域风暴潮增水极值的联合分布规律。通过对二维分布的联合概率密度、条件概率密度和同现概率的计算 ,给出了相应的工程设计参数 ,供有关部门在防潮规划时参考。 展开更多
关键词 风暴极值增水 冈贝尔逻辑分布 联合概率 防潮规划 风暴潮
下载PDF
海岸地区致灾台风暴潮的长期分布模式 被引量:12
7
作者 董胜 郝小丽 +1 位作者 李锋 刘德辅 《水科学进展》 EI CAS CSCD 北大核心 2005年第1期42-46,共5页
考虑台风导致的高水位和海浪波高对风暴潮灾害的贡献,对1949年以来影响青岛地区的台风暴潮进行了抽样统计。基于二维的泊松冈贝尔逻辑分布模式,对海岸地区的致灾风暴潮进行了长期的随机分析。与传统的警戒水位法不同,新模式能够反映多... 考虑台风导致的高水位和海浪波高对风暴潮灾害的贡献,对1949年以来影响青岛地区的台风暴潮进行了抽样统计。基于二维的泊松冈贝尔逻辑分布模式,对海岸地区的致灾风暴潮进行了长期的随机分析。与传统的警戒水位法不同,新模式能够反映多种环境荷载的综合作用,推算了青岛地区的特大台风暴潮灾害的重现期。计算结果显示,二维复合分布模式适合于描述台风暴潮过程中极值水位与相应波高的联合概率,所得结论对青岛地区的防潮减灾规划和工程建设具有指导意义。 展开更多
关键词 海岸地区 致灾 台风暴潮 泊松冈贝尔逻辑分布 长期分布模式 重现期
下载PDF
南海风浪极值组合统计分析 被引量:1
8
作者 董胜 夏俊庆 李孟杰 《中国造船》 EI CSCD 北大核心 2005年第B11期268-272,共5页
南海是我国台风频繁发生的地区,而台风常常导致巨大的海洋灾害。如何确定深海平台风浪设计参数对于保障结构与作业安全至关重要。本文选取我国南海某区20次台风过程的实测资料,对台风发生频次采用泊松分布进行描述,将泊松-二维冈贝... 南海是我国台风频繁发生的地区,而台风常常导致巨大的海洋灾害。如何确定深海平台风浪设计参数对于保障结构与作业安全至关重要。本文选取我国南海某区20次台风过程的实测资料,对台风发生频次采用泊松分布进行描述,将泊松-二维冈贝尔逻辑分布用于海上油气工程设计中极值风速与波高的联合概率计算,给出了选定海域的风浪设计参数,并与传统的设计标准进行了比较。 展开更多
关键词 泊松冈贝尔逻辑分布 台风 环境条件 设计参数
下载PDF
老西藏精神与文化自信关系研究
9
作者 刘毅 张庆 《西藏教育》 2022年第8期13-16,共4页
文化自信是最深层次的自信,文化自信的来源为中国优秀传统文化、中国革命文化和中国特色社会主义先进文化。而老西藏精神内蕴中国优秀传统文化,体现中国革命文化,蕴含中国特色社会主义先进文化,为文化自信提供了充足的精神养分。新时代... 文化自信是最深层次的自信,文化自信的来源为中国优秀传统文化、中国革命文化和中国特色社会主义先进文化。而老西藏精神内蕴中国优秀传统文化,体现中国革命文化,蕴含中国特色社会主义先进文化,为文化自信提供了充足的精神养分。新时代下,研究老西藏精神与文化自信二者之间关系,可以增强西藏群众坚定文化自信的信心,为实现中华民族伟大复兴的中国梦而努力奋斗。 展开更多
关键词 老西藏精神 文化自信 时代逻辑
下载PDF
自由空间光互连的发展 被引量:3
10
作者 王英霞 梁国栋 林子杨 《应用光学》 CAS CSCD 2001年第2期6-10,共5页
介绍自由空间光互连技术的发展。评述如何利用自由空间光互连技术构成互连网络和利用自由空间光互连技术在二维光电逻辑元件中实现三维光互连的早期研究、目前自由空间光互连技术在VLSI中的应用以及自由空间光互连的前景。
关键词 自由空间光互连 光计算 光电逻辑元件 互连网络 光互连 VLSI 发展前景
下载PDF
Design of Optical Logic Gates Using Self-collimated Beams in 2D Photonic Crystal 被引量:1
11
作者 X. Susan CHRISTINA A. R KABILAN 《Photonic Sensors》 SCIE EI CAS 2012年第2期173-179,共7页
Optical logic gates are elementary components for optical network and optical computing. In this paper, we propose a structure for AND, NAND, XNOR and NOR logic gates in the two dimensional photonic crystal which util... Optical logic gates are elementary components for optical network and optical computing. In this paper, we propose a structure for AND, NAND, XNOR and NOR logic gates in the two dimensional photonic crystal which utilizes the dispersion based self-collimation effect. The self-collimated beam is splitted by the line defect and interfered with other self-collimated beam. This interference may be constructive or destructive based on their phase difference. This phenomenon is employed to realize all-optical logic gates. The gates are demonstrated numerically by computing electromagnetic field distribution using the finite difference time domain (FDTD) method. The results ensure that this design can function as AND, NAND, XNOR and NOR logic gates. The size of the structure is about 10 μm× 10 μm which in turn results in an increase in the speed and all the gates are realized in the same configuration. The ON-OFF contrast ratio is about 6 dB. 展开更多
关键词 Optical computing photonic crystal band diagram equifrequency contour all-optical logic gates
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部