动静态结合的部分求值技术

提出一种应用于过程式语言的动静态结合的部分求值技术,并给出该方法的形式描述．采用该方法,实现一个实验性的部分求值系统．     

过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术,提出一个部分求值或广义部分求值的循环展开中止条件,利用该中止条件能有效地解决这一难题。     

一种新的连分式求值方法

采用数学归纳法构造了一种不同于传统的三项递推公式和向后递推公式的连分式求值递推公式 ,利用此递推公式给出了一个不同于Thiele算法、Stoer算法、Salzor算法的求一元有理插值系数的一个新算法     

一种改进的部分并行干扰抵消多用户接收机

为解决部分并行干扰抵消（PPIC）多用户检测接收机中部分干扰因子如何确定的问题，定义了目标用户的期望输出与判决输出之间的均方误差期望性能函数，在引入离散互相关函数定义下，推导出不同用户扩频序列之间部分相关函数的期望性能函数，在引入离散互相关函数定义下，推导出不同用户扩频序列之间部分相关函数的期望值，从而给出了一个二级部分并行干扰抵消多用户检测接收机中自适应部分干扰因子的简单表达公式，并在此基础上研究了其相应的误码性能函数，同其他方法相比，该方法综合考虑了用户信噪比，系统用户数等因素的影响，使系统具有较强的自适应能力和鲁棒稳定性，其性能优于已有的基于固定干扰因子的性能，计算机仿真实验结果进一步验证了采用该方法的接收机性能。     

一种带有投影校正步的部分并行分离方法

为了解决带有线性约束的可分凸优化问题,提出了一种带有投影校正步的部分并行分离方法,该方法在预测步中充分利用了目标函数可分的结构特点,投影校正步的使用,确保了方法的收敛性;最后通过计算数值例子展示了算法的可行性与有效性.     

求解凸极小化问题的一种部分并行的可分方法

针对具有可分结构的凸极小化问题,提出了一种部分并行的可分方法.该方法是在预校正近似乘子法的基础之上,在极小化时采取了不同的格式,去掉了二次邻近项而直接用的增广项;在算法的迭代部分,预校正近似乘子法先计算x~(k+1),再计算z~(k+1),在部分并行的可分方法中,x~(k+1),z~(k+1)是并行计算的;通过数值算例得到的结果显示,该方法具有可行性.     

一种动态共享数据结构的并发访问控制分析方法

共享数据的并发访问控制是并行编程的关键之一,而对动态共享数据结构的细粒度并发访问控制更是其中的难点.针对操作动态数据结构的指针程序,提出一种并发访问控制的分析方法,该方法采用形状图对程序运行时的动态数据结构和指针变量关系建立抽象,通过形状图推导完成对共享单元的访问控制分析.程序员只需要声明指针及指向单元的共享性和数据结构形状特征,编译器利用本文中的方法分析得到共享单元的访问控制点,并添加使用互斥锁进行访问控制的代码.     

一种部分译码的规则

译码器每一位的输出等于计数器状态图里相应位中已改变状态的触发器的输出与将改变状态的触发器的输出两者的乘积。     

命令式语言的精确约束时间分析

构造程序语言的部分计值器时最重要的一步是约束时间分析。当已知程度的部分输入时,约束时间分析阶段是区分程序中哪华计算可在部分计值时完成,哪些计算须在运行时完成,然而对实际应用程序,已存在的部分计值器并没有较好对程序进行优化得到执行效率高的剩余程序,其主要原因是对程序没有精确提取约束时间分析信息。该文作者应用与前人不同的方法,将约束时间分析分为3个阶段：约束时间、递归调用分析、相关性分析,通过各阶段分析以提取更精确的约束时间分析信息,从而得到高效率的剩余程序。此外,该文提供了相应程序变换规则,分析各个程序的子结构模块,在例化时完成相应计算并生成剩余程序。     

基于因子分析法的2012年山东省区域竞争力的评价与分析

介绍了区域竞争力的概念,在此基础上,从经济综合实力和可持续发展能力两个角度构建区域竞争力评价指标体系,运用因子分析方法,对山东省2012年17地市的区域竞争力进行了评价和分析.研究指出：山东省东、西部地区竞争力发展明显不平衡,特别是在经济发展和居民生活、教育水平这三个方面上的差距尤为明显.针对问题提出相应的政策建议：突出不同区域的错位发展,加强区域间的合作;重视西部地区的教育和科技发展;提高居民收入和生活水平.     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

基于偏相干分析法的装载机司机室噪声源识别

应用偏相干分析方法进行装载机司机室噪声源识别的研究,导出可定量分析相互不独立多输入系统中各输入对输出贡献的大小的计算公式,应用此方法,对大型装载机司机室噪声进行识别,取得了较好的效果。     

双曲型偏微分方程奇异摄动问题边界层方法的渐近分析

本文考虑了带小参数的双曲型偏微分方程的初值问题和初边值混合问题，建立了它们的边界层格式解法，从而避免了寻找拟合因子和加密网格时所遇到的困难。文中利用数值例子作了说明。     

类JVML在线部分计值器的正确性证明

定义了JVML指令序列的程序语义，构造了相关的JVML子集部分计值器并形式化地给出了计值规则，证明了计值规则的正确性，说明了表达式和语句在一定的环境下通过部分/剩余（Partial/Residual)计值和全局（Total)计值的不变性。     

面向对象的分析方法例解

面向对象的分析方法例解一文结合一个被称为贪婪游戏的实例，介绍了运用面向对象方法学进行面向对象分析建模的全过程，即进行实例的面向对象的分析和需求分析模型的建立。     

DACUM分析法在食品专业评估中的应用探索

专业评估是对人才培养质量监控与保障的有效途径,也是督促各高校提高专业建设水平的有效手段.分析了当前安徽省食品专业评估现状,论述了DACUM分析法的特点,最后就DACUM分析法在食品专业评估中的应用探索进行了阐述,从而为下一步更好地开展专业评估提供借鉴.     

并行程序的一种间歇性性能分析方法

针对并行程序的动态性能分析方法存在的问题，提出了一种大粒度并行程序的新的性能分析方法，即间歇性性能分析方法。该方法采用了基于假设验证模型的瓶颈搜索全局策略，数据复用搜索加速方法以及用户交互式的搜索制导等技术，并应用这种性能分析方法改进了一个已有的并行程序事后性能分析系统。实验表明，该方法具有良好的准确性和易用性。