您当前的位置:
首页 > 文献资料
所属专业:
形式化方法文献资料
-
中医理论建模的天人相应形式化方法
对天人相应思想内核进行剖析,总结其所表达的事物间关联性、环境与系统状态的对应性、事物间的同构性三个方面的系统论思想,提炼出天人相应所表达的逻辑结构与基本模型,并将这一基本逻辑结构作为形式化方法,总结了天人相应形式化方法在中医理论建模中应用的基本思路.
-
小化随机算法形式化定义与优化
小化法是一种动态随机化算法,它可以在较小的样本量下保证各处理组间和控制因素水平下的样本均衡.介绍了小化算法的原理,并利用形式化方法对其进行了详细的描述,对算法中较为核心的均衡度量和不均衡计算方法做了说明.提出小化法存在的三个缺陷:不可重复、不支持非平衡设计和计算复杂度高.针对上述缺陷,通过加入基于种子的随机序列来控制分组概率,从而解决不可重复的问题,通过用处理组间样本比例来修正优先分配概率解决非平衡设计,通过设计一套计算机函数来解决复杂度,终使这些问题都得到很好地解决.