基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

论译文的回译性与翻译

到目前为止，评论界对语际翻译、尤其是英汉翻译进行了大量的研究，并已归纳出不少翻译原则，本文中，作者从多语转换现象出发，提出了“译文回译性”这个新概念，并对其分类进行了讨论。作者认为，在从原文到译文的翻译过程中考虑译文的回译性有利于促使译文“忠实”原文，并在此基础上进行合理的“神似”、“化境”，也有利于多语转换和文化交流。据此认为，“译文回译性”应成为译文质量的评判标准之一，回译性研究应成为翻译研究的一个组成部分。     

振动系统模型参数识别与修改

本文根据振动系统的输入输出相关函数方程,从理论上阐明了模态参数的时域识别方法.将相关函数方程转换到频域,直接给出分析模型的系数矩阵,从而得到一个较好的初始分析模型.利用识别模态或实验模态对相关函数方程进行坐标变换,在模态坐标系对初始分析模型进行修改.最后返回物理坐标系,并给出修改量计算公式.     

浅谈我国公司法的修改与完善

自《公司法》实施以来，在推动国企改革和建立现代制度方面发挥了许多重要作用。但从多年的实践来看，《公司法》也存在其过渡性和时代局限性的缺陷，部分条文设计不够合理，不能与目前经济发展的要求相适应。随着我国市场经济的发展，重新对联公司法》进行修改应列入立法机关的许议事日程。本文从我国公司法理念的现代化、投资与交易安全、司法介入以及公司法与其他规章的协调等方面提出不算成熟的几点粗略思考，期望有所裨益。     

工业过程的数学模型由离散时间域向连续时间域的转换方法

工业过程在离散时间域上的数学模型HG(z)与其在连续时间域上的数学模型G(S)之间存在着如下的关系式: HG(z)=(1-z~(-1))z[G(S)/S]. 若由辨识所获得的HG(z)为和则与之对应的连续时间域上的数学模型为和文中所提出的各个公式可用来计算K、τ_d、τ、τ_1、τ_2、τ_0、ζ和T.     

带有频谱补偿的基频修改算法

针对当前多数在基于拼接的语音合成系统中使用的基频修改算法缺少对频谱进行补偿的情况,提出了一种带有频谱补偿的基频修改算法.在传统基音同步叠加(PSOLA)算法的基础上,以共振峰参数和频谱倾斜参数描述频谱特性,通过对频谱参数进行预测及修改,在修改基频的同时,有效地补偿了频谱特性.频谱参数的预测公式由各基频下的条件概率密度函数导出,频谱参数的修改通过正弦模型实现.实验表明,对于不同的汉语元音、基频修改因子和听者,在平均86.25%的情况下,该算法较传统PSOLA算法能够获得更接近自然音质的语音.     

非线性单纯形的修改算法

提出了非线性单纯形算法的修改算法。在原单纯形算法的基础上增加了一种新的反射方向的计算方法;用“映射单纯形”方法代替“单纯形顶点代换”方法;有选择地采用“单纯形压缩”计算。修改单纯形算法对初值的适应范围更亮、能有效加快收敛速度。     

半平面中的一类调和函数及其性质

利用半平面中修改的Poisson核,证明了如果R上一个σ—有限的Borel测度满足某些限制增长条件,则由半平面上修改的Poisson积分表示出来的函数收敛而且是一个调和函数,这一结果改进了半平面中调和函数的某些经典结果.     

清初小说评点中评改合一现象

清初小说评点异常繁盛,主要表现在评点者不仅仅对小说文本进行文字品评和符号圈点,更突出的是评点者从自己的文化水平和审美角度出发,对小说的原始文本进行增删修改,加工润色,甚至大幅度的改头换面,从而形成清代初期小说评点中集评改于一体的文化现象。这一文化现象进一步强化了文人在小说阅读、评点过程中的参与意识和互动性,并因此产生了以毛本《三国演义》、张评本《金瓶梅》等水准较高的通俗小说流行定本,在古典小说经典化的过程中起到了至关重要的作用。     

古籍译注切忌望文生义

古籍译注是保护和继承古代文化遗产、弘扬中华民族传统文化的一项重要工作，而当今所流行的古籍译注类著作，如；《庄子译注》、《国语译注》、《先秦诸子散文译注》、《古代散文译释》、《先秦史传文译释》等，在注译中存有诸多望文生义之弊。作者仅就所见译注中较具代表性的错译之处，提出自己的看法，以正其谬，再求共议．