如何改善路径测试用例生成的搜索算法

软件结构测试数据生成一直是软件测试领域一个较为复杂的问题,方法和手段尚未成熟。基于程序直接执行的测试数据生成方法因其动态性,显示出一定的优越性,本文主要针对该方法的核心部分——搜索算法进行讨论,探讨了有助于改善其功能的若干手段,目的在于提高算法效率,提高其实用化程度,显示出较好的实验效果。     

案例教学法的认识论分析

案例教学法是不同于传统的讲授式的教学方法,它遵循了从现象到本质,从感性认识到理性认识的认识规律;实现了学生由认知客体向认知主体的转变;其逻辑方法的本质是假说———演绎法,其机制是共同体内的讨论。论文分析了案例教学法中存在的问题,并提出了提高案例教学法效果的建议。     

维修性对装备维修工作量的影响分析

通过对装备维修工作量构成的论述,指出装备维修性是决定装备维修工作量的主要因素;通过对装备的维修性的分析,提出了提高装备维修性的有效途径,以达到减少装备维修工作量的目的.结合维修性案例,说明通过改进装备设计提高其维修性具有较大的实际价值.     

关于案例教学的思考

案例教学体现了人作为实践主体参与选择的“自组织系统” ,是对传统“灌输式”、“注入式”教学方法的创新和突破。消防指挥专业实施案例教学 ,能够促进学员实践能力的培养 ,促进学员的创造性思维 ,促进教学改革。     

Integrated scheduling of loading and transportation with tractors and semitrailers separated

Motivated by some practical applications, we study a new integrated loading and transportation scheduling problem. Given a set of jobs, a single crane is available to load jobs, one by one, onto semitrailers with a given capacity. Loaded semitrailers are assigned to tractors for transportation tasks. Subject to limited resources (crane, semitrailers, and tractors), the problem is to determine (1) an assignment of jobs to semitrailers for loading tasks, (2) a sequence for the crane to load jobs onto semitrailers, (3) an assignment of loaded semitrailers to tractors for transportation tasks, and (4) a transportation schedule of assigned tractors such that the completion time of the last transportation task is minimized. We first formulate the problem as a mixed integer linear programming model (MILPM) and prove that the problem is strongly NP‐hard. Then, optimality properties are provided which are useful in establishing an improved MILPM and designing solution algorithms. We develop a constructive heuristic, two LP‐based heuristics, and a recovering beam search heuristic to solve this problem. An improved procedure for solutions by heuristics is also presented. Furthermore, two branch‐and‐bound (B&B) algorithms with two different lower bounds are developed to solve the problem to optimality. Finally, computational experiments using both real data and randomly generated data demonstrate that our heuristics are highly efficient and effective. In terms of computational time and the number of instances solved to optimality in a time limit, the B&B algorithms are better than solving the MILPM. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 416–433, 2015     

基于案例推理的装甲装备故障排除方法

针对装备维修对实践经验的依赖以及经验的隐性化特点,重点对故障案例的表示及案例库组织进行研究,奠定案例检索的基础,优化基于案例推理的装甲装备故障排除方法。     

帐篷辐射供暖试验研究

帐篷具有特殊的围护结构,其供暖不同于其他建筑。从特殊的使用及功能要求出发,确定研制以导电涂料发热为机理的新型电热供暖装置,制定并实现了其基本性能指标。针对帐篷在寒区取暖的现状,选择了较为合理的供暖方式,有效地解决了寒冷地区帐篷的供暖问题。分别在环境试验室模拟条件和自然气候条件下进行了低温供暖升温试验,通过试验研究了电热涂料辐射供暖的热舒适性和实测能耗,对试验结果进行了理论分析。试验表明对帐篷采用辐射方式供暖是一种高效的解决方案。     

Multivariate meta analysis with potentially correlated marketing study results

A univariate meta analysis is often used to summarize various study results on the same research hypothesis concerning an effect of interest. When several marketing studies produce sets of more than one effect, multivariate meta analysis can be conducted. Problems one might have with such a multivariate meta analysis are: (1) Several effects estimated in one model could be correlated to each other but their correlation is seldom published and (2) an estimated effect in one model could be correlated to the corresponding effect in the other model due to similar model specification or the data set partly shared, but their correlation is not known. Situations like (2) happen often in military recruiting studies. We employ a Monte‐Carlo simulation to evaluate how neglecting such potential correlation affects the result of a multivariate meta analysis in terms of Type I, Type II errors, and MSE. Simulation results indicate that such effect is not significant. What matters is rather the size of the variance component due to random error in multivariate effects. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 500–510, 2000.     

Linear compound algorithms for the partitioning problem

For a given set S of nonnegative integers the partitioning problem asks for a partition of S into two disjoint subsets S₁ and S₂ such that the sum of elements in S₁ is equal to the sum of elements in S₂. If additionally two elements (the kernels) r₁, r₂ ∈ S are given which must not be assigned to the same set S_i, we get the partitioning problem with kernels. For these NP‐complete problems the authors present two compound algorithms which consist both of three linear greedylike algorithms running independently. It is shown that the worst‐case performance of the heuristic for the ordinary partitioning problem is 12/11, while the second procedure for partitioning with kernels has a bound of 8/7. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 593–601, 2000     

Responses of HFR-LWC beams under close-range blast loadings accompanying membrane action

The load-carrying capacities and failure patterns of reinforced concrete components can be significantly changed by membrane effects. However, limited work has been carried out to investigate the blast resistance of Hybrid Fiber Reinforced Lightweight Aggregate Concrete (HFR-LWC) members accompanying membrane action. This paper presents a theoretical approach to quantitatively depicting the membrane behavior and its contribution on the behavior of HFR-LWC beams under close-range blast loadings, and the suitability of the proposed model is validated by a series of field tests. An improved Single-Degree-of-Freedom (SDOF) model was employed to describe the dynamic responses of beam-like members under blast loadings accompanying membrane action, where the mass-load coefficient is determined according to the nonuniformly distributed load induced by close-range explosion, and the membrane action is characterized by an in-plane (longitudinal) force and a resisting moment. The elasto-plastic and recovery responses of HFR-LWC beams under the combined action of blast load and membrane force were analyzed by the promoted model. A specially built end-constrain clamp was developed to provide membrane action for the beam member when they are subjected to blast load simultaneously. It is demonstrated that the analytical displacement-time histories are in good agreement with experimental results before peak deflections and that the improved SDOF model is an acceptable tool for predicting the behavior of HFR-LWC beams under blast loadings accompanying membrane action.