基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

二00八年全军学生军训工作要点

二○○八年的全军学生军训工作,要以党的十七大精神为指导,深入贯彻落实科学发展观,认真落实<学生军事训练工作规定>,紧紧围绕国家人才培养战略和国防后备力量建设需要,加强统筹协调,加大指导力度,规范工作秩序,着力在建设高素质派遣军官队伍、提高军事课教学质量、加强学生军训工作理论研究等方面下功夫,进一步推动学生军训工作创新发展.     

依法规范促进“刚性”落实——山东省潍坊军分区加强民兵预备役基层规范化建设带来的启示

乡（镇、街道）、企事业单位武装部和民兵预备役连（营）,是民兵预备役部队的基层,是国防后备力量的基石。近年来,山东省潍坊军分区适应地方依法行政、部队依法治军形势要求,着眼夯实战斗力生成基础,坚持以依法规范为突破口,积极探索推进基层规范化建设的方法路子,有效促进了民兵预备役部队全面建设。今年6月,该军分区在济南军区民兵预备役部队基层建设会议上作了经验介绍。透过成绩的背后,我们看到诸多启示。     

今年，台海军为何异常活跃？

被陈水扁当局苦心“绿化”8年的台湾海军,今年以来异常活跃,已倍受世人关注。     

新一代远程航空导弹将令空袭止步

当今全球制造防空导弹的头号军火商、美国雷声公司7月4日向媒体透露,澳大利亚海军新一代“宙斯盾”导弹驱逐舰“霍巴特”级将选择该公司新研制的“标准”-6型中远程舰空导弹作为舰载主打防空武器。同时,该公司还声称,美海军还有意向研发“爱国者”PAC-3型中远程地空导弹的舰载型。     

着眼安全发展 强化规范管理——重庆预师二团抓好安全稳定工作的做法

近年来,重庆预师二团着眼安全发展,强化规范管理,推进了团队建设稳步发展。组建8年来,没有发生任何责任事故和刑事案件,先后受到总政、成都军区和警备区表彰。一、坚持抓思想教育,筑牢安全思想基础。一是强化责任。坚持学习领会各级安全稳定工作会议精神和首长重要讲话,切实树牢安全发展理念,不断增强抓好安全稳定工作的忧患意识和责任意识。二是熟知法规。反复学习军队的条令条例和各种法规制度,组织官兵对照法规制度找差距,养成依法办事、照章行事的好习惯。三是启发     

华中药业打造绿色企业

党的十七报告指出,必须把建设资源节约型、环境友好型社会放在工业化、现代化发展战略的突出位置,落实到每一个单位,每一个家庭。因此,创建资源节约型、环境友好型社会是企业的重大政治责任和战略任务,特别是对湖北华中药业有限公司这样的医药化工企业而言,更是责无旁贷。     

促进汽车及零部件企业又好又快发展要解决四大问题

随着国家进一步加大节能减排工作力度,推进资源节约型,环境友好型社会,我国汽车工业遇到的矛盾和问题也越来越尖锐。     

军民结合 项目带动 助推江西军工新跨越

在全省学习实践科学发展观、大力推进项目建设的背景下,作为江西经济社会发展的重要组成部分,江西省国防科技工业始终坚持走军民结合的发展道路,着力推进军工体制创新和产业结构调整,充分发挥军工资源和技术优势,以打造优势产业基地、建设重大军民结合型项目为重点,推进军工经济与地方经济的融合和发展,在出色完成高新武器装备科研生产任务的同时,军工民用产业成绩卓著。     

洪都农五B型飞机完成首飞前全机地面振动试验

通过优化设计,洪都航空工业集团公司自行研发制造的农林五B型飞机即将首飞。日前,洪都公司已完成首飞前的全机地面振动试验。试验测定了飞机及各主要部件的振动频率、模态,为飞机首飞的颤振计算分析提供原始参数,确保首飞安全。