浅论微机仿真系统的设计方法

讨论了微机仿真软件设计中的基本问题,阐述了中使用形式化方法进行规格说明的基本原则,以及面向对象的方法和UML在设计中的重要作用     

基于国产软硬件系统的实验教学FPGA仿真工具设计

在当前复杂国际环境和我国高科技发展受打压背景下,提高数字系统设计仿真工具的自主化显得尤为重要。针对操作系统和CPU国产化替代趋势下实验教学缺少相关FPGA仿真工具的问题,提出基于国产操作系统和国产CPU的Verilog集成开发工具设计方案,采用Gambas实现系统整体框架,利用Plugin插件技术实现对Icarus Verilog、GTKWave、yosys的集成,能在FPGA数字逻辑设计层面实现Verilog代码的编写、错误检查、编译、仿真、综合等功能。实验结果表明,该仿真工具能够在FT2000+银河麒麟、龙芯3A4000+UOS、国产X86平台+各类国产操作系统上流畅运行;以一个4 bit计数器为例进行实验测试,其仿真输出结果正确,执行效率高,适合于轻量级科研仿真以及实验教学场景,实现了在FPGA仿真实验教学过程中对ModelSim功能的部分替代。     

排队问题的系统仿真

本文以理发店的运作情况为模型,讨论了排队问题的系统仿真。     

交际法教学中亟待解决的几个问题

交际法教学已逐渐在我国的英语教学中占据主导地位 ,但该教学方法在实际运用中还存在着很多问题。因此 ,选择讨论其中的几个问题 ,并提出一些解决办法 ,可以帮助广大师生端正认识 ,充分发挥交际法在我国英语教学中的作用。     

听力损失儿童教育中几个问题的思考

本文针对听力损失儿童教育中几个问题提出自己的现点,这些问题是关于听力损失名称的使用与概念的界定、听力损失儿童语言与其思维的关系、听力损失儿童的语言沟通法和教学法,对这些问题的思考以期引起更多人对这些问题的探讨,使听力损失儿童得到更好的发展.     

谈教师语言基本功的几个问题

一、教师的语言应该广博、精深作为教师头脑中的语言信息应该广一点,精一点。天文地理,古今中外,轶文掌故,山川名胜,花鸟虫鱼,风土人情,天上人间的诸事物都要懂一点。文科教师要懂一点数理化,理科教师要懂一点文史哲,文理教师对美学、语言学、社会学方面的知识也都要懂一点,这样,在传道授业时,才能高屋建瓴,游刃有余。孔子的学生子贡就曾把老师比作数丈高的围墙,墙内屋宇高大,富丽堂皇（指知识）,一般人不但达不到,连看也看不到,而那些不是老师的人如果是围墙的话,也只有肩膀那么高,一眼就看穿了。一个教师要成为一座高大的围墙,就要进行长…     

英语词汇教学中应注意的几个问题

《高职高专教育英语课程基本要求》明确指出：“本课程在加强英语语言基础知识和基本技能训练的同时，重视培养学生实际使用英语进行交际的能力。”词汇是语言的基本材料，人类的思维和交流主要通过词和句子来实现。英语语言学家D．A．Wilkins有一句名言：“没有语法，能表达的内容很少，没有词汇，则什么都表达不了。”可见，词汇在语言交流中的重要作用。熟练掌握词汇是理解语言和表达语言的基础。在英语学习中，学生在写作上犯错误最多的是词汇（主要是拼写错误和用词不当），在听力中感觉最困难的也是词汇（不能迅速听音会意），在阅读中影响理解的还是词汇（词汇量不够）。     

高职人才培养过程中的几个问题

随着社会主义现代化建设事业的迅速发展，以及高等教育大众化进程的加快，大学毕业生，特别是高职毕业生就业问题日益突出。2003年，教育部明确提出，高等职业教育要把就业导向作为主要办学方向。以就业为导向办高职，就是要求高职教育必须适应市场的需要，适应经济发展的需要，围绕学生就业办学，培养社会真正需要的人才。要培养     

英语阅读教学中应注意的几个问题

阅读是一个复杂的心理活动过程。在中学英语教学中，阅读理解教学是英语教学的重要组成内容。在阅读过程中，学生通过对由视觉输入的语言字符号的信息进行解码，获取作想表达的信息。阅读过程作为一个能动的、积极的思维过程，是个体新旧信息相互作用与反应的过程。在阅读教学中，学习对外来视觉信号的修复首先受到学习目标，学习目标的监控决定了各种信息的取舍和处理方式。其次，学习在辨认、理解视觉信号输入时。无疑需要用自己知识网络中的语言知识，包括词汇、句子结构、话语结构等以及有关阅读内容的化背景和科技等各方面的知识。     

略论学术期刊编辑出版中的几个问题

正确处理学术期刊编辑出版中某些不容忽视的问题,诸如：署名自便与责自负的问题;大段引用与变相抄袭的问题;作自校与责编终校的问题;一稿多投与力避重复的问题;重头稿件与权威刊物复印转率的问题,特色栏目与综合性栏目的关系问题等。     

传统BLP模型的Z规范

安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据.     

Design of Interactivity in Virtual Reality Applications with Emphasis on Educational Software Using Formal Interaction Specification

Virtual Reality (VR) technology has already entered into the area of the educational software and delivers systems where the trainees can use interactive virtual microworlds and benefit by transfer of experience, interacting directly with the learning domain. This paper describes the Virtual Multi Flow Graph (Virtual-MFG) graphical formal model and the Interaction Specification Workspace (ISW) software architecture for the interaction specification and design of VR applications with emphasis on educational software. The interaction designer specifies the interaction issues of the final system formally, using the tools of ISW. The virtual microworld's objects database is updated with these interaction specifications which include both the virtual objects' dynamic properties and their tutoring capabilities. The model is validated by applying it on an existing VR educational software (EIKON). The Virtual-MFG graphs specifying a learning scenario of EIKON along with the application of ISW on EIKON are also presented.     

厘清形式系统的几个概念

一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限性。同时,也看到了形式化方法的弊端和形式化的限度。     

行政赔偿制度实施若干问题研究

分析了影响赔偿法实施原因，对赔偿范围、赔偿标准、赔偿程序、赔偿费用等方面存在的问题进行了研究。     

浅论我国民事质证制度的几个问题

随着我国市场经济的发展，社会对民主与法制进一步健全的呼吸和世界大潮的冲击，审判实践暴露了许多问题。因此，近年来我国推行了审批改革，旨在强化庭审功能和当事人的举证责任，增强诉讼的对抗性和司法的公正性，以达到提高庭审质量和诉讼效益的目的。     

宇宙膨胀理论中的几个问题

用红移不能准确地描述现在的宇宙，天文观测发现宇宙正在加速膨胀，这预示着暗能量的存在。     

实施学分制的若干问题与对策

“千人一面”的学年制不适应创新人才的培养、不适应缴费上学的招生制度、不适应自主择业的毕业生分配制度。学分制改变了学年的约束, 使学生在选修专业、选择课程、选择教师、选择学习时间上具有灵活性与自主性。然而, 仍有若干因素制约着学分制的实施。因此, 高校应制定措施, 以推进学分制的实施。     

档案工作信息化建设的几个问题

总结了档案工作信息化七个方面的优越性 ,阐述了由档案工作信息化所带来的四个方面的转变 ,指出了档案工作信息化建设应采取的几项措施     

关于职业教育制度若干问题的探讨

对职业教育制度的结构和功能探讨,是一项基础研究,具有重要的理论价值和实践意义。结合对我国职业教育制度实践的剖析,试从地位、构成要素、实践领域、起源及其他视角初步探讨了职业教育制度的结构,并认为它具有增进职业教育活动的秩序、减少职业教育活动的交易成本、激励和约束职业教育利益相关者以及营造职业教育发展的环境等功能。