不完全信息博弈是人工智能领域的一个重要研究领域.本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories, SMT)的不完全信息游戏求解方法,首先通过情景演算将
我国的不动产登记制度从整体上来看是比较混乱的。2015年3月1日,通过了一系列有关不动产登记条例的临时规定,统一了不动产登记的登记义务,并对登记行为进行了监管,至此权利人的合法权益有了合法有效的保护手段。本文以包头市不动产统一登记项目为例,对不动产统一登记现状及分散登记模式下房屋、土地登记数据在数据整合中遇到的各种房屋落宗问题情况进行了分析,对不动产数据整合的技术模式进行了有针对性的工作方案设计,
在基于压缩感知的信号重构问题中,有一类常见情况——未知信号稀疏度.针对此类情况,提出稀疏度自适应分段正交匹配追踪(Sparsity Adaptive Stagewise Orthogonal Matching Pu
东亚型生产体制面临的挑战──以泰国为例的研究──[美]弗里德里克·戴约赵自勇译董正华校编者按1994年11月,北京大学召集“东亚现代化历史经验国际学术讨论会”,本刊特发表此次会议中
计算谐波的相位差校正法利用间隔一个周期的两段连续N点时域采样信号并进行两次N点FFT变换,利用其对应离散谱线的相位差计算出频率变化量对幅值和相位进行校正。为了减少两次
为了解畜禽粪便和桃树枝工业化堆肥中微生物群落的变化,本研究以猪粪、桃树枝和腐熟有机肥为堆肥原料进行堆肥,通过测定理化指标和利用高通量测序技术,分析了堆肥中理化参数
公正司法是实现和维护社会公平正义的重要途径。只有实现了正义,司法活动才能彰显法律精神,也才能获得社会公众的信赖和尊重。正义的本质根源于人的本性,具有符合人性要求的属性
为了解湖南省高校足球代表队的发展现状,剖析影响湖南高校足球运动发展的制约因素。结果表明:湖南省高校足球代表队在运动员的招生制度存在结构不合理,教练员知识结构不均衡以
本刊讯根据中国国家认证认可监督管理委员会近期最新颁布的《关于强制性产品认证实验室指定/调整决定的公告》(国家认监委2010年第24号公告),自2010年8月起,国家无线电监测中心
因案生例是清代条例生成的重要途径,其主要原因是在清代刑案的法律适用中存在律例无正条、律例有正条但不合情理以及律例文义不明确等情况。因此,督抚、刑部、皇帝必须在颇具清