用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

在C#中通过数据库实现树视图无级动态维护

就树视图与数据库的结合实现树视图的无级动态维护提出了一种解决方法 ,进而拓展了树视图的功能 ,使其能够得到更多的使用。     

袁国平军队政治工作思想与方法研究

袁国平是我党我军最早从事军队政治工作的杰出代表,在长期的军队政治生活实践中,袁国平从不成熟走向成熟,逐渐形成了一整套独有的从事政治工作的思想与方法,其内容广泛,特点鲜明,为搞好我党早期的军队政治工作做出了巨大贡献,其精华部分是我军思想工作建设的宝贵财富,对于当前的政治工作建设仍具有极大的参考价值。     

依托精品课程建设推动教学方法改革

教学方法改革已成为当前高等教育改革的突破口和切入点,以精品课程建设为视角,对武警学院的教学方法与手段改革进行了反思,分析了存在的问题,总结了通过精品课程载体进行教学方法手段改革的优势,提出了改革的设想。     

超空泡航行体双层壳结构动力稳定性分析

针对超空泡航行体轴向受力特点,建立超空泡航行体双层壳结构有限元模型,对结构动力稳定性进行分析.数值计算表明,当壳间实肋板厚度增大或环向肋骨数量和尺寸增加时,动力失稳区域整体下移,不稳定激发频率下降,失稳区域宽度减小幅度较小;当壳间间距减小或纵向肋骨数量和尺寸增加时,双层壳结构动力不稳定激发频率上升,动力失稳区域宽度较大...     

Scheduling with centralized and decentralized batching policies in concurrent open shops

This article considers batch scheduling with centralized and decentralized decisions. The context of our study is concurrent open shop scheduling where the jobs are to be processed on a set of independent dedicated machines, which process designated operations of the jobs in batches. The batching policy across the machines can be centralized or decentralized. We study such scheduling problems with the objectives of minimizing the maximum lateness, weighted number of tardy jobs, and total weighted completion time, when the job sequence is determined in advance. We present polynomial time dynamic programming algorithms for some cases of these problems and pseudo‐polynomial time algorithms for some problems that are NP‐hard in the ordinary sense. © 2010 Wiley Periodicals, Inc. Naval Research Logistics 58: 17–27, 2011     

Cache漏流功耗的自适应优化:动态容量调整

当集成电路制造工艺水平发展到超深亚微米阶段,漏流功耗所占的比例越来越大,成为微处理器功耗的重要来源.漏流功耗同电压、漏电流和晶体管数量等因素密切相关.Cache是微处理器中面积较大的部件,对其漏流功耗进行优化是微处理器低功耗设计的首要任务.除了采取工艺上的改进措施外,cache漏流功耗可以通过把握或改变cache的工作...     

基于动态贝叶斯网络的弹道导弹态势评估模型研究

针对弹道导弹态势评估的特点,分析了弹道导弹的作战过程和弹道导弹主动段作战特点。在此基础上,给出了动态贝叶斯网络用于弹道导弹态势评估的建模过程,建立了基于动态贝叶斯网络的弹道导弹态势评估模型,并依据观测到的数据对模型进行了仿真,结果表明,将动态贝叶斯网络应用于弹道导弹的态势评估模型是可行的,该模型能够对飞行中的弹道导弹态势快速准确作出评估。     

龙榆生创办《词学季刊》的宗旨与举措

现代词学家龙榆生创办《词学季刊》,将其定位成以词学研究为主的专业性期刊,在确定作者人选范围、确立与读者取得沟通方式的编辑思想主导下,推出＂创刊号＂,实现他的编辑意旨;而后着力搞好编辑与作者间的协作,以利于期刊的持续发展;为读者着想,争取读者参与到期刊编辑工作中来。《词学季刊》的出版,为词学研究期刊编辑史上留下了风采的一笔。     

身管柔性化对火炮动力后坐试验的影响研究

为研究火炮动力后坐试验过程中身管变形对火炮后坐复进运动的影响,以某自行火炮火力部分作为研究对象,基于多体动力学和有限元方法,构建了考虑身管柔性化的火力部分刚柔耦合动力学模型。该模型中,炮膛合力以样条函数的形式直接作用在炮口前端。通过仿真,对比火炮后坐部分最大后坐速度、最大后坐位移以及最大后坐速度时的后坐位移和时间的仿真值与实弹射击过程中的试验值,结果表明,采用冲击的方式进行火炮后坐模拟试验时,身管柔性特征对火炮后坐复进特性影响较小,也证明冲击式火炮后坐试验装置的研制可行性。