基于BIM技术的室内照明仿真模拟软件计算精度解析

建筑照明专业参与BIM （building information modeling）技术的同平台作业还处于起步阶段。DIALux evo 8.2和ElumTools 2019.07是目前仅有的参与BIM技术的室内照明仿真模拟软件。采用CIE （Commission Internationale de i''Eclairage）发布的CIE 171：2006—test cases to assess the accuracy of lighting computer programs的5.2至5.8测试用例，通过验证这2款软件的计算精度，分析得出软件性能的优缺点。结果表明：在计算点光源直接照度、面光源直接照度以及光通量守恒性能这3个方面，2款软件均具有较高精度；计算大面积漫反射、遇遮挡和不同反射率这3种情况的间接照度时，DIALux evo 8.2计算精度优于ElumTools 2019.07；计算小面积漫反射的间接照度精度时，ElumTools 2019.07计算精度优于DIALux evo 8.2；计算定向透射性能时，这2款软件精度均比较低。进一步分析得出：核心算法是产生误差的主要原因，2款软件信息交换均存在一定缺陷。因此，采用光子映射算法，创建建筑与照明全信息交换接口将成为未来基于BIM技术的室内照明仿真模拟软件的研发方向。     

高校新会计制度下的财务软件应用问题探讨

针对财政部于2014年1月1日颁布并实施的新修订的《高等学校会计制度》,分析了新旧制度在财务软件应用上的变化,理清解决思路;以神州浩天财务软件4.5版为例,探索适应新高校会计制度的具体操作方案。     

基于Java跨平台数字图像处理技术的塞曼效应实验软件改进

基于Java跨平台数字图像处理技术,对塞曼效应实验CCD图像处理软件进行了开发与改进.测试结果显示,所开发的图像处理软件能很好地实现跨平台作业,且由于采用多点拟合代替原系统中的3点拟合,进一步提高了实验精度.     

考虑动态多时段借还车需求的城市自行车租赁系统规划模型

建立了一个自行车租赁系统规划模型。该模型考虑一天中动态的自行车借还车需求及租赁分区自行车和空闲停车位数量的动态变化，通过优化各租赁分区的自行车停车桩(或对共享单车为停车位)数量，以及运营时段初始各小区分配的自行车数量，在保证所有的自行车借还车需求均能得到满足的基础上，最小化总的投资建设成本。模型为一个大型整数线性规划问题，通过LINGO软件中内置的分支定界算法，可快速求得全局最优解。通过算例对该模型进行了验证。     

“再用式”软件开发方法

笔者根据当前软件开发的现状,提出了一种在保证当前开发质量及效率的前提下,还能让以后的软件开发人员重用已开发软件资源的“再用式”软件开发方法.该方法结合了面向对象及快速原型法的优点:针对软件开发中的需术多变性,用快速原型法进行需求分析,在后续的开发中,以面向对象为基础,用各种“级别”不同的可重用软部件组装系统,在对软部件不断的创建(只在没有所需部件时才创建)、重用及组合中完成系统的开发.这种方法可以有效地提高软件的整体开发效率.文中最后对该方法的进一步研究方向进行了探讨.     

GIS数字化数据的平差模型及软件实现

从研究地图数字化中规则地物的几何约束条件出发,进一步探讨了数字化数据的平差模型和条件平差迭代计算方法,给出了其相应的精度评定指标,并在研制的1套实用数字化软件中实现．计算表明,对数字化数据进行平差处理和选代计算,对提高数字化的精度十分必要,而且由平差计算得到的中误差可以作为评定数字化结果的精度的1个参考目标,从而对GIS空间数据质量进行有效的评定和控制     

从电气联锁到计算机联锁

随着科学技术的进步,电气联锁系统正被计算机联锁系统所取代．本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思路．     

暖通CAD信息流分析和公用数据库的研究

分析了暖通ＣＡＤ信息流的特点,提出了交互式,集成化,智能化暖通ＣＡＤ的开发构想,同时从暖通设计过程的信息流入手,开发了基于图形用户界面思想的公用数据库及其管理繁育 及基于谐波反应法的负荷计算软件。     

一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。