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

摘要：多路选择器是一种重要的多功能通用逻辑元件。利用布尔代数运算 ,导出了求布尔函数的简化的不相交SOP形式的一种代数方法 ,提出了基于这种SOP形式的数字多路选择器网络设计的一种代数方法。这种方法可以使待设计的数字多路选择器网络简化到最小树形网络。

摘要：提出了一种运动等效机构演化生成的代数方法 ,使得机构的创新及演化生成在方法上更具系统性和可操作性。同时 ,符号推演有助于机构概念设计走向程序化和自动化。

摘要：根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论.在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程.本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义.另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义.

摘要：介绍了C语言程序设计中的难点问题——图形打印问题的解决方案,详细论述了如何利用代数方法来解决这一双重循环问题的具体措施。

摘要：研究代数方法和算术方法之间的联系,对于提高小学教师的专业水平、有效地进行教学设计和有针对性地对学生进行指导都十分重要。从方法论的角度来讲,代数的有关知识和方法对理解和解决一些算术问题会起到导向作用。如用方程组求解＂鸡兔同笼＂问题,可以诱导出求算术方法。＂鸡兔同笼＂是我国古代名题之一。

摘要：针对多输入多输出雷达正交相位编码波形设计中数值优化方法计算量和存储量较大、效率较低的问题,提出一种代数理论设计方法.首先利用逆归约相乘法求解产生序列族所需的多项式;然后构造以该多项式为特征多项式的线性迭代方程,并通过线性移位寄存器求解而获得序列族;最后将该序列族映射为信号码集从而完成波形设计.仿真结果表明,该方法设计的波形恒模,并且具有低的自相关峰值旁瓣电平和互相关峰值电平.与数值优化方法比较,码集序列数量大,波形产生速度快.

摘要：微型共轴直升机因对控制输入和外在扰动较敏感,且本身具有较高的动态脉宽,使得其难于控制。提出一种基于特征速率配置(characteristic ratio assignment,CRA)的多项式设计方案来控制直升机的姿态回路。因CRA综合考虑时域稳态指标、系统鲁棒性以及广义时间常量来配置系统特征多项式,从而设计控制器。针对CRA设计控制器阶次的不明确,提出依据CRA设计满足一定性能指标的定阶次的类PID控制器。仿真分析证实了提出的控制方法简单可行。

摘要：该文基于改进的扩展方法构造了一类速率兼容多元低密度校验（LDPC）码，其中低码率码的校验符号不仅与高码率码的码字有关，还与中间码率码的校验符号有关。构造过程涉及了掩模矩阵和基矩阵的优化设计、多元域元素的随机替换等具体步骤。该文还采用代数方法设计码的校验矩阵，进而降低了设计复杂度。所构造的码不仅具有速率兼容特性，还具有易于编译码器硬件实现的准循环结构。仿真结果表明：该码在较大的码率范围内都能够获得较好的瀑布区和平层区性能。

摘要：基于代数攻击,提出了一种已知部分真值表还原整个布尔函数的方法。对于n元d次布尔函数,该方法的空间复杂度和数据复杂度均为O(N),计算复杂度为O(N3),其中N=1+Cn1+C n2++C nd。由复杂度可知,所求密码函数的代数次数越低,该方法的有效性越高。攻击方法表明密码设计中应该谨慎使用代数次数较低的布尔函数。