基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

中西方思维差异对翻译的影响

语言承载着诸多信息,包括说话者想要表达的信息,说话者所在国文化的体现,最根本的是它承载着说话者的思维模式。语言与思维之间可以相互作用。翻译,就是把一种语言转化成另一种语言的活动,其中存在思维方式的转换,能使这种活动成为可能,就表示这种活动间存在某些共性,即人们的思维方式有共性。这种共性使得翻译可以进行,但中英两种语言所传达出的思维方式又存在着差异,使得翻译过程中存在着困难,导致有的译文晦涩难懂,阻碍翻译工作的进行,从而导致交流出现障碍。因此,要从根本上解决这些问题就应该很好地了解中西方思维方式上的差异,更好地理解和掌握中英两种语言的特点和规律,提高翻译的准确性,促进中西方交流的顺利进行。     

含天然微裂缝变形介质油藏数值模拟方法

在微裂缝油藏开发过程中 ,油藏流体压力的上升或下降会导致微裂缝的张开或闭合 ,油藏的绝对渗透率随之发生变化 ,而且微裂缝的存在使油藏渗透率呈现较强的各向异性 ,从而影响油藏的开发。针对这些特性 ,分析了微裂缝的存在对油藏绝对渗透率大小和主轴方向的影响 ,建立了含天然微裂缝低渗透油藏的三维、三相数学模型及数值模拟模型 ,并在此基础上研制出了油藏模拟软件。运用该软件进行了典型油藏单元的实例计算 ,结果表明 ,开采初期微裂缝油藏日产油量比常规油藏高 ,而后期则比常规油藏低 ,且采出程度总比常规油藏高     

全球化与地理教育的响应

世界全球化发展不断推进，使得世界各个国家和地区之间的交往与联系更加密切。全球化进程中，既给人类社会的发展创造了机遇和条件，也存在着消极的影响和危害因素。以了解、认识世界自然、人及其相互关系为任务的地理教育，随着世界全球化的进展，赋予了新的内容。     

决策树算法分析及其未成年人犯罪行为分析应用

数据挖掘是致力于数据分析和理解、揭示数据内部蕴藏知识的技术.通过对数据挖掘决策树算法和未成年犯罪人员行为数据进行分析,找出其中潜在的规则为相关部门决策提供理论的支持.     

试论大学与中学化学实验教学的衔接

通过几年大学化学实验的教学,发现大一新生的实验能力、基本技巧和对实验室基本知识的认知参差不齐,甚至对化学实验在化学教学中的重要性都认识不清,仍然停留在高中时"分数第一"的时期。为了解决这些问题,该文提出了如何实现大一化学实验与中学教学的有效衔接。     

CaO—MnO—SiO2渣系作用浓度的计算模型

基于炉渣结构的共存理论,建立了CaO—MnO—SiO2三元渣系组元作用浓度的计算模型,考察了碱度、温度对组元MnO作用浓度NMnO的影响.结果表明:模型计算值NMnO与文献实测活度值aMnO非常吻合,说明本模型能够较好地反映该渣系的结构本质;当B<2.0时,NMnO随着碱度的增加而增加;当碱度B=2.0时,NMnO达到最大值;当B>2.0时,NMnO随着碱度的增加而降低;在低碱度范围内,碱度对NMnO的影响更为明显;温度对NMnO的影响则不是很明显.     

CAD与Oracle数据库的集成

介绍了一种实现Ｉ－ＤＥＡＳ中Ｄｒａｆｔｉｎｇ 与Ｏｒａｃｌｅ 数据库集成的方法， 解决了Ｄｒａｆｔｉｎｇ 中明细表输入困难的问题， 同时实现了ＳＧＩ工作站上汉字的输入输出．     

计算机辅助管理在铁路供、配电调度中的运用

讨论了计算机辅助管理技术在铁路供、配电调度中的运用，并简述了在凯里供电段的铁路段供、配电调度管理系统，以及系统的建设目标、主要功能及其实现。     

高温高压下NiTi2热力学性质的第一性原理研究

【目的】获得高温高压下NiTi2的热力学性质。【方法】结合准谐德拜模型采用基于密度泛函理论的平面波赝势方法。【结果】对NiTi2高压下的结构进行了几何结构优化,获得了其力学的弹性性能,表明NiTi2在高压下呈弹性各向异性,同时获得了高温高压下NiTi2的热力学性质。【结论】有助于构建 Ni-Ti合金体系的多项物态方程。