一个安全的主动网络编程语言模型

为解决主动网络安全威胁问题，从编程语言角度分析了语言级的主动网络的安全需求，使用软件机制而不是硬件机制保护主机防止恶意代码攻击，并折中了通信需求和程序语言需求，为主动网络提供了一个安全的编程语言模型。     

一类优美有向图的充要条件

研究了由恰有一个公共顶点的有向回路→／Ｃｍ和→／Ｃｎ（ｍ，ｎ≥３）组成的有向图→／Ｗｍ，ｎ的优美性，给出了→／Ｗｍ，ｎ是优美有向图的充要条件。     

沉管碎石桩处理软土地基的应用过程

沉管碎石桩是地基处理的方法之一,可以有效地提高地基承栽力,使沉降量减少,增加地基的稳定性,并且可以减少环境污染。对此方法的施工作了详细的介绍。     

我国林科类高等教育发展重心的思考

本文说明了林业高等教育由学术型向应用型转变的重要性,探讨正确把握人才培养类型、培养模式、优化课程体系、改进教学方法等问题。     

The innovation research of financial early-warning index measurement

The period economic fluctuation is vital for an enterprise to exist and further develop,it directly affect the enterprise financial health.So,it is significant to build up financial early-warning index and measure the warning condition that the enterprise faces and take the effective measures to eliminate. We criticize Altman's Z calculating model and build up some new indexes for enterprise financial early-warning condition measuring and making sound decision.     

不同分散剂对纳米羟基磷灰石粒子团聚的影响

为了解决纳米羟基磷灰石团聚的问题，在纳米羟基磷灰石制备过程中，加入适量的乙醇、铈盐和聚乙二醇作为表面分散荆，研究其分散作用。试验结果表明：乙醇具有脱水作用，减少毛细管收缩作用，具有一定的分散作用，且不改变HA六方晶体形貌；铈盐的加入，使六方晶体结构进一步分化，粒子尺寸变小，有细化纳米HA晶粒的作用及分散作用，同时，在分散过程中，参与反应，形成Ce5（PO4）3（OH）；聚乙二醇对纳米羟基磷灰石形貌影响不大，但在表面形成簿膜，隔阻纳米粒子间的接触，具有减少硬团聚的作用。     

我国古代刑法的溯及力

刑法溯及力在我国古代法律文献中多有记载，随着历代刑事政策以及立法指导思想的变化，历史上各朝代对刑法溯及力规定各有不同。唐朝刑律立法成熟，确立了现代意义上的“从旧兼从轻”原则，从法律制度史角度来看，当是现代刑法溯及力制度的渊源。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

空间机构的位置分析

本文以“基本方向”确定空间机构中各构件的位置,并基于“基本方向”之间的关系以及机构的环路封闭条件,建立了机构位置分析的数学模型。将优化技术和求解非线性方程组迭代技术结合起来,提高了解决问题的可靠性及效率。