基于VMM的SATA控制器功能验证

针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层式验证平台.验证组件的实现大量重用验证知识产权核(VIP),在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%.     

基于BP神经网络的CMOS电路平均功耗宏模型

提出了一种基于神经网络的功耗宏模型，该模型提取CMOS（互补金属氧化物半导体）集成电路原始输入／输出流的统计特征，采用反向传播BP神经网络对电路的平均功耗建模．与传统的基于查找表和经验方程的宏模型相比，该模型占用内存少，不需要根据不同的电路预先假定拟合函数的形式．基于ISCAS-85电路集的实验结果表明：功耗估计的平均相对误差小于10％，均方根误差可基本控制在5％以下.     

计算机网络通信中实时差错控制技术

在研究差错控制技术的基础上，使用查找表方法实现RS(里德索洛蒙)纠错码的编码和解码，并且模拟实现了FEC(前向纠错)和FEC／ARQ(重传反馈)两种实时差错控制系统．基于查找表方法的RS编解码方法能够提高编码／解码效率，减少通信中的延时；实验结果也验证了基于RS纠错码的FEC和FEC／ARQ实时差错控制方式能有效地恢复丢失的数据包，其丢包率可降低5％以上，从而提高了数据传输的可靠性，具有很好的实时性．     

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划（3rd generation partnership project, 3GPP）提出了5G可扩展认证协议-传输层安全（extensible authentication protocol-transport layer security, EAP-TLS）。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务（denial of service,DoS）攻击和用户通信数据泄露的隐患。针对...     

一种新的面向事实的快速建模方法

针对UML进行快速原型开发的不便，提出了面向事实快速建模的思想。首先，探讨了面向对象技术以及标准建模语言UML的特点；然后，提出面向事实快速建模的思想并进行了研究，最后用实例进行了验证。     

具有介质层复盖的微带线特征参数的精确解

具有介质层复盖的微带线特征参数的精确解黄景熙，范治波（武汉大学空间物理与电子信息学系，武汉，４３００７２）关键词微带线，矩量法，傅里叶交换中国法分类号ＴＮ４５５微带线广泛用于微波集成电路已有相当长的时间，并且已被许多作者从理论和实验两方面进行了精确研...     

虚拟企业业务流程的建模方法研究

为设计分析虚拟企业生产运作系统, 针对虚拟企业业务流程的特点, 应用UML、Petri网和面向对象技术, 提出了虚拟企业业务流程的建模方法. 该方法分全局业务流程和子业务流程两个层面, 全局业务流程采用UML序列图和Petri网建模, 表示虚拟企业各成员之间的交互接口关系; 子业务流程采用面向对象的Petri网建模, 实现成员企业内部流程的表达、封装和相互之间的业务连接. 仿真验证表明, 所建模型满足合理性要求.     

基于特征的CAD／CAPP／CAM一体化系统

介绍某单位CMIS系统中工程设计分系统（EDS）系统的组成,功能,信息关系以及关键技术的实现方法：经过在支撑软件EUCLID3上的二次开发,增加特征建模模块,CAPP系统和专用NC后置处理程序,EDS成为一个基于特征的CAD／CAPP／CAM一体化系统,分系统通过Oracle数据库转换接程序,实现与其它分系统的数据通讯和共享。     

Eclipse环境下桥梁检测车三维模型的构建与控制

针对桥梁检测车操作人员无法直接观察桥检车机械臂的动作状态的问题,提出构建桥检车的三维模型,能够实时动态地跟踪显示出桥检车机械臂的动作状态.以Eclipse作为软件开发平台,基于OpenGL ES实现桥检车的三维模型构建和控制给出直接三维建模法与插件三维建模法.实验结果表明,2种方法均可实现桥检车三维模型的构建与控制,对于规则三维模型的构建与控制,直接三维建模法要优于插件三维建模法.     

蓝牙Mesh配网协议的形式化安全性分析

蓝牙Mesh是一种无线网状网络组网技术。新设备必须经过配网才能加入蓝牙Mesh网络。配网协议的安全性是蓝牙Mesh网络安全性的基础,但目前针对该协议安全性的研究尚不充足,现有的模型无法捕获协议中存在的某些攻击。因此,借助符号模型下的协议分析工具Tamarin Prover对蓝牙Mesh配网协议进行形式化建模,该模型覆盖了所有的配网阶段和方法。同时,借助Tamarin Prover的构建和解构规则以及内置的消息理论,提出了一种在符号模型下建模AES-CMAC原语的新方法,该方法可以准确地描述消息长度为任意块的AES-CMAC函数的性质,从而能对配网过程中的认证阶段进行更细粒度的建模。对该模型的安全属性进行了验证,验证结果表明,该形式化模型可以捕获之前发现的原语误用攻击。此外,借助该形式化模型和验证的结果,提出了针对原语误用攻击的修复方案,并通过形式化的方法验证了该方案的有效性。     

一种改进的GALS异步包装电路

GALS（全局异步、局部同步）架构适用于NoC的时钟分布,但现有的GALS需要定制地设计异步包装电路,不利于验证和集成.采用通用的数字ASIC设计流程,在仅使用已有标准单元的情况下,提出了一种新的基于FIFO的异步包装.通过此包装电路,实现了一个信号传输只需2步操作,提高了通信吞吐率.实验结果表明该包装电路在吞吐率和延迟上获得了显著改进.     

工作流日志与过程模型的一致性分析

工作流日志体现系统的实际执行情况,工作流过程模型则是对系统流程的一种静态描述.工作流建模方法以及过程挖掘技术将系统执行日志与系统模型联系在一起,日志与过程模型的一致性问题在各种应用领域已经越来越重要,但是现在并没有很好的方法去分析一致性.针对这一问题,定义了日志与模型的一致性的概念,并根据日志与模型的相互关系,提出了两个评价指标:日志匹配性和行为一致性,并给出了相应的评价方法.该方法可以有效地评估工作流日志与工作流模型之间的一致性程度.     

巨大尺寸零件逆向重构技术应用研究

随着计算机辅助设计与制造技术的迅猛发展，并推动了逆向重构技术的产生与发展．逆向重构技术作为数字化与敏捷制造的一项重要技术，是在无设计图纸或无CAD模型的条件下，从已有零件或产品出发，利用各种数字化技术重新构造CAD模型的过程．通过对巨大尺寸零件逆向重构技术和反求测量方法的应用研究．将现代坐标测量设备作为产品设计的前置输入装置，可有效提高产品的快速响应能力，丰富了几何造型方法和产品设计手段，完成基于点云数据的模型再设计，从而使制造企业能快速跟踪和消化吸收及二次开发国外先进产品．     

雾化提钒工艺的参数优化

简要论述雾化提钒工艺完善提高中的数学建模与系统优化工作.由错综复杂的生产数据建立提高钒氧化率的数学规划模型,应用多种优选方法寻求各项工艺参数的最优控制范围及多因素的优化组合以改善指标值.在优化结果反馈指导生产实践过程中,追踪生产数据应用小子样统计推断理论,从钒氧化率的显著性差异以及流体力学上进行分析,找到了未知的关键影响因素.工艺参数的成功优化使得雾化提钒工艺得以完善提高,项目攻关取得了突破.     

强潮地区桥墩局部冲刷模型验证方法研究——以杭州湾跨海大桥桥墩局部冲刷研究为例

从建立强潮地区桥墩局部冲刷模型的重要性出发,简要介绍了通过水槽试验所建立的杭州湾跨海大桥局部冲刷模型.强潮特性使得杭州湾跨海大桥桥墩局部冲刷的实际数据获取难度较大,据此提出了基于海底声学探测技术的数据获取方案,即利用多波束测深技术进行桥墩局部海床高程测量、利用多普勒声学测量技术进行潮流测量等,同时结合底质钻孔取样进行底质分析.在介绍了实测数据的处理方法后,结合桥墩设计资料进行了模型参数的计算及模型验证,并根据桥墩实际情况对验证结果进行了相关分析,最后肯定了本方案对于强潮地区进行桥墩局部冲刷观测的适用性.     

基于脊线校准的指纹点匹配算法

讨论了一种基于脊线校准的指纹点匹配算法，引入了新的脊线相似性评价指标，提出了一种更前效的匹配原点对搜索算法，并对点匹配算法作了进一步改进，性能评测数据表明，该算法可以在不增加拒识率和误识率的情况下提高匹配速度1倍以上。     

基于规则方法的管理对象行为形式化描述

在OSI管理框架中,GDMO是一种广泛使用而又比较有效的管理对象建模技术,但缺乏对管理对象行为的精确描述.为此,本文提出一种基于规则的方法来完整、精确、无二义性地形式描述管理对象的行为.文章首先引入了面向对象的方法、管理对象、GDMO表示法,然后通过具体例子深入研究基于规则方法的管理对象行为的形式描述.研究结果表明,带有对象通信规则的概念可以与具有继承与包封性质的面向对象方法共存,同时能很容易把这种规则方法集成到GDMO模板表示法中去.     

CuO/ZnO量子点异质结及同轴纳米线异质结构的研制

采用离子束溅射技术和热氧化工艺,对预先制备的ZnO纳米线表面进行纳米CuO修饰,研究了不同溅射工艺条件下对形成的CuO/ZnO纳米线异质结构的影响,通过控制溅射参数成功地合成出不同CuO量子点尺寸和分布密度的CuO/ZnO量子点异质结和CuO为壳层的CuO/ZnO同轴纳米线异质结构.将X射线衍射仪（XRD）、扫描电子显微镜（SEM）和透射电子显微镜（TEM）用于研究样品的结构和形貌.实验结果表明,溅射在ZnO纳米线表面的Cu膜的厚度对形成的CuO/ZnO异质结构起着重要的作用.在Cu膜适度较薄时,获得了直径仅5 nm、分布较均匀的高密度（2.05×1010mm-2）CuO/ZnO量子点异质结;而Cu膜较厚时,形成的是CuO/ZnO同轴纳米线异质结构.利用高分辨透射电子显微镜（HRTEM）进一步对量子点异质结和同轴纳米线异质结的界面晶体结构进行了研究.     

面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．