谈归纳法在中学物理教学中的应用

归纳法是中学物理教学中常用的一种思维方法，它可分为完全归纳法、简单枚举法和判明因果联系法，本结合中学物理教学实际，分别阐述了以上3个方法在物理教学中的应用。     

因果图参数的在线学习

因果图理论是利用图形化和直接因果强度来表达知识和因果关系的一种基于概率论的推理方法，能够进行在线动态推理和对复杂系统进行故障诊断，连接强度是其推理的基础，文中给出了采用EM（η）算法在线学习因果图参数（连接强度）的方法，使学习出的参数能适应环境的变化，具有适时性．同时在理论上证明了这种方法的可行性和优点．     

专利申请文件的撰写及注意事项

专利申请过程中，说明书、摘要和权利要求书是重要的专利申请文件。根据中国专利法及其实施细则的规定，详细论述了专利申请文件的特征及说明书、摘要和权利要求书的撰写要求，并简要介绍了石油化工领域专利申请中一些需注意的事项。     

基于粗糙集理论和因果图的故障诊断

【目的】复杂系统发生故障时会导致许多冗余信息产生，以此建立的因果图模型结构复杂，推理难度较大，针对这个问题提出了基于粗糙集和因果图理论的故障诊断方法。【方法】先根据历史故障数据建立决策表，利用粗糙集理论对决策表进行属性约简得到最小决策表，再根据最小决策表对原始因果图进行约简，最后利用约简后的因果图模型进行故障诊断推理。【结果】从一定程度上降低了因果图模型的复杂程度，从而提升了推理速度。【结论】以某电网为例应用此方法，因果图模型的确得到了简化，样本检验结果也与实际结果一致，说明了该方法的可行性和准确性。     

基于因果图的一种近似推理算法

在因果图理论中,采用图形化和直接因果强度来表达知识和因果关系,它克服了贝叶斯网的一些不足,已经发展成了一个能够处理离散变量和连续变量的混合模型.但由于因果图的精确推理是NP难的,不能完全适应实际问题的需要,因此给出了一种近似推理算法,削减了因果图精确算法的步骤和需要的一些苛刻条件,使得计算的复杂度与事件的节点数同阶,并用具体例子说明了算法推理过程.     

玻恩与玻姆关于因果性、决定论思想观点异同之比较

1．M·玻恩的因果观：量子世界是因果与机遇联合支配的；量子粒子具有内禀不确定性，机遇律是终极自然律；几率、机遇的概念比因果更为基本。2．D·玻姆的量子势因果观：自然界根本不存在终级自然律，而且每一层次都突现独特的规律。因果性只是相对的必然性。偶然性总是出现在多种不同因素、可能趋势的交叉点上。量子势因果解释是因果决定性与概率统计性的某种整合。它在物理上有清晰的直观模型；在哲学上有明确的本体论基础。     

基于广义归纳逻辑因果模型的知识发现与算法实现

以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据，分析了广义因果联系类知识的发现机理，给出了因果联系类知识发现的实现算法。该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法。通过算法的运行实例，验证和说明了算法的正确性和有效性。     

英语因果复句的分类及其认知研究

英语因果复句是英语中一种主要的复句,它表达因果关系,通常由because,as连接原因句、主句表达结果。因果复句表达的因果关系多种多样,这是因为人们的认知方式多种多样。本文根据因果复句所揭示的因果关系种类对因果复句进行分类,并根据人们的认知方式对其进行研究。     

一类重要辅助信息在一类因果模型中可识别的充要条件

在流行病学和社会科学中,大量的研究是估计因果效应。一般而言,没有任何假设的条件下,因果效应无法获得,即不给因果变量任何辅助信息,因果效应无法识别。作者提出了辅助信息可识别的定义,并且针对一类比较普遍且重要的辅助信息得出它在一类因果模型中对4种因果效应可识别的充要条件,最后将这结果推广到一般情况。     

从社会符号学角度谈英文商品说明书的翻译

社会符号学翻译法是一门比较科学、全面的翻译方法，其在商品说明书翻译中的应用，可以为说明书译本的规范化提供依据。好的说明书翻译应与源文文本在功能上相似，在指称、言内、语用意义上相符。从社会符号学角度来探讨英文商品说明书的翻译策略，不仅能准确传达原文的产品信息，而且可使译文更容易被接受。     

结构化面向对象形式规格说明语言OOZS——规格说明测试

自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究。本文提出了一种测试方法,该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验,可以较容易地发现形式规格说明中的不一致、不完整之处。     

一种基于Java语言的Web应用程序的单元测试

分析了Java语言的Web应用程序的特点,并给出了用JUnit测试工具实现单元测试的实例,说明了该单元测试技术在软件测试中的具体实现方法。     

面向组件的软件测试技术

使用组件,特别是第三方商业组件集成开发而成的软件越来越多,面向组件的测试技术的需求越来越大。UML是目前软件开发业应用最广泛的可视化标准建模语言,它能应用于整个软件开发过程的各阶段。UML的许多特点与面向组件的软件测试需求相吻合。基于UML的软件测试技术在对面向组件的软件开发具有广阔的研究和应用前景。     

基于UML协作图的集成测试算法

UML是软件建模的一种工具,利用UML协作图可描绘在特定上下文中一组相关对象之间的协作关系.文章提出一个依据协作图不同种类消息遍历测试路径的算法,用JAVA语言实现,并将其用在ATM机中确认PIN的实例中.     

基于Web Component的自动化测试工具的研究

随着组件重用技术在软件开发中的广泛使用,软件测试变得越来越复杂,而自动化测试工具能有效降低软件测试的复杂度.运用自动化测试理论,讨论了基于Web Component的自动化测试一般方法,设计了一种基于Web Component的自动化测试工具.     

一种新的布尔规格测试用例生成算法

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

统计测试中操作剖面的一种优化设计方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.     

降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.