Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

语义认知与翻译中的择义选词

指出近来国内外认知语言学研究发展迅速，已经成为语言学的主流学派。从取决英汉翻译是否成功的重要因素的角度出发，集中论述翻译选词依据的两个方面：模糊性和体验性，并进一步探讨两者影响英汉、汉英翻译的原因。以及它们是怎样应用于翻译选词中，以强调它们对翻译的影响和作用。     

英汉移就辞格的语义特征

移就是普遍存在于不同社会中的常见的语言现象，是一种精心排练而又故意误用语义的修辞手段。文章从英汉移就辞格的语义特征出发，论述英汉移就辞格怎样通过“故意误用语义”、“精心排练”语言使其产生变异，从而取得别具一格的语言艺术效果。     

中国能源进口政策分析:基于CGE视角

30多年来,中国经济高速增长,能源净进口急剧增加,能源原材料进口关税税率持续下调.为了研究中国能源进口政策,本文建立一般经济均衡模型进行深入细致分析.我们利用2010年国家统计数据,设定2010年为基准均衡,考察能源关税税率政策和能源净进口政策,调整能源关税税率或者调整能源净进口量对各产业生产产出、劳动力投入、资本投入、能源投入、总收入、社会福利等经济指标产生深远的影响甚至影响到各产业之间结构性调整.适当降低能源关税税率或者适当提高能源净进口一方面会引起国内第一产业和第二产业的劳动力投入、资本投入和能源投入(进而生产产出)向第三产业发生转移,促进第三产业的发展,有利于中国经济产业结构的调整;另一方面对收窄中国贸易顺差影响显著.最后我们利用CES形式的生产函数和效用函数进行敏感性分析,表明结果是稳健的.     

违法行为的经济模型分析

违法行为产生的原因有多种,而本文尝试从经济学角度就经济违法行为进行分析,通过建立简易模型,并运用经济学有关理论和方法对违法净收益的构成进行分析,探索影响"经济人"实施经济违法行为背后的经济根源,得出了减少和控制经济违法行为的相应策略.     

循环ALC~+的固定点存在性研究

分析了循环ALC+的语法及语义特征,指出循环ALC+-TBox具有固定点语义的充分非必要条件,并进行了证明,讨论了其固定点模型存在需满足的一些条件,并给出了一个实例应用.     

“说X就X”格式语义类型分析

“说X就X”格式由于其中“说”的语法化程度的不同而形成了两种不同的格式语义,即“说”为实义动词时,该格式表示对言说者的言说内容或主观态度、意愿进行确认,“说”为标记词时,该格式表示在超出言说者或言说对象主观预期的极短时间内出现或即将出现某种情况。该格式连用时,由于语义的增值或异化,也会形成两种不同的连用格式语义。     

基于县域单元的山东省农民人均纯收入时空演变分析

基于山东省农民人均纯收入的统计数据,将2000年以来山东省农民人均纯收入划分为三个阶段,通过计算基尼系数、空间自相关分析探索各阶段的时空分异特征.研究表明山东省各县市区农民人均纯收入呈现空间正相关,并且表现出东部沿海地区"高-高"集聚,鲁西地区"低-低"集聚的空间分布格局.最后,针对提高山东省农民人均纯收入,从思想观念、收入来源以及政策等方面提出了相关建议.     

柔性飞艇主气囊不稳定构型阶段力学性能分析

为了揭示柔性飞艇主气囊不稳定构型阶段的力学性能,首先基于迭代薄膜性能法(IMP)编制可分析薄膜褶皱的子程序,通过对比不同单元类型充气管变形结果,找出一种合理的单元类型进行不稳定构型主气囊模拟.在此基础上,以9m柔性飞艇主气囊简化模型为对象,对简化模型在不同约束状态下不稳定构型阶段外形及应力进行分析.研究表明:气压梯度和模型约束是柔性飞艇主气囊在不稳定构型阶段力学性能的重要影响因素,模型从稳定构型到不稳定构型阶段开始的一段时间,形状变化不大,中间阶段模型发生较大的形状改变.不稳定构型阶段在约束部位较稳定构型时更容易发生强度破坏.研究结果对柔性平流层飞艇主气囊结构设计具有参考价值.     

潜在语义分析的英汉口译语料库挖掘

分析潜在语义分析的理论基础,结合英汉口译语料库的相关特点,提出了基于潜在语义分析的口译语料相似度的度量方法.基于PACCEL英汉口译语料库的实验表明,该方法的检索精度为0.79,召回率为0.59,F1为0.68,检索时间为1.124 s,在检索精度、召回率、F1值以及时间效率上均显著优于实验的参照方法.该方法能为用户提供更有效的检索推荐以及在扩展语料库时自动探析语料库存在的数据冗余,为语料库的构建和扩展提供了有效指导.