基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

基于遗传算法的导弹稳定控制回路参数设计方法

本文利用遗传算法（ＧＡ）来优化设计控制系统参数。文中在简要阐述遗传算法的机理及实现的基础上，将遗传算法应用于Ｘ型导弹的弹上稳定回路的参数设计，仿真结果表明了所提方法的可行及有效性。     

高师体育教育专业学生教学技能Fuzzy综合评估的研究

根据目标反馈控制原理 ,采用教育评估的方法 ,经过多轮调查 ,建立了高师体育教育专业学生教学技能评估指标体系 ,采用Saaty相关重要程度相关计算方法确定合理权重 .然后 ,运用Fuzzy综合评价方法进行评估实验研究 ,经实验研究验证 ,评价效果是令人满意的 .     

遗传算法在网上谈判支持系统中的应用研究

从 8 0年代后期首次出现谈判支持系统至今 ,国外许多学者从不的角度对其进行了大量的研究 ,而国内在这方面的研究尚处于起步阶段 .网上谈判支持系统不仅要为谈判人提供方便的交流媒介 ,更要为其提供合理的协调解 ,以减少冲突 ,提高谈判的成功率 .目前 ,对于网上谈判支持系统中谈判解支持的研究 ,尚未取得重大突破 ,采用的方法仅仅局限于效用函数法、对策分析法以及国内近期研究出的基于兴趣点的选择方案搜索算法等等 .但是 ,这些方法在实际应用中很难方便、及时地为谈判人提供有效的建议解或方案支持 ,无法满足网上谈判的实际需求 .本文针对遗传算法的全局收敛性快速寻优、可并行性寻优以及模拟自然进化过程解决最优问题等特点 ,尝试着将遗传算法用于网上谈判支持系统中 ,为谈判人提供对于双方而言满意的协调解 ,对此 ,文中进行了一系列的理论分析及实践检验 ,证明了这种方法的可行性及特殊的优越性 .     

The Experimental and Theoretical Research of “Local Resonance“ in Ultrasonic Honing System

In 1982, Professor Fang Guoliang found the “Non full resonance“ phenomenon in a tool system while he use the thin-long tool ultrasonically machining deep-small hole. He called it as “local resonance“. Also this “Non full resonance“ phenomenon was discovered in the ultrasonic drilling and the ultrasonic honing system later. To its mechanism, professor Fang thought that the coupling of long-thin tool bar and driving system is weak, so the tool bar can vibrate independently, but the quantitative relation betwe...     

一种面向电子商务企业的MIS构建模式

分析了当前企业电子商务的特点和要求，提出了一种面向电子商务企业的MIS体系结构和总体集成规划方案，阐述了在安全性，稳定性等方面技术实现方式，并通过该构建模式在某商场的应用实例加以说明。     

中外银行税制比较与我国银行税制改革路径

我国与银行业相关的税收制度实施已20多年,宏观经济环境发生了很大变化,特别是随着我国加入世界贸易组织,现行的银行税制已滞后于当前的社会经济环境和银行业的现状,已不能适应加入WTO后的发展需要.与其他国家相比,我国现行银行税制存在诸多问题和弊端.因此,必须立足我国银行业的现实国情,改革现行银行税制,为银行业创造公平的市场竞争环境,从而促进我国银行业的健康、稳定、可持续发展.     

34Mb/s彩色数字电视系统中的PAL彩色信号的分量分离

本文基于PAL信号的频谱特点,分析了由2H延迟线组成的梳状滤波器分离亮度信号的原理,给出了实验电路框图,并简要叙述了误差带来的影响。     

企业统计技术要素管理中的相关问题及对策

统计技术是现代企业质量体系的重要要素。基于当前企业统计技术要素管理相对薄弱、滞后的现状,分析其实践中存在的相关问题,并结合实际对企业提高统计技术要素管理水平、增强统计方法实施有效性提出相应的对策和建议。     

用软硬件协同设计成像器稳定装置数字控制系统

软硬件协同设计技术是应现代电子系统设计的需求而产生的一项新技术 ,对现有的系统设计思想和设计方法将产生变革性的影响 ,有传统设计方法无可比拟的优点。简要介绍了软硬件协同设计技术的设计思想 ,并应用此技术设计完成了成像器稳定装置数字控制系统