简介：LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体，抽象实体与实际实体都有效地作用于环境，并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO鳊译器。

简介：JAVA作为一种强大的编程语言在众多领域得到了广泛的应用，本文对于如何在JAVA运行时自动编译代码并装入执行的技术进行了研究．主要包括其实现原理及一个实例。

简介：在我国经济转型的背景下,国内旅游业近年来飞速发展。旅游业的发展对扩大内需、增加就业机会、传播中华文化、提高国际声誉都具有积极作用。随着国外游客来华数量的增多,我国旅游网站的英文版已成为重要的外宣手段。本文通过对我国旅游网站中英语翻译文本的问题分析,提出以满足国外游客心理预期与阅读审美为导向的编译策略,希望能利用编译策略在旅游网站中的应用来进一步提升我国旅游外宣盾量。

简介：现有上机练习系统一般采用C/S或者B/S架构，学生通过客户端从服务器下载试题，完成后将答题数据原样传回服务端，由任课教师进行批改。练习过程中，辅导教师对有疑问的学生进行辅导。由于学生人数较多，辅导教师较少，经常出现辅导不到位，课后教师需要花较长时间分析学生答题情况，对教学内容查漏补缺。针对学生上机练习系统的不足，采用Java动态编译技术，设计出一套集练习、辅导、数据分析、考勤于一体的上机练习系统，大大提高了学生的练习效率，减轻了教师的工作量。

简介：Word功能很强大,要完全掌握它需要不断学习和不断实践.本文介绍几个小工具可让你轻松上手,为你的文字和图片处理工作带来方便.

简介：怀疑,作为一种自然情感本不具指向性,但这缕情感被置于意识之中时便具有了指向性,当意识使之指向某未自然引发情感性怀疑之所是时——怀疑便成了一种工具.此种工具性怀疑在诸多领域被使用,但工具性怀疑之使用是否“是”或“应”基于情感性怀疑？文章便以哲学教育与科学教育对此工具之使用为例现其所是及可能.

简介：我的第一台电脑是在1995年添置的,当时花了我将近半年的薪水,同事们都觉得我疯了。因为我所服务的机构福利极好,从房子、煤气灶到过年的大米和东海带鱼,员工们样样都有份。写稿用的圆珠笔、笔记本和墨水更是随要随取。一位老先生很认真地对我说:'你是在为国家写稿子呀,为什么用自己的钱买电脑?'他们没有料到的事情是,有了电脑之后,我的写稿速度大大加快,原本厚重繁琐的剪报被录入电子文

简介：授课班级：10商务班教学课时：2课时教学设计：以学生为主体，以就业为导向，把实训融入课堂，加强学生专业设计技能的训练，提高实践能力。

简介：针对大学生诚信缺失问题，文章从人格的角度进行分析，认为工具人格是导致大学生诚信缺失的根本原因，工具人格的形成是教育目的的功利性、社会价值观的急功近利、家庭教育的道德缺失造成的，加强道德建设是大学生诚信回归的关键。

简介：<正>工具书在图书馆业务中占有十分重要的地位。关于工具书性质、特点与作用的研究也历来被图书馆工作人员所重视。笔者翻阅了这方面的一些材料,从中受到了很多启发,但也产生了一个疑问,特在文中提出,供大家参考。在人们对工具书的研究中,工具书的性质是核心问题之一。我的疑问也就是从这里产生的。从自己见到的材料看,我们对工具书的解释主要是从其客体角度来进行研究的。例如上海图书馆编的《图书馆工作手册》,在谈到工具书的概念时认为;“工具书是根据一定的社会需要,以特定的编排方式和检索方法为人们迅速提供某方面的基本知识或资料线索,供查阅的特定类型图书”。这种观点主要是从作为对象形态的客观存在,致力于说明工具书的客观属性,反映了我国工具书研究的主要倾向。持同一观点的如武汉大学图书馆系的《中文工具书使用法》。再如刘久昌、宁国誉著的《怎样利用图书馆》,甚至近些年来试图从理论高度探讨工具书的同志,从方法论的角度说也具有这种特征。

简介：“你是什么专业的啊？”“财政学。”。哦，那就是搞经济的？”“不，我们不专门搞经济，我们也研究政府与市场。”

简介：

简介：认为MPA教育的教育目标、办学思路、课程设计和教学管理中既展示了价值理性，也包含有工具理性，但在实际运行过程中，MPA教育的工具理性显得更为突出，这导致了一系列问题的出现。提出有必要以价值理性为主导，以工具理性为载体，重构MPA教育，使之全面发展。

简介：2010年8月3日，上海市教育委员会和美国旅美华人院校长协会共同的中美大学校院长双边论坛在上海锦江饭店小礼堂举行，本次论坛的主题为：高校质量化管理和全球化对策。中科院副院长江绵恒和上海市副市长沈晓明出席论坛。沈晓明副市长、美国旅美华人院校长协会会长龚晋慷、上海市教委主任薛明扬分别在论坛开幕式上致辞，美国旅美华人院校长协会的9位大学院校长和中国部分大学校长作了主题讲演。编者摘取部分精华论题与读者分享。二十一世纪虽然还很年轻，它却已目睹了前所未有的全球经济、政治、科技和社会的发展变化。世界各国人民和各个国家也从未像今天这样需要密切沟通、相互依赖、共同面对人类所面临的无国界的各种挑战。这些发展变化和挑战在高等教育领域掀起了一场大学国际化运功。

简介：本文以Pro／ENGINEER基础课程为例，探讨普通高等院校工科学生工具类课程的教学方法，从目前本科生教育教学过程中存在的问题入手，结合现有计算机技术及软硬件资源，总结Pro／ENGINEER的教学经验，在分析现有可用教材的基础上，对此门课程教学内容进行规划，通过加强实践性教学环节等手段，在保证Pro／ENGINEER基础知识点宽泛性的前提下，提高教学质量。

简介：＂成功故事＂是我在参加＂全球职业规划师＂培训课程中学到的一个有效辅导工具。它能有效帮助来访者快速寻找＂自身力量＂,获得解决问题的资源。本则案例的创新思路是：在孩子一筹莫展时,没有像一般咨询那样绕入复杂的亲子关系历史、澄清与解释中,而是另辟蹊径,找出孩子自身应对这一困境的力量与资源,

简介：简要说明了利用网页制作工具编制多媒体化学教学课件的一般步骤与注意的问题，对化学教育工作者制作自己的教学课件具有一定的借鉴意义。

简介：哈耶克所著《法律、立法与自由》(三卷本)，一是从宏观方面，阐述了自由主义理论的认知前提和分析工具；二是从具体方面，也即其法律观，论述了独具特色的大社会与私法的观念。这两部分内容是有内在联系的。

简介：随着信息化时代与互联网时代的到来,人文学科的文献整理、文献检索与学术成果呈现方式也产生了巨大变化,如何在继承北大人文学科学术传统的基础上,应用新技术、拓展新视野,成为了北大人文学科博士生的新课题。2017年12月20日下午,'北京大学人文学部研究生工作坊'第二讲在人文学部

简介：网络即时通讯工具在图书馆内部的通讯联系和交流、图书馆与外界联系和交流以及在图书馆参考咨询工作中具有重要作用。网络即时通讯工具在图书馆中的应用是一种趋势。