几种视频芯片在机载计算机系统中的应用

本文介绍了几种新型视频转换芯片在机载计算机系统上的应用,主要包括PAL制视频和LVDS视频总线设计.     

NMR和分子模拟研究二乙基丙二酸茚类衍生物中二乙基官能团的CH2CH3自旋系统

在研究用炔基丙二酸亲电环化反应来高区域选择性和立体选择性合成丙二酸茚类衍生物的过程中,发现一些二乙基丙二酸茚衍生物二乙基官能团上的CH2和CH3质子显示出非常有趣的自旋-自旋耦合以及信号裂分现象,以往没有相关文献对这种现象给予报道.为阐述这些发现,在本文中我们合成了几个二乙基丙二酸茚类衍生物,并用NMR和分子模拟研究了这几个化合物二乙基上的CH2CH3自旋系统.结果显示：在这些化合物中,二乙基上的CH2CH3自旋系统可以以各种类型存在（AMX3,ABX3以及A2X3）,而且炔基末端取代的苯基的芳香环电流效应是引起这些有趣的自旋现象的主要原因.     

基于S型隶属度函数的模糊网络计划关键线路分析

在众多研究三角或梯形模糊网络计划的基础上,分析了S型隶属函数下模糊网络计划的可行性.针对在模糊网络计划中以总时差为零来判断关键线路可能遇到的问题,引出相关面积的概念,以最接近总工期的线路对工程工期影响最大的原则,得出关键线路的求法.     

有限状态隐Markov模型的熵率存在定理

引入了隐Markov模型的定义和绝对平均收敛的概念,研究了信息论中的编码问题,得到了有限状态下隐非齐次Markov模型的熵率存在性定理.     

湿敏元件在恶劣环境下的失效机理分析

介绍了电容式高分子湿敏元件的基本结构及制造工艺.分析了湿敏元件在恶劣环境下的失效机理及产生的原因,指出了感湿膜中的颗粒状缺陷是造成湿敏元件在恶劣环境下失效的主要原因.提出了在湿敏元件制作、上电极工艺制造技术和湿敏元件筛选检验的改进措施.     

可公开验证的短密钥公钥加密方案

利用一个选择身份安全的基于身份加密方案(IBE)和2个目标抗碰撞散列函数,构造了一个可公开验证的公钥加密方案.在判定性BDHI假设的基础上,证明了新方案在标准模型下是适应性选择密文安全的.相比现有可公开验证的公钥加密方案,新方案的公私钥长度较短且与安全参数相互独立.     

AZ91镁合金的YAG脉冲激光焊接

为了研究AZ91镁合金的焊接性,采用YAG脉冲激光焊单面焊双面成型的工艺对厚1.5mm的AZ91变形镁合金进行了焊接试验研究,由试验研究结果可知,焊缝中的组织主要是细小的等轴晶区,熔合线清晰,无明显的热影响区,缺陷较少,焊缝的晶粒尺寸明显小于母材;由于Mg的蒸发,最终导致了焊缝区Al和Zn含量的相对增加,使得焊缝的显微硬度都高于母材。结果表明,采用合理的工艺措施,AZ91镁合金具有良好的YAG脉冲激光焊接性。     

一类不可表示的多部秘密共享拟阵

 一直以来,理想的存取结构具有的特性是秘密共享领域中主要的开放性问题之一,并且该问题与拟阵论有着密切的联系.多部存取结构是指将参与者集合划分为多个部分,使得同一部分中的参与者在存取结构中扮演等价的角色,由于每个存取结构都可以看作是多部的,于是多部存取结构的特性被广泛地研究.在EUROCRYPT’07上,Farras等人研究了秘密共享方案中理想多部存取结构的特性.他们的工作具有令人振奋的结果：通过研究多部拟阵和离散多拟阵之间的关系,他们得到了多部存取结构为理想存取结构的一个必要条件和一个充分条件,并且证明了一个多部拟阵是可表示的当且仅当其对应的离散多拟阵是可表示的.在文中,他们给出了一个开放性问题：可表示的离散多拟阵具有的特性,即哪些离散多拟阵是可表示的,哪些是不可表示的.本文给出并证明了一类不可表示的离散多拟阵,即给出了一个离散多拟阵为不可表示的离散多拟阵的一个充分条件.我们将这一结论应用于Vamos拟阵,于是得到了一族不可表示的多部拟阵,同时我们利用向量的线性相关和线性无关性对Vamos拟阵的不可表示性给出了新的证明.     

铂黑/二茂铁修饰MEMS电极的葡萄糖传感器

利用MEMS技术小批量加工了薄膜金电极。采用电化学沉积法在金电极表面修饰纳米铂黑颗粒,以有机功能性材料二茂铁作为电子媒介体,通过戊二醛-牛血清白蛋白共价交联固定葡萄糖氧化酶制得葡萄糖生物传感器。考察了不同修饰电极的电化学行为以及酶固定量和戊二醛浓度对传感器响应特性的影响。实验结果表明:该传感器响应时间仅为5s,在0.29V的低工作电压下,线性测量范围可达到0.5～22mmol/L,灵敏度为50.35μA/(cm2.mmol.L-1),相关系数为0.9925,差异系数为4.28%。     

安全散列算法的FPGA实现与仿真

安全散列算法是一种常用的加密算法,在信息安全领域得到了广泛应用。该文通过设计硬件电路,建立SHA-1算法的模型并实现。在FPGA中实现SHA-1算法时采取并行处理的方法,对算法的实现流程进行了优化,通过模块化设计,缩短了算法实现的周期,减少了存储资源的占用。最后进行综合和仿真,验证了算法实现的正确性。