Metaphor Literal Meaning Representation and Generation

在隐喻理解中,隐喻字面语义表示是隐喻深层语义表示的前提;确切地说,隐喻字面语义表示语言作为隐喻计算的输入语言直接影响到隐喻的最终释义,因此隐喻字面语义表示对隐喻的机器理解有着重要的影响作用。但在国内学术界,还鲜有这方面的研究。鉴于此,该文结合汉语隐喻特点,从隐喻字面语义表示的角度出发,将汉语隐喻分为无嵌套隐喻和嵌套隐喻两种。并在分析隐喻字面语义(浅层语义信息和隐喻信息)的基础上,提出了隐喻角色依存表示语言作为隐喻字面表示语言,最后给出隐喻角色依存表示语言生成算法。实验表明,该方法引入到汉语隐喻解释机制中是富有成效的。The representation of the metaphor literal meaning is the premise of deeper semantic representation and the further processing of metaphor.In fact,as the input language of the metaphor computation system,the metaphor literal meaning representation language would influence the final semantic calcualtion results.In this paper,we first classify the Chinese Metaphor into two categories,the Un-Nested Metaphor and the Nested Metaphor,based on the analysis of Chinese metaphor characteristics.We further design the metaphor role dependency representation language to describe the metaphor literal meaning in terms of its shallow semantic and metaphor information.Finally,the experiments show that the proposed method is quite effective in interperating Chinese metaphor.国家自然科学基金资助项目(60373080);福建省青年科技人才创新资助项目(2008F3105

一类0-1背包问题算法程序的形式化推导

0-1背包问题是经典的组合优化问题与NP完全问题,具有重要的应用价值与理论意义.本文使用PAR(Partition and Recurrence)方法形式化推导了0-1背包问题的高效动态规划算法程序.通过类比分析,该问题的若干变形问题的算法也可推导得到,算法通过PAR平台的自动生成系统转换成可执行语言程序并运行通过,保证了该类0-1背包问题算法的正确性和可靠性.本文主要的贡献是将PAR方法推广到能处理带约束条件的组合优化类问题,大大扩展了PAR方法的应用范围,为形式化开发高效高可信组合优化类算法开辟了一条新途径

research on relative correctness of radl formal specification

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战性的问题.提出一种基于形式化推导的方法来验证同一问题不同形式规格说明的相对正确性,通过证明不同形式规格说明与问题需求某个最为直截明了的形式规格说明Si等价来实现,而Si使用PAR方法和PAR平台转换为可执行程序,通过测试已经得到确认.为了支持该方法,进一步提出了扩展的逻辑系统和辅助证明算法.使用Radl语言作为形式规格说明语言,通过排序搜索、组合优化领域的两个典型实例对该方法进行了详细的阐述.实际使用效果表明,该方法不仅能够有效地验证Radl形式规格说明的正确性,还具备良好的可扩充性.该方法在规格说明的正确性验证、算法优化、程序等价性证明等研究领域具有潜在的理论意义与应用价值.国家自然科学基金重大国际(地区)合作与交流项目(61020106009)|国家自然科学基金(61272075)|江西省自然科学青年科学基金(201222BAB211030

保险销售代理坚毅性人格对工作绩效的影响

坚毅是指朝向长期目标的毅力和激情。具备坚毅品格的人一般都具备更多的韧性,而且勤奋。保险销售可能是遭受最多被拒绝的职业,任何一个销售人员,从入职第一天到后来发展成为优秀的销售管理者,一定都有过很多次被拒绝的经历。在这样一个经常需要面对挫折的行业里,具备坚毅品格的保险销售人员会更有利于达到更好的绩效。坚毅除了能对工作绩效产生影响外,也能对保险销售的工作倦怠和心理健康情况产生影响。相关研究表明,个体的坚毅性越高,工作倦怠的感受越小。此外,坚毅性越高,负性生活事件对自杀意图的影响越小。综上,具备坚毅品格的个体更容易在工作中达到更好的绩效,对工作倦怠的感受越小,还能提高心理健康水平。因此,本研究的目的在于对保险企业员工的坚毅情况进行调查,并探讨坚毅对工作绩效的影响机制中,工作倦怠与心理症状充当着什么样的角色。本次研究随机抽取广东省保险销售代理作为被试,约2500名。分别采用CMBI量表、BSI-18量表、GRTI量表对被试的工作倦怠程度、心理症状情况、以及坚毅程度进行采集,而绩效采用上年度标准保费任务、上一年度佣金收入来衡量。首先对回收的问卷进行数据的录入与筛选,删除无效问卷。然后用SPSS进行相关分析。最后用mplus对工作倦怠与心理症状在坚毅与工作绩效之间的作用进行分析后得出以下结论:保险销售代理坚毅性的两个维度,即兴趣稳定性与努力持续性,都与工作绩效呈显著的相关关系。坚毅的兴趣稳定性维度与工作倦怠的成就感降低维度呈显著的负相关关系,与心理症状的抑郁维度呈显著的负相关关系。工作倦怠的情感耗竭和人格解体维度与心理症状的抑郁维度呈显著的正相关关系。工作倦怠的三个维度和心理症状的四个维度都与工作绩效呈负相关关系。而心理症状在工作倦怠与工作绩效之间起着中介作用,工作倦怠在坚毅与工作绩效之间起中介作用。</p

SRLtoRadl generation system and its category semantics

形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl.Formal specification techniques are very useful and important for improving quality and productivity of software. But acquisition of formal software specification is a quite difficult task in requirement engineering. The research objective aims to the important problem about automating conversion from problem requirement into a formal specification. This paper studies the automatic generation system from structural requirement language (SRL) into formal specification-Radl and its high reliability theory. We design a controlled natural language-SRL to describe the problem requirement. Using rule-based method, convert SRL into Radl by analysis-transformation-synthesis three stages. Under the guidance of the rule-based generation method, we design and implement the generation system SRLtoRadl from SRL to Radl. Furthermore, establish the generation process semantic model of SRLtoRadl using category theory framework. Practical effects manifest it can effectively generate formal software specification of high quality

formal derivation of huffman algorithm program

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行

机器学习在绘画测验预测青少年依赖型人格偏离中的应用

目的:运用机器学习探索绘画测验对青少年依赖型人格偏离的预测力。方法:研究样本是318例青少年,采用人格障碍诊断问卷的依赖型人格障碍分量表来评定青少年的依赖型人格偏离,借助统合型“房树人”绘画测验分析其绘画特征。共筛选出依赖型人格偏离阳性组79例,阴性组239例。运用机器学习探讨11项绘画特征对依赖型人格偏离的预测性能。结果:在对青少年依赖型人格偏离的预测中,所选取的11项绘画特征中,树干、伤痕(0.20)、人靠近树(0.18)和中心画(0.13)3个特征的平均重要性最高。机器学习模型预测的准确率为0.87,精度为0.85,召回率为0.86,F1分数为0.85。结论:绘画测验结合机器学习能较好地预测青少年依赖型人格偏离

在多工位炉上CeO_2:Bi_12SiO_20单晶生长的研究（II）——空间生长实验部分

掺Ce：Bi_(12)SiO_(20)单晶在神舟3号(SZ-3)飞船上成功地进行了空间生长，得到晶体尺寸为φ10mmx40mm．将空间生长的晶体和地面生长晶体对比发现：空间生长晶体的外观同地面生长晶体有明显差异．分析测试空间和地面晶体的x射线摇摆曲线、吸收曲线和喇曼光谱，结果表明：空间生长掺Ce：BSO晶体的结构完整性优于地面生长的晶体，掺Ce对BSO晶体光学性能的影响空间制备晶体要大于地面制备的晶

Application of machine learning in the prediction of drawing test ondependent personality dysfunction in adolescents

目的:运用机器学习探索绘画测验对青少年依赖型人格偏离的预测力。方法:研究样本是318例青少年,采用人格障碍诊断问卷的依赖型人格障碍分量表来评定青少年的依赖型人格偏离,借助统合型&ldquo;房树人&rdquo;绘画测验分析其绘画特征。共筛选出依赖型人格偏离阳性组79例,阴性组239例。运用机器学习探讨11项绘画特征对依赖型人格偏离的预测性能。结果:在对青少年依赖型人格偏离的预测中,所选取的11项绘画特征中,树干、伤痕(0.20)、人靠近树(0.18)和中心画(0.13)3个特征的平均重要性最高。机器学习模型预测的准确率为0.87,精度为0.85,召回率为0.86,F1分数为0.85。结论:绘画测验结合机器学习能较好地预测青少年依赖型人格偏离。</p

Mediating Effects of Emotional Resilience on Relationship between Family Socioeconomic Status and Borderline Personality Level of Adolescents

目的 探讨情绪弹性在家庭社会经济地位与青少年边缘人格水平关系中的中介作用。方法 于2013年9&mdash;11月,采用整群随机抽样的方法,在北京地区三所中学以班级为单位抽取中学生683例。在删除人格诊断问卷诈病数据以及信息不完整样本后,确定本研究的样本量为509例。采用人格诊断问卷中边缘性人格障碍（BPD）分量表测量青少年的边缘人格水平;采用青少年情绪弹性问卷测量青少年的情绪弹性;采用自编人口学调查表测量青少年的家庭社会经济地位：以父母受教育水平作为青少年家庭社会经济地位的衡量指标,将受教育水平在大专及以上者归为高家庭社会经济地位组（n=294）,将受教育水平在大专以下者归为低家庭社会经济地位组（n=215）。结果 高家庭社会经济地位组青少年边缘人格水平低于低家庭社会经济地位组,积极情绪得分及情绪弹性总分高于低家庭社会经济地位组,差异有统计学意义（P〈0.05）;而两组情绪恢复得分间差异无统计学意义（P〉0.05）。家庭社会经济地位与青少年边缘人格水平呈负相关（rs=-0.10,P〈0.05）,而与情绪弹性总分呈正相关（rs=0.11,P〈0.05）。情绪弹性总分与青少年边缘人格水平呈负相关（rs=-0.47,P〈0.01）。青少年情绪弹性在家庭社会经济地位与青少年边缘人格水平的关系之间起完全中介作用,中介效应占总效应的39.7%。结论 情绪弹性在家庭社会经济地位与青少年边缘人格水平关系中具有完全中介作用。</p