组合逻辑电路中竞争冒险的虚拟仿真实验设计

竞争冒险现象是组合逻辑电路工作状态转换过程中经常出现的现象,而实验检测法是最为可靠的竞争冒险检测方法,通过以Multisim软件为平台进行虚拟的仿真实验,可以形象生动地展示竞争冒险现象及其消除方法。     

用于电梯控制模型设计的可编程控制器的教与学

针对可编程控制器教学中存在的问题,提出一种以设计基于S7-300 PLC的电梯控制系统为任务的教学模式,以达到学生主动参与,较快掌握可编程控制器原理及应用方法之目的。     

网络环境下教学参考书数据库建设探索--四川大学图书馆教学参考书系统研究与开发

重点论述网络环境下教学参考书数据库建设的必要性、服务逻辑、建设内容、数据收集、拟解决的关键问题等内容。     

PROLOG逻辑程序正确性证明

ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑，提出了ＰＲＯＬＯＧ程序正确性的一种证明方法     

基于 PLC 的船舶机舱巡回监测报警系统的研制和改进

介绍了基于小型ＰＬＣ的船舶机舱巡回监测报警系统及其改进后全系统的组成、硬件、软件和系统功能。     

船舶电站仿真系统数学模型

阐述了船舶电站计算机仿真器逻辑和控制系统数学模型及系统动态特性的数学模型,并着重介绍了动态特性数学模型的计算机算法。     

以核心能力为主导逻辑的战略管理

在以能力为基础的竞争范式中，企业如何培育核心能力，并把核心能力转化为持续竞争优质是战略管理的主要内容。为此，本提出以核心能力为主导逻辑的战略管理，详细探讨了其准则与基础、基因与方法、以及4P战略规划这一核心过程。     

非金融专业学科教学平台中"金融学"教学内容改革研究

分析了非金融专业学科教学平台课程金融学的教学内容落后于金融实践和理论发展的现状,究其原因主要是历史惯性和师资上的约束,但更深层次原因的是缺乏推进教学内容改革的激励机制,同时在教学管理制度上存在一些缺陷;据此,提出了相应的对策;并探讨了非金融专业金融学教学内容改革的方向和框架:区分金融专业与非金融专业,删减过时的内容和与西方经济学课程中重复的内容,增加现代微观金融理论,调整逻辑结构。     

基于映射的信息检索逻辑模型研究

本文讨论了基于逻辑映射的信息检索模型,对该模型进行实例分析,指出该模型在实际应用中存在的一些问题.这些问题包括各可能世界的先验概率分布和各可能世界间的相似关系的计算.文中分析了当不同的文档中都包含有查询中的标引词时,如何区分文档的重要性,并对其中一些问题提出了改进的方法.     

极大策略与进化稳定策略的等价性

主要证明了在由对称支付矩阵所决定的进化稳定策略模型中，极大策略与进化稳定策略是等价的。