高功率微波脉冲功率驱动源研究进展

通过文献调研 ,阐述了高功率微波脉冲驱动源的研究现状、发展趋势及其所涉及的一些如开关、绝缘和材料击穿、脉冲形成和二极管等相关关键技术的发展状况 ,简要评估后得出一些相关结论 ,力图为应用于高功率微波的脉冲功率驱动源系统找出以后的发展方向     

多约束环境下的二维布局

多约束环境下不规则的多边形的优化布局具有一定的特殊性，本文就多约束条件对二维布局的影响进行分析，提出双向包络线的概念，算法，运用基于ＡＮＤ／ＯＲ图的问题归纳进行求解，算法效率高，易于实现。     

博弈树搜索算法设计和分析

本文提出了博弈树搜索SSS~*算法的两种改进算法BS~*和DS~*算法,给出了BS~*和DS~*搜索博弈树端结点的充分必要条件,并由此证明了,如果能估计一个合适的上界,则BS~*算法优于SSS~*算法,同时还证明了DS~*算法优于α-β算法,论述了DS~*算法搜索深度为奇数的博弈树时,在一般情况下也优于SSS~*算法,且这两种算法都降低了存储开销。     

Novel Scheme of All-optical AND Gate Based on Fabry-Perot Semiconductor Optical Amplifier

A novel scheme of all-optical AND gate based on a Fabry-Perot semiconductor optical amplifier （FP-SOA） is proposed and its feasibility is verified by simulation. Using this scheme, all-optical AND gate can be realized with the extinction ratio of 10 dB. The influence of pulse interval and pulse width on the extinction ratio is also investigated.     

知识组件及其在知识空间构造中的应用研究

根据ICAI中知识的特点，通过分析知识点之间的关系，本文提出了知识结构与或图的知识表示框架，并引入知识组件来降低结构的复杂度并对其进行形式化研究。此外，本文 还给出了知识组件的形式化定义，并讨论了知识组件在知识空间的构造中的应用。     

基于模糊图论和最优水平值方法的概念设计方案求解

为便于机械产品概念空间的直观描述，将模糊图论引入概念设计，利用模糊与／或树表征产品概念空间。利用模糊设计理论中的最优水平值方法遴选基本功能载体，对功能载体的组合得到备择方案并进行综合评价，达到优化概念设计方案求解过程和提高设计效率的目的。用起重机起升装置的设计实例说明这种方法是切实可行的。     

Testability of 2-Level AND/EXOR Circuits

It is often stated that AND/EXOR circuits are much easier to test than AND/OR circuits. This statement, however, only holds true for circuits derived from restricted classes of AND/EXOR expressions, like positive polarity Reed-Muller and fixed polarity Reed-Muller expressions. For these two classes of expressions, circuits with good deterministic testability properties are known. In this paper we show that these circuits also have good random pattern testability attributes. An input probability distribution is given that yields a short expected test length for biased random patterns. This is the first time theoretical results on random pattern testability are presented for 2-level AND/EXOR circuit realizations of arbitrary Boolean functions. It turns out that analogous results cannot be expected for less restricted classes of 2-level AND/EXOR circuits. We present experiments demonstrating that generally minimized 2-level AND/OR circuits can be tested as easy (or hard) as minimized 2-level AND/EXOR circuits.     

Asynchronous Heterogeneous Mechanism for Hyper-Distributed Hyper-Parallel Al Processing

1IntroductionThehyper-distributedhyper--parallelartificialintelligence(Al)approachisexpectedtobeabletoovercomemanyformidabledifficultiesarisingintheclassicalsequelltialsymboliclogicandtheordinaryneuralnetworks.Theconcurrentpropagationofcompetitivewaveshasbeenusedinhyper--distributedhyper-parallelheuristicsearchingsuccessfully[1--3].In[1]and[2],however,therearemanyrestrictionsimposedonthewavepropagation,knownasthesynchronoushomogeneouspropagationortheasynchronoussuperimpositionofpartialsynchron…