排序方式： 共有9条查询结果，搜索用时 15 毫秒
1
1.
形式化方法在软件开发过程中一直扮演着重要角色。由于其建立在严格的数学基础之上,因此开发成本较高。为了解决开发成本问题,将软件开发整体分为形式化开发集合类和非形式化开发集合类。在此基础上,开发部件采用二进制串描述并构建目标函数模型,通过演化算法对模型进行优化求解,判定不同的部件开发集合类归属。选用 (1+1)EA作为研究对象验证开发部件选取方法的可行性。采用遗传算法、粒子群算法、二进制差分演化算法进行验证分析。结果表明,该分类方法可作为演化算法在软件开发部件选取方面的一种理论工具。 相似文献
2.
教师教学能力作为提高高校教学质量的核心,是新时代教师队伍建设的热点难题,在建立教师教学质量评价体系、改变课堂教学模式、建立教学督导运行机制等方面发挥了重要作用。该文针对贵州民族大学教学运行状态及青年教师培养的实际需求,结合教学管理以及教学过程中存在的教学数据难以分析、教学难以定量评价等主要问题,提出了基于教学信息反馈的教师教学能力提升新方法,该方法以教师、学生、教学管理人员和教学督导在教学过程中产生的教学数据为基础,对完善教师培养模型、创新教师培养模式、实施优秀教师培养计划,具有重要的借鉴意义。 相似文献
3.
设f1,f2是复方程f″＋A（Z）f=0的两个线性无关解,其中A（z）是无穷级整函数且超级σ2（A）=0,假设E=f1,f2。研究E的零点分布,获得E的超级为＋∞的Borel方向与σ2θ（E）的关系,并建立了的无穷级零点充满圆。 相似文献
4.
5.
6.
7.
8.
9.
研究了亚纯函数系数的高阶齐次和非齐次线性微分方程的复振荡,得到了解的超级和超级零点收敛指数的估计. 相似文献
1