自组装DNA计算研究难点与展望

随着DNA计算领域研究的深入,自装组DNA计算的研究成为了并行计算领域的研究热点,在本文中,作者主要分析讲述当前自组装DNA计算的几种结构形式：一维的、二维的以及三维的自组装DNA分子结构特点和发展现状,并且提出现在自组装DNA计算发展的难点以及今后的发展展望。随着多学科交叉融合力度的加大,自组装DNA计算将会成为生物信息学、应用数学、计算机仿真学、智能计算、纳米材料科学等多领域专家的重要研究方向。     

一类扩展的弹道成型制导律

以导弹剩余飞行时间的幂函数为基础构建扩展的目标罚函数,利用Schwartz不等式,推导得到扩展的带落点和落角约束的最优制导律簇,给出了两类衍生形式的扩展弹道成型制导律簇. 在终端落角约束下,针对罚函数的不同指数n、制导动力学阶数以及不同的导引头和驾驶动力学权状态,研究了第一类衍生形式弹道成型的量纲一加速度、位置、角度脱靶量特性. 研究结果表明,末导时间达到制导动力学滞后时间常数的15倍左右时,量纲一位置和角度脱靶量均收敛到0附近;指数n越大,位置和角度脱靶量振荡越厉害;动力学阶数越高,位置脱靶量振荡越厉害. 最后指出,提高导引头响应速度比提高驾驶仪响应速度能更有效地降低系统位置和角度脱靶量.      

大型LED双面广告灯箱矢量设计方法

针对发光二极管(LED)广告灯箱近距离、大面积、非对称照明的特点,提出一种基于配光曲线的LED广告灯箱反射面矢量设计方法.根据目标面照度分布要求,对比添加反射面前的目标面照度变化,得到满足均匀照明的广告灯箱配光曲线.使用剪裁法确定反射面的斜率,建立直射光线和反射光线的有效叠加和补偿,实现均匀照明的要求.运用LightTools软件对设计进行模拟仿真,结果表明:目标照度均匀度达到85%,能量利用率超过80%.     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

嵌入式系统设计中FLASH存储器的应用

本文描述了SST39F040芯片的应用方法,并通过增强型单片机STC89C52RC对闪存SST39F040进行控制,实现对FLASH的读取、编程和擦除操作,为嵌入式系统功能扩展解决存储空间不足的瓶颈问题,提供了一个可靠的应用实例。     

高压4H-SiC肖特基二极管的模拟及研制

结终端技术能提高4 H-SiC肖特基势垒二极管器件的耐压性能.利用仿真软件ISE-TCAD10.0对具有结终端扩展JTE保护的4 H-SiC SBD器件进行了仿真研究,并依据仿真优化好的参数试制了器件.实验测试结果表明,模拟优化结果与实验测试器件的结果一致性较好,实测此器件的反向电压值达2 000 V,接近理想击穿耐压88%,漏电流数值为0.1mA/cm2.     

降能片对12C6+束流影响的Geant4模拟

利用Geant4模拟每核子能量在80~360 MeV内碳离子束（¹²C⁶⁺）穿过靶质量厚度为0.5~4.0 g/cm2的有机玻璃、 铝、 铜和铅后的角度歧离值和能量歧离值, 并对比单能碳离子束直接进入水中和经降能片后再进入水中的Bragg峰. 模拟结果表明: 碳离子束的能量越高、 降能片的质量厚度和原子序数越小, 碳离子束经过降能片后的角度歧离和能量歧离值越小, 其Bragg峰所受影响也越小. 即若仅考虑角度歧离和能量歧离, 则低原子序数的材料更适合做降能片.     

均匀照明的发光二极管阵列仿真与对比分析

通过设定发光二极管所在平面与探测面之间的距离、所设计阵列的发光二极管个数及发光角度等参数,依据斯派罗法则,利用Matlab对表达式进行计算.结合TracePro软件,对方形阵列、三角形阵列及环形阵列等3个常见的发光二极管平面阵列进行模拟仿真及对比分析.结果表明:由于排列方式不同,所得到的均匀照明的范围及所占面板空间也各不相同;三角形阵列可得到较大范围的平坦度和占用较小的面板空间.     

基于STIRPAT模型的低碳经济策略分析——以辽宁省为例

随着社会经济的发展,大量温室气体的排放已引起严重的气候变化。辽宁省积极响应国家政策,发展低碳经济。采用1989～2009年辽宁省相关的统计数据,对STIRPAT模型进行了扩展分析,应用EViews6.0软件并使用时间序列分析方法,研究了辽宁省碳排放量的影响因素,并提出了相应的减排策略及建议。     

CFSM模型的有限自动机语义

研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。