鲁迅与《北斗》

鲁迅作为“左联”的领导者和成员之一,积极支持《北斗》的创办,并在该刊发表文章10余篇。他控诉国民党杀害“左翼”文学作家的暴行,悼念革命烈士;讽刺和揭露国民党文化宣传的瞒和骗行为的实质;批评当时某些青年不健康不合情的行为及其所受的传统文化消极面的影响;支持社会主义的苏联,表达对无产阶级专政历史作用的看法;表达自己的翻译观,并对繁荣革命文学创造提出切实可行的意见;引进及翻译外国优秀文学作品和文化成果。现代知识分子正是通过报刊杂志这一中介,对社会产生着积极的影响。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

几何凸集中一个递归关系的建立与求解

几何凸集中递归关系的建立是求解问题的关键。本文对一个定理中递归关系的建立给出了容易理解的详细表述,然后利用生成函数法求其解。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

Country survey IV: Pakistan

This paper examines the role of the military in Pakistan, particularly in regard to civil‐military relations and defence industrialisation. Pakistan's military expenditure is relatively high, but apart from investment multipliers, little of this spending filters through to the civil sector. Pakistan's defence‐industrial strategy centres on rebuild and Chinese technological collaboration. However, while this ‘capital‐saving’ approach has merit, the strategy has thus far failed to stimulate broader civil development linkages. A conclusion of this paper is that Pakistan is failing to maximise the strategic dual‐use benefits of integrating civil‐military activity.     

论环境侵权民事责任的构成要件

随着社会经济的发展,环境污染已成为一个不能回避的社会话题。国家要想在将来寻求长远的发展,必须在现有立法的基础上,进一步完善环境保护的法律机制,从而实现社会的和谐。从环境侵权民事责任构成要件角度出发,阐述了如何保护受害人的合法权益,如何在经济发展的同时从根本上正确处理人与自然环境之间的关系。     

现代文本分类技术研究

分析了当前的文本分类技术,总结了文本分类需要解决的问题;在详细比较了各种不同的分类算法以及文本模型以后,为进一步开展优化以及提高文本分类技术的研究工作提供了一些参考和建议。     

谐振子的下降和上升算符的一种函数关系和它的应用

在量子力学中求解含时谐振子问题时,谐振子的下降和上升算符的几个特殊形式的计算起着关键作用,但传统的计算方法比较烦琐。笔者从量子力学的一个常用公式推导了一个相关的谐振子的下降和上升算符的一种函数关系,并将这个关系应用到具体问题当中,使得计算得到了简化。     

面向任务的战术行动自主协同关系模型

在信息化战争的大背景下,战术行动中团队协同作战一直是研究的重点问题,而如何建立自主协同关系是团队协同研究的一个难点问题。在分析已有团队协同理论和框架的基础上,提出一种面向任务的战术行动自主协同关系模型建立方法。该模型首先根据当前战场态势和上级任务发布自主协同任务集合,各作战单元根据战场态势和自主决策自愿参与自主协同任务,其次利用作战单元与自主协同任务间的相互关系实现对关键角色的判断。如果关键协同成员参与自主协同任务则自主协同关系建立成功,反之,建立失败。     

论军事技术和装备保障的关系

探讨了军事技术与装备保障相互影响的一般原理,对陆军装备技术进行了简单分类,并对各类技术对装备保障的影响进行了重点探讨,以期能对陆军装备保障的发展有所启示。