模型面向过程式语言切片工具的实现

本文以一种自定义的小型面向过程式语言(Similar C Language,简称SCL)作为实验语言,在图论和编译技术的基础上,提出了一种分层次切片面向过程式程序的新方法,描述了实现SCL语言切片工具的完整方案。     

基于Petri网的测试用例生成研究进展

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。     

基于切片法的高速船摇荡运动预报研究

利用基于切片法的Seakeeper软件,计算了NPL系列船模纵摇运动和垂荡运动幅值响应函数．通过理论结果与试验结果进行比较,验证了使用切片法计算高速船耐波性的可行性．     

基于特征数据分块自适应切片的空洞修补

针对常用的空洞修补方法在修复具有多种曲面类型的空洞时失效和所修复的曲面不光顺等缺点,提出基于特征数据分块自适应切片的空洞修补。首先,在考虑特征信息的情况下基于聚类对散乱点云进行分块;然后利用特征进行自适应切片,获得曲线并进行拟合;最后,在线上取点填充缺失的点云,最终对完整的点云模型进行曲面重构建立实体模型。试验结果表明,采用自适应切片法修补空洞能够保留特征,所填充的点云数据精度较高,能够满足后续建模的需要。此外对该方法填充的点云进行了曲面重构及光顺,结果令人满意。     

基于高阶FS谱对角切片的舰船轴频电场微弱信号检测方法

针对在实际海洋中对舰船轴频电场进行远程探测的问题,文中采用了一种基于高阶FS谱对角切片的微弱信号处理技术,通过该方法能简单有效地将微弱轴频电场信号从低信噪比的实测数据中分离出来.最后使用该方法和基于高阶谱对角切片的弱信号检测方法,分别对同一组实测的舰船轴频信号进行了处理,结果对比表明该方法的有效性.     

室内设计中通用设计内容与程序方法的探究

近几年我国城市建设正处于空前高速发展时期,城市中居住建筑是人类生存活动和社会生活必须的物质空间。室内设计的对象就是建筑物的内部,工作内容种类也在慢慢细化,并且范围也在逐渐扩大。室内设计也应该在原有的基础上对设计方法进行探讨和改进,文章通过调查和分析,研究了室内设计的方法,解决了室内设计中重装饰而忽略功能和用户体验等问题,并对该领域提供一些积极建议。     

工程计量的方法及程序

计量支付是贯穿于公路建设工程始终的一项重要工作,是保证工程按质按期完工的重要条件。准确计量是保证承包人在工程完工后就可得到应得的付款．是承包人履约合同的一种表现;是对承包人已完成的合格工程数量进行确认的过程,由四方（承包商、驻地监理、总监办、业主）共同审核。监理处必须十分重视现场计量工作,分项工程完工后．及时组织质量验收与计量．做到严格按程序办事。     

论民事再审程序之重构--基于程序价值的基本思路

民事再审程序作为具体民事诉讼程序制度,体现和承载着民事诉讼程序自由、公正、安定和效益四种基本价值,因此,民事再审程序制度须以维护人的尊严为最高理念,融程序主体性原则于其具体程序规则之中,取消人民法院、人民检察院依职权发动再审,尊重当事人民事再审程序主导权,以体载民事诉讼制度现代化精神.     

基于移动终端的地铁隧道施工测量程序的研发

针对地铁隧道盾构机施工特点及实际需求,阐述程序的设计目标、功能模块、开发与使用平台、程序语言、数据管理方法等,并据此开发地铁隧道施工测量与检测程序。程序在卡西欧fx-FD10Pro计算器上开发与运行,具备线路与隧道DTA三维坐标计算、盾构姿态计算、管片中心(隧道中心)计算、空间圆位置计算等功能。程序便于在现场计算盾构机和管片环姿态,在十余个地铁施工项目中得到应用。     

基于SAT的可逆线路检测集生成算法

可逆逻辑是量子计算的基本特征,也是日益突出的低能耗需求的一种解决方案。根据可逆电路的可控制性和可观测性,论文提出了一种基于逻辑可满足性的算法来自动产生单门失效错误的完备检测集。基于k-NOT门的可逆逻辑线路中的数据传输进行线性建模,用线性时态逻辑描述单门失效错误约束,运用SAT求解器寻求反例的方法自动生成可逆电路的错误检测集。实验结果显示,本方法能够有效的应用于不规则和复杂的基于k-NOT门的可逆逻辑线路,自动化程度高。     

液塑限联合测定法试验方法探究

鉴于“液塑限联合测定法”在测定土的界限含水率时,普遍存在操作难的问题,通过大量试验研究,对液塑限联合测定法加以改进,简化了试验操作,具有一定的实用价值,可供试验人员参考使用.     

土基承载能力的试验方法探析

当前,土基的承载能力试验是检验一条高速公路是否合格的重要指标。对目前普遍使用的几种测量土基承载能力的途径进行深入分析,可以更好地对我国高速公路建设进行指导。     

基于一种冷补乳化沥青混合料的修正马歇尔试验方法研究

采用室内试验方法,对一种用于公路冷补的乳化沥青混合料马歇尔试验方法进行了研究,得出了乳化沥青混合料马歇尔试件的养生条件、击实方法以及试验温度等关键参数.结果表明该冷补料马歇尔试件在60％烘箱中养生48h后二次击实,与冷补路面的实际情况相符,在40℃水浴温度条件下进行马歇尔稳定度试验,其结果接近热沥青对比试件的试验结果.     

道路交通信号控制机测试方法探讨

道路交通信号控制机是控制交叉路口交通信号的重要设备,通常各种交通控制方案最终都要通过控制机来实现．故其功能与整机可靠性非常重要。基于此,提出信号机功能测试项目及相应的测试方法,对于相关的测试具有重要的意义。     

基于层次分析法的超高性能混凝土生产质量评价体系

超高性能混凝土(UHPC)因具有超高的强度、耐久性及韧性而得到了较为广泛的应用。为确保超高性能混凝土质量,减少因生产过程导致超高性能混凝土质量不合格而令混凝土力学性质降低,本文通过层次分析法(AHP)分析了影响超高性能混凝土质量的13个因素,并计算各个因素的权重,进而构建了UHPC质量评价体系。研究表明,超高性能混凝土配合比设计C8和施工工艺中的搅拌C10、浇筑C12及养护C13是影响超高性能混凝土生产质量的主要因素。研究结论可为UHPC生产质量控制提供参考和借鉴。     

道路交通信号控制机测试方法探讨

道路交通信号控制机是控制交叉路口交通信号的重要设备,通常各种交通控制方案最终都要通过控制机来实现,故其功能与整机可靠性非常重要。基于此,提出信号机功能测试项目及相应的测试方法,对于相关的测试具有重要的意义。     

基于评价指数的属性约简算法

从粗糙集理论出发,提出可分辨关系和对象差异矩阵的概念,并以此为基础构造出基于评价指数的属性约简算法.算法采用自底向上的方法,利用属性的评价指数作为启发式信息,求得属性集合的约简.在多个UC I数据集上进行试验,理论分析和实验数据表明,文中提出的属性约简算法是有效、可行的,具有较高的效率.     

基于层次分析法的施工技术方案决策研究

在工程实践中往往会面临施工技术方案的选优决策问题,尤其是当方案评价指标性质不同,在定性和定量分析时不能简单地进行比较与评价。本文就小金山大桥浮式平台施工中的三种起吊系统的方案选优与决策问题,应用层次分析法基本决策理论,结合桥位处具体水文条件,通过建立模型进行层次分析和一致性检验,实现了最优选择。     

16m先张空心板梁放张过程中的应力测试与分析

通过对某高速公路一16 m空心板梁放张过程中关键截面进行理论分析与应力测试,找出了该类型空心板梁放张过程中关键受力截面的应力变化规律以及空心板底板容易出现纵向裂缝的原因,得出了一部分有益的结论,可以为该类型梁体的施工与设计提供参考。