系统架构描述语言AADL的功能行为建模扩展

架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。     

微小型无人机载光电吊舱显控软件的设计与实现

针对微小型光电吊舱的特点,使用 Qt框架和C/C++语言设计并实现了某型机载微小型光电吊舱的显示与控制软件;该软件在设计上采用了多线程的方式,分别实现了基于QtSerialPort模块的串口数据收发;基于开源编解码库FFmpeg的视频流接收和解码;基于YOLOv3模型检测算法的目标检测和识别等多项任务;各模块内部独立使用线程,并利用Qt的信号槽机制传递消息,使软件程序层次清晰,可读性强,并有利于后续功能的修改和添加;在地面高性能设备中使用YOLOv3算法做目标识别,在视频延时符合要求时,明显提升了检测速度和识别精度;最后,通过多次实验,验证了该显控软件的可靠性和有效性。     

有功电能计量IP核的设计

对有功电能计量的数学模型进行了分析,给出了相应的IP核实现模型,并详细讨论了CIC抽取滤波器、IIR高通滤波器、FIR低通滤波器、数字频率变换等模块的原理与设计。利用Simulink模型进行了仿真,用VHDL作为设计语言,在QuartusⅡ软件下完成综合和仿真,并在Altera公司的FPGA芯片CycloneⅡEP2C35F484C8目标板上实现设计。     

有限状态机的VHDL描述及综合

介绍了使用VHDL描述有限状态机的方法,重点分析了综合过程中的竞争和毛刺现象产生的原因,并提供了解决方法。最后以图形学中的直线算法为例实现了可综合的FSM描述,并通过门级仿真验证了其正确性。     

基于Delphi的高校学生综合素质测评系统的设计

阐述了高校学生综合素质测评系统模块设计结构,重点介绍了数据库的关系模型及数据库物理设计技术,描述了主要模块功能和处理过程。系统前台使用Delphi开发语言,后台使用InterBase数据库,实现测评系统的信息化。     

基于Delphi的高校学生综合素质测评系统的设计

阐述了高校学生综合素质测评系统模块设计结构,重点介绍了数据库的关系模型及数据库物理设计技术,描述了主要模块功能和处理过程.系统前台使用Delphi开发语言,后台使用InterBase数据库,实现测评系统的信息化.     

一种多核系统任务调度算法动态度量方法

任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。本文改进IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一种多核系统任务调度算法动态度量方法实现对任务调度算法的功能验证和性能评价。用例分析表明本文提出的动态度量方法能有效对任务调度算法进行功能和性能的描述和度量,为多核系统任务调度算法的正确执行提供了有力支撑。     

基于ConGolog并发语言面向角色的工作流建模

长期以来 ,人们提出了各种工作流建模方法 ,但都缺乏对工作流模型形式化的描述手段 .面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统 .因而 ,角色内部的复杂的行为活动以及角色之间的交互行为可以采用 Con Golog语言来定义 .本文提出了采用 Con Golog并发语言来描述工作流模型的方法 ,所建议的方法不仅使工作流模型具有严密的语义 ,并能对模型进行推理和验证     

基于XML的IP核通信接口建模技术

提出了一种通用的接口模型,在SoC设计的接口综合中对IP核的通信接口进行了建模。基于可扩展标记语言(XML),提出了接口描述文件(IDF-XML)的概念,利用XML的优势对该模型进行描述,并提出了一种转换机制,将IDF-XML中的通信接口信息转换为接口综合中的对象模型。该文以一个简单数码相机的设计为实例,使用建模技术对其中的DCT模块进行接口建模。接口综合算法生成的接口电路将DCT模块与整个系统相连,实现了模块间的平滑通信。     

珠算的形式模型与算法

为了用基于符号化的形式公理体系描述珠算的数理功能,文章首先介绍如何对5珠15档算盘、珠算加减乘除和珠算开平方口诀进行形式化建模,并用伪代码对珠算口诀和规则进行算法描述,同时提出一套基于C++语言的珠算可视化演示与学习系统,以验证模型的可行性和辅助教学,实现珠算的形式模型与算法。     

中文页面描述语言文本管理器的设计与实现

文本管理器是用于提高中文页面描述语言解释器效率而引入的前处理系统，它包括资源管理、异常处理、ＥＰＳＦ管理和文本优化等功能模块．本文详细论述了文本管理器的设计思想与相应实现方法．     

联合LDPC码与clipping降OFDM系统峰均比的方法*

针对正交频分复用(OFDM)系统中存在的高峰均比问题,提出了一种简单而有效的降低峰均比(PAPR)的联合方法,即将低密度奇偶校验码（LDPC）与传统的限幅(clipping)技术相结合的方法。该方法通过clipping技术降低OFDM信号的PAPR,同时结合LDPC码改善clipping技术带来的系统误比特率（BER）恶化与频域滤波降低带外功率辐射。MATLAB仿真结果表明,该方案能够简单而有效地降低PAPR并提高系统的BER性能,以及抑制带外功率辐射,证明了该联合方法的有效性。     

一种新的内部表示模型

高级综合技术的研究发当前倍受关注。高级综合的第一步是钭以算法形式给出的数字系统的行为描述转化为综合设计的内部表示，而且在此基础上进行其它子任务。文中提出了一种新的赋值决策图（ＡＤＧ）的内部表示模型，该模型的最大特点是可解决高级综合系统中所存在的语法变化问题，它能够表示出给定的设计的最大并行性，并且具有可自动生成及容易理解的特点。     

ABC/ADL:一种基于XML的软件体系结构描述语言

作为基于构件的软件开发过程的系统蓝图,软件体系结构(SA)扮演了非常重要的角色,其研究受到越来越多的关注．而软件体系结构描述语言(ADL)是研究和应用SA的基础．提出了一种基于XML的体系结构描述语言——ABC／ADL．ABC／ADL具备大多数ADL描述软件系统高层结构的能力,还支持系统的逐步精化与演化,并支持系统的自动化组装和验证．采用数据互操作标准XML作为元语言,不仅使ABC／ADL具有与其他ADL的互操作性,还有助于实现设计阶段的制品与其他软件生命周期阶段制品之间的可追踪性．     

基于SCV的事务级验证建模

结合SystemC验证库(SCV)的特点，提出了一种新的事务级验证模型，对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性，通过该模型能够构建事务级验证平台。通过RAM实例，描述了验证平台的构建过程。