模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

建筑安装行业信息化特色探讨

我国软件市场很少建筑业信息一体化管理工具，因为软件设计难度与其行业特点有很大的关系。本文通过分析广东捷荣建筑安装工程有限公司管理信息系统的实施过程，提出建筑业ERP的开发特点和解决办法，强调流程优化与ERP实施相结合。开发组就信息系统出现的二次开发情况，提出建立工作流ERP模型的思想，该模型通过封装和分离应用的数据服务器，有望提高通用性，彻底解决由于流程不完善带来的二次开发问题。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

关于某些Be星中近红外辐射和光学辐射差异的解释

为了考察Be星中Hα发射线和红外超的来源区域，建立了一个考虑光学深度的膨胀环模型，发现它们的来源区域强烈依赖于Be星的物理参数，如抛射物质的初始密度和密度结构，此模型可以用来定性地解释某些Be星中观测到的、长期得不到解释的Hα发射线等值宽度和红外超变化的不一致现象。     

Duane模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型——Bayes分析方法

本文将Bayes分析方法应用于Duane可靠性增长模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型,得到了参数以及系统能达到的MTBF的Bayes点估计和Bayes区间估计。     

谈谈“构造法”解题策略

构造法是中学数学中的一种常用的解题思想方法,其思维策略是:在解题中充分利用已知条件和数学知识,通过观察、联想,构造出满足条件的数学对象,或构造出一种新的问题形式,使问题的结论得以肯定或否定,或     

分米波电视圆形振子四偶极板天线的计算

本文对分米波电视四偶极板天线（圆形振子）进行了系统的计算，根据计算和实验结果对平板振子的导线网模型进行了优化，在优化的导线网模型的基础上，应用数值法对圆形平板振子及由它组成的天线的阻抗、方向图和增益等特性进行了深入计算分析。     

低空目标噪声模型

低空目标噪声模型李云，贾民生（青岛大学计算中心，青岛２６６０７１）关键词：噪声模型；地空武器系统在地空武器系统大型仿真实验中，要求加入检飞试验中测量低空目标所带来的噪声误差信号．传统的方法是将磁带机记录的噪声信号直接加入仿真模型中，这种方法极不方便，...