逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

军品市场主体的构建

随着我国经济体制转换,军品市场主体发生了很大变化,军品交换中出现许多新的情况和问题。从理论上对军品市场主体作深层次研究和高度概括,构建军品市场主体体系,理顺相互关系,是完善军品市场,保持军品流通有序,提高军事经济保障力的重要内容。     

对导弹逼告警系统(AMWS)的需要刺激了电子战市场

产业定位的 类型大致有五种。珠江三角洲地区外向型产业的定位方向应是资本、技术密集型产业，努力的方向是把该地区建成以国际市场为导向，以拳头产品为龙头，以大型跨国企业为支柱，以优势产业带为龙躯的密集式产业带。     

国内外茧丝市场形势与宁夏蚕桑业

国内外茧丝市场形势与宁夏蚕桑业宁夏蚕业工作站李学,钱晓曦宁夏蚕业工作站李学钱晓践蚕丝业是中国出回创汇的重要产业,年创汇３０亿美元以上,蚕茧、生丝产量分别占世界产量的７２％租６８％,生丝和丝织物出Ｄ分别占世并总量的８０％和５０％在方。中国更业的发展影响...     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

我国民营企业进入军品市场的壁垒与对策

为加快国防科技工业的发展，国家鼓励民营企业进入军品市场，但这种进入存在多重壁垒，需要进行深入研究并确立对策。