基于操作剖面搜索可疑参数的故障定位方法

针对软件故障定位问题,提出一种新型故障定位技术SPRank(可疑参数排名).该方法利用测试数据构建操作剖面模型,并提出输入参数谱度量程序各个参数的可疑度;在此基础上,利用优化的思想搜索程序的可疑参数和与之相关的可疑语句,进一步缩小程序故障的检索范围,从而提升故障定位准确率.实验表明SPRank方法能有效地提升三种经典高效的故障定位方法的故障定位准确率.     

科学推理研究的程序范式探析

有关科学推理研究的传统路径属于关系范式,以计算知识论为代表的新型路径则属于程序范式。计算知识论路径起源于语言学习的研究,而Kelly是将计算知识论运用于科学推理研究的集大成者。程序范式下的科学推理研究围绕科学推理问题的可解性和科学方法的逻辑可靠性展开,具有规范性、先验性和长期性的特点。依据程序范式下的计算知识论路径,局部不完全决定性问题得到了细致的分析,发现逻辑在科学哲学中的地位也得到了有力辩护。程序范式为科学推理研究提供了完整的分析框架,从可靠探究的角度重新确定了科学推理研究的基本问题,对未来的科学推理研究颇具启发意义。     

机械专业课与职业标准技能鉴定相融合教法探索

因材施教是教育的真谛,有针对性地探索适合学生特点的教学方法是教师的职责。本文根据培养目标,分析了学生的特点,阐述了机械专业课与职业标准、技能鉴定相融合教法的必要性,提出了相应的教学策略。     

传统飞行程序与PBN飞行程序

在民用航空上百年的发展历程中,导航方式经历了数次重大变革,而每次变革在提高民用航空安全的同时,也带来巨大的社会经济效益,如今,导航方式又一次出现了革命性的转变基于性能导航（PBN）,其代表就是PBN飞行程序,它打破了飞行方式的传统模式,成为了当前最先进的,被中国民航广泛应用的一种新型航行技术。该文介绍了传统飞行程序和存在的缺陷,通过传统飞行程度与PBN飞行程序之间的对比分析,对PBN飞行程序的强大优势与应用前景进行了全面探析。     

高校健美操“程序-合作学习-自主探索”教学模式的应用研究

运用文献资料法、教学实验法、数理统计法对“程序-合作学习-自主探索”教学模式和传统教学模式在高校健美操教学中进行实验对比,主要从实验后两种教学模式对学生身体形态、机能、素质及健美操技能等方面的影响进行深入分析.研究发现：“程序-合作学习-自主探索”教学模式对于提高学生身体机能、身体素质和健美操技能方面要优于传统教学模式.     

程序与实体在儒学语义中的诠释

"重实体轻程序"是我国目前的司法现状,其背后则是功利主义的动机,而中国儒家文化推崇人文主义,反对功利主义,因此,我们需要对儒家经典重新解读,从儒家文化中寻觅适合中国国情的法治道路,真正实现法律资源的本土化。     

论公益信托设立

公益信托设立是相关当事人依照信托法律规定的条件和程序设立公益信托的行为,公益信托设立像其他民事法律行为一样会发生一些法律上的后果。公益信托设立要遵守法定的条件和程序,明确的公益目的、确定的信托财产、不特定的受益人以及经过批准的合格受托人是公益信托设立的法定条件;指定信托文件、提出设立公益信托的申请、进行审查批准和移交信托财产是公益信托设立的必经程序。     

更正说明

正《科技导报》2014年第4/5期第34~39页刊登的赵卫等的论文"海藻纤维素气凝胶:从绿潮到新材料"中,图1引用了牛建峰、范晓蕾、潘光华等刊登在《海洋科学》2008年第8期第30~33页的论文"青岛海域大面积聚集漂浮浒苔的显微观测"的图3,张晓雯、毛玉泽、叶乃好等刊登在《中国水产科学》2008年第5期第822~829页的论文"黄海绿潮浒苔的形态学观察及分子鉴定"的图4。     

基于计算机组成原理课堂教学的探讨

计算机组成原理是一门理论性和实践性较强的学科。针对现代计算机组成原理课程的特点与重难点,深入研究了计算机组成原理这门课程的课堂教学方法,提出了一些培养学生学习兴趣、提高教学效果的途径和方法。实践表明教学效果良好。     

企业创新产品项目征集

正经请示国家科技部,科技部《中国新技术新产品》杂志决定:自即日起面向中国内资企业征集创新产品项目,在建立《全国企业创新产品目录》数据库的同时,由专家评审从中遴选一批创新性强、市场需求大、信誉好的优秀创新产品,列入《全国重点推广新产品》。相关事宜如下:一、征集对象及要求:1、产品研发的企业法人必须有主体资格、有自主创新能力;2、产品没有知识产权争议;3、产品符合国家规范和上市要求;4、产品研发成功已有合格产品或已定型生产;5、产品必须通过质量检验并提供检验证书的电子扫描复制件;二、项目列入《全国重点推广新产品》数据库程序: