对于这些放大器来说，越低越好——由凌力尔特公司提供的高性能模拟解决方案

随着设计方法和工艺技术的改进,许多IC产品着重于拥有大的技术参数值一更大的带宽、更高的分辨率、更高的输出功率、更大的吞吐量、更多的FLOPS(每秒浮点运算次数)…等等.但是,对于精准运算放大器而言,随着性能品质的提高,其关键参数的数值却日益减小-低电源电流、低工作电压、低失调电压、低噪声、低输入偏置电流…等等.这些因数是小信号设计师最为关心的.最新的放大器采用了创新设计和工艺,旨在提供不断超越用户期望值的性能.     

关于BCK／BCI—代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”。     

OODB的查询和优化技术

本文介绍ＯＯＤＢ中一种基于集合代数的代数操作，并讨论查询语言的代数表达式及三种优化技术：基于代数方法，基于拍发代数方法，综合分解方法。     

再论变化电磁场中带电超微粒子的精确量子论

利用创新的SU(1 ,1 )Lie代数理论及SO(3)Lie代数理论 ,得到变化电磁场中带电超微粒子的精确量子论 ,由此进一步明确微观领域中的时空概念     

推广应用缓控释肥 以发展现代农业

缓控释肥作为一种环保型的高新技术产品,具有提高化肥利用率,减少化肥使用量和施肥次数,节省劳动力,减少对环境污染,提高农产品品质等优点,是科学施肥技术的载体和肥料发展的     

1NF关系数据模型及其进展

本文主要介绍1NF关系模型的基本概念,并讨论嵌套关系代数、嵌套范式及嵌套关系的唯一性与最小化等有关1NF的当前研究概况、结果与进展。     

关于不确定对称组合系统的稳定化

研究不确定对称组合系统的二次稳定化问题,给出这类系统可二次稳定的一些充分条件 及计算反馈控制律的方法.这些条件的检验和反馈控制律的计算都由两个低阶系统关于相应 问题的求解来完成.     

在袖珍计算机上进行冲裁压力中心计算

本文针对教学环境中冲裁压力中心计算的需要,以及为减少内存占用、提高运行效率介绍了顺序有向原则输入法,以自动解算公切线为框架的算法,优化定义语句,得以在使用方便,但内存很小的袖珍计算机上实现了冲裁压力中心的自动计算。     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。     

面向软件演化的可靠性分析代数方法

环境和需求的改变导致软件演化发生, 并通常会使软件架构(Software architecture, SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果, 但在软件演化时的实时分析方面有局限性.从软件结构建模出发, 通过使用代数方法将软件演化描述为原子操作序列, 并跟踪分析序列中每一步操作对可靠性的影响, 从而建立基于过程的可靠性分析方法.方法可分析演化关键环节及整体趋势, 用以进一步反馈和约束演化方案设计, 最终达到提高软件产品质量的目的.通过对2个实际算例的深入分析与讨论, 方法的有效性与易用性得到验证.