加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

高校思想政治理论课教师人格魅力研究

高校思想政治理论课教师的人格魅力体现在政治上的党性修养、道德品质上的奉献精神、广博学识上的学术精神、思维理念上的创新精神。这些独树一帜的人格魅力在教学过程中发挥着其独到的作用,不仅能够提升思政课内在的吸引力和感染力,还能够构建和谐融洽的师生关系;不仅能够提高思政课教育教学的品质和成效,还能够回归思政课教育教学的最终目的。因此,高校思政课教师需要提升政治修养、锻造道德品质、丰富理论储备、开发创新思维来提升自身的人格魅力,从而保障思政课教育教学的最终目标得以实现。     

“中国特色社会主义理论与实践”课教学创新探讨

新形势对《中国特色社会主义理论与实践》课程教学提出了新要求。开展以"民主开放,求实创新"为特征的教学改革主要内容有:树立"以生为本"的教学新理念;坚守主阵地,创新教学内容;重视能力训练,创新方法手段等,在教学创新中,应着重把握几对辩证关系,解决一些关键问题。     

军事指挥类期刊对军事学术研究的透视

军事指挥类期刊主要依靠各级军事指挥员,服务于部队全面建设。在军事学术研究队伍不断发展壮大的今天,军事指挥类期刊为部队“能打仗、打胜仗”军事理论研究服务,但军事学术研究存在着研究群体优势和合成作战理论优势发挥不够的问题。因而,要高度重视军事学术研究人才培养,加大经费投入,强化军兵种之间合成作战理论研究的力度。     

粘-弹层合板的阻尼振动和横向应力

应用混合分层理论在板的厚度方向取二次插值函数描述每个数值层内位移沿厚度方向的变化规律,采用三次和四次插值函数描述横向应力沿厚度方向的变化,推导出粘-弹层合板的动力学方程,并得出简支粘-弹层合板自由阻尼振动的解.数值结果不仅与三维结果吻合较好,且能够计算合理协调的横向应力.     

试论武警“合训”院校现代化教学模式的构建

武警部队院校体制调整后,作为担负学历教育的“合训”院校,只有大力加强教学理论研究,及时实现教员角色转变,积极营造健康向上的教学环境,才能顺利实现“培养具有较高文化素养、具备扎实军事基础的新型军事人才”的教学目标。     

Responsibility in Complex Conflicts: An Afghan Case

This paper discusses soldiers’ moral responsibility in today’s complex conflicts. The point of departure is the increased focus on soldiers as moral decision-makers in war, illustrated by the introduction of core values in the Norwegian Armed Forces. Responsibility is one of these core values, but it is not clear exactly how we should understand responsibility. I use a case where a group of Norwegian soldiers in the International Security Assistance Force (ISAF) sought the cooperation of a group of mujahedeen to solve the military mission of establishing security. As confidence between the parties grew, the soldiers became horrified witnesses to a practice of bacha bazi, where a young boy is dressed up for entertainment and sexual abuse. This situation gives reason to question the limits of role responsibility, the status of soldiers’ legitimacy, and the challenges of making morally sound judgments in a multicultural context. The discussion demonstrates that, even if there are restrictions on the soldiers’ freedom to act, a responsibility reaching beyond or extending their role should be recognized as part of the moral reality of modern soldiers.     

运用联合作战理论指导公安现役办工作

做好公安现役部队的干部工作,是贯彻落实科学发展观、做到以人为本的具体实践。现役办做干部工作,可运用联合作战理论,在战术上,抓住工作的重点、热点、亮点;在战役上,对上当好参谋、对内建好队伍、对下搞好服务;在战略上,紧抓思想政治建设,健全各种制度。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

对公共领域结构转型批判的批判

哈贝马斯的《公共领域结构转型》自刊出至今引起广泛争议,包括欧洲的社会历史学家和非欧洲的社会历史学家都参与到讨论之中,安德列斯.盖斯特里希在总结各种争端的基础上,从五个方面对哈贝马斯的理论展开批判,并以卢曼的社会分化理论作为替代方案整合各种哈贝马斯理论中存在的困难,但是在解释公共领域时也存在深刻的问题,因此运在通信技术批判理论的框架对安德列斯.盖斯特里希的观点加以批判和建构是必要的。