CMOS电路开关级设计中的开关共享研究

研究了CMOS电路在开关级设计中的开关共享技术，以使实现多函数的电路之间通过共享MOS开关管或开关网络达到电路的进一步简化，提出了开关或开关网络共享的条件，并讨论了开关共享对电路工作发生的影响，通过对电路设计实例的分析研究了开关共享后电路物理参数的变化，并分析了开关共享的禁用条件。     

数字信号的分形建模方法

对多种基于IFS迭代函数系统的数字信号分形建模方法进行了讨论,比较了各种方法的优缺点。同时提出了一种基于K维树最近邻搜索算法的数字信号分形编码方案,并对其算法原理进行了分析。     

一种可扩展的数字权限表达语言的形式化建模及分析

为更清晰、精确表达DRM(digital right management)中权限这一关键问题,本文提出了一种可扩展的数字权限表达语言(EDREL:Extended Digital Right Expression Language)模型,并利用形式化方法(OTS/CafeOBJ建模方法),对该模型进行了形式化的建模与许可证性质分析.与现有研究相比,本文提出的模型及方法,在解决权限的准确、无二义性表达的同时,还加入了对授权方和被授权方发生权限纠纷时执行轨迹的判断与回溯的考虑以及权限的二次发布的描述,能更好地满足DRM系统中全面和精确地描述各种权限的需求.     

数字地形技术在环境规划设计中的应用

近年来基于地理信息系统层面的数字地形技术的发展和完善,使得环境规划设计领域有可能利用其技术实现各种尺度的空间分析,从而改善原有操作环节,提高效率和精度,使准确的地形分析结论指导规划和设计.数字地形技术在环境规划设计中的应用存在衔接问题,首先体现在现状测绘图纸中的图元数据与建立数字地形所需的数据源存在着差异,应将其转换,必要时将通过对绘图平台的二次开发来完成数据源的兼容性处理.其次应当选择合适的地形模块来完成相关的数字分析.通过必要的技术衔接,在规划设计中,将实现对场地的基本地形分析、叠置分析、可视化以及其他方面的工程应用.该技术的应用是信息化规划设计的重要尝试,将在环境规划设计中预先体现出其优越性.     

SPH分析中的齿轮建模方法研究

对利用光滑粒子动力学(SPH-Smoothed Particle Hydrodynanlics)方法进行轮齿动态力学数值分析中的齿轮建模方法进行了研究.确定了齿轮齿根过渡曲线以及其他部分的参数方程,并根据所确定的参数方程建立了三维齿轮离散粒子模型的数学模型.编制了划分齿轮整体及局部离散粒子的SPH前处理程序.并对划分后齿轮离散粒子与齿轮理论轮廓之间进行了误差分析.分析结果表明,利用此办法可正确划分齿轮的SPH离散化粒子,是一种较好的前处理方法.     

一种时序逻辑网络的快速设计方法

引用1984年尹克震提出的“开关函数的反演公式”,采用伪随机序列技术的思想,提出移位寄存器型时序逻辑网络的一种快速设计方法。     

基于SystemC的事务级AMBA总线模型的设计与实现

针对目前SoC设计中的时间瓶颈，根据系统建模语言SystemC对SoC进行事务级建模的方法。提出并实现了采用该方法构建基于AMBA规范的SoC片内总线模型的方案．模型采用了SystemC 2．0的接口、端口和通道的概念，这使模型具有很好的开放性和可扩展性．模型各部分间的通信通过调用各接口内定义的函数来进行，模型运行时只使用SystemC自带的轻量级仿真内核．实验结果表明：本总线模型完全符合AMBA2．0规范，可以有效克服目前SoC软硬件协同设计中的时间瓶颈．     

基于模型检测的软件安全性验证方法

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.     

基于VMM的SATA控制器功能验证

针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层式验证平台.验证组件的实现大量重用验证知识产权核(VIP),在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%.     

面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想,引进它的基本数据类型、语句等设施,对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型,提高了系统的完整性和一致性;同时运用二级并发模型和限制设施,详述了系统的并发性和不确定性的描述问题．     

海运实时监控系统的设计与实现

应用面向对象的软件分析和设计方法,以海运智能交通系统中海运实时监控系统的设计与实现为出发点,将海运实时监控系统划分为总调控制中心子系统和船载子系统两部分,实现了信息自动采集、数据综合处理、目标跟踪显示、图上实时计算和网络通信等功能.     

氟离子选择电极法测量大气氟化物的方法验证

验证了离子选择电极法测定氟化物的特性指标．结果表明：检出限为0．01mg／L,测定下限为0．04mg／L,样本标准偏差为0．30—0．40,相对标准偏差为0．16％-0．30％,回收率在97～103％内．说明该方法的精密度好,准确度高,符合质量控制要求．     

非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

量子通信载荷自动检测软件的设计

为解决对量子通信载荷进行长时间测试时需有人一直看守的问题,提出测试过程的自动记录及数据回放方案,将测试过程中载荷执行的指令和运行状态及当前时刻等数据记入日志文件,测试完后对日志文件进行回放即可查看载荷运行是否正常.该方案可快速定位查找数据,回放步长可自由设定,载荷各状态配置信息可通过外部文件设定,很好地提高了测试效率.     

高阶常微分方程的动态演化建模

提出了采用高阶常微分方程模型代替传统时序分析中所用的ARMA模型来实现一维时间序列的建模和预报．设计的将遗传程序设计与遗传算法相嵌套的动态演化建模算法,用遗传程序设计优化模型结构,以遗传算法优化模型参数,边收集数据边建模边预报,首次成功地实现了时间序列实时预报的程序自动化．两个时间序列的应用实例表明采用此算法可获得较好的实时预报效果．     

可靠性设计在化工装置中的运用

可靠性设计是当代较先进的设计理论，广泛应用于航空、机械、化工等领域装置设计及寿命诊断。本文对可靠性设计方法进行了叙述，对可靠性设计中的常见模型进行了分析计算。针对大化肥生产的甲铵泵装置，利用可靠性设计原理建立了逻辑框图，提出了技术方法，并取得了满意的结果。