基于自适应共振理论的自组织神经元网络

本文对自适应共振理论(Adaptive Resonance Theory,简称ART)模型的技术细节作了较为详细的介绍,并对ART模型的基本原理、方法和作用做了全面论述。     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

一个关于程序时间性质的验证框架

运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。     

基于Birkhoff插值的可验证秘密共享算法

密钥管理是密码系统重要组成部分,对密码系统的安全性起着关键的作用.分布式密钥管理被广泛应用于保密通信、面向群体的密码学.为此,基于秘密共享策略,利用Birkhoff插值法和离散对数的困难性,提出了基于Birkhoff插值的可验证秘密共享(BIVSS,birkhoff interpolation verified secret sharing)算法.BIVSS算法考虑了参与者和分发者的不诚信问题,分析了BIVSS的可验性和安全性能.该算法比常见的秘密共享策略具有更广泛的适用性.     

表格玩"穿越"用Word快速美化封面

今天上级让小六做一份宣传文档（题目叫做《宣传之窗》）。文档内容很简单,小六两下就做好了,在但封面的问题上小六有些犹豫不决。他觉得插入的风景图太单调了,想加点特效上去,但自己又不会PhotoShop,     

基于腐蚀硼锗共掺光纤的自闭合光纤法-珀传感器

提出了采用化学腐蚀硼锗共掺光纤通过电孤放电封闭成型制作非本征型光纤法-珀传感器的方法.发现硼锗共掺光纤在40％氢氟酸溶液中的腐蚀速率是一般单模光纤的30倍以上.在1.357～1.400的折射率范围内,条纹对比度随折射率改变的灵敏度约为30 dB/RIU,分辨率约为3.33×10-5,线性度为0.99以上.化学腐蚀硼锗共...     

面向制造系统的有向图仿真建模方法研究

通过对制造系统虚拟仿真的需求进行分析，提出将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制，详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。     

一种面向车间物流模型的仿真优化方法

首先构建了一个优化与仿真分离的仿真优化框架，该框架的核心是混合优化算法模块和物流仿真模块，笔者根据物流仿真的特点提出了一种改进的区域收缩遗传算法和增强连续型禁忌搜索算法混合的优化算法，也是本文中讨论的重点。并基于该框架开发了一个仿真优化软件系统，最后利用此系统优化了一个生产线实例。     

我们对政府信息化建设认识的见解

在知识经济时代，信息化程度的高低已经成为一个国家现代化水平和综合国力的重要标志。然而，在国家信息化体系建设中，政府信息化又是整个信息化中的关键。总体来说，我国的政府信息化建设，90％处于搁置状态，大多是形象工程，真正实用的少之又少。究其原因是太多软件只是解决政     

基于FPGA的FFT处理器的设计

本文主要研究基于FPGA的数据处理系统,内部包含一个1024点的FFT处理单元.FFT部分采用基四算法,五级级联处理,并通过CORDIC流水线结构使硬件实现较慢的复乘运算转化为移位和加减运算.双端口RAM、只读ROM全部内置在FPGA芯片内部,使整个系统的数据交换和处理速度得以很大提高,合理地协调了资源和速度之间相互制约问题.