软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

硬脆材料的缓进给半塑性化磨削

分析了用缓进给方法实现硬脆材料半塑性化磨削的机理，提出了衡量半塑性化磨削效果的破碎率指标，介绍了实验方法和实验结果，对实验结果进行了分析比较。实验结果表明，在普通磨床上可实现硬脆材料的半塑性化磨削，采用缓进给磨削方法可以显著地提高半塑性化磨削的效果。     

随移动窗推进的带电粒子束团长程传输模拟分析

直接采用粒子模拟方法较难实现带电粒子束团千米量级的长程传输模拟,针对此问题以静电模型为基础,引入移动窗技术,使百米量级的粒子传输窗口与束团同步推进运动,建立了带电粒子束团的长程传输模型.将模拟得到的带电粒子束团径向膨胀特性同包络方程的计算结果进行对比,两者吻合较好,证明了在带电粒子束团长程传输模拟研究中结合移动窗技术的...     

利用验前信息的一种序贯检验方法——序贯验后加权检验方法

序贯验后加权检验方法是Bayes 统计观点在假设检验中的运用。本文提出了该方法的一般理论,给出了当总体的分布参数具有验前信息时的序贯检验方法。文中确定了决策区的划分,同时讨论了序贯截尾方案,给出了检验中可能犯两类错误的概率的上界,并将一般理论应用于产品的可靠性检验和再入飞行器随机落点的精度鉴定。由于运用了验前信息,因此能有效地在少量试验之下进行统计假设检验。本文所提供的方法对于昂贵产品试验结果的统计评定具有普遍意义。     

可分椭圆型偏微分方程的 FACR(L)算法及其并行实现

文中就解Dirichlet 边界条件的Poisson 方程给出了FACR(L)算法及其并行实现过程,讨论了FACR(L)算法的计算复杂性,给出了针对向量机YH—1的算法的参数L 的优选公式,在YH—1机上得到了较为理想的,数值试验结果。     

管-板焊接参数和结合区压力场测量

本文介绍管—管板爆炸焊接动态参数和结合区压力场的测量技术和结果。实验中,用斜电阻丝方法测量动态焊接参数:碰撞速度V_p、碰撞点速度V_c、碰撞角β;用锰铜压力量计测量结合区中基板一侧的压力场P(乙);用电探针方法测量爆速V_D。这三种测试方法可在实验中同时使用。     

软硬结合的迭代除法方案及其精度分析

大型机采用的软硬结合的迭代除法方案具有很高的计算速度,但存在精度合理性问题。经过大量随机数试算验证和算法的误差分析证明,本文中提供的优选除法方案,提高了除法精度,解决了精度合理性问题。该除法方案装机运行后,提高了大型机的适应能力和运算速度,改善了处理效果。     

相依目标群状态转移概率矩阵的特性及其应用

本文对相依目标群的状态转移概率矩阵的性质进行了深入的分析,得到了若干重要结论,并在此基础上讨论了相依目标群系统的火力分配模型     

变推力液体火箭发动机脉宽采样数字控制

本文对变推力液体火箭发动机的脉宽采样数字控制系统进行了理论分析和实验研究。文中提出了此类控制系统的时宽输入模型,讨论了系统的稳定边界和无波纹响应条件,指出了影响动静态响应的关键因素及其与一般比例反馈控制的区别,并分析了发动机试车时动态特性随工况大幅变化的原因。     

计算机辅助动画系统 (GKDCAS)

GKDCAS是一个基于微型计算机环境,使用C语言设计的一个实用动画制作系统。本文阐述了GKDCAS的软件结构与设计方法,介绍了它的功能,并给出了一个用该系统制作动画的实例。