共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
R0-代数是基于系统研究形式演绎系统∫^*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格. 相似文献
3.
4.
朱玉堦 《湖州师范学院学报》1991,(6)
本文给出了0-1数列若干性质.设a,c分别表示自然数集和实数集的基数,我们有下列结果:(1)C_a~a=c,(2)C_a~0+C_a~1+C_a~2+…+C_a~n+…+C_a~a=2~a 相似文献
5.
6.
7.
8.
9.
10.
设计了一种用于求解0-1背包问题的粒子群优化算法,阐述了算法求解0-1背包问题的具体操作过程.通过对其它文献中仿真实例的计算和结果对比,表明了该算法对求解0-1背包问题的可行性和有效性. 相似文献
11.
给出了基于混沌粒子群优化算法(CPSO)背包问题的一种新的求解方法.首先将背包问题对应到粒子群算法中的位置与速度问题的表示,然后为了抑制早熟停滞现象,将混沌理论引进优化,使得背包问题更接近最优解. 相似文献
12.
文章首先给出搜索0-1规划局部极小解的邻域搜索算法,在此基础上给出了填充函数算法.该算法的思想是在求得总体优化问题的一个局部极小点后,构造填充函数,通过极小化该填充函数找到比当前局部极小解更好的解 该方法是一种直接算法,我们通过具体的数值实验证实了该算法是有效的. 相似文献
13.
14.
《洛阳师范学院学报》2021,(2):1-4
为了得到信息系统的最小属性约简,提出了基于0-1规划的最小属性约简算法.首先,由区分矩阵定义了极小区分集的概念.其次,将信息系统的最小属性约简问题转化为0-1规划,从而给出了基于0-1规划的最小属性约简算法.再次,通过一个具体实例对该算法进行了说明. 相似文献
15.
为检测气动执行器常用控制信号0-200kPa气压,设计了基于MSP430单片机和压阻式压力传感器MPX2200的气压检测系统.阐述了检测系统的软硬件设计,给出了MPX2200恒流源电路和放大倍数可调的两级放大电路,介绍了软件设计中的标度变换、分段插值和中值滤波方法.该系统在电路设计上选用仪用放大器、单片机自带AD转换器,所用元器件少、功耗低、精度高,可广泛应用于智能化、低功耗化的气动执行机构及其元器件的设计中. 相似文献
16.
两个图论问题的0—1规划模型 总被引:1,自引:0,他引:1
梁彩霞 《喀什师范学院学报》2008,29(3):21-22
引进图的覆盖向量和独立向量概念,以向量和矩阵为工具,把图的最小覆盖和最大对立集问题转化为0—1规划问题,从而给出了寻找图的最小覆盖和最大独立集的一个方法。 相似文献
17.
提出了一种求解0-1背包问题的遗传算法,该算法首先设计出基于适应度的自适应变异策略,提高了变异的科学性和新算法的搜索能力;然后提出了基于单位价值信息和满足约束最大化的双优化策略,提高了求解的质量.3个0-1背包问题的仿真实验表明:与已有的HGA算法和GGA算法相比,新算法在求解质量上具有一定优势. 相似文献
18.
19.
孕晓康 《河北职业技术学院学报》2013,(2):8-10
按照Bayes统计学的观点,参数估计问题可视为一特殊的统计决策问题,不同的估计即为不同的决策。在不同的损失函数下,会带来不同的风险,故可在不同的损失函数下,在一定的估计类中寻找风险最小的估计。研究给出了两种损失函数下0—1分布参数的估计,并讨论了其性质。 相似文献
20.
张淑军 《邯郸职业技术学院学报》2010,23(2):86-87,93
根据现代信息化技术的发展,研究web2.0和Library2.0等新技术对图书馆的服务发展的影响,并据此创新服务,提升图书馆的服务层次。 相似文献