排序方式: 共有54条查询结果,搜索用时 46 毫秒
41.
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个DY模型的构建框架,刻画了攻击者的构成要素、行为规则以及行为模式,从而保证了攻击者具有合理的行为与能力,并能在攻击过程中获取新的知识,不断增强攻击能力。最后,将该工作运用到Otway Rees协议的验证中,找出了该协议中所存在的漏洞,从而证明了该构建框架的有效性。 相似文献
42.
绩效评价系统的内在驱动机制及其影响效应研究 总被引:2,自引:0,他引:2
摘要:本文系统地分析了绩效评价的内在驱动机制及其影响效应。验证性因子分析和探索性因子分析验证了学者Latham的开创性结论:有效的绩效评价系统构筑在正规化、目标导向以及组织公平三大基石之上。进一步研究表明,正规化与员工绩效之间存在“倒U型”关系;随着员工人力资本独特性提升,严格的绩效控制会降低工作绩效,而提高公平感知则会显著提升工作绩效,设置有挑战性的绩效目标对工作绩效有正向影响。但是在人力资本独特性低的情形下目标设置的激励效应与员工绩效呈现“S型”关系。本研究揭示,绩效评价应该从注重对员工行为结果的评估转向对员工自主管理能力的评估,从绩效行为管理转向对员工价值观的深层管理。 相似文献
43.
郑亚萍 《青海师范大学学报(哲学社会科学版)》2011,33(1):154-156
随着信息时代和网络技术的发展,档案信息资源的开发和利用越来越受到重视,但是现阶段档案工作中存在有不利于档案的提供和利用的问题。本文为档案实现信息化服务、提高档案管理水平,使档案工作重新具有新的活力和价值提出一点建议。 相似文献
44.
试论教育评价的未来发展走向 总被引:3,自引:0,他引:3
进入新世纪,现代教育理念的发展以及各国教育改革的需要促进了教育评价研究的发展。展望未来,教育评价主要表现出以下几种发展趋势:1.教育评价理念的发展性;2.教育评价主体的多元性;3.教育评价范围的扩展性;4.教育评价过程的形成性;5.教育评价实施的校本性。 相似文献
45.
冯升 《南宁师范高等专科学校学报》2005,22(4):107-109
形式化贯串于中学数学的始终,可以说,学习数学就是学习一种有特定涵义的形式化的语言.以及用形式化语言去解决各种问题,本文主要讨论形式化在数学概念教学与解题教学方面的应用. 相似文献
46.
本文介绍了分部积分计算的三种简便方法:选择u,v的简易方法,表格化简化计算,转化为导数运算,并通过例子给予说明。 相似文献
47.
冯艳慧 《四川教育学院学报》2006,22(2):20-21
无意识问答现象是师幼互动主体在长期的模式化问答过程中,不自觉形成的一种机械问答现象。在这种无意识问答模式的影响下,教师忽视具体问题与幼儿个体的差异性,使师幼问答走向无意义与形式化,不利于幼儿的创造性思维和社会性品质的发展。 相似文献
48.
"风"作为一个影响中国文化的本源性"概念"一直被忽略。事实上正是通过对风这样一种无法"形式化"、不可见的改变世界力量的深刻体察,中国文化形成了它独特的政治、伦理与美学特征。 相似文献
49.
以两轮中国创业动态跟踪调查(CPSED)收集的321个创业者数据为样本,采用层级式的逻辑回归方法,实证考察不同程度外部环境不确定性和产品创新性约束条件下商业计划正式程度对新企业生成的内在影响机制。研究发现:创业者制定的商业计划正式程度越高,新企业成功生成的可能性越大,而外部环境不确定性和内部产品创新性调节着上述影响机制。因此,在创业初期资源匮乏的条件下,关键并不在于是否制定商业计划,而是应该根据外部环境不确定性以及创业者打算供给产品的创新性来权变地选择不同正式程度的商业计划,以促使新企业的成功生成。 相似文献
50.
语义是语言的外延部分,是整个语言灵活运作的基础。计算机本质上是处理计算符号的工具。计算语言学的根本任务是模拟人的全部或部分处理自然语言的行为能力。以计算语言学为视角,浅谈对语义形式化的认识,提出了在词义标注的时候,对义项权值也进行标注,并尝试分析了词语的义项权值在当前计算语言学句处理中的作用。 相似文献