基于变芯径光纤的光学系统在光造型中的应用

光学系统采用变芯径光纤，可大幅度提高光的传输效率，增加光学子系统柔性。描述了光造型工作原理及其理论依据，在介绍所研制的光的成型系统光学子系统的基础上，阐述了紫外光源的选择与设计，及变芯径光纤的设计、传输、耦合与聚焦等技术。该套基于变芯径光纤的光学子系统成本低、体积小、效率高，巳成功应用于所研制的台式低成本快速成型系统中，为该系统的进一步推广奠定了技术基础。     

系统动力学模型结构分析中表函数的改进方法

分析了非线性系统动力学(SD)模型中表函数环节的传统表示方法,指出该方法对于进行SD模型的结构分析所造成的障碍,并提出了用牛顿插值的承袭性算法来改进表函数环节的表示方法的思路.接着分别介绍了用差商和差分牛顿插值法改进表函数的过程.最后,通过一个实例说明了表函数改进的方法,并展示了以此为基础进行结构分析的思路.     

电热泵用于蔬菜温室供热的经济性分析

现代化蔬菜温室是我国都市农业发展中的一个重要组成部分，目前这类温室的冬季加热均以燃煤方式为主．伴随着越加严重的城市环境污染，温室供热系统也面临着改造问题，需要引入清洁供热方式，热泵供热是其中的一种．本文以上海地区现代化蔬菜温室为研究对象，分析了蔬菜温室中使用电热泵供热的运行成本，并与燃煤供热方式进行了对比．就热泵供热系统在温室中的应用前景及可行性、经济性进行了分析，为热泵在温室供热系统中的应用提供了可参考依据．     

完全连接依赖及其有效公理系统的研究与应用

关系数据库理论中给出的完全连接依赖的有效公理系统并不能完全适应应用的需要，本文在对有效公理系统的研究基础上对其作出扩充，使其应用范围更为广泛，并能直接用于找出蕴含的所有连接依赖及判断连接 依赖是否存在推导有向无回路图DAG。     

非线性系统中混沌的控制与同步及其应用前景（一）

全文系统地综述了非线性科学中一个富有挑战性及具有巨大应用前景的重大课题－－非线性系统中混沌的控制与同步及其应用的主要进展，包括了作者关第超混沌同步及其控制等方面的研究成果。我们对现有的各种混沌的控制方法和混沌的同步原理了分类和评述。     

宁波港船舶交通管理系统(VTS)

通过对宁波港的交通环境，现有VTS系统及港口发展的趋势研究，提出了改善宁波港通航环境，建立和完善VTS系统的有效措施。     

一些部分差集和相对差集的构造

In this paper, we give a construction of RDS in Galois ring by using some bent function, and obtain the equivalent relationship between RDS and a kind of bent function. At the same time, its existence is demonstrated.     

具有位相型修理的离散时间可修排队系统

本文研究了具有一般独立输入，位相型修理的离散时间可修排队系统，假定服务台对顾客的服务时间和服务台寿命服从几何分布，运用矩阵解析方法我们给出系统嵌入在到达时刻的稳态队长分布和等待时间分布，并证明这些分布均为离散位相型分布．我们也得到在广义服务时间内服务台发生故障次数的分布，证明它服从一个修正的几何分布．我们对离散时间可修排队与连续时间可修排队进行了比较，说明这两种排队系统在一些性能指标方面的区别之处．最后我们通过一些数值例子说明在这类系统中顾客的到达过程、服务时间和服务台的故障率之间的关系．     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.