测井资料处理解释工作站上的数据管理

本文介绍了在ＳｕｎＳＰＡＲＣ系统上的Ｘｗｉｎｄｏｗ和Ｍｏｔｉｆ环境下开发的测井资料处理解释工作站的总体结构，着重阐述了该系统中的数据管理的方式，提出了资料的统一调度、统一管理与交互的管理模式。     

VHDL模拟器波形显示器的研制

目的研究图形,图像的快速显示算法,研制工作站环境下基于Ｍｏｔｉｆ的面向对象类库。方法 在工作站平台上使用Ｃ＾＋＋和Ｍｏｔｉｆ研制了ＶＨＤＬ模拟器波形显示器,波形显示器中使用了波形图三级映射算法,构造并使用Ｍｏｔｉｆ的面向对象类库。结果该波形显示器具有显示速度快,程序可移植性强等特点。结论充分体现了算法的优越性和基于Ｍｏｔｉｆ面向对象类库设计的合理性。     

测井资料处理解释系统软件的设计与实现

文章介绍了测井资料处理解释系统的总体结构、设计思想及其实现。系统是在Ｘｗｉｎｄｏｗ、Ｍｏｔｉｆ环境下用Ｃ语言实现的，其关键技术是数据管理，用户界面友好，以及满足测井解释人员要求的图形交互技术。该系统在大庆某些地区的实际使用中取得了较好的效果。     

测井地质学方法在储层岩石物理分析中的应用

以ＵＮＩＸ操作系统和ＯＳＦ／Ｍｏｔｉｆ图形界面系统为环境，在图形工作站上开发出了储层岩石物理分析系统。综合利用测井、地质、生产测试等资料，以测井地质学、储层地质学、地质统计学和油藏物理学的理论为基础，经地一系列的数据处理得到三维空间的储层岩石物理数据体，进而对这些数据进行评价。     

测井地质学方法在储层岩石物理分析中的应用

以ＵＮＩＸ操作系统和ＯＳＰ／Ｍｏｔｉｆ图形界面系统为环境，在图形工作站上开发出了储层岩石物理分析系统（ＲＰＳ１．０，１９９４）．综合利用测井、地质、生产测试等资料，以测井地质学、储层地质学、地质统计学和油藏物理学的理论为基础，经过一系列的数据处理得到三维空间的储层岩石物理数据体，进而对这些数据进行评价。总结出储层岩石物理模型，为提高勘探成功率和改善油田开发效果提供依据，并为同类储层岩石物理的研究提供对比标准和研究指南。该系统已在胜利、江苏、辽河等多个油田投入使用，取得了较好的应用效果。     

CL—KR与与K—WM性质

本文首先引入了Ｂａｎａｃｈ空间Ｘ的Ｋ－ＷＭ性质，它是Ｂ．Ｂ．Ｐａｎｄａ和Ｏ．Ｐ．Ｋａｐｏｏｒ在［１］中引入的ＷＭ性质的推广。然后证明了：若Ｘ是ＣＬ－ＫＲ的，则Ｓ有（Ｓ）性质；若Ｘ有Ｋ－ＷＭ性质，Ｘ有（Ｓ）性质，则Ｘ是ＣＬ－ＫＲ的；若Ｘ是ＣＬ－ＫＲ的，Ｍ是Ｘ的自反子空间，则Ｘ／Ｍ是ＣＬ－ＫＲ的；若Ｘ有Ｋ－ＷＭ性质，Ｍ是Ｘ的处反子空间，则Ｘ／Ｍ有Ｋ－ＷＭ性质。此外，本文还指出：（Ｓ）性质和ＣＬ－ＫＲ不     

CL－KR与K－WM性质

本文首先引入了Ｂａｎａｃｈ空间Ｘ的Ｋ－ＷＭ性质，它是Ｂ．Ｂ．Ｐａｎｄａ和Ｏ．Ｐ．Ｋａｐｏｏｒ在［１］中引入的ＷＭ性质的推广。然后证明了：若Ｘ是ＣＬ－ＫＲ的，则Ｓ有（Ｓ）性质；若Ｘ有Ｋ－ＷＭ性质，Ｘ有（Ｓ）性质，则Ｘ是ＣＬ－ＫＲ的；若Ｘ是ＣＬ－ＫＲ的，Ｍ是Ｘ的自反子空间，则Ｘ／Ｍ是ＣＬ－ＫＲ的；若Ｘ有Ｋ－ＷＭ性质，Ｍ是ｘ的自反子空间，则Ｘ／Ｍ有Ｋ－ＷＭ性质。此外，本文还指出：（Ｓ）性质和ＣＬ－ＫＲ不具有对偶性质。     

ＸＭＬ与电子商务

本简要地介绍了可扩展标记语言ＸＭＬ，并与标准通用标记语言ＳＧＭＬ及现在仍在流行的超本标记语言ＨＴＭＬ进行了比较，说明了ＸＭＬ的强大优势，最后阐述了ＸＭＬ在电子商务中应用的广阔前景。     

BCI—代数的自同态

讨论了ＢＣＩ－代数Ｘ的自同态与反同态的性质，给出了Ｘ的伴随半群Ｍ（Ｘ）中自同态的画，即σ为Ｍ（Ｘ）中的自同态当且仅当σ为幂等元，证明了伴随半群中的反自同态一定是自同态，并指出若Ｍ（Ｘ）中存在反自同态，则Ｘ＝Ｎ２（Ｘ）。     

Meyer反应的机理,等效介质及其反应设计研究

以Ｍｅｙｅｒ反应为出发点，研究了ＭＸ－ＲＥＸ３－ＨＸ－Ｈ２Ｏ和ＭＸ－ＲＥＸ３－ＨＯＡｃ－Ｈ２Ｏ四元体系（Ｍ＝Ｋ，Ｒｂ，Ｃｓ；ＲＥ＝Ｌａ，Ｐｒ，Ｎｄ，Ｓｍ，Ｇｄ，Ｄｙ；Ｘ＝Ｃｌ，Ｂｒ）。对Ｍｅｙｅｒ反应的机理提出了新的解释，并给出了相应的反应式；发现在四元体系中醋酸水溶液可作为等效介质替代盐酸水溶液，而表现出相同的相化学行为；发现氯化物和溴化物的Ｍｅｙｅｒ反应有显著不同的相化学关系和不同的反应机理，首次依照四元体系的相化学关系，设计了一系列合成不同摩尔比的ＭＸ和ＲＥＸ３的化合物的新的无机合成反应。     

论文艺起源研究的原始生存切入——对原始文艺的母题方式解读

在“希腊中心主义的知识语境”中,原始文艺的母题解读方式及母题排序方式为“创世母题”和“英雄母题”、“自然崇拜母题”和“两性激励母题”,而在“世界”和“中国”知识语境中,原始文艺的母题解读方式及母题排序方式则呈现相异的状态。     

表面形貌的2D-Motif方法及其算法实现

论述了Motif方法的基本表征参数和基本的计算流程,提出了基于有限差分的Motif合并算法.利用该软件对大量工程表面的采样数据进行了计算,并对Motif标准参数和传统的粗糙度标准参数进行了计算和分析,证明了该算法的合理性和优越性.     

统计网络Motif方法的研究与设计

在分析挖掘一个网络中的信息时,一个非常重要的信息就是统计Motif.现有算法是将原始网络在给定的条件下进行边与顶点转换,再从转换后的网络中找出所有子图,如果子图不满足Motif的要求则删除,存在时间复杂度过高的问题.针对这种情况,提出了一种自底向上的剪枝算法,在不需要经过网络转换的前提下,首先找到最小的符合要求的子图,再推导出更大的子图,而且所找到的每个子图均满足Motif的要求.并通过时间效率分析得出,对于该问题而言,提出的算法优于现有的算法,具有一定的理论研究价值.     

Motif Finding问题的分布式参数算法

基于从DNA序列形成k分图的图理论算法和查找k-clique的理论算法,设计与实现了对Motif Finding问题求解的分布式参数算法。该算法的主要特点是:采用新的1-3树分枝算法并实现分布式计算机制,即任务可以随着计算过程的展开在每一阶段不断地分解并分布到不确定数量的申请参与计算的客户机上,服务器端负责任务均衡与结果整合。实验结果表明:分布式参数算法充分利用多台机器协同计算,能够正确、高效地得到计算结果,为求解生物计算中难解的Motif Finding问题提供了有效的解决手段。     

面向对象的用户界面生成工具BIT－UIEditor

为了开发能够支持通用用户界面生成的用户界面管理系统，提出了动作响应模型，并在ＯＳＦ／Ｍｏｔｉｆ工具包基础上采用面向对象方法开发了一种用户界面生成工具．该工具是可视化的、直接操纵式的，能够交互地快速生成用户界面原型，支持原型的运行和修改，使用户界面各组成部件的定义与应用程序相关动作对应起来．最后可以得到相应的界面源代码及其执行文件．     

论母题方法在少数民族神话研究中的应用

母题是神话叙事中最基本的分析元素。借助母题可以构建各民族神话间对话的平台,母题分析体系的核心是母题类型及其类型层级体系,使用母题方法的目的在于通过母题的提取、比较与分析,进一步揭示少数民族神话的个性、共性、叙事结构和文化内涵等问题。     

希伯来文化——索尔贝娄作品中的永恒母题

母题表述的是一种集体的文化意识,源自于本民族的文化价值观、集体记忆和民族传统意识。母题中蕴涵的民族文化积淀决定了作品的文化倾向和人物的文化身份。希伯来文化一直是索尔贝娄的创作母题,它决定了贝娄的写作风格、语言表达、人物呈现和主题展开。对希伯来文化的认同使贝娄摆脱了边缘人的困境,成为一个超越种族和文化限制的人类作家。