模型化推理与理论的建构

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

Mechanism and Defense on Malicious Code

With the explosive growth of network applications, the threat of the malicious code against network security becomes increasingly serious. In this paper we explore the mechanism of the malicious code by giving an attack model of the maliciouscode, and discuss the critical techniques of implementation and prevention against the malicious code. The remaining problems and emerging trends in this area are also addressed in the paper.     

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

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

串行生产线模型及面向拥塞的自适应路由算法

串行生产线，可描述成极大代数下的一个线性系统，这个模型也适用于ATM及其他基于速率的通信系统. 针对基于速率这一特点，采用周期输入作为系统的控制方法，讨论了系统的利用率、稳定条件和阻塞情况, 并以此为基础，设计了一个算法，把路由选择、资源分配和流量控制集合在一起构成一个闭环结构，真正地实现了自适应，从而解决了网络拥塞和资源利用不平衡的问题，并有效地控制了抖动.     

基于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区间估计。     

两种跟踪低阶模型的模型参考自适应控制方案设计与仿真

采用滤波器降阶和系统分解，并将部分因式看成未建模动态，进而转化成扰动的方法，分别设计了两种高阶系统跟踪低阶参考模型的模型参考自适应控制(MRAC)方案。使用低阶参考模型简化了系统结构。仿真验证了方案的有效性。     

谈谈“构造法”解题策略

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