软件的静态程序分析是确保软件安全可靠的一种有效手段。常见的形式化的静态分析工具一般是基于模型检测,定理证明或抽象解释理论来对软件进行分析验证。然而,基于单一理论的
在对某大型航天电子设备的遥测数据建模预测时,遇到多是不规则周期型数据,对其进行建模预测可以在早期及时发现设备性能异常。针对有周期规律的遥测数据,提出采用Fourier级数
敝人酷爱读书,嗜书如命,从农村到学校再到机关,不论夏热冬寒,也不论春忙秋闲,不分昼夜,不拘场所,以书为伴,读书不止,从书中吸取了知识,扩展了视野,悟出了真谛,增添了智慧,享
新课程改革以来，在计算教学中关注最多的是算法多样化的问题．算法多样化旨在鼓励学生独立思考，鼓励学生探索不同的方法，形成各种各样的算法过程．可以说算法多样化是数学新课程的一
通过搜集古医籍和现代医家临床经验,总结出薄荷具有以下特点:汤剂用量为2~20 g。根据疾病、证型、症状寻求最佳用量,如疏散风热治疗风热咳嗽、咽痛、鼻衄、过敏性哮喘等呼吸
根据滋肾育胎丸和卵巢储备功能下降已有研究成果进行理论推导,构建肾阳指标、滋肾育胎丸与卵巢储备功能下降中介变量模型,以检验滋肾育胎丸、肾阳指标和卵巢储备功能指标的相
通过搜集古医籍及现代医家临床经验,总结出羌活具有以下特点:汤剂用量为3~30 g。根据疾病、证型、症状寻求最佳用量及配伍,如提升清阳、疏肝行气治疗眩晕、神经官能症、泄泻
以手功能康复机器人为研究对象，对被控对象建立数学模型，推导鲁棒控制器，基于simMechanics建立仿真模型，实现手功能康复机器人的鲁棒控制系统。考虑到手功能康复机器人是帮助偏瘫
<正> INTRODUCTION. The research on a series of high T_c Y-Ba-Cu-O superconductors since its dxscovery has been found interesting. Preparations and structural st
教育督导是促进义务教育均衡发展的重要杠杆。教育督导能否发挥应有作用，就看教育督导动机是否亲民，教育督导行为是否便民，教育督导结果是否利民。我们的做法是，从重点抓起，督办群