TIN快速求交算法及其应用研究*

煤矿床地表与地质层面模型通常采用TIN表示,交线作为层面模型交叉部分的特征描述,在模型构建及后续的应用分析中都具有十分重要的作用。根据基于层面模型编制露天煤矿采剥计划的需要,提出并实现了一种基于空间索引与碰撞检测的TIN快速求交算法,算法通过建立TIN空间格网索引,使相交测试仅限于映射在同一个空间格网单元内的三角形对之间,在计算交线时,进一步应用AABB包围盒碰撞检测技术快速剔除不相交三角形对,并分别采用“边—面”及改进的“边—边”求交算法计算异面与共面三角形交线,最后,根据交线段之间的空间邻接关系实现交线的快速分离。实验分析表明,算法整体时间效率较基于OBBTree的TIN求交算法高,并在露天煤矿采剥计划CAD软件系统中应用于计划线生成、运输道路设计、追踪等值线、切割剖面等设计实践,提高了在三维图形环境下采剥计划设计的精度与可靠性。     

基于MSC Nastran的矿用电动轮自卸车货箱模态分析

针对矿用电动轮自卸车货箱的动态特性,提出基于模态分析结果的货箱结构改进方法.通过Patran建立货箱结构的有限元模型,应用MSC Nastran对其进行模态分析,得到货箱结构的动态参数.根据模态分析结果对货箱结构进行改进,货箱结构固有频率及振型得到较好的改善,为进一步研究矿用电动轮自卸车货箱的优化设计和预测疲劳寿命奠定基础.     

一种软件自动测试系统

针对航天测控任务频度高,测控任务软件系统测试重复性高、人工测试工作量大、测试效率和可靠性低的特点,通过分析系统测试条件和需求,设计了一种基于黑盒测试的软件自动测试系统.文章介绍了自动测试系统的系统结构、主要功能模块、测试平台部署及测试流程等,并详细阐述了测试用例管理、测试数据自动生成、测试过程控制、测试结果评估和测试报告自动生成等关键技术;该系统能够有效的减少人工重复工作量,增强系统测试的自动化,提高系统测试效率和质量.     

Sparse interpolation of multivariate rational functions

Consider the black box interpolation of a τ-sparse, n-variate rational function f, where τ is the maximum number of terms in either numerator or denominator. When numerator and denominator are at most of degree d, then the number of possible terms in f is O(dⁿ) and explodes exponentially as the number of variables increases. The complexity of our sparse rational interpolation algorithm does not depend exponentially on n anymore. It still depends on d because we densely interpolate univariate auxiliary rational functions of the same degree. We remove the exponent n and introduce the sparsity τ in the complexity by reconstructing the auxiliary function’s coefficients via sparse multivariate interpolation.The approach is new and builds on the normalization of the rational function’s representation. Our method can be combined with probabilistic and deterministic components from sparse polynomial black box interpolation to suit either an exact or a finite precision computational environment. The latter is illustrated with several examples, running from exact finite field arithmetic to noisy floating point evaluations. In general, the performance of our sparse rational black box interpolation depends on the choice of the employed sparse polynomial black box interpolation. If the early termination Ben-Or/Tiwari algorithm is used, our method achieves rational interpolation in O(τd) black box evaluations and thus is sensitive to the sparsity of the multivariate f.     

基于分层包围盒的连续碰撞检测加速算法

提出一种针对复杂结构物体之间的连续碰撞检测的算法.该算法首先按照一定的规则建立起树形分层包围盒,在碰撞检测的时候,可利用上次的检测结果,起到了加速的作用.     

可编程S盒及反馈移位寄存器的设计方法

可编程S盒和可编程反馈移位寄存器是可编程密码芯片的两个重要的部件。文章给出了可编程S盒和可编程反馈移位寄存器的一种逻辑设计方法,按照该方法设计的S盒能够通过编程实现任意的布尔逻辑函数,按照该方法设计的反馈移位寄存器能够通过编程灵活地改变反馈抽头和反馈函数。     

基于Internet/Intranet的命令通道机制人人交互与协作系统模型

本文提出了一个降低网络信息传输量、提高交互与协作质量的模型.文中详细描述了模型的组成,并以三个用户节点为例说明了系统的交互与协作过程.最后给出了系统的软件结构图,并说明了各个模块所完成的功能.     

路由协议测试的窗口黑盒模型和多通道的测试方法

路由协议测试中的效率和覆盖率亟待提高,原有通信协议测试理论将被测实现作为黑盒,使得大量可增强控制观察能力的手段无法利用,因此在路由协议测试中以窗口黑盒模型描述被测实现,在测试结构上实现了多通道测试方法,提高了测试效率和测试覆盖率,通过与被测模块交互的其它模块,增强了测试的控制观察能力,测试便的执行时间相比原有方式下降50％;消除或减小了以往不能测试的范围和内容,相应测试例个数增加3倍以上;为目前急需的大规模的路由器测试工作奠定了基础。     

一种航空液冷机箱集成制造工艺技术

文中以一种兼有“蛇形水道”和“深孔水道”的航空液冷机箱作为实例,进行集成制造工艺研究.从工艺方法选择、材料选择及工艺流程三个方面进行论述,确定水道和机箱成形工艺方案.对总体工艺方案、水道成形工艺方案、机箱成形工艺方案等方面中的关键工艺技术进行了详细分析,针对研制过程中出现的问题,提出了具体有效的解决方案.通过对研制结果的分析,验证了上述工艺方案的可行性.     

基于弹性盒子模型的跨平台手机应用界面布局

针对目前手机应用程序普遍存在的平台单一、界面布局难、适配程度不高等问题,提出一种基于弹性盒子模型的跨平台手机应用界面布局方法,并用基于HTML 5的跨平台开发框架AppCan实现一个典型页面的弹性布局,得到了较好的布局效果。