自杞国史事考述

自杞国是公元十二三世纪在我国西南地区崛起的一个少数民族政权。文章结合文献及相关材料，对自杞国的兴亡、地域、族属、国王、都城、经济、军事及在宋蒙战争中的历史作用进行了阐释梳理、考证研究。     

CMOS数字集成电路I/O单元设计分析

按使用时焊点(PAD)排列方式的不同,CMC)S I/O库可分为两大类:直排式(inline)和交错式(staggered).以双向输入/输出单元为例详细介绍了一般CMOS I/O单元的主要组成部分及设计分析.其主要电路组成部分包括输出电平转换,输入/输出驱动以及静电保护,在工作频率要求较高时还应设计电源噪声抑制模块.电路设计配合一定工艺的spice模型进行仿真,根据仿真结果判断设计正确与否并进行优化.     

军事需求工程研究综述

军事需求工程是用工程化手段解决军事系统建设的有效性问题,军事需求工程研究综述对促进军事需求工程研究、建立健全军事需求生成机制等方面具有意义。围绕军事需求开发、军事需求管理和军事需求检验三个方面,对军事需求工程技术进行了探讨。分析总结了国防领域的相关研究成果和典型应用。研究发现军事需求工程正向实用化、规范化、制度化方向发展。     

一类3-连通图上的最优容错路由选择的构成

一类３－连通图上的最优容错路由选择的构成郑晓罗予频杨士元（南京广播电视大学，南京２１００２９）（清华大学自动化系，北京１０００８４）在描述某网络的图中，给各有序的两点定义一条称之为路由（ｒｏｕｔｅ）的通信路径，这就构成了ｒｏｕｔｉｎｇ。当故障发生时...     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

Formal Development of Feedback Control System with Fault Accommodation

1.INTRODUCTIONColltrolsystemsarevulnerabletofaultsincolltrolloopswherefaultsmayabruptanddamagingresponses.Thesesystemswithfaultaccommodationarebecolliingmoreandmoreimportalltwhileappearinginflightcontrol,robotscontrolandnuclearreactorcontroletc,andcallingformuchrigorousdevelopmentapproach.AstructureofthiskindofsystemcanbeseeninFig.l.Theproblemofdevelopingsuchsystemsis,foragivenplat,aworkingenvironmelltandarequiremellt,howtodesignnormalcolltroller,reconfigUledcolltroller,andFDImechanisms…     

林果业生产机械化水平评价与实证研究

为掌握多年生作物林果业的生产机械化发展现状,十分有必要建立一套指标体系来评价其生产机械化水平.从统计具有可操作性角度出发,对林果业概念界定、指标及权重设置、评价方法建立等方面进行了深入探讨.通过典型调查与专家咨询、定性与定量研究相结合等方法,从林果业全程生产的15项作业中重点考虑作业频次高、用工量大、作业费用多、机械化需求迫切的重点作业项目,选取了中耕、施肥、植保、修剪、采收、田间转运等6项,设置了相应评价指标,用德尔菲法确定了指标权重,构建了评价指标体系,采用线性加权综合评价法进行计算和评价.最后进行了应用验证,结果表明该指标体系能一定程度反映生产实况,且具有可操作性,为分区分类指导我国林果业生产机械化发展提供了科学依据.     

基于可信第三方的Android应用完整性验证模型

提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.     

基于双向量子隐形传态上的双向量子安全直接通信

提出了一种利用EPR对和纠缠交换的双向量子隐形传态;在这个协议中,双方可同时发送一个未知的单一量子比特给对方,而且在实际操作中比以前的提出的协议更加简单;利用提出的双向量子隐形传态,建立了一种新的双向量子安全直接通信协议,协议在通信过程中不需要传递携带秘密信息的量子比特,大大提高了量子通信的安全信.     

考虑不同地区零售商间转载协作的库存模型

研究由中央仓库和分布于不同地区零售店组成的多点库存系统,同一地区库存点间允许双向转载,不同地区库存点间仅存在单向转载;库存点面临独立泊松分布需求,采用连续检查的(S-1,S)策略.基于M/G/S/S队列理论、生灭过程模型和近似计算思想,分别建立损失销售情况和延期交货情况下的库存模型.设计了该库存系统的离散事件仿真过程以获取比较标杆.设计了系统参数变化组合实验,对比分析近似模型、仿真模型、策略仿真、单向转载模型和无转载模型的计算结果,发现所提近似混合转载模型的期望总成本最小.