摘要：设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优先度的规则选择策略,将说明性的知识表示、系统化和启发式的推理搜索能力以及合理的确定性计算开销统一起来.系统在电路建模、专家决策等领域的初步应用表明了该语言对构造基于约束的知识系统的适用性.COPS的出现为复杂智能问题的解决提供了可能性.

摘要：研究改进主题爬虫设计的方法,用高效的主题爬虫取代传统搜索引擎中的普通爬虫,以更高的精度完成定向信息采集.在成功实现基于关键词的主题爬虫的基础上,提出了基于概念的主题相关度分析算法,给出了基于概念分析的主题爬虫的实现方案.比较两种主题爬虫工作的实验结果,显示爬虫的性能得到了提高,论证了该设计的可行性与可操作性,为实现准确的定向信息采集奠定了良好的基础.

摘要：为解决CAD领域的"信息孤岛"问题,降低设计成本,提高设计效率,实现多个I-DEAS的异地同步协同设计,真正达到"你见即我见"的设计理念,在分析传统的CSCW系统结构的基础上,以及比较C/S,B/S的优缺点之后,借助于I-DEAS的功能强大的开放库OpenI-DEAS提供的数据共享接口,设计分布式环境下的I-DEAS异地同步协同设计模型.通过建立以一个服务器端为中心,多个客户端协同设计的协同模式,实现了I-DEAS多个用户设计的"你见即我见"协同设计.

摘要：研究有限状态机与PCI总线接口控制器的设计问题.在分析PCI总线接口控制器基本功能的基础上,给出其顶层设计.根据PCI总线操作时序,提出了从设备接口控制器的有限状态机模型.同时结合AlteraFLEX10K的FPGA器件,采用Verilog硬件描述语言,描述该总线控制器的基本操作,并完成功能仿真与综合,实现了PCI总线控制器的FPGA设计,说明该有限状态机具有结构清晰、易于维护的特点.

摘要：应用多主体系统技术于分布式微机电系统控制,提出一种分布式微机电主体系统设计方法和框架.分析了这种系统的构成,并给出了模块化、层次化、自顶向下的组织结构设计.为实现分布式微机电主体系统的自适应控制,采用基于软计算的控制框架,提出了混合模糊推理、神经网络、遗传算法的控制策略,对其在不确定环境中实现推理决策提供了一种有效的技术手段.

摘要：论述1553B总线信息流设计在车辆电子综合系统中的应用,分析了1553B总线的原理和信息传输机制,提出信息流设计系统的功能、设计原则、数据结构和算法.系统初步使用结果表明,1553B总线信息流设计在总线消息传播、流量控制、差错控制和网络管理等方面具有良好的控制作用,提高了通信质量.

摘要：采用面向对象技术设计VHDL编译系统M TC,通过对VHDL语法产生式进行分析,将各语法现象以C++类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.M TC编译过程中通过语法制导进行语义分析,并提出用形式化方法表示中间数据结构.配合使用F lex++与B ison++最终得到面向对象VHDL编译系统.同时提出M TC的自动测试方法.在对SPARC芯片M B 86901算法描述编译过程中,M TC的编译效率比现有编译系统提高了57%.

摘要：研究JPEG2000标准中自适应算术编码器的硬件实现问题,提出一种适合ASIC实现的并行结构,并在FPGA上对其进行了仿真验证.该设计使用VHDL语言在RTL级描述;并以XILINXXC2V8000-5FF1152为基础,在ISE5.2下完成综合及后仿真.在整个JPEG2000设计中,最高工作时钟66MHz,自适应算术编码器处理速度可达到0.25bit/cycle.

摘要：为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时间复杂度下得到近似最优解.实验结果表明,该算法能有效综合同步延时语句,使综合前后设计时序达到较好一致,提供了一种便于给出延时约束的手段,减少了综合过程的人工干预,提高了设计效率.

摘要：设计并实现一个具有较高吞吐率和命中率的Webcache机群缓存系统.在机群缓存系统里引入了单一缓存映像机制和负载平衡机制,以请求为粒度计算负载,从网络带宽、内存容量、磁盘访问率和CPU利用率等方面研究了缓存节点的处理能力,同时给出缓存节点的负载量,并构造了一个负载平衡算法.用Polygraph作为测试工具分别测试了新设计的机群缓存系统和用CARP协议实现的机群缓存系统.实验结果表明,新设计的机群缓存系统具有较好的系统性能.