启发式极性决策算法解SAT问题

提出了一种启发式极性决策的可满足性问题（SAT）新算法.该算法继承了当前SAT解决器的许多策略：快速BCP、子句记录、重启动搜索等.同时,该算法通过预先根据Karnaugh图的覆盖分布计算变量极性,将其加入到DPLL的决策过程中,大大降低了搜索过程中的冲突次数.实验表明采用该算法的解决器——DiffSat,能够解决许多目前最有效的解决器Zchaff和MiniSat所不能解决的实例.尤其是对于Bart基准系列中的每个实例,DiffSat都能够在0.03s内解决,而Zchaff和MiniSat在给定的900s内不能够解决大部分实例.而且,DiffSat解决器在某些实例上的特性远远优于具有代表性的基于不完全随机算法的解决器DLM.     

液氮温区双试件防护热板装置设计及研制

介绍了一种液氮温区（-196 °C）双试件防护热板装置的设计原理与结构.针对该装置在低温工作的特性,采用不同于传统常温防护热板装置的结构形式、加热方式和温度测量方法,设计并研制了适用于液氮温区的防护热板装置.设计中,热板采用了线热源式加热器,并使用液氮容器作为冷板提供测试所需的低温,在装置中设计了方便的夹紧结构和具有隔热作用的滑动结构.给出了该装置的温度、输入功率、计量面积和厚度的测量方法,并进行了不确定度分析.     

北美自由贸易区建设的先声——评1911年加、美互惠协定的缔结

1911年加、美缔结互惠协定是加、美经济史上一次重要的但未获成功的缔约事件。此次缔约标志着北美经济进入了一个新的时代。互相排斥的贸易政策是缔约失败的经济原因,长期存在的政党竞争是缔约失败的政治原因,长期的民族心理对立是缔约失败的心理原因。缔约失败对加、美关系造成了严重影响。研究1911年加美互惠协定对全球化时代自由贸易区的建设有借鉴意义。     

医疗无线传感器网络匿名认证机制

针对无线医疗传感器网络的特点,以智能卡和口令作为身份认证与密钥交换的基础,提出了一种匿名认证机制,主要包括注册、登陆、认证以及口令更新4个阶段.该机制可以保证专业人员及其病人的匿名性,实现传感器节点与专业人员之间的双向认证以及网关、传感器节点、专业人员之间的公平的密钥协商;与此同时,利用静态Diffie-Hellman密钥、会话密钥对传输过程的相关信息进行加密,保证其机密性.     

关于大型车库照明设计的分析与探讨

随着社会发展不断与进步,为了满足人生活的方便与舒适,地下车库在建筑领域发挥越来越重要的作,而地下车库照明又是电气设计非常重要的一部分.通过对采用LED光源智能感应灯具特性的研究可以得出,感应LED照明光源具有高光效、长寿命、低电耗、配光灵活等非常突出的照明特点,以及智能感应系统的应用,必将在大型车库照明系统中发挥越来越重要的地位.     

合作创新的领导权博弈与利益协调研究

研究了合作创新的权力结构对知识创造及创新绩效的作用机理.考虑上下游企业合作创新的知识共享、创造及利益分配过程,界定权力均衡(LS)、上游企业领导(UL)、下游企业领导(DL)等领导权博弈模型并进行创新效率分析.研究发现:权力结构影响合作创新效率,LS模式下企业的知识产出与供应链利润优于UL、DL模式;企业的知识溢出既可提高合作伙伴的知识产出与创新利润,也存在知识外溢损失风险,UL、DL模式下领导者(跟随者)知识溢出与其创新利润正(负)相关,LS模式下企业的知识溢出与其创新利润呈"倒U型"关系;创新贡献率是引起合作利益冲突的主要原因,使用Nash协商模型检验了通过协商机制解决利益协调问题的有效性,比较发现LS模式的利益协调效果优于UL、DL模式.最后,讨论了研究的管理启示.     

以“历史”活跃历史课堂——对《中国电影史》课堂教学的几点浅见

针对如何提升《中国电影史》课堂教学效果,笔者认为,如若教师能秉持以"历史"活跃历史课堂的观念,并能在不同教学环节中强调"历史感觉"、注重"历史细节"、倡导"历史研究",就会有效打破电影史课堂上常见的沉闷气氛。     

传感器故障非线性系统的快速抑制初态误差迭代学习控制

针对一类带有传感器故障的非线性系统提出了一种新的迭代学习控制算法,该算法在任意初态条件下,结合开环D型迭代学习律,设计一个随迭代次数增加而缩短的时间段,该时间段控制器对状态偏差进行修正,使系统跟踪误差收敛到与初态误差无关的界内,仅由系统自身不确定性和干扰决定。进而基于λ范数理论选取适当的控制增益,抑制传感器故障带来的跟踪误差,并给出控制算法的一致收敛性和误差的有界性证明。注塑机系统的速度控制仿真结果验证了该算法的有效性。     

特种涡轮驱动混流泵瞬态空化特性

为了研究水泵液压系统瞬态特性,建立了水泵液压系统运动物速度和泵转速的瞬态数学模型,分析了涡轮泵启动瞬态过程中0.73,0.90和1.00s三个典型时刻运动物速度与加速度、泵流量及其空化特性.数值模拟结果表明:不同NPSH工况叶片表面空泡分布规律一致,在叶片弦跨度0.7~1.0区域,空泡体积分数向轮缘方向迅速增大,在轮缘区达到最大值;在运动物出舱工况下,当装置空化余量为14.23m时,轮缘圆周面上平均空穴面积达到33%左右,空泡堵塞了叶片流道,导致泵扬程下降了约61%,满足不了水泵液压系统运动物的加速度要求.模型泵试验结果表明:水泵液压系统涡轮泵启动后,泵转速近似线性加速,泵的必需空化余量值随之迅速增大,在运动物出舱时涡轮泵转速、流量和必需空化余量均达到最大值,为了避免涡轮泵叶轮空化诱导运动物出舱失败,应规定水泵液压系统最小潜水深度.     

供电企业用电营销理论方法及应用研究

我国供电企业形式单一、结构简单,用电营销管理能够全方面的打开用户与企业间的交流沟通渠道,使供电方案更加人性化,是供电企业发展中一项十分必要的方法。市场这块蛋糕的大小是固定的,供电企业必须认清当前局势,保证营销策略的先进性,才能在日健壮大的供电竞争中拔得头筹。保证供电行业的平稳持续发展。