共查询到20条相似文献，搜索用时 218 毫秒
1.
秦奋涛 《河北北方学院学报(社会科学版)》2000,16(2):78-80
死锁是操作系统的一个重要概念,本文提出用库所/变迁网直观、动态地描述并发进程的死锁,本人将这一方法用于操作系统有关死锁内容的教学取得了非常好的效果. 相似文献
2.
本文在RBAC96模型上做了多次改进并给出一个改进的应用在linux操作系统上的RBAC模型,提出了激活角色集合以满足最小特权原则,将进程和用户做为主体,引入权限三元组来描述权限和客体操作之间关系,最后给出了系统中实现的逻辑结构。 相似文献
3.
4.
胡安明 《广东技术师范学院学报》2014,(3):29-31
AIDL是一种Android平台下描述进程间通讯的接口描述语言,可以简化进程间数据格式交换和数据代码的交换,对于实现Android平台下进程间通讯有着重要意义.本文中系统分析了AIDL技术模型和通讯机制并给出实例加以论述. 相似文献
5.
张家超 《连云港职业技术学院学报》1992,(Z1)
一、概述 我们在进行CAI课件及财务管理系统的设计过程中,采用了Turbo-PROLOG语言作为源程序的设计语言,通过使用,发现它比其它进程式语言如BASIC、FORTRAN、PASCAL、COBOL等语言具有更多的优点(PROLOG为陈述式语言),就是与某些写作系统如BGAS、AOTAEUS等系统、某些DBMS如CdBASE—Ⅲ、FoxBASE等数据库系统比较而言,其功能强、速度快、效率高都是非常明显的,这不仅仅是它提供了一整套的动态的关系数据库的操作, 相似文献
6.
周珍娟 《江苏广播电视大学学报》2013,(3):94-96
如何组织软件设计模型中的大量设计元素,影响软件设计工作和从设计模型生成设计文档。采用"4+1"视图体系结构和UML构造型机制,扩充了软件设计模型描述元素,提出了由用例实现、软件结构、软件组件、软件接口、软件进程、软件部署等六部分组成的设计模型描述框架。该描述框架用于在Rose和SoDA工具上建立设计模型模板和设计文档模板,实现了软件设计模板化和文档生成自动化。 相似文献
7.
分布式学习系统的可视化建模 总被引：1，自引：0，他引：1
本文提出了一个以建构主义学习环境设计方法、面向对象方法和软件过程方法为基础的分布式学习系统建模方法框架 ,并在分析学习环境理论的基础上 ,建立了对分布式学习进行解释的“角色—活动—环境”抽象模型 ,围绕这一模型 ,重点探讨了应用 UML统一建模语言实现分布式学习系统可视化建模的方法。 相似文献
8.
一般的CAI系统采用的是一种存储—显示模式,系统不能动态地调整学习过程以适应不同的需要,而ITS的基本思想是:使基于计算机的教育过程科学化、专业化和自动化。为了实现这一思想,我们提出了一个由辅助教学系统写作环境支持下设计智能教学系统(ITS)的教学策略、实现领域知识表示的方法,并将逻辑模拟ITS写作环境定义为二元组AE=(T,R),进而讨论了逻辑描述、逻辑构造、指令负载描述、操纵逻辑模型运行的模拟机制以及为获取模型相关组织说明的学习机制的设计等问题。 相似文献
9.
针对工程数据库管理系统的实际需求,在设计实现基于Web的工程数据库管理系统EDBMS的SQL语言系统时,提出了一种以逻辑分层为基础的系统开发模式——虚拟机模式。该模式由Web Server将用户在浏览器端输入请求命令组装成标准SQL语句,并将这些语句传递给解释器,由解释器进行词法分析、语法分析和错误检查后生成底层EDBMSAPI能够执行的命令序列,从而实现了对数据库的操作。 相似文献
10.
11.
Kenneth M. Kahn 《Instructional Science》1984,13(1):37-45
This article presents a prototype of a computerized grammar kit written in PROLOG and implemented on a LISP machine. The kit consists of tools and examples intended to be used by children interested in exploring language. A grammar written in PROLOG using this tool kit can be used not only to parse, but also to generate, sentences. A serious shortcoming of PROLOG for children is that when a program misbehaves one must understand its complex operational semantics. A major tool in the grammar kit to alleviate this problem is a dynamic graphical tracer which uses a backtracking turtle. This allows the user to see a parse tree as it is being built and, as a side-effect, gives a better understanding of PROLOG's chronological backtracking.The research reported herein was supported by the Swedish Board for Technical Development (STU) and Atari Research, Cambridge, Massachusetts. 相似文献
12.
13.
Andreas Diedrich 《International Journal of Lifelong Education》2013,32(2):230-246
This paper critically discusses the role of the interpreter in the validation of the prior learning of recent immigrants arriving in Sweden by drawing on a perspective from the sociology of translation. The recent immigrants’ difficulties with speaking the local language is usually described as the main problem when it comes to validating their prior learning. As a result, the use of interpreters is proposed to facilitate the assessment process. The current literature largely sees the interpreter’s role in the validation of prior foreign learning as unproblematic. The interpreter is described as a neutral means of transmitting the knowledge, skills and experience of the immigrant in an objective way to the assessor. In this paper I criticise this view of the interpreter as a neutral, objective tool. I argue that the role of the interpreter is not given, but enacted during the validation process. Furthermore, the study shows that, far from transmitting information from the immigrant to the assessor, the interpreter is profoundly implicated in the construction of the knowledge that materialises in the assessment results. 相似文献
14.
培训外国军事人员是我军外交的重要组成部分,而军事外训又主要依托教学来开展和进行。译员是外训教学的重要参与者,对整个教学活动的顺利实施起着不可替代的作用。但是,目前外训教学译员还没有得到应有的关注和重视,而且国内外相关的研究也很薄弱。本文在总结解放军后勤工程学院外训系四年来外训教学实践的基础上,分析了译员在外训教学中的多样性角色,即集桥梁、学生、学友、教师于一身,并揭示了外训教学译员应该具有的素质和能力,以期为增进教译配合以及提高外训教学质量提供参考。 相似文献
15.
从传播学的视角看网络时代成人学习者的角色定位 总被引：1，自引：0，他引：1
随着多媒体技术、网络技术、通讯技术的飞速发展,新型的教育模式正在建立,新型的教育理念、学习方式正在形成。从传播学的角度看,在这一进程中,成人学习者由传统的接受者到日益理性的解读者的这一角色转变也势在必然。本文追溯了解读者这一角色的来源,并对其进行了深层探析,分析了解读者这一角色确立的必要性及依据,最后分析了确立的重大意义。 相似文献
16.
刘建珠 《深圳职业技术学院学报》2013,(6):43-46
对口译员的职业资格进行统一的、科学的、权威的、持续的认证是口译职业化的必由之路。基于职业资格认证的基本原则和国内外口译资格认证的现状分析,本文分别从认证的主体性、科学性、权威性和可持续性四个方面具体论述了口译职业资格认证的基本原则。 相似文献
17.
Despite rapid growth in the field of educational interpreting little is known about the formal training of educational interpreters. This gap in the research is the focus of this study. A questionnaire was sent to the directors of 50 interpreter training programs nationwide asking for information about their course work in educational interpreting and related areas; instruction in signed English systems; and the directors' opinions on certain ethical and professional questions facing the educational interpreter. The results suggest that graduates of interpreter training programs who obtain employment as public school interpreters are not adequately prepared. Training programs provide few courses on the education of deaf children, on the language systems used, and on issues specific to classroom interpreting. The directors of these programs overwhelmingly support the development of guidelines on the educational interpreter's role. They show some support for the "interpreter as tutor" role but are equivocal about the development of a special certification for educational interpreters. 相似文献
18.
本文把黑箱法引入Anderson语言生成的三阶段认知模型,具体展示了黑箱法在口译思维科学中的研究,并举实例来说明口译行为中译者的思维过程。最后本文阐述了借鉴研究口译思维科学的意义。 相似文献
19.
本文通过解释记者招待会口译过程中译员显身和隐身的必要性,并通过详细案例,指出在记者招待会的口译过程中译员是即是忠实的"传话筒",也是对话的共建者和协调者。 相似文献
20.
A clear and consistent execution model of any programming language can lay the foundations not only for a good leaming experience, but also for a smoother design/edit/run/debug cycle. In this paper, we describe our attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming's traditional AND/OR trees. Our extension, called the AORTA diagram, is an And/OR Tree, Augmented to include invocation history status boxes at each node. This augmentation makes it possible to present a graphical view of Prolog execution which is very compact, yet which contains complete details of unification and control history, including multiple (backtracking) invocations and extra-logical features such as the cut. The paper describes our fine-grained view of Prolog execution in detail, and argues that this fine-grained view can readily be integrated into a coarse-grained model such as thatrequired for understanding the execution of very large programs. Indeed, our notation is already in use across a range of media, including textbook diagrams, video animations, and a graphical tracing and debugging facility running on modem graphics workstations. 相似文献