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

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

PROLOG逻辑程序正确性证明

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

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

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

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

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

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

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

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

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

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

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

Visual FoxPro中常见错误及其处理方法

在应用程序设计中 ,程序的调试是程序设计的重要一环 .重点介绍Visualfoxpro中常见错误及其错误的处理方法 ,以便提高应用程序的质量和效果     

科学逻辑的知识创新功能试析

从科学逻辑的角度看，科学知识创新是指科学知识的增长。归纳逻辑作为一种冒险的逻辑，其知识创新功能比演绎逻辑强。贝叶斯规则着力刻画了新证据在知识增长方面的作用，从而具有较强的知识创新功能。新培根主义归纳概率逻辑较好地满足了知识增长的要求，展示了科学知识创新的途径。要增强科学逻辑的知识创新功能，必须实现从单调逻辑向非单调逻辑的转变，从外延逻辑向非外延逻辑的转变，从形式逻辑向非形式逻辑的转变。     

学校体育伦理属性的人性逻辑确认

学校体育是否具有伦理属性是能否以伦理介入学校体育理论与实践的前提，对其确认与把握将为学校体育伦理研究提供内在依据与理论凭借。学校体育活动开展的任何一个环节、过程都离不开人性取向的判断，人性假设是学校体育理论与实践的逻辑前提。伦理道德孕育于人的需要，而人的需要即人性或人的本性的折射，那么人性中必然内蕴着伦理道德，由此可以推断，人性内在必然具有伦理属性。按照事物推演的逻辑，既然人性内在具有伦理属性，而人性假设已经被确证是学校体育理论与实践的逻辑前提，可以确认学校体育内在必然具有伦理属性。伦理属性在学校体育中主要体现为：学校体育相关主体之间存在实质伦理关系，学校体育终极目标具有伦理蕴意，学校体育实践需要伦理的规范与约束。依据人性逻辑对学校体育伦理属性的确认与探索，既有利于明晰学校体育的伦理内涵，也有利于丰富学校体育伦理的研究体系。