《装甲兵工程学院学报》征稿简则

《装甲兵工程学院学报》是由装甲兵工程学院主办的以反映陆军武器装备工程技术和军事理论为主的综合性学术刊物,1987年创刊,双月刊,国内外公开发行。本刊是"中国科技核心期刊"、"军事学核心期刊"、"RCCSE中国核心学术期刊",并被英国"科学文摘"(INSPEC)、美国"剑桥科学文摘"(CSA)及国内各主要期刊数据库收录。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。     

扩大思想政治教育课堂的视野

一、政治教育要从课堂进入官兵的军营群体活动中。军事训练、业务学习和完成各项任务等军营群体活动 ,应作为教育延伸的主要场所。实践证明 ,思想政治教育只有向军事训练、完成各项工作任务的过程和业余活动融合渗透 ,才能真正克服教育与训练、管理“两张皮”的现象 ;只有延伸、渗透到军营群体活动中 ,才能真正运用好群体活动中丰富的教育资源 ,让官兵在参与教育中潜移默化地受教育。实现好课堂教育向军营群体活动的延伸 ,其主要任务是搞好课堂教育的细化、转化工作 ,把正规课堂教育与随机教育结合起来。在具体操作上 ,要注重结合部队建设的…     

可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下,运用代数学中群的共轭性质进行零知识证明,其实例就是数学中关于寻找共轭子的困难性问题。     

《武警学院学报》征稿简则

《武警学院学报》学术理论性强,特色鲜明,读者面广,选稿用稿公平公正,刊发文章的下载率、引用率、转载率高,具有较高的知名度和广泛的影响力。常年开设:边防研究、警卫研究、维和研究、执法研究、反恐处突研究、教育训练研究、思想政治工作研究、部队建设研究;消防理论研究、灭火救援技术、火灾预防、消防安全评价、火灾     

《指挥控制与仿真》2015年征稿简则

1.所投文章必须观点明确、数据可靠、文字简练,有较高的理论水平和应用价值。2.为“引领学科专业发展,打造行业精品”期刊,本刊推出2015—2016年度10个约稿专题,欢迎投搞。稿件经评审一经采用,将提供优厚稿酬,并在第一时间安排出版。详见期刊网站。另,凡论文属国家、省部级科技进步奖或国家自然科学基金资助的基金论文(附项目编号),请予以注明,本刊将优先发表并增加稿酬;投稿时请将基金论文证明复印件邮寄至编辑部。     

“国防科技发展与应用”学术活动征文通知

<正>国防科学技术大学《国防科技》编辑部拟于2015年10月(具体时间地点另行通知)在湖南长沙举办"国防科技发展与应用"学术研讨会。现就会议征文的有关事项通知如下:一、征文范围(一)国防科技创新驱动相关理论1、国防科技创新理论与实践2、国防科技管理体制机制创新3、国防科技发展战略及路线图4、国防科技军民融合深度发展5、国外科技创新驱动经验做法与启示     

《军事运筹与系统工程》稿约

《军事运筹与系统工程》是军事科学院学术刊物之一,国内外公开发行,是军事运筹学、军事系统工程及作战实验方面的综合性学术期刊,是军事学核心期刊和中国核心学术期刊,由军事科学院作战理论和条令研究部主办、军事系统工程专业委员会协办。征稿内容:军事运筹学、军事系统工程及作战实验领域的原创学术论文;综述与科普文章;学术动态及学术消息。     

帮维吾尔族职工“找回”了户口

正8月26日星期二晴前天上午,三师五○团十连职工吐鲁洪江·阿不都克里木赶到连部,"兼职翻译"连队会计买吾兰·木合塔尔带着他来到我们工作组宿舍,希望工作组能帮他解决遇到的麻烦。原来,吐鲁洪江·阿不都克里木的两个孩子均未上户口,五○团派出所要求出具孩子父母的户籍证明和其它相关证明材料才能办理落户。吐鲁洪江·阿不都克