基于栈操作的用例规模的一个计算公式

软件测试随着测试用例规模的增加变得十分困难,对测试用例进行研究十分必要．本文首先给出了树同构的概念,然后利用图论就栈操作的用例进行了讨论,并得到一系列有关栈操作用例的重要性质,最后对一个给定任意大小的输入序列,讨论了其各种可能的输出序列,在此基础上得到了各种可能输出序列规模的一个递推计算公式．     

变异理论与概念教学中正反例的开发策略

概念的例子分正例和反例两种,正例具有概念所有的相关属性,反例减少或增加了一条或多条概念的相关属性。以变异理论提出的几种变与不变的范式为方法论基础,提出概念正反例的三条开发策略:正例开发的策略是相关属性不变,无关属性要变化;反例的开发策略是相关属性要变化,无关属性不变;相互匹配的正反例的开发可以互为线索,相互启发。     

基于AOSD的应用系统开发研究

面向对象的软件开发方法在优化软件开发的同时仍然存在大量的横切问题,研究表明,运用面向方面的软件分析和设计方法(AOSD)开发可以很好的解决横切问题,模块的内聚性得到加强,同时使系统的并行开发得以实现,在面向方面编程(AOP)的基础上,结合ATM系统对AOSD进行了研究.     

发挥应急预案的防震减灾作用

由于地震灾害的突发性特点，以及地震预报的难度和现实水平，防御和减轻地震灾害在很大程度上取决于地震应急工作是否及时、有效。从国内外对一些震例的处理可以看出，应急工作不及时、不恰当会引起相当的混乱，从而加重地震灾害。如1999年8月17日土耳其7．8级地震，16000多人死亡。     

不确定多时滞奇异系统鲁棒H∞降维滤波器的设计

讨论了一类同时具有不确定性和多时滞的奇异系统鲁棒H∞降维滤波器的设计问题.目的是对于所容许的不确定性和多时滞,设计一个比原系统维数低的确定维数的稳定线性滤波器,使得滤波误差动态系统是渐进稳定并满足给定的H∞性能要求.该问题有解的充分条件是0≤ETY,rankX≤,Π1<0,Π2<0;并且当这些条件满足时,以参数显式化的形式给出了所求的鲁棒H∞降维滤波器.所有这些结果都只利用了原始系统的矩阵而没有分解,这就使得设计过程简便、直接.最后用数值算例验证了结论的可行性和有效性.     

考虑各向同性塑性损伤的钢结构塑性区分析方法

基于更新拉格朗日构形的增量虚位移原理和三维空间薄壁构件理论,以构件拉弯、压弯、纯弯及扭转状态下平衡微分方程的解作为形函数,详细推导了考虑截面翘曲影响的空间薄壁梁柱单元的几何非线性切线刚度矩阵;基于结构钢各向同性塑性累积损伤的本构关系,以及能反映Baus-chinger效应和屈服面扩张的Zeigler混合强化模型、Von Mises屈服准则、相关流动法则,推导了考虑材料损伤和混合强化本构关系的弹塑性刚度矩阵.算例证明文中的方法可以达到较高的精度,从而为进行空间钢框架结构考虑损伤的高等分析提供了依据.     

浅析中学物理教学中提高学生问题解决能力的途径

在提高学生物理问题解决能力上,题海战术的教学效果并不理想。认知心理学在知识丰富领域问题解决的研究,使我们看到了促进学生图武形成的重要性：在学科领域,提高学生解决问题能力很重要的环节,就是促进学生图式的构建。学科领域内,个体构建新问题解题方案的过程是一个类比推理的过程,类比问题解决和样例学习有助于图式的建构。     

基于编码的生僻汉字输入方法理论与测试研究

在BNF范式编码的基础上，深入讨论了生僻汉字数字化处理问题。根据对生僻汉字部件的统计和分析，本文提出了基于编码的生僻汉字输入方法，建立了相应的生僻汉字部件库，实现了生僻汉字的数字存储和显示。此外，应用测试用例自动生成的方法，对输入方法进行了测试，表明该方法具有造字速度快，应用范围广，与现有字体兼容性强等优点，从而为生僻汉字的数字化提出了一个新的解决方案。     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

《大清律例》视野下“宝玉挨打”之法律解读

关于《红楼梦》中“宝玉挨打”一事,诸多红学家有不同的解读,但均忽视其法律意义。以《大清律例》为视角,时贾宝玉“违反教令”的行为予以法律考察,可以发现贾政杖责贾宝玉有明确的法律依据,而《清律》对家长权的规制是这一事件的合法性和合理性的基石。由此可以管窥《红楼梦》塑造的法律世界。