关于数字系统设计的研究

阐述了VHDL硬件描述语言与电路设计的关系及设计过程，在此基础上对数字系统设计方法进行了分析与比较。     

浅议地方史研究与档案的关系

在研究地方史过程中查阅档案一定要全面，对重点档案还要不断深入分析，如此才能打开研究的思路。在研究进程中要及时、严谨、准确的收集档案。特色档案的形成过程就是出研究成果的过程。     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

交际语言与逻辑

文章引用交际语言实践中典型的鲜活案例，剖析具有普遍性意义的语言现象，并从交际语言与逻辑思维的角度论述语言信息、事物关系同思维形式、逻辑规律之间的内在联系以及语言规范的逻辑意义。     

邓析"两可说"的博弈论分析

邓析的“两可说”历来被视为是诡辩。如果我们用博弈论为工具来分析“两可说”的最为著名的一个事例“赎尸博弈”，可以说明，“两可说”的建议完全符合博弈论理论要求，决非诡辩。     

绿蓝问题与简单性方案

绿蓝问题是假说选择问题的一种范型.科学假说精确的逻辑结构应该包含假说适用的情景和敏感因子.简单性标准是广为接受的一种假说选择标准,在运用到解决绿蓝问题时,提出了简单性的句法理论和语义理论.但这两种理论分别遭遇了对表达系统和概念框架的相对性,不能处理某些绿蓝型问题,甚至会陷入反直观境地的难题.     

费耶阿本德对理论依赖观察观点的批判

1"没有经验的科学"是可以想象的 在发表于1958年的论文<对经验进行实在论解释的尝试>中,费耶阿本德通过对逻辑经验主义理论依赖观察的彻底批判,提出他作为理论核心的"没有经验的科学"观点.     

微机控高精度高压脉冲电源的研制

介绍利用大功率绝缘栅极晶体管(IGBT)配合脉冲升压变压器组成的高精度高压脉冲电源。该电源利用复杂可编程逻辑器件(CPLD)产生触发信号，通过微机、单片机、CPLD实现脉冲频率、脉冲宽度和脉冲个数的微机控制。且脉冲宽度能够以1μs步长增减，满足了脉冲电场非热效应处理技术应用的研究。     

Logistic回归模型的Bayes分析

本文应用Bayes观点讨论了logistic模型中的参数估计问题。     

基于DCVSPG逻辑的双轨四相异步电路设计

基于四相双轨异步电路设计的芯片面积较单轨异步电路成倍增大,提出了将异步DCVSPG(ADCVSPG)逻辑用于双轨四相异步电路设计.为了适应异步电路设计,在ADCVSPG逻辑单元电路的互补输出端,由一个与非门来实现完成判断电路,同时在每个互补输出端分别添加一个由反向器构成的锁存器,以此提高电路的稳定性,并使得ADCVSPG适合于异步细粒度流水线设计.在HSPICE下对ADCVSPG逻辑和零协议逻辑(Null Convention Logic,NCL)进行了分析.分析表明,ADCVSPG逻辑提高了双轨四相异步电路的性能,减小了芯片面积,是一种较佳的设计方法.