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

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

Adhoc网络及其路由性能研究

Adhoc是一组无线移动主机组成的一个无需基础设施或集中管理设备的临时网络。网络拓扑易变、带宽、能源有限是其主要特点。主要介绍Adhoc网络及其组网关键技术——路由协议，并对现在的具有代表性的协议性能进行了比较分析，有助于从事Adhoc网络的工作者综合各种路由的优点解决Adhoc网络中存在的问题。     

交际语言与逻辑

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

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

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

绿蓝问题与简单性方案

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

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

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

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

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

Logistic回归模型的Bayes分析

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

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

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

基于.NET的B/S模式企业协作网信息系统的设计与实现

采用．NET技术，以C#为语言开发工具，建立一个B／S模式的企业协作网信息系统，实现基于B／S模式的数据管理和数据维护的方法．着重介绍了系统实现中所使用的数据库交互和系统业务逻辑组件等关键技术．