(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

反讽之一种:关于《前门遇马队记》的解读

反讽,是周作人散文中一种独特的诗学命题。通过对《前门遇马队记》的细读,分析作者、读者、叙述者在情感与价值逻辑上的距离,考察反讽产生的诗学途径,并进一步阐释抽绎其内在形态与含蕴的生命观。     

区域耕地-人口-粮食系统动态分析与耕地压力预测——以河北省邢台市为例

在分析河北省邢台市1990—2004年耕地、人口、粮食动态变化的基础上,分析了耕地压力指数的变化特点,并对未来15年耕地、人口、粮食进行了预测,进而预测了耕地压力指数的变化。结果显示:1990年以来,虽然邢台市耕地数量持续减少,人口不断增加,但由于耕地生产率不断提高,粮食产量和人均占有量却在增加,耕地压力指数呈现降低的趋势。未来15年耕地压力指数将进一步降低。可见,依靠增加投入和科技进步从而不断提高耕地生产率,是减轻耕地压力、保证粮食安全生产的根本途径。     

基于VB6.0的PC机和S7-200PLC间的数据通讯

以SIEMENS公司S7200 PLC为例，用VB实现S7-200PLC在自由口通讯方式下与上位机的通讯。讨论了通讯系统的构成、通讯方式的设置，给出了软件程序和实验结果。该系统已成功应用于3．3kV八组合磁力控制站测控系统中。实验结果表明，该通讯程序具有重要的工程应用价值。     

电路本质安全性能计算机分析方法

直流低压本质安全电路在IEC火花试验装置上进行爆炸检测时会产生电弧放电。如果将火花试验装置的电极在闭合或断开时的放电电弧看作一个非线性电阻，则可以实现电路本质安全性能的计算机辅助分析方法。介绍了电路本质安全性能计算机分析方法的评价原则；给出了3种不同性质电路(电阻、电感和电容)的电弧放电数学模型；介绍了计算机辅助分析方法的步骤以及电路本质安全性能分析的特殊问题：最后给出计算机分析软件的流程图和结果样例。为设计人员预估电路本质安全性能提供一个方便的方法。     

用于电动助力转向系统的控制逻辑电路

为在电动助力转向系统中实现对电机有效的控制与保护，介绍一种用于电动助力转向系统的控制逻辑电路．电路采用两组场效应管(VMOS管)作为功率开关器件，并组合门电路与正反转控制电路可方便、可靠地实现对功率开关的控制，解决正、反向开关的“错位”问题．采用脉宽调制电路和过电流保护电路，通过调整输出扭矩可达到理想的助力效果并防止电机损坏．并对该电路进行仿真，仿真结果表明该电路简单、可靠、可行．     

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

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

确定Fmin的一个算法

构造了一个求解最小函数依赖集Fmin的计算机算法．该算法将求解Fmin的逻辑推理过程包装在一个C 函数之中，通过运行与此函数相配套的程序，可以快速、准确地获得与所给函数依赖集F等价的Fmin从而使求解Fmin的过程方便、快捷．     

绿蓝问题与简单性方案

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

区域覆盖星座结构与参数同时优化的进化算法

针对区域覆盖卫星星座的优化设计问题,设计了一种能同时优化星座结构和参数的进化算法。算法采用固定长度的染色体编码,由星座可能的最多轨道面数和各轨道面内最多卫星数目确定的最多变量个数决定染色体编码长度。根据个体星座的轨道面数和各轨道面卫星数的实际值确定染色体中哪些基因是冗余的,并将这些冗余的基因设为隐性,达到可变维数优化的目的,从而实现星座结构的优化。染色体采用二进制/实数混合编码的方式处理同时具有整数/连续变量的星座优化问题,二进制编码部分采用二进制的进化算子,实数编码部分采用一组星座设计专用的进化算子。在一个虚拟的区域海洋监视卫星星座优化设计中的应用显示了该算法的有效性。