专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

非匹配条件下滑动模的鲁棒性

本文研究结构系统在非匹配条件下滑动模的鲁棒性问题，首先提出了变结构系统部分不变性的概念，进而给出了变结构系统具有部分不变性的充分必要条件；最后举一个例子验证所提出的方法，本文结果解决了不确定系统在何种条件下可以直接设计出具有期望动态品质的滑动模的问题。     

The Research on the Decision－making Mechanism of China′s Monetary Policy Regulation

Decision- making isthe whole process from discovering to solving a problem. The characterof its logic is the problem- oriented pragmatism and innovative ratiocination taking thefuture as premise. Decision- making mechanism is the operation mode that the d…     

双原子链中点缺陷引起的局域振动

通过对存在一个点缺陷的一维双原子链振动方程的求解，得到晶格局域模频率的对称解析解和反对称解析解，并对局域模进行了简要讨论。     

考虑家庭成员的早高峰出行行为分析

早高峰出行行为一般包括：通勤和通学.随着私家车拥有率的提高，在早高峰期间，家庭成员乘坐同一辆车，从居住地出发到达多个目的地的现象越来越普遍，如：通勤者开车先将小孩送到学校，继而前行去往工作地上班.本文基于Y型道路汇流网络，考虑个人通勤和家庭通勤两类出行者，构建高峰期出行选择均衡模型，分析通勤者的出发时间选择.在用户均衡状态下，每类通勤者都不能通过单方面改变自己的行为选择而使其出行成本变得更小.最后，通过数值算例对理论结论进行了验证和分析.     

牛顿科学的"推理规则"与科学发现的逻辑

牛顿在<自然哲学的数学原理>中提出的"哲学中的推理规则",不仅浓缩了牛顿时代有关科学方法论的许多内容,而且还蕴涵着在此之后有关"科学发现的逻辑"问题的历史变化的思想根源,甚至这一规则也可以作为今天"复活发现逻辑"的一个典型的科学史范例.     

论技术理性研究的哲学路径

实践哲学突破了传统哲学对哲学基本问题的狭隘理解,提出理性思维有"认知型"和"筹划型"两种思维方式.人的"筹划型"思维方式所形成的实践理性在技术哲学领域恰恰是技术理性.技术哲学必须以理性思维的"筹划型"思维方式为切入点,才能找到技术理性研究正确的哲学路径.只有这样才能使技术哲学研究真正地从"边缘"走向"内核".     

对我校非计算机专业"计算机文化基础"课程教学改革探讨

"计算机文化基础"课程改革,是各高校面临的重大课题,本文结合我校的实际情况,在教学模式和考核方式改革方面谈一些自己的看法.     

专业化管理运作模式思考与探讨

石油企业的专业化管理是提高企业管理水平的理性选择.无论是市场化专业管理、行政化专业管理、全域化专业管理、区域专业化管理,还是精细专业化管理、综合专业化管理等,都各有所长.石油企业采用＂专业化管理,一体化运作,捆绑式考核＂的专业化管理思路,才能打破垄断,激发企业管理活力,使企业走向成功.     

"产、学交互"型培养模式的教学要素优化

剖析了现有人才培养模式的缺陷,倡导以"产、学交互"为手段的新模式,提出了适应"产、学交互"型培养模式的教学要素的优化思路.