Peirce on the justification of abduction

What sort of justification can be claimed for abduction? In this paper we reconstruct Peirce’s answer to this question. We show that in his early works on the logic of science Peirce provided an abductive justification of abduction, and that in his mature writings the early solution is enriched by a reference to the place abduction has in a typical scientific inquiry. Since abduction is the first stage of inquiry by which a hypothesis is suggested and which then has to be subjected to inductive testing, the fundamental abduction (ur-abduction) that justifies abduction has also to be subjected to a verification by means of a fundamental induction (ur-induction), namely that the abduction that abduction is valid is verified by an appeal to the history of science.     

组合逻辑电路的设计简化

把EPROM引用到逻辑电路中,将会简化逻辑电路及其设计步骤.     

基于Logic SQL的B1级安全数据库的设计与实现

基于对B1级安全数据库的研究与分析,介绍了2个数据库安全模型:Bell-La Padula模型、基于角色的访问控制模型(RBAC); 结合LogicSQL数据库的研究,设计了其B1级安全模型.主要从LogicSQL的用户身份认证、自主访问控制、基于角色的访问控制、强制访问控制、安全标签和审计等几个方面进行了讨论.     

基于Logic SQL的B2级安全机制的研究与设计

Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文对Logic SQL安全数据库的B2级安全机制的研究与设计,从标识与认证机制、访问控制机制、审计机制、加密机制、三权分立机制、客体重用保护机制等方面进行研究．并展望下一阶段Logic SQL的B2级安全机制的实现还需要进行的研究．     

一种启发式并行逻辑模拟划分算法

随着并行计算机应用的日趋广泛,在大型数字系统设计验证中,并行逻辑模拟已成为提高模拟验证效率的重要技术途径。并行逻辑模拟算法性能受多种因素影响,其中电路划分算法是直接影响并行逻辑模拟性能的主要因素。提出了一种利用预模拟信息的启发式划分算法,可以明显改善多 Ｃ Ｐ Ｕ 的负载平衡效果,减少处理器间通讯量,有效提高并行逻辑模拟效率。     

朱熹理学思想中的系统生成论

朱熹以理为最高本体,贯通宇宙;以气为事物形成的材料,解释世界的多样性;以严密的逻辑性,分析推演世界的形成过程;以阴阳互易的相互运动,来探究世界生生不息的动力,从而使他的系统宇宙生成论呈现出整体性、层次性、逻辑性和开放性的特点,为相关的研究提供了重要参考。     

试论逻辑哲学的中心问题

波普尔曾经指出,科学哲学的诸多问题中存在着一个中心问题,这就是科学知识增长的问题。在我们看来,逻辑哲学中同样存在一个中心问题。那就是形式系统内的推理有效性是否恰当地符合非形式原型的问题,亦即恰当性问题。整个逻辑哲学都是围绕着逻辑系统内有效的形式推理如何与系统外的非形式原型恰当相符这个问题展开的,其他问题都是由此派生出来的。     

新型数字逻辑电路综合实验教学平台的设计研究

针对目前国内数字逻辑电路综合实验教学存在问题,结合多年的数字逻辑电路实验教学经验,设计开发了一款新型数字逻辑电路综合实验教学平台,以满足当代大学生数字逻辑电路实验实际需求.     

用PLD构成高速RS—485同步总线接口

在复杂的主从多点系统中，以微机为核心的各站之间的高速数据交换是必不可少的重要环节。本文介绍了用可编程逻辑阵列芯片实现ＲＳ－４８５高速串行同步通信的一种设计方法。所设计的接口电路克服了用标准接口芯片实现的接口电路中存在的一些问题，如死机、丢帧、传输数据率低及收发占用机时过长等问题。通过在实际系统中的大量检验，证明本文的设计思想具有较高的实用价值。     

关于理工科大学生理解反证法问题的调查

通过问卷调查,了解到理工科学生理解反证法的状况,绝大多数人会用反证法,但他们不知道反证法的理论依据.本文分析产生这种状况的原因,建议给学生介绍逻辑知识、反证法发展的来龙去脉及反证法在科学研究与实践中的作用等知识来改变这种情况.