新型光机系统问世

一种新型"定焦距、变焦距物镜光学机械一体化CAD系统"已由中科院长春光机所研制成功.该系统设计思想新颖,在国内首次实现了光学镜头的光学与机械一体化软件辅助设计功能,特别是光学镜头机械结构参数自动化设计填补了国内空白.     

基于微纳结构的光学诱饵仿真设计研究

传统的光学诱饵构成复杂，装载要求较高，为此设计了具有较高反射性能的简单微结构的光学诱饵。首先，通过TracePro光学仿真软件，对玻璃微珠结构、截角角锥结构和立方角锥结构三种不同结构进行反射率的仿真，筛选出最符合光学诱饵高反射率要求的结构。然后，通过对不同尺寸单元微结构的反射仿真，确定光学诱饵的单元微结构尺寸。最后，通过对入射角度偏转对反射率影响的仿真，验证反射结构是否满足光学诱饵的要求。结果表明，立方角锥反射结构更符合光学诱饵的设计要求。     

软件测试自动化技术应用研究

为了保证系统的质量,提高软件测试的效率,在软件开发过程中,通过设计测试用例对系统进行相应的自动化测试,从而确定系统的不足以及需要改进的地方,降低编写和维护测试的开销,提高软件质量。文中通过对软件自动化测试的相关技术和应用的详细介绍,总结了软件测试自动化的特点和标准。针对软件自动化测试的不同环节中自动化测试工具及自动化测试方法的选择,将软件自动化测试划分为5个级别,验证了软件自动化测试的有效性和可重复性。     

新思科技（Synopsys）宣布收购微捷码设计自动化有限公司

全球领先的电子元件和系统设计、验证和制造软件及知识产权供应商新思科技有限公司日前宣布已签署最终协议，收购总部位于美国加利福尼亚州圣何塞的芯片设计软件供应商微捷码设计自动化有限公司（Magma Design Automation Inc．）。本次收购可将双方的技术、研发和支持能力进行互补，使合并后的公司能够更加快速地服务客户，满足他们在应用前沿或成熟的工艺节点进行芯片设计时的各种需求。     

面向可重构网络设备软件构件的自动化测试方法研究

针对可重构路由平台中的软件构件，本文设计并实现了一种基于petri网理论模型的脚本自动化路由软件仿真验证方法，本文的方法能够实时按照用户的修改重建构件网络。     

应用于高能激光系统的发射聚焦装置研究

为了满足当前高能激光系统的工程应用需求,设计了针对高能激光聚焦的发射聚焦装置。首先选取了折反式二级扩束光学系统作为设计模型,然后利用光学设计软件序列模式对光学系统进行了设计优化,获得了平面波光束在不同距离聚焦的设计结果。其次由于平面波光束和高斯光束在调焦量上存在差异,通过矩阵光学理论计算了针对高斯光束聚焦的调焦修正量,并利用光学设计软件非序列模式重构光学系统,并以非相干空间合束的高斯光束作为入射光,进行了高能激光的传输聚焦仿真验证。在系统参数一致的条件下,与常规的离轴反射式光学系统进行对比。对比结果证实了本文设计的光学系统光学性能优良,可满足对入射高能激光在0.5~5 km范围内聚焦,最后开展的样机实验也验证了设计的正确性和合理性。     

基于STM32硬件平台的CANopen从站模块设计

阐述基于STM32设计从站模块的硬件平台，在该平台上部署了RTThread实时操作系统，并移植了CANfestival开源代码，设计了对应的从站软件模块。通过通信试验验证CANopen的实时性、可靠性，从而为配电自动化设备上实现CANopen功能做准备。     

C^＊SOC——自动化的SoC仿真验证平台

SoC(片上系统)是IC设计的发展趋势，仿真与验证是芯片设计中最复杂、最耗时的环节之一，实现仿真与验证自动化是芯片设计研究的重要方向。本文首先分析了在SoC设计中存在的一些困难，提出芯片设计需要SoC设计平台的支持，在分析目前设计平台的基础上，推出一个功能强大、自动化程度高的仿真验证平台——C*SOC。最后总结全文并展望SoC设计验证平台的发展方向。     

基于分布光度计测试实验的LED二次光学仿真

以LED为研究对象,利用TracePro光学仿真软件和LED分布光度计对其进行光学仿真和光学实验研究,并通过对比验证仿真结果的正确性和仿真方法的可行性。研究结果表明,实验结果和仿真结果吻合,将仿真方法用于LED的光学研究切实可行。利用TracePro对大功率LED的二次光学设计结构进行了仿真,仿真结果表明该LED的二次光学设计结构使LED的光学性能得到了极大的改善,配光效果更理想,光照均匀性更好。     

通过合并VERISITY公司CADENCE加强验证解决方案和专业技能

世界领先的电子设计解决方案提供者Cadence设计系统公司日前宣布，该公司已经正式签署协议，将Verisity公司纳入自己旗下。Verisity公司位于加利福尼亚州山景城，是一家验证流程自动化(VPA)软件供应商。     

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems

Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for mobile and ubiquitous systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three techniques namely software component-based reuse, formal synthesis, and formal verification. The proposed architecture for VERTAF is component-based which allows plug-and-play for the scheduler and the verifier. The architecture is also easily extensible because reusable hardware and software design components can be added. Application examples developed using VERTAF demonstrate significantly reduced relative design effort, which shows how high-level reuse of software components combined with automatic synthesis and verification increases design productivity.     

信号发生器类仪器自动检定系统的软件设计

讨论了信号发生器类仪器自动检定系统软件设计的方法和实现过程。通过使用VISA I/O接口函数库实现了软件兼容常见仪器接口的设计目标;使用数据库技术和合理的检定流程设计方法提高了软件的通用性,实现了软件和具体仪器资源无关,特别是与检定规程或校准方法无关的设计目标。他的应用极大地提高了信号源检定/校准的工作效率,检定/校准数据的准确性,也减轻了检定/校准人员的工作强度,具有较为广泛的实用性。     

可靠性试验自动测试系统的设计

介绍基于GPIB技术的可靠性试验自动测试系统的设计,详细阐述了该系统的硬件组成和软件编程。该自动测试系统不仅具有很高的测试效率和测试精度,而且操作简单,具有良好的扩展性,适用于通用雷达装备板级可靠性试验的评估与验证。经过长时间的试验测试以及获得的大量数据表明,该可靠性试验测试系统运行稳定可靠,数据采集、存储、分析方便,满足通用雷达可靠性试验的测试要求。     

近距离脉冲激光探测接收和处理

针对几十米到几百米区间的目标探测,提出了近距离脉冲激光探测接收和处理的一种设计方案。对探测接收光学系统和自动增益控制曲线进行了详细设计,对双透镜组合焦距进行了分析计算,并采用软件仿真方法对接收光学系统进一步验证优化;在自动增益控制曲线设计中,针对AD558芯片特点,阐述CPLD芯片中自动增益控制电路和放大电路的设计,并对自动增益控制曲线电路进行了仿真。试验证明探测效果较好。     

中继终端跟踪接收机的设计

中低轨航天器中继终端常采用自动跟踪技术,完成对数据中继卫星的捕获跟踪,建立高速数据中继传输链路。文章针对中继终端应用需求,给出了一种典型的单通道单脉冲接收设备主要性能设计,通过MAT-LAB/Simulink软件仿真验证证明设计可行。     

直流电桥自动检定系统研制

为解决直流电桥手工检定操作繁琐,速度慢,读数不直观,出错率高,数据处理复杂等难题,开发了直流电桥自动检定系统的硬件环境。本文主要对直流电桥自动检定系统的硬件组成、软件设计、数据验证、系统优点等多个方面进行了介绍。本系统采用Fluke公司的多功能信号发生器Fluke 5520A输出高精度的标准电阻来进行直流电桥检定,计算机与Fluke 5520A信号发生器之间的通信采用GPIB板卡技术。根据检定规程设计了基于MET/CAL自动检定软件,编制了基于Crystal的证书报告。实验证明,该系统测试数据稳定、可靠性高、软件运行直观、数据处理简单方便,提高了工作效率,减少了人为因素影响。     

基于ARM的WLAN-GPIB接口转换器的设计与实现

本文阐述了基于S3C2410的一种嵌入式WLAN-GPIB接口转换器的设计思想和整体框架结构,并着重给出了具体的软硬件实现方案.WLAN-GPIB控制器对组建无线自动测试系统提供了极大方便,在以往的GPIB控制器都不能方便使用的特殊环境中实现了对仪器资源的共享和远程控制.经实验验证,该款GPIB转换器完全符合设计要求,移动用户能够获得同Ethernet几乎一样的网络吞吐率、可用性,目前已经投入实际生产应用,取得了较好的社会效益和经济效益.     

On supporting rapid prototyping of embedded systems with reconfigurable architectures

Reducing time-to-market while improving product quality is a big challenge. This paper proposes a software-supported framework for rapid prototyping that offers a concurrent fast hardware/software system-level design. The introduced framework enables the constant evaluation and verification of the prototype under development, while it provides automatic functionality mapping to hardware via High-Level Synthesis techniques. We evaluate our framework and its software instantiation with a computer vision algorithm. Based on our experimentation, we show that our approach reduces the development time by almost 64×, it prunes the hardware design space by 34×, while maintaining designs that trade-off high Quality-of-Report on the Pareto frontier.     

柱透镜光栅自由立体显示中几何参数间关系分析

在柱透镜光栅自由立体显示技术中,能否正确匹配系统各个参数的关系,直接影响着最终观看的立体视觉效果.对柱透镜光栅立体显示的成像原理进行了研究,通过几何方法推导了柱透镜光栅显示系统各个参数之间的关系,并且采用光学软件TracePro进行验证,结果表明可以实现立体视觉,最后通过实验进一步证实了实际显示效果与软件验证结果相吻合.表明了系统之间参数设计的正确性.     

基于ACSL的密码软件形式化验证方法

在分析通用软件形式化验证方法的基础上,这里设计提出了一种专门针对密码软件安全性的形式化验证方法。该方法采用ACSL（ANSI/ISO C Specification Language）语言对密码软件的安全性进行形式化描述,并采用自动证明与辅助证明相结合的方法,能够对软件的实现是否满足了对安全性至关重要的一些密码学特性进行有效验证。还以一个开源openssl实现中RC4算法的软件实现部分为例,给出了对其保险性进行验证的过程与步骤,结果表明了该方法的有效性。