摘要：提出了基于连续混沌时间尺度变换的连续混沌调频信号动力学设计理论,并以Colpitts电路为例给出了具体的实现模型.通过吸引子重构和Lyapunov指数分析,阐述了连续混沌调频信号的动力学特性.结果显示连续混沌调频信号的最大Lyapunov指数与混沌信号的最大Lyapunov指数相同;连续混沌调频信号的动力学设计实现方式简单且系统参数易于控制,同时信号形式与数学意义上的连续混沌调频信号保持一致.

摘要：针对目前程序设计中软件开发还没有编制程序的一套标准方法,编制程序代码的质量不高,效率也不尽人意,提出一种迭代增量式构造程序的方法,给出程序的迭代增量构造模型和实现机制,通过具体实例对相关问题进行了讨论。提供了一种能保证质量并且有法可循的程序构建方法。实践证明这种方法完全可以快速、高效构建一些较为复杂的程序,该方法的思想也同样适用其他类似的问题。

摘要：IPv6不能直接构建于IEEE802.15.4网络上,为了实现IPv6 over IEEE802.15.4,该文对6LoWPAN的核心技术即适配层帧格式、适配层分片和重组、Mesh支持、报头压缩等进行了深入的研究,并结合TinyOS的系统特点,设计和实现了一个基于TinyOS 2.0的6LoWPAN无线传感器网络。阐述了该网络系统的设计方案,构建了测试环境,并对该系统的实现进行了测试分析。测试结果表明,该系统工作正常,能够实现WSN与外部IPv6环境直接交换数据的目标。

摘要：在对可视化程序设计实现机制研究的基础上 ,结合面向对象程序设计提出了一种可扩展对象程序设计方法。以窗体对象研究为出发点 ,叙述了采用复杂对象模块以及存储管理器实现子复杂对象生成的方法 。

摘要：测地距离能在宏观层面上较真实地反映数据中所隐含的几何结构,可基于它的支持向量数据描述(SVDD)无法直接优化.为此,文中提出一种流形分类学习算法的设计框架.用原空间测地距离近似各向同性的特征映射(ISOMAP)降维空间上的欧氏距离,即在隐含ISOMAP降维后空间上执行原学习算法.按照该框架,以SVDD为例发展出嵌入的ISOMAP发现的低维流形的SVDD(mSVDD),从而解决基于测地距离的SVDD的优化问题.USPS手写体数字数据集上的实验表明,mSVDD的单类性能较SVDD有较显著提高.

摘要：研究层次分析法中判断矩阵次序一致性检验及改进方法.指出判断矩阵次序一致性和基本一致性之间无相关性的特点,提出对判断矩阵应首先进行次序一致性检验,并把判断矩阵转化成0-1矩阵,利用图论理论得到如下结论:0-1矩阵对应的有向图中,若含有边长大于3的循环链,则一定能构造出边长为3的循环链.基于此结论,设计检验判断矩阵是否具有次序一致性的算法.对不具有次序一致性的判断矩阵,提出两条修改原则.

摘要：认知诊断(Cognitive diagnosis,CD)是智能教学系统的重要组成部分,但其研究存在一些问题:且对具有认知诊断功能的计算机化自适应测验(Computerized adaptive testing,CAT)的报导很少。CAT因人施测,公平高效,适合大规模测验。在规则空间模型与属性层次法的理论基础上,提出新的属性层次结构的类型,将形式概念分析(Formal concept analysis,FCA)应用于CD-CAT,以概念格为其理论模型,采用合适的题库建设技术、CD-CAT的选题策略和估计方法,建立概念格与CD-CAT的联系,据此开发出CD-CAT以实现对被试的实时诊断并讨论认知诊断的算法。采用Monte Carlo模拟进行实验,实验结果表明被试的知识状态较好地被诊断,能力估计精度在89%以上。

摘要：神经网络集成通过训练多个神经网络并将各网络的结论进行合成,从而得到最终结果.集成可以显著的提高学习系统的泛化能力.讨论了基于覆盖思想而设计的神经网络集成方法,并将其应用于汉语孤立数码语音识别系统中,通过在集成过程中加入基于覆盖思想的控制算法降低系统的泛化误差,从而使系统的识别效果有了进一步的提高.

摘要：近年来,由于半导体设计和制造过程的全球化以及第三方知识产权核(Intellectual Property cores,IP cores)的广泛使用,电路越来越容易受到硬件木马的攻击.硬件木马能够使得电路功能故障、泄露机密信息或者导致其他一些灾难性的后果,因此已经引起了许多关键部门的密切关注.大多数已有的硬件木马检测工作需要参考芯片去提供参考信息.然而,获得参考芯片是极其困难的.参考芯片通常是假设通过可信的工厂生产出来或者通过很严苛的逆向工程检测验证为不含木马,两种方式的代价都是极其昂贵的.在一些情景下,参考芯片甚至是不存在的,比如掩膜在工厂被修改过.该文提出了一种自适应优化的二元分类型硬件木马检测方法,消除了对生产后的参考芯片的依赖.在电路设计过程中,通常可以假设通过详尽的硅前检测或者经过严格的设计流程,使得原电路的仿真芯片是不含木马的.该文工作尤其适用于检测在设计之后的步骤中插入的木马,比如工厂生产阶段.首先,将木马检测问题建模为二元分类问题,采用电路设计流程中的仿真信息(瞬时功耗)对算法进行训练.经过训练的算法将会生成一个分类器,该分类器能够在芯片生产后测试时自动识别不含木马的和含木马的电路.有许多代表性的分类算法,该文建模了不同的算法并分析评估了哪个算法更适合木马检测.采用的评估指标包括正确分类率、混淆矩阵和查全率.评估了不同工艺偏差下多种算法的性能,给出了在较高水平的工艺偏差下合适的算法设置.更进一步地,考虑到在电路仿真和实际的硅生产之间可能会产生一定的偏差,从而导致该方法的检测性能在实际检测中有所下降,该文提出了一些优化方法来增强这一技术:(1)分析了各分类算法错误分类的芯片编号,提出了匹配算法对的工作方式,用来提供互补的检测性能;(2)提出了关注于检测错误的算法自适应迭代优化,权重调整是基于该算法在上一轮迭代中的分类错误;(3)由于将含木马的电路判定为不含木马的代价高于将不含木马的电路判定为含木马的代价,该文引入了不同检测判决的代价,提出了代价敏感型检测.在ISCAS89基准电路上进行的验证实验结果表明,所提出的方法能够检测已知的和未知的木马,检测精度和查全率均在90%以上.该方法没有添加额外的电路到原电路设计,因此没有引入硬件开销.

摘要：信息分类编码系统是 CIMS各有关环节集成的纽带 .本文针对 NGC- CIMS对信息分类编码系统的需求 ,提出了一种面向 CIMS各环节、分级、分段和柔性的信息分类编码系统的结构模型 .在开发初期提出了基于 OO的编码模型 ;在系统实现时 ,采用了码位依赖关系和基于元数据及码位模式分解的解决方法 ;在译码系统实现时 ,提出了基于总控元关系的译码方法 ;在基于编码的检索上 ,提出了不完全码的思想 .