一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

和谐度过“磨合期”的断想

一个党委班子总是在新老更替中保持着相对稳定。对一个党委“新班子”来说,安全度过“磨合期”。同时保持成长进步的生机与活力,不仅关系到党委核心领导作用的发挥。而且影响到整个部队的团结稳定和集中统一。党委新班子成员要团结、和谐地度过“磨合期”,为以后的合作共事打下良好基础,就必须把握好以下几个问题：     

基于EVALPSN的循环式多轿厢电梯避撞设计与实现

多轿厢电梯系统作为垂直运输的新方式,避免轿厢之间的碰撞成为了其安全运行急需解决的重要问题。根据循环式多轿厢电梯控制系统的轿厢安全运行准则,分析了循环式多轿厢电梯系统的避撞控制问题,研究了基于带有强否定的扩展矢量注解的逻辑规划方法,设计一种电梯轿厢安全避障方法。通过建立了禁止轿厢危险运行的EVALPSN算式,避免了派梯中所选轿厢在井道中发生碰撞,保证电梯控制系统的安全运行,实验结果表明:所设计的方法针对循环式多轿厢断电梯避撞问题有较好的效果,可有效地保证多轿厢运行的安全性。     

用权不能“任性”

近期,"有钱,就是任性"频繁出现在网络和微信中,由此衍生出的"任性体"也成为一些人挂在嘴边的流行语。任性,原指执拗使性、无所顾忌,必欲按自己的愿望或想法行事等。范文澜在《中国通史》中评价隋炀帝,说他是"予智予雄,任性妄为,剥削不顾民众的死活,浪费只求本人的快意"。结果"任性"的隋炀帝,因"妄为"而失人心、丢江山。可见,由"任性"而"妄为"是一种发展逻辑,误事害己。反观当前,个别党员干部对待权力凭个人意志行事,凭感情用事,作风不民主,     

扎实做好经常性基础性工作

习主席强调指出:军队各级要把工作重心放在基层,加大经常性基础性工作力度。这一指示要求各级必须从政治和全局高度,充分认清和准确把握经常性基础性工作特点规律,逐级夯实部队建设发展根基,确保强军目标在基层落地生根。一、工作结构上的层次性,决定了必须坚持按级抓、抓按级部队编制结构上的层次性,决定了经常性基础性工作不同级别具有不同特点,呈现出由简单到复杂、由综合到条块、由具体到原则的层次性。因此,必须坚持按级抓、     

迅速兴起学《纲要》用《纲要》热潮

新的《军队基层建设纲要》通篇贯穿了习主席重要讲话精神,是基层建设规律和经验的凝炼升华。各级要迅速掀起学《纲要》、用《纲要》热潮,老老实实按《纲要》抓、照《纲要》办。一、搞好学习宣传,增强学习贯彻意识一是原原本本系统学。要制定专门学习贯彻《纲要》活动计划,安排专门时间,组织官兵原原本本、逐章逐条地学,学习《纲要》的新变化、掌握《纲要》的新精神、明确《纲要》的新举措,使官兵切实认清修订《纲要》     

企业文化建设要走出误区 倡导感恩文化

<正>在晋东公司,坚持以忠诚尽责为己任,回顾晋东发展史,从报国强军到强国富民,该公司的核心使命从来都离不开"国";军品领域、军品产品接受了国家领导人的阅兵检阅,在军民合融合下成功诞生的奥运会主火炬点传火装置成为民族创新的骄傲,通过核心装备实现了国产化,达到了产业报国的目的。     

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

《装甲兵工程学院学报》是由装甲兵工程学院主办的以反映陆军武器装备工程技术和军事理论为主的综合性学术刊物,1987年创刊,双月刊,国内外公开发行。本刊是"中国科技核心期刊"、"军事学核心期刊"、"RCCSE中国核心学术期刊",井被英国"科学文摘"(INSPEC)、美国"剑桥科学文摘"(CSA)及国内各主要期刊数据库收录。一、征稿范围本刊主要刊载装备建设与保障、军用车辆工程、兵器理论与技术、军用控制工程、装备信息化技术、装备再制造工程、基础     

《装备学院学报》征稿简则

<正>《装备学院学报》是由总装备部装备学院主管、装备学院科研部主办的,研究军事装备、军事航天、军事信息等学科领域理论与技术问题的综合性学术期刊。1990年创刊,双月刊,国内外公开发行,全军首批军事学核心期刊,中国科技核心期刊,RCCSE中国核心学术期刊。1征稿范围主要刊登军事装备学,军事航天及军事信息领域的学术论文;在上述学科或领域的科研实践中有发展并能反映当前先进水平的技术报告或阶段性研究报告,具有探索性、导向性的新方法、新理论及系统性研究综述等文章。