基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

秦山三核——年轻人才茁状成长

近几年来,座落在浙江杭州湾畔的秦山捷报频传,最近,秦山三期重水堆核电站又建成投产了！当你来到这里,会看到一派朝气蓬勃、蒸蒸日上的景象。这里的生机和活力,主要来自于一支非常年轻的人才队伍。     

破产企业资源重组模式分析

企业因经营管理不善,造成严重亏损,不能清理到期债务,就要依法宣告破产。破产企业在经历了一系列必要的法律程序后,其有效资源将脱离于原企业,这一有效资源按照市场法则,经过科学整合将达到忧化配置之目的。由低效率、低效益的资源浪费转变为更有效率、更有效益的作用发挥,确保实现国有资产的保值增值,这也是市场经济忧化配置资源的作用之     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

改制以后——天露公司股份制改革纪实

今年3月18日,新疆石河子天露节水设备有限责任公司,顺利通过北京中联认证中心ISO9000质量认证,从而取得了通向国际市场的通行许可证。这是天露节水设备有限责任公司实行股份制改革仅8个月取得的成绩。     

科研院所党建驱动科技创新的策略和路径研究

围绕科研院所党建驱动科技创新主题,分析了研究背景,讨论了党建工作与科技工作的内在关系,提出了党建驱动科技创新的实施策略和路径建议。     

舰船延伸保修策略多方群体冲突交互式决策模型

为推进海军舰船保修模式改革以促进舰船维修保障一体化发展,当前急需确定一种更匹配装备售后发展主流趋势与海军舰船采购制度的舰船保修策略.对当前海军舰船保修4种模式进行界定和优劣势分析,以确定海军舰船保修策略的调整方向,在界定了海军当前可以实施的32种保修策略的基础上,利用逻辑决断法判断当前海军可以实施的16种质保策略.重点利用基于交互式谈判解决多方群体利益冲突的方法建立了决策模型,以解决舰船延伸保修策略决策谈判中不可避免出现的多方利益冲突的问题,算例结果显示一维非更新预防性简单舰船延伸保修策略在多方群体决策中胜出,借助决策模型可分析出在群体决策中占据优势的要点.     

“扫把考试”与用人策略

看到过这样一个故事：香港著名的“领带大王”曾宪梓在一次招聘员工时,故意将一把扫把对着门口放倒在地．然后不动声色地开始接受一拨拨的应聘者。最后被录用的都是那些既各方面条件优秀,又能主动把扫把扶起来的人。因为在他看来,倒地的扫把虽然微不足道,但扶与不扶却反映一个人的责任心和勤恳度。     

军事竞争情报漫谈

我国是情报学的故乡,被国际上誉为“情报之父”的孙子是我国春秋时期著名的军事家和战略家。军事情报简称情报,是对获取的军事斗争所需求的情况进行分析判断的成果,是筹划和指挥战争及指挥作战的重要依据。竞争情报是军事学(军事情报)、经济学(竞争理论)、管理学(工商管理)和情报学相互交融的结果;是关于竞争环境、竞争对手和竞争策略的信息和研究,它既是一种过程(对竞争信息的搜集和分析),又是一种产品(形成的情报或谋略)。军事竞争情报是军事情报的新分支,是军事情报与竞争情报相交叉的边缘学科。军事竞争情报具有自己的特性:(1)军事竞争…     

多媒体教学中媒体的选择原则与应用策略

根据媒体的特征,介绍了媒体在选择使用中应该注意的原则和应用策略。