基于SystemC的周期精确事务级AMBA总线建模

采用系统建模语言SystemC建立了周期精确的事务级AMBA总线模型，并利用该模型对蓝牙模块问的通信过程进行仿真．AMBA总线模型采用SystemC2．0的接口、端口和通道的概念，运行时使用SystemC自带的仿真内核．实验结果表明：本模型完全符合AMBA2．0规范和蓝牙协议规范，实现了住SoC设计前期的高层仿真和验证。     

微机控制的热熔断器试验装置研制

研制了一种用微机控制的热熔断器试验装置。该装置的微机接口采用插在主权扩展槽内的总线扩充卡方式Ｉ／Ｏ接口。它可进行ＵＬ１０２０标准中的几个主要试验。给出了试验装置的硬件设计和软件说明。     

高频地波雷达VXI总线接口电路的设计

按照模块化和标准化的要求，提出用CPLD和双口RAM来实现一种通用的寄存器基VXI接口电路的设计方案，使之满足基于VXI总线高频地波雷达所有模件的接口要求．具体描述了该接口的设计方法、主要的逻辑及时序关系，采用有限状态机并利用VHDL语言和原理图输入的混合设计成功实现了“双向中断、全双工”的块数据传输方式．它具有通信速率高、灵活性好、调试方便等特点．实际运行表明，该接口电路工作正常可靠．     

光纤CAN总线接口设计

基于CAN控制器SJAl000提出了光纤CAN(Fiber—CAN)总线网络的设计方案。采用光纤作为传输介质提高电动汽车CAN通信网抗干扰能力。详细分析了双绞线CAN(Wire—CAN)总线的接口协议，设计了基于此协议的Fiber—CAN总线接口电路和相应的接口驱动，以及光纤CAN总线和双绞线CAN总线间转换接口。通过3个节点的Fiber-CAN总线组网，验证了接口协议和接口电路设计的正确性。     

计算机控制突波吸收器封装系统

介绍了一种计算机控制的真空玻璃封装系统，给出了控制系统硬件和软件设计．该系统采用插在主权扩展槽内的总线扩充卡作为I／O接口．系统适合于微隙突波吸收器及玻封二极管等的封装.     

多端口存储器控制器IP核的设计与实现

提出了一种通用的多端口存储器控制器的设计与实现方案,该方案采用AMBA（advanced microcon-troller bus architecture）总线,最多可支持6个AHB（advanced high-performance bus）主设备同时访问存储器;支持包括SRAM、ROM、NOR-FLASH、SDR-SDRAM、DDR-SDRAM在内的多种存储器;内部设计实现的仲裁器采用固定优先级和TimeOut机制相结合的仲裁策略.基于SMIC 0.13μm CMOS工艺库,芯片面积约为230653μm2,系统时钟为130 MHz.FPGA验证结果表明：该方案实现的存储器控制器能够充分利用存储器的带宽,提高系统的性能.     

基于LonWorks现场总线技术的氮气加热器控制系统研究

氮气加热器用于石化工业丙烯精制工程，给再生氮气加热．针对新疆独山子石化厂氮气加热器．利用LonWorks现场总线控制技术构成网络，采用前馈控制PID算法．通过周波调整法对电加热管的加热功率进行控制，在保证的规定时间内连续输出合乎温度要求的高温氮气．本控制网络的核心技术是神经元芯片(Neuron Chips)、智能网络节点和Lon Talk通信协议．本文介绍了LonWorks技术以及氮气加热控制系统总体方案与网络结构设计，节点模块设计与配置，控制电路设计，控制算法设计与软件编程．     

SoC软硬件自动划分系统设计

设计了一种将IP核复用和多目标优化相结合的SoC软硬件自动划分系统，详细探讨了系统各个模块的功能，重点论述了系统实现的关键技术，包括基于遗传算法的软硬件划分方法和基于表调度的系统性能评估方法，实验结果表明，该系统满足了SoC软硬件协同设计中对软硬件自动划分的要求，为开发SoC系统级仿真验证平台奠定了基础．     

数字专用集成电路设计中的SystemC 建模验证方法

针对当前数字专用集成电路中的验证瓶颈，提出了一种基于SystemC电路行为建模与测试控制技术的专用集成电路验证方法，应用到网络调度芯片的具体验证实验中，实验数据表明：由于用软件建模与控制技术，该方法在缩短验证周期、提高验证可靠性、精确判断验证程序以及有效集成各类验证环境等方面均明显优于传统RTL验证方法。     

基于紧凑型乒乓交换的数字串行接口设计

给出一种基于脉冲编码调制原理实现高速数字传输系统中低速设备接入的方法．用Xilinx公司的XCS20TQ144器件设计了基于单倍数据通道的紧凑型乒乓交换模型，实现32路低速异步串行数据与2Mb／s的E1数据流之间并行转换．在计算机上进行了时序仿真，结果表明新的接口设计方法节省了器件资源，提高了工作速度．通过一个工程实例的实际运行，说明该设计方法在数据传输中具有较好的实用价值．     

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法．这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿．形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义．     

土地利用现状管理信息系统中土地利用多级变更模型的建立及其事务处理机制设计

土地利用变更模型及其事务处理机制是土地利用现状管理信息系统的核心．传统变更模型所支持的变更操作粒度较为单一、事务完整性差、时空语义表现过于单薄．在分析了土地利用变更特点和存在问题的基础上，提出了一种土地利用多级变更模型LU-MCM（1and use multi—level change model），模型以土地利用变迁过程为变更对象，并进一步将之划分为多级变更逻辑单元进行组合描述，而所需解决的长事务处理机制则通过扩展的多粒度树状事务模型实现．土地利用现状管理信息系统的设计和实现证明，该模型对土地利用变迁过程表达效果较好，为土地利用变更数据管理提供了思路．     

带比例交易成本的投资组合选择

介绍了在完备市场下用鞅方法解决最优投资组合的问题．存在交易成本和交易约束的情况下，提出了用条件Delta对冲模型进行期权复制，最小化复制误差，得到最优对冲下的波动率，即调整后的波动率，再将调整后的波动率代替鞅方法下的投资组合波动率，就得到了存在交易成本和交易约束下的最优投资组合．通过Monte Carlo模拟的方法来计算最优投资组合．数值结果显示了交易成本和其他参数对最优投资组合策略的影响，并将其与完备市场下的投资组合进行了比较．     

基于主从站配合的从站搜索算法

基于One Wire Bus的轮询式微型网络，主站用从站的ID号轮询从站，不存在总线的争用和冲突，吞吐率不随总线上所挂站点的增多而下降。但主站必需在网络初始化时搜索在线从站的ID号。从站搜索过程中，从站器件同时应答主机的搜索，同时向主机发送数据，本质上也是总线的争用和冲突。本文介绍基于主从站配合的总线争用解决办法（从站搜索算法）。     

IPv6中解决Anycast扩展局限性的一种安全通信模型

针对目前在IPv6环境下实现Anycast服务的通信模型存在的扩展局限性与安全性问题，提出了一种新的Anycast通信模型．该模型采用了全新的、以Anycast组成员的当前会话数以及综合处理能力等参数为度量单位的Anycast通讯方式，并且结合密钥管理技术，不仅解决了Anycast的扩展局限性与安全问题，同时也实现了Anycast组成员的动态加入与注销，以及Anycast组成员信息的分布式维护与处理，从而实现了均衡负载功能，最重要的是此模型可以支持大规模的Anycast组的建设．该模型在IPv6模拟环境下的实验数据充分论证了其可行性和有效性．     

一种基于ARM7的汽车网关方案

在研究汽车内部CAN／LIN总线组网原理的基础上,分析了2种汽车总线互连的关键点与难点——汽车网关．针对采用多个分立网关集成度较低的缺点,提出了一种基于ARM7的集成网关方案,并详细阐述了该方案的软硬件实现方法．实验室组网实验表明：该网关不仅能顺利实现高速CAN总线、低速CAN总线和LIN总线的互连,而且集成度高、性能稳定．     

基于CAN/LIN总线的汽车车身网络研究

针对传统汽车电控单元多采用独立模式控制及系统可靠性不高的缺点,提出利用CAN/LIN总线构造汽车车身网络,阐述了该方案的软硬件实现方法,并通过实验室组网验证了其可行性.研究表明：采用CAN/LIN总线可简化线路、降低成本、提高各微处理器间的通信速度、降低故障率,使信息交换变得安全、迅捷、高效.     

目的地内部旅游交通通达性评价方法研究——以西安为例

良好的旅游交通通达性是旅游资源开发和旅游地建设的必要条件,对目的地的运营和稳步发展至关重要.应用通达性指数和社会网络分析方法中的点度中心度、中间中心度、平均最短路径长、网络密度、中心势等指标,对西安目的地内部45个旅游景点和10个交通口岸的旅游交通通达性进行了定量研究,得到:(1)旅游交通具有不同于普通交通的特殊性,不能简单地用普通交通通达性指数来衡量旅游交通通达性.(2)社会网络分析法中的度数中心度、中间中心度和平均最短路径长分别是度量目的地内部各景点之间或交通口岸到景点之间点对点便利度、中转便利度和全网直达便利度的合适指标,网络密度、程度中心势和中介中心势等指标是衡量目的地内部旅游交通网络发育程度的合适指标.(3)虽然西安目的地内部景点之间、交通口岸与景点之间的交通道路连接水平较高,但公交线路包括旅游专线数量和分布状况、机场大巴站点数量和设置位置等不能完全满足散客旅游者的需求,旅游交通便利程度有待提高.(4)西安目的地内部景点的分布具有大分散、小集中的特点,亟待通过改变偏远景点与市区景点之间的交通连接方式提高偏远景点的旅游交通便利程度.(5)在国际和国内旅游市场日益散客化的形势下,旅游城市的交通规划应重视散客旅游者的交通需求.提出了新的旅游交通通达性评价视角和指标.     

高频地波雷达频谱监测模块的硬件实现

给出了一种基于软件无线电技术的在线短波频谱监测模件的软硬件设计方案．采用窄带中频数字化接收机结构，一次变频、高中频带通欠采样方式，结合直接数字合成器(DDS)、高本振输入的混频和VXI总线等技术，实现了与雷达分时工作的在线频谱监测和独立频谱监测两种工作模式．描述了模件硬件的工作原理、主要信号的时序关系及具体的实现方法．试验表明，该模件运行可靠，为雷达工作频率的选取提供了依据．