SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

基于ArcPy的GIS空间分析建模原理及实现方法

采用Arc GIS10.0中ArcPy模块并使用Python编程语言以函数式编程的方法进行GIS空间分析建模的原理,并以基于对象的影像最优分割结果选取为例介绍其具体实现方法。     

基于IP-XACT标准的SoC集成方法

为了提高SoC集成设计效率,构建基于IP-XACT标准的CKSoC（C-SKY SoC）设计集成平台.采用自底向上的集成策略,通过IP/子系统两层复用和软硬件资源复用,依次从IP级、SoC核心系统级和SoC芯片级3个层次逐步细化完善系统平台,生成3个不同的平台：RTL仿真平台、FPGA原型仿真平台和门级网表逻辑综合环境,可以显著地提高SoC设计集成效率.双核SoC芯片设计实例展示了CKSoC设计集成平台使用与分析方法,证明了CKSoC设计集成平台的高效性与可行性.     

Lilac SoC的FPGA实现

简要介绍了用FPCA实现Lilac SoC设计的意义以及该BoC系统的组成，在此基础上详述了整个FPGA实现流程，给出了流程中关于综合与实现约束问题的描述，并给出了FPCA对系统的验证结果分析。     

材料性能的建模方法

提出一种用非线性函数的线性组合来预测材料性能的建模方法. 在叙述其数学原理后,给出了确定参量的数学方法,同时给出5个实例的建模结果. 得到的计算结果与理论符合良好,在一定程度上可以预测出材料性能. 讨论了多元函数的建模.     

数据流窗口语义及查询引擎的实现

数据流窗口主要采用了基于时间、元组和分组的3种驱动形式, 如果仅采用一种驱动形式难以正确表达数据流查询语义, 因此, 针对数据流查询语义的不完备性, 从窗口的查询级、数据级和系统级定义了一个完整的窗口语义框架来解决语义差异, 并提出了基于主存数据库的分组窗口驱动的实现, 最后通过实验验证了该方法.     

基于子结构建模方法的虚拟式模态分析仪的实现

为了解决实验模态分析和计算模态分析之间的兼容性问题,并快速简洁以及准确地实现几何结构建模,根据模态分析的基本原理,引入子结构的思想,提出一种基于子结构面向图元对象的结构模型,从而在实验模态分析和计算模态分析的不同层次之间采用统一的架构.进而利用虚拟仪器技术和OpenGL三维图形接口技术,实现了模态分析仪的输入输出功能,成功研制出虚拟式模态分析仪,并成功应用于机械结构的模态试验和分析.     

三维建模技术及实现方法对比研究

基于三维建模技术丰富的内涵展开论述,详细探讨了三维空间模型及其构模方法,并对比分析了目前常用的10种三维构模方法(或建模技术)的优缺点及适用场合。然后通过对基于OpenGL、DirectX、Java3D和IDL 4种三维建模实现方法性能的比较,论证了三维应用中采用基于OpenGL的三维建模技术具有很大的优越性和适用性,并进一步分析了目前常用的2种典型的基于OpenGL的三维编程方法的优劣。     

基于数据流图的专用指令生成方法

提出了一种基于数据流图(DFG)的专用指令生成方法.以目标应用的高级语言参考代码为起点,通过编译器前端转化为三地址中间格式,得到有向数据流图.使用提出的基于处理器体系架构约束的静态搜索算法对得到的数据流图进行搜索,得到满足约束的操作组合.结合典型测试序列的动态运行数据对搜索结果进行进一步的筛选,确定对于目标应用性能起关键作用的操作组合,以此作为专用加速指令.该方法实现了数据流图提取的自动化,并结合了静态数据流图搜索与动态结果筛选.通过在视频压缩专用处理器设计中的应用,证明此方法可以快速高效地进行专用指令的自动生成.     

基于偏斜数据流分类的入侵检测方法

入侵检测数据流具有偏斜分布以及概念漂移的特点,其样本无法准确反映整个空间的数据分布,分类器容易被大类淹没而忽略小类,使得检测正确率不高,对此,文中提出了一种单分类器集成的入侵检测方法,该方法在使用k-means聚类算法调整数据分布的基础上,用区间估计结合AUC的值检查概念漂移并更新分类器.实验结果表明,在处理偏斜数据流上优于均值、乘法规则、最大值三种分类处理方法,并具有较高的入侵检测率.     

基于XML Schema的细粒度SoC设计复用方法

针对传统的基于模块复用的SoC可复用设计方法学在面对结构复用或抽象内容复用时效率低、设计迭代代价高的缺陷,提出基于XML Schema的细粒度设计复用方法（FGRX）,扩充了传统可复用设计方法学,通过分析现有设计把更小的逻辑结构、代码片段和抽象内容吸纳为可复用对象,并基于可复用对象构建设计原语集和复用规则集.FGRX用XML Schema对原语集和复用规则集完成形式化定义,同类设计或同一产品线中的类似芯片设计描述在原语级以XML格式完成.利用XML Validator自动构建基于复用规则集的原语级描述校验器,对设计描述完成静态结构检查.利用XSLT设计转换规则,把由可复用对象组成的原语级设计描述转换成各种标准格式的设计文件,并在转换过程中实现细致的语义检查,进一步校验模型描述.以一个实际应用具体讨论了FGRX的应用过程,实际应用结果证明：FGRX能充分复用现有工作成果、高效可靠地完成同类模块的设计或同一产品线中同类芯片的开发、大规模精简描述代码、减少设计者重复劳动的工作量以及提升工作效率.     

基于半脆弱水印的安全交易模型研究与实现

为了保证基于数字签名的网络交易模型中交易信息的完整性和真实性，提出一种结合半脆弱水印
、信息隐藏和加密技术的网络安全交易模型.该模型通过直接修改MP3Stego软件包实现信息隐藏，依据加
密程序包RSAEuro提供的库函数构造RSA加密算法，在密钥的控制下随机选取经离散余弦变换（DCT）后的
交易信息系数，根据DCT系数右下角之和的奇偶性嵌入水印信息.实验结果表明，嵌入的水印信息不仅对篡
改具有敏感性而且能抵抗JPEG压缩.根据形式化证明，该模型实现了身份认证和内容的完整性认证，同时
能防止发送方的抵赖和接收方的非法伪造，达到了交易双方的信息在网上安全隐蔽的传输.     

基于事件触发并发数据流的可视化语言

数据流模型不仅可以有效地描述数据处理问题,而且具有很好的可视性与直观性,因此特别适合用于开发面向虚拟仪器的可视化编程语言.目前开发的可视化编程语言多是基于纯数据流(HomogeneousDataflow)模型的.纯数据流模型不能很好地与目前多数操作系统基于的事件驱动模型协调,存在CPU利用率低,对外部事件响应慢等缺点.在事件触发并发数据流(ECDF)的基础上,提出了一种面向虚拟仪器的可视化编程语言E.该语言支持并发多线程机制,支持外部事件驱动、阻塞调用(锁定)以及重叠I/O模式.针对不同的操作模式提出了六类仪器控件,同时还提出并实现了同一资源的双向对话通信模式.试验结果表明:该语言运行效率高、对外部事件响应时间短,对虚拟仪器系统具有较强的描述能力.     

AltiVec指令集模拟器的建模和实现

指令集模拟器（ISS）是研究新处理器架构必不可少的方法,研究基于AltiVec指令集建立SystemC模型,提出利用底层虚拟机技术来实现AltiVec ISS.实验表明,该模式比目前实现ISS的几种方法,如解释型编译、静态型编译、动态翻译技术等性能更为优化,且具有一定的灵活性.     

基于OPNET的城域间FTP服务建模与性能分析

介绍了网络仿真技术的概念及OPNET网络建模的基本过程,设计一个城域间FTP服务网络模型,并分别在有链路背景流量和无链路背景流量环境下对该网络模型进行了仿真。结果表明：链路背景流量对链路的利用率及FTP上传下载的响应时间均有较大影响,链路背景流量越大,链路利用率越高,链路负载越重,FTP上传下载响应时间越长。     

基于SNMP的校园网性能监测系统的设计与实现

随着校园网络规模的不断扩大,网元设备的种类和数量不断增加,用户对网络性能需求的不断加大,这给网络性能监测和管理带来了许多困难。为了提高网络性能管理的效率,很有必要对各网元进行集中管理,即在一个统一的系统平台上对各种设备进行管理。文中将SNMP的思想、JAVA的多线程技术融入到性能监测系统中,通过对性能数据的采集、存储及分析,设计并开发了一套适于校园网应用的性能监测原型系统。实际应用证明,该系统不仅可以通过对性能数据的实时监测及历史数据分析使网络整体性能更趋于合理,大大提高校园网络运行的效率,而且还具有良好的扩展性和灵活性。     

谈ERP的项目管理及实施方法论

目前，一些主流的ERP专业公司在为客户企业实施其ERP系统时，都强调各自的项目管理能力和实施方法论，中对一些代表性的ERP专业公司的项目管理及实施方法论进行了分析介绍，并归纳出其共同点。     

基于相关集合的事务数据库挖掘

基于相关集合事务数据库这一挖掘思想,提出一个新的方法——寻找最大频繁集。并通过理论与事例分析了这一方法的可行性和正确性。     

基于异构多核SoC的图形用户界面的构建方法

针对异构多核片上系统的FPGA原型没有可供交互的图形用户界面问题,提出一种图形用户界面的构建方法。该方法根据系统中显示控制器的工作原理和硬件特点,开发Linux操作系统内核层的Framebuffer驱动程序,借助MiniGUI的fbcon图形引擎进行MiniGUI移植,从而为系统构建了图形用户界面。测试结果表明,所构建的图形用户界面能够为系统提供良好的人机交互接口。