怎样通过健全民主制度、丰富民主形式、拓宽民主渠道保证人民当家作主？

人民当家作主是社会主义民主政治的本质和核心。社会主义民主政治是一个不断发展、不断完善的过程。社会主义愈发展,民主也愈发展。为了发展社会主义民主政治,党的十七大报告提出,要健全民主制度,丰富民主形式,拓宽民主渠道,依法实行民主选举、民主决策、民主管理、民主监督,保障人民的知情权、参与权、表达权、监督权。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

浙江省温州军分区 跟踪问效捅到底

5月15日,浙江省温州军分区组织督导组到各县（市、区）人武部检查党的群众路线教育实践活动开展情况,与以往不同的是,督导组用召开座谈会听取干部职工和基层武装部对活动实效评价的方式,代替了以往单纯看书面材料、听党委汇报的检查形式。军分区政委雷林告诉笔者,机关通过检查督导树立明确导向,有效纠治了教育实践活动只落在笔头上的不良倾向。     

珍惜“倒计量”

偶登QQ,收到一位久未联系的战友信息——倒计时XX天。初时,尚不知所以,尔后想到他即将服满现役了。在日常,“倒计时”比比皆是。记得读高三,班主任早早地在黑板写上“高考倒计时）。（天”,旨在督促我们珍惜分分秒秒;上军校,时值院庆60周年,我们军乐队队长也常把“院庆表演倒计时）。（天”挂在嘴边,意在提醒我们抓紧练习,争取把院庆表演的“头炮”打响……以上之“倒计时”着实给我们以警醒、激励。然而,也有一些“倒计时”不是那么进取甚至有些颓废。对此,心怀“倒计时”的战友们,当然包括我们每一个人,都应该保持警觉并做到“三个珍惜”：     

《英语诗歌》课程教学探析——以叶芝为例

《英语诗歌》作为国内普通高校英语专业的专业选修课程,其课堂教学方式一直以传统的讲授为主。本文从认知诗学的视角,以著名的英语诗人叶芝为例,探讨《英语诗歌》课程教学中形式诗学与文化诗学方式方法的结合,在学科建设、课程设置和课堂教学等方面提出建议和参考。     

威风锣鼓闻名和田

正十四师二二四团位于塔克拉玛干沙漠南缘,昆仑山北麓,筹建于2003年。该团筹建第一个连队时,便成立了一支文化演出队——威风锣鼓队。10年来,这支威风锣鼓队每年春节都会代表十四师参加和田地区的庆元宵活动。威风锣鼓队热烈的演出场面深深吸引了前来观看的兵团、地方的群众,成为远近闻名的特色演出队。赵加林是最早加入这支队伍的职工之一,多年来,赵加林与威风锣鼓队结下了深厚的感情。     

团场改革

正事件回顾:兵团作为党政军企合一的特殊组织,有其独特的体制,这种体制的建立和发展,对新疆经济社会发展、边疆稳定和人民生活水平不断提高具有重要意义。60年来,兵团在体制创新、团场改革方面作出过多次调整,所有制形式经历了一系列改革、变迁和完善,形成了目前特有的经营体制。1954年10月,兵团大规模成立国营农场之后,兵团所有制形式不断完善的过程主要经历了6个阶段:1979年至1982年,兵团实行独立核算、自负盈亏、有利自留、亏损不补、资金有偿使     

抓好国防教育 增强国防意识

党的十六大强调：要“加强国防教育,增强全民国防观念”。这是新形势下加强国防和军队建设的思想基础。因此,切实抓好国防教育,增强全党、全军、全民的国防意识,是摆在我们面前的一项重要任务。特别是当今世界风云变幻,多极化趋势加速发展,国际关系错综复杂,中东和平进程艰难,伊拉克战争后果严重。我们面临着机遇,也面临着挑战。在集中精力进行经济建设的同时,应该时刻牢记忘战必危的古训．加强国防教育,增强全民国防意识,保卫我们国家的安全。     

我“代表”中国

回望军旅,有许多事总是让人难以忘怀。1993年4月28日,就是我终身难忘的日子。那天上午,作为北京军区某迎外表演部队的一员,我和我的战友们一起,头戴钢盔,手握钢枪,走上了迎外表演场。那时,我的心情既激动又紧张。     

信息化战争研究——不容被忽视的三个“不等式”

目前,信息化战争研究及军队信息化建设已经列入我军现代化的重要议事日程,大量的理论和实践问题亟待解决,特别是在信息化战争研究方面。笔者认为,“信息战不等于信息化战争、战争信息化不等于战争‘文明化’、强调技术因素不等于忽视人的因素”这三个方面尤为值得关注,因为它们是研究信息化战争的前提和根本。信息化战争≠信息战信息化战争和信息战是两种不同的称谓,反映着两种不同的事物,是两个有本质区别的概念。信息化战争是战争形态,信息战则是作战形式,不可将战争形态与作战形式相混淆,信息化战争并不等于信息战。信息化战争是信息时代…