软件开发自动化

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

一种面向涌现的比较性话题模型

提出一种CDCMLDA生成模型来实现跨文本集的话题分析,采用狄利克雷组合多项式模型(Dirichlet Compound Multinomial,DCM)对文本集中词的涌现现象进行建模,把DCM模型和LDA结合起来分析文本集之间话题的差异,采用蒙特卡罗期望最大化方法进行参数推导。在多个实际数据集中通过定性和定量的方法对模型进行评价,实验表明,模型不仅能够发现不同文本集间的异同,而且在模型困惑度指标上相对当前两种主要跨文本集的话题模型具有明显的优势。     

忠诚 奉献 务实

亲爱的东莞父老乡亲:旗峰天山遥辉映,东莞兵团共丹心。新一轮对口援疆工作全面启动以后,我们从南海之滨奔赴万里之遥的西北边陲,在兵团农三师承担着工作队、战斗队、宣传队的神圣使命,一直得到东莞各界极大的信任、关心和支持。在此,我谨代表援疆工作队48名战友,向家乡父老乡亲致以衷心的感谢和美好的祝愿!     

直观教学法与直觉教学法略谈

<正>直观教学法是田径运动教法系统的一种主要方法.在以往的论点中,直观教学法是指“观察”和“看”,如直接示范法—由教师本人或同伴示范;其他示范法—电影、录像、幻灯、图片、模型观摩法等.而现在所说的直观法已超出以上范围.凡是能使人体各种感受器官接受到信息并产生直观效果的各种方法都是直观法．如语言的比喻、提示、描述、节奏性动作模拟等.以上的方法主要是以视听为主,视听为主的直观法其实是让学生接受外部信息—动作的名称、形象、特点.     

指导员的“分解式”

指导员的“分解式”殷新民,王金恒──争夺第一的运动员．指导员在连队全面建设中,无论干哪一项工作．都要有不甘人后争先创优的精神．在＂双争＂活动中,要象运动员参加比赛一样,有第一就争,有红旗就扛,有金牌就夺。这就要求我们在带领连队于每项工作、完成每项任务...     

舰船鳍减横摇控制算法与控制参数设计

针对舰船横摇运动线性二阶模型,利用最优控制得到了减横摇控制参数的计算公式,考虑航行速度的影响说明了如何调整参数,讨论并通过仿真实验验证了性能指标函数中加权因子对横摇的影响。     

艰难前行的马来西亚国防工业

正今年5月,政坛老将马哈蒂尔宣誓就任总理,实现了马来西亚独立六十年来的首次政权更迭。外界猜测,他的执政对马来西亚国防工业将是一个积极的信号。国防工业发展过程和现状独立初期,马来西亚国防工业基础薄弱。随着国际地位的提升,陆续获得一定数量军事援     

空空导弹双通道控制的多变量频域设计方法

运用多变量频域理论中的逆奈奎斯特阵列法设计双通道控制的空空导弹自动驾驶仪.首先建立空空导弹控制系统模型,并在某特征点设计自动驾驶仪的预补偿器、动态补偿器和反馈增益阵.仿真结果表明:解耦效果好,导弹跟踪性能令人满意.     

管理有办法 致富有举措

加快城镇化建设是兵团党委提出的"三化"建设中的一项重要内容,三师、图木舒克市党委在去年11月份研究出台了《三师、图木舒克市推进城镇化行动计划(2012年至2014年)》。今年,我们计划建成保障性住房1.8万户,其中五个少数民族聚居团场新     

指控信息特征的分析与捕获方法

为了进一步提高指挥信息系统的信息推荐效率,从信息本身和用户两个角度出发分析了指控信息的形式化描述方法,并提出了基于文本分析和配置文件描述的特征捕获方法。经案例验证,该方法对于军事应用中的信息推荐技术有一定的支持作用。