从硬件描述语言直接生成逻辑图的逻辑设计自动化系统

本文讨论建立在Apollo DOMAIN系统上的一个从功能描述直接生成逻辑图的VLSI或硅编译器的逻辑设计自动化系统的构成和各组成部分的基本功能及特点.本系统包括寄存器传输级模拟,硬件逻辑翻译器,逻辑划分与函数(列阵)分解,两级逻辑综合与多级逻辑综合,自动生成逻辑图和逻辑模拟等五个主要软件.它们可以作为整个系统的组成部分,也可独立完成相应的功能. 本系统自动生成的逻辑图布局十分规整,连线也比较合理,并可通过交互系统进行布局和连线的修改.最后,生成的逻辑图还可以直接进行门和功能块级的逻辑模拟.     

通用成套电子工程CAD系统

本文介绍了一个通用集成化PCB工程CAD系统。该系统由元件符号、器件符号和元件字典库支持,从电气逻辑原理图设计,自动生成连线表,实现门自动分配,反填逻辑图,交互/优化自动布局,自动/交互布线,到最后输出成套工程图纸及清单报表。能布单层或多层板。适用于电视机、录音机、通讯广播、计算机和自动化仪器仪表等设备。     

描述逻辑在基于语义的服务消息交互中的应用*

提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互。     

描述逻辑在基于语义的服务消息交互中的应用*

提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互。     

细粒度授权的Web页面自动生成器-WPAG

针对现今已有的Web应用框架能够在一定程度上降低业务逻辑处理的难度,但缺乏页面细粒度授权机制的支持,对页面以及页面上操作的访问控制问题仍要编写大量代码处理。设计并实现了一种面向细粒度授权机制的Web页面自动生器（Web pages automatically Generator）WPAG,该生成器采用组件化页面自动生成技术,与基于角色的细粒度访问控制模型相结合,开发者只需对交互模型接口进行简单参数设置,即可实现细粒度访问控制的页面代码自动生成,并提供二次开发能力适应逻辑业务复杂的应用。     

逻辑标记转换系统下预备模拟与稳定划分

Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统（logic labeled transition system, LLTS）以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成同构的稳定划分对定义,并提出了与判定LLTS预备模拟商集对应的一般化关系最粗划分问题,证明了二者之间具有等价性。由此作为理论基础,给出了一个判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的算子ρ,并验证了该算子的正确性,并以实例演示了该算子的具体操作步骤。     

高层次综合的实有化逻辑图自动生成关键技术的研究

研究的逻辑图自动生成系统是“九五”微电子重点科技预研项目的成果“实用化专用集成电路高层次自动化设计系统－Talent系统”的子系统,该系统通过对电路网表有效的识别与划分、逻辑单元的布局及互连信号线的布线等,自动生态具有一定逻辑功能且布局美观规范的逻辑原理图。该文重点研究逻辑图自动生成实用化过程中的关键技术,将人工智能基于规则的知识表示与形式化算法相结合,提出有效的自动布局方法;应用模式识别理论和方法解决逻辑图的自动布线问题,提出基于决策树的通道分配方法,并设计一套完整的规则体系;进而,文中给出详细的划分模型,并在此基础上,结合逻辑原理图的特点实现了两种有效的划分算法：（1）种子生成的构造式划分算法;（2）迭代改进划分算法。其中算法（1）的设计思想主要源于贪婪构造,而算法（2）则对经典的最小分割划分算法Kernigham－Lin算法进行改进。基于上述研究实现的逻辑图自动生成系统,能够在很短的时间内生成美观规范、可读性好的逻辑图,为整个系统实用化做出了贡献。     

SAR地面处理系统中基于XML的网络管理

提出了一种适用于SAR地面处理系统网络监控的框架模型,该模型包括监控中心、节点和监控终端。模型各实体间采用XML作为信息交互的平台,并且提出了基于服务的网络节点逻辑划分的方案。该模型的监控范围涵盖了对硬件平台的监控到网络系统专有的业务逻辑监控,是一套完整的基于服务的系统状态监控方案。     

针对PLD芯片的大型MI/SO组合逻辑ABEL编程文件的自动生成

可编程逻辑器件的应用使逻辑电路的设计与修改更加灵活，实现起来更加方便．但使用现有的可编程逻辑器件计算机辅助设计软件需要一定的专业知识，对于一般用户有一定的困难；而系统内所提供的逻辑自动划分功能算法对于有些特殊应用还会遇到一些难以解决的问题．鉴于此，作者开发了针对指定ＰＬＤ芯片的自动生成多输入单输出（ＭＩ／ＳＯ）组合逻辑的ＡＢＥＬ编程文件的软件．本系统由于仅利用遍历操作实现逻辑划分，按存储器访问次数计算，该算法的计算复杂度仅为Ｏ（ｎ＋ｋｎ），不存在组合爆炸问题，它能够将大规模的多输入单输出组合逻辑函数自动分解，自动生成ＡＢＥＬ语言的设计文件，并能够自动给出芯片之间的连接方式．     

MPEG2到H.264的并行视频转码算法

针对高清视频的实时转码需求,提出一种基于多核处理器的并行视频转码算法。在确定转码系统所需核数的基础上,采用功能划分和数据划分相结合的方法对转码器进行划分,通过优化核间数据交互,实现MPEG2到H.264的高清视频转码。实验结果表明,该算法能提高转码模块的并行程度以及数据交互性能。     

基于层进式结构的智能积木搭建与编程系统

为了帮助儿童搭建和理解各式交互装置及其控制逻辑,提出一个基于层进式逻辑结构的智能积木搭建与编程系统——LinkBricks.该系统包含一组基于乐高得宝系列特别设计的智能积木,通过在积木中嵌入无线传感器和驱动器,儿童可在不受连接线限制的情况下自由搭建各式交互装置;与实物搭建套件相配套,同时提供了一套基于层进式结构的智能积木编程系统,儿童可以通过图形用户界面中的简单点击与拖拽创建复杂的控制逻辑.用户实验结果表明,文中系统可以帮助儿童快速搭建出机器人、物联网等各式各样的交互装置,提高学习兴趣,并有助于其了解系统的内在的逻辑、控制和响应等相关知识.     

基于本体的无人机情报获取与分析系统研究

研究的情报获取系统通过将反映无人机产品核心技术的中文本体(ontology)与信息抽取算法相结合,指导软件自动从庞大、杂乱的Web信息海洋中抽取可能的结果,经过整合处理获得清晰、结构化的特征信息并保存,且能进行对比分析和图示展现.本体的自动进化、高效的匹配模式、人性化交互界面,使得该系统能及时跟踪世界各国无人机的发展态势,提供全面而及时的信息,为情报人员、科研人员提供决策支持.在理论研究和实践相结合的基础上,本文阐述了该系统的构建以及本体在该系统中的创新性应用.     

基于本体模型异构信息交互的研究

提出了实现异构信息交互的概念化模型———OHIES系统模型,使用描述逻辑表示本体,通过对以XML文档的语义映射、逻辑推理和本体抽象,将其转化为企业系统能够自动处理的信息,从而实现了异构信息的交互。     

武器装备操作使用逻辑的仿真

大型武器装备系统操作规程复杂,但操作使用逻辑单一.结合某武器装备系统,运用人工智能领域中知识表达的相关方法,分析产生式表达法与框架表达法相结合在此武器装备操作逻辑仿真中的运用方式,提出对此装备操作逻辑的最优表达方式.在此基础上,开发自动逻辑生成器,并详细介绍自动逻辑生成器的人机交互模型实现方式及逻辑仿真模型算法,对此逻辑仿真算法如何应用于复杂系统的逻辑仿真,提出下一步的改进方案.此逻辑生成器对大型武器系统的简单逻辑仿真效果良好.     

基于多色集合理论的工作流过程交互建模

为研究不同系统间工作流过程的交互问题, 基于多色集合理论构建了工作流过程交互矩阵和工作流过程交互多色图模型. 首先, 将元组与多色集合理论相结合, 形成多元素二元组多色集合与单元素二元组多色集合. 其次, 对围道矩阵进行扩展, 构成K元组围道矩阵和它的析取、合取、连接运算, 并对多色图中的节点进行区域划分以表示活动间交互所需的资源与消息. 最后, 构建系统间交互以及工作流过程交互模型, 用医院的HIS与RIS间工作流的交互为例进行验证.     

异型件排样系统的研究与开发

对于多种不规则零件的排样问题，任何算法都难以保证总能得到最优解。该文采用计算机图形学处理技术以及现代智能算法相结合的方式，按照图形预处理，自动排样、人工交互编辑3步有效地解决了不规则零件的排样问题，并开发了相应的排样软件。     

基于Android设备和Grails的警务绩效考核系统

绩效考核要求标准规范、目标细化,注重决策分析和不断改进。本文所述绩效考核系统采用Grails为服务端。Grails封装业务逻辑,系统内部对前端透明,易于更新与进化;数据分析功能为部门决策提供帮助;Android应用程序通过Web服务与服务器交互,完成考核的各项功能,用户操作方便。首先介绍了体系结构,阐述了功能模块的设计,数据的保存和管理,最后介绍了采用Grails Service封装业务逻辑,并暴露出来与Android程序交互的实现方法。     

Web应用程序建模和测试用例生成方法

根据基于组件的Web应用程序的特点,提出逻辑组件的概念。按功能将待测系统划分成逻辑组件,并在功能上将其对应到实际组件。利用有向图表示逻辑组件结构关系,自动机表示逻辑组件的行为关系,自动机的复合表示逻辑组件间的交互操作。根据复合的自动机,利用建立的操作映射表生成测试用例。分析了一个测试准则,并提出逻辑组件测试序列的覆盖度概念。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为 Promela 模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径．给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试．实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．     

网上答疑系统的设计与实现

网络课程中的答疑是指在网络课程的教学中对学生所遇到疑难问题的解答。通过对国内外网上答疑系统概况的分析与相关技术的研究,提出了一个具有同步和异步相结合,具有多种交互手段的多媒体网上答疑系统。系统开发过程中主要应用了ASP.NET(C#)技术、SQL 2000数据库管理技术、Flash Media Server等关键技术。系统采取多种答疑的方法:留言答疑、自动答疑、讨论答疑、在线视频答疑等,能够很好地实现两个或多个用户在线交流,交流的方式可以使用文字、音频和视频,从而实现答疑交互手段的多样性。