调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.

The status of research and development LSC role in formal verification methods was studied,including the status of research LSC role in the conversion from the behavior of the system requirements describe the formation of model checking of system behavior model,LSC in the nature of the extraction system to be verified study the role of the status quo,the status quo LSC role in the study of model checking. Forecasted the direction of the LSC model checking in the future———probabilistic model test.

现状偏见是影响投资者决策的一个重要因素,现有研究主要利用前景理论对其进行阐释.框架效应、投资者情绪以及信息结构在投资者现状偏见中起着重要作用.利用实验方法研究了三者对投资者现状偏见的影响,研究结果表明:差值投资组合框架中投资者被试的现状偏见程度高于比率投资组合框架中的投资者被试的现状偏见程度;三种情绪组中均存在投资者现状偏见,积极情绪下被试的偏见水平较低,消极情绪下被试的偏见水平较高;被试选择信息结构确定的选项是选择信息模糊选项的5倍,投资者被试对外在现状赋值的现状偏见小于自我现状赋值的现状偏见程度.

Status quo bias is an important factor which affects investors'' decision-making. The extant research on this issue only takes the prospect theory into consideration. In fact,framing effect,investor emotion and information structure are also important variables affecting status quo bias. This paper explores the impact on investors'' status quo bias from the perspectives of framing effect,investor emotion and information structure,using the experimental method. Results show that investors'' status quo bias is higher in the price differential frame than in the ratio frame of the investable portfolio. In addition,investors'' status quo bias does exist in the three emotions conditions. Particularly,status quo bias is lower in the positive emotion investors and higher in the negative emotion. Respondents'' choice of certain options is five times as uncertain options. The level of status quo bias in self-status assignment group is higher than that in external-status assignment group.

运用文献计量结合内容分析的方法,从研究阶段和研究力量两个方面分析了国内知识地图的研究现状;然后从理论研究、技术研究、应用研究三个方面归纳了研究论文的主要内容;最后对研究现状和存在问题进行了综述并提出了相应的对策。

The paper combines bibliometrics and content analysis to demonstrate the general situation of knowledge map study in China from aspects of research stage and research effort. Then it sums up main contents of the studies from aspects of theoretical research, techni-cal research, and application research. Lastly, the paper evaluates the status of research and its existing problems and puts forward relevant measures.

简要介绍了国内外热作模具钢市场及产品现状，分析了目前热作模具钢研究中面临的技术难题。通过对近年来国内外新型热作模具钢研究现状和发展动态的阐述，预测了未来热作模具钢的研究方向和发展趋势，对了解国内外热作模具钢的发展现状与趋势有较大参考价值。

A brief introduction to the market and product status of die steels at home and abroad was made and several technical problems encountered in the fabrication of die steels were discussed. The research and development state of new hot working die steels in recent years were reviewed. Finally, the future research and development trends of prod-ucts were predicted.

当前极端气候事件发生的频次、强度等,严重影响人类的安全及社会发展.本文从观测新疆的极端气候事件资料研究发现,极端气温和降水事件发生了显著变化.(1)极端气候事件定义和极端气候事件的研究指标,给出了前人研究的现状及其多个定义和研究指标,依据前人的研究结果提出个人见解.(2)归纳新疆地区极端气温/降水事件研究现状.(3)对于新疆地区当前极端气候事件研究现状进行了分析,提出了一些有待于解决的问题.

Changes in the frequency or intensity of extreme climate events can have severe consequences on the environment .The research advance in Xinjiang for extreme climate events change is presented in this paper , which is discovered from the Observation Extreme Climate Events .First, significantly increasing trends of the precipitation and temperature extremes are observed mostly in Xinjiang .Second, most extreme precipitation and temperature indices show a potential regime shift starting from the middle of 1980 s.Last, a brief review and objective evaluation are made in the text .