基于仿真的功能级边界扫描测试码自动生成

分析了用边界扫描测试结构实现芯片功能级测试的方法,提出了一种基于逻辑电路的仿真波形生成电路功能级边界扫描测试代码的方法．利用该方法生成的边界扫描测试矢量可以完备地描述逻辑芯片的功能,从而对数字逻辑电路实现完备、高效和廉价的功能测试．     

流过管束的流动换热与结构的综合性能评价

对于流过管束的流动换热过程以给定换热结构使换热量最大为条件导出经济结构尺寸与换热参数间的关系式,并借助于换热准则关系得出其与流动参数间的关系式;进而以过程中相对炯损失率最小为条件导出该流动换热过程最佳流动参数的表达式．联立上述两个关系式就可得出使过程的结构尺寸、流动特征与换热性能间综合优化的最佳管排与给定热流和管径间的关系式,以此作为性能分析与评估的判据,这里以流过叉排管束为例进行综合性能的分析与评价,     

技术不确定性对公司投资研发的影响

分析了公司研发项目的成功时间是随机的 (也即研发存在着技术不确定性 )时所作的R&D决策 .在模型中体现了公司风险偏好 .影响的结果是使得决策投资进入点升高 ,在退出点 ,如沉淀成本较小或风险率很大时 ,退出点超过Marshallian水平 ,使得公司在期望价值为正时也可能放弃研发     

参数化CSG模型之间等价参数域求解方法

基于参数化半空间概念给出参数化CSG模型的一般形式,通过分析不同CSG模型中参数化半空间之间的关系,提出CSG模型等价的模型参数不等式约束关系,并由此定义等价参数域,借助于线性代数领域中新提出的Г-算法,求解这些不等式最终得到等价参数域的显式表示,进而推导出等价参数域上不同模型参数之间的映射关系．当两CSG模型分别表示CAD系统中的零件设计方案和CAPP系统中的零件加工工艺过程时,等价参数域和参数等价关系可用于CAD／CAPP系统中的功能集成．     

优先级倒置问题的集成资源管理技术

提出一种集成的实时资源管理和实时服务器技术,它对进程间通信和同步机制进行有效地管理;同时在两种技术的基础之上,构造了一个比较高效的优先级倒置问题的控制算法,克服了传统的用优先级继承方法来解决优先级倒置问题在最坏情况下延迟很大,而用优先级冲顶方法会引起低优先级进程阻塞的缺点。通过这种机制,既可以使系统避免多重优先级倒置现象的发生,又可以使系统的行为具有可分析性和可预测性。     

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

城区三维景观重建中的建筑物提取

在采用包含建筑物高程信息的DEM数据进行地形建模时,依次连结相邻网格点为多边形的绘制方式会带来建筑物墙面倾斜,建筑物与地形混淆的问题．针对这一问题,利用建筑物顶点与地形顶点之间具有较大高度差的特点,结合建筑物的几何特征,提出了一种在DEM数据中提取建筑物的算法．实验结果证明利用该算法重建出的城区三维景观具有更为逼真的显示效果．     

郑州期货市场有效性的实证研究

通过自相关检验、协积检验和方差比检验三种方法检验了郑州小麦期货市场的有效性问题,结果如下：序列相关检验的研究结果表明郑州小麦期货市场基本满足市场有效性假设;单位根检验的研究结果也表明郑州小麦期货市场满足有效性假设;方差比检验的研究结果却表明郑州小麦期货市场不满足有效性假设．     

大型企业战略决策支持系统的结构和流程设计

为解决大型企业复杂的战略决策问题,采用网络通信技术、数据仓库技术和现代决策理论,提出了一种新型的战略决策支持系统,并且重点讨论了系统的框架结构、功能特点和决策流程,该系统通过协调参与成员的决策行为,减少决策成员的分歧,提高战略决策的效率,从而保证决策的准确性．     

社会地位、财政政策和随机经济增长

在一个具有生产性政府花费的随机经济增长模型中,把体现社会地位的财富引入消费者效用函数．在政府发行债券的情况下,利用随机最优化方法,确定了均衡状态下的消费一财富比、期望经济增长率以及资本和债券份额．讨论了社会地位、财政政策和随机扰动对经济增长的影响．同时,考察了社会地位对财政政策的制定是否有影响的问题．