分享到:

资源模型与系统级描述语言的硬件综合

为更好地描述分析嵌入式系统的行为,近年来出现了系统级描述语言。但系统级程序通常是目标平台无关的。为了挖掘程序最大的运行性能,需要在设计空间中进行探索,将程序模块映射到各目标器件上,并且将各种有关实现细节的决策在新的程序文本中体现出来。这一“探索—决策—重写”的过程是一个不断地从抽象到具体的精化过程。而无论“探索”和“决策”的结果如何,对“重写”而言,都必须保证不在“重写”的过程中引入有违高层规范的实现错误。这需要有与之匹配的理论与工具的支持。本文继承了用数学方法研究编译器设计的传统,以UTP为理论工具,着重探讨了与硬件综合相适应的有资源的指称语义理论框架。在该理论框架中,静态资源模型给出了资源约束的“质”的一面。它指出只有当程序满足资源特性的时候,程序才能正常运行。否则,程序就会发生错误。该模型把所有有违资源特性的错误程序都归结为“取消作业”。这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。在此基础上,我们给出了编译  (本文共122页) 本文目录 | 阅读全文>>

《社会科学战线》2008年07期
社会科学战线

工作要求—资源模型研究对人力资源管理的启示

进入21世纪,伴随着经济的全球化和新技术的发展,企业经营方式和信息交流过程发生了根本性的变革,社会的竞争日趋激烈。国际劳工组织于1994年指出“世界正变成紧张的世界”,可预知的工作方式发生了根本的改变,很多职业普遍具有较高的科技含量、较复杂的职业技能、较快速的知识更新,同时也需要良好的人际网络支持。且随着组织结构的扁平化趋势不断加强,企业员工的晋升空间越来越小,来自职业的挫折感越来越强烈,大多数人都有不同程度的不安全感和对未来的难以掌控感,这也成为企业员工主要的压力源之一。当个人无法处理这些压力问题时,个人在身体和心理上就会出现很多负面的症状,其中被广泛讨论的就是工作倦怠(job burnout)问题。工作倦怠成为上班族的头号大敌,同时也是人力资源会议上讨论的主要议题之一。一、工作倦怠的概念工作倦怠(job burnout),又称“职业耗竭”、“工作枯竭”等,通常被认为是应对工作压力的特殊表现形式。在众多定义中,Christin...  (本文共6页) 阅读全文>>

《中国健康心理学杂志》2015年06期
中国健康心理学杂志

工作家庭研究中的资源模型述评

从社会工业化开始,人们逐渐认识到“工作”和“非工作”之间存在着冲突和协调问题[1],由于个体在工作家庭两个领域间频繁的边界跨越,也就导致个体资源流动及两个领域的相互作用,主要表现为3种形式:工作家庭相互冲突、积极作用(正溢出、增益和促进等)和平衡。在以往研究中,解释工作家庭相互作用的理论主要有:角色理论,溢出、补偿的关系理论,发展理论,边界理论[2],资源保护理论等,上述理论虽然都解释工作家庭关系,但是侧重点各不相同,本文则关注Hobfoll提出的资源保护理论,该理论根据个体相关资源在工作家庭领域的流动变化来解释工作与家庭之间的互益或冲突关系,整合性强,所以受到研究者越来越多的关注。本文在总结资源保护理论和资源类型的基础上,概述以资源保护理论为核心思想的几种工作家庭资源模型,进而探讨其未来的发展方向。1资源保护理论和资源概念资源保护理论是一种在组织研究中广泛应用的压力和动机理论。要谈资源保护理论,就必然涉及到占据中心位置的资源概...  (本文共6页) 阅读全文>>

《中国机械工程》2004年20期
中国机械工程

面向网络化制造的动态自组织制造资源模型的研究

0 引言网络化制造的实施必须获得制造资源信息模型及其应用系统的支持。网络化制造模式下制造资源信息是建立在异构环境基础上的非结构化信息 ,其信息内容繁多、构成复杂 ,传统的信息建模方法无法真正地描述制造资源信息和实现基于网络的信息传输。XML(extensiblemarkuplanguage)具有可扩展性、自定义性和异构性等特性 ,为解决非结构化信息模型的表达和实现基于网络环境下信息的共享和传输提供了一个系统的解决方案[1 ] 。因此 ,应用XML语言定义行业领域应用标注语言 ,建立满足异构环境信息集成要求的非结构化的信息模型 ,成为国内外研究的热点[2 ] 。本文应用XML语言 ,定义了满足网络化制造要求的制造资源模型标注语言———MRMML语言 (manufacturingresourcemodelmarkuplan guage,MRMML) ,并构造了一个基于MRMML的制造资源信息模型。1 制造资源建模的研究现状分析随着各...  (本文共4页) 阅读全文>>

《广西教育》2013年43期
广西教育

基于云计算的网络平台共享资源模型构建探析

网络平台共享资源在网络教育中的基础地位很明显,教育部在网络学习资源建设方面做了很多尝试,建立起了门类较多的诸如精品课程的网络资源共享数据库,但囿于观念、教育资源分布不均等诸多因素,资源的利用率不高,不能达到设计网络资源共享的预期目标。云计算概念的提出,使寻求获取更多信息资源的可能性变成了现实。云计算不是一个具体的计算模型,而是一种信息(包括各种资源)共享和使用的模式,在这种模式中可以可靠地获取和存储数据,并且能够使用计算模型中强大的计算能力。因此,我们可以探索出一种新的网络平台共享模型,来激发人们对于网络资源共享的有效使用。一、云计算概述(一)云计算的概念。云计算(cloud computing)是基于互联网的相关服务的增加、使用和交付模式,通常涉及通过互联网来提供动态易扩展且经常是虚拟化的资源。云是网络、互联网的一种比喻说法。过去在图中往往用云来表示电信网,后来也用来表示互联网和底层基础设施的抽象。狭义云计算指IT基础设施的交...  (本文共3页) 阅读全文>>

《心理科学进展》2013年03期
心理科学进展

工作要求-资源模型新视角——基于心理社会安全氛围的分析

1引言随着员工工作节奏的日益加快,工作场所压力和职业倦怠引发的员工心理健康问题成为员工职业健康管理研究的一项重要议题。过重的工作压力除了影响员工个人生理、心理健康外,也可能导致组织内离职率高企、生产率下降、人际关系紧张等问题。由于对工作压力与工作产出变量间关系的模式和机制存在很多不一致的观点和争论(De Lange,Taris,Kompier,Houtman,&Bongers,2003;H usser,Mojzisch,Niesel,&Schulz-Hardt,2010),因此工作压力过程和作用机制引起学者们的广泛关注,其中工作要求-资源模型(JobDemand-Resource Model,以下简称JD-R模型)因其简洁性、全面性和对现象的解释力得到广泛接受。但近年来一些学者指出JD-R模型同样存在诸多缺陷,并借鉴组织氛围、心理风险等其他领域成果对其进行了深化和拓展(Bond,Tuckey,&Dollard,2010;Doll...  (本文共9页) 阅读全文>>