契约对重构中行为保持的作用

应用软件重构技术,需要解决修改代码却不影响程序原有功能的问题.文章利用契约式程序设计思想解决重构的行为保持问题,给出了契约式重构(Refactoring by Contract)方法,并应用Java语言给出了这种方法的具体实现过程.     

非饱和黄土动力特性试验方法研究

由于适应变形的能力较差,非饱和黄土在常规动三轴试验中一般难于得到较为准确和具有较好规律性的试验结果.提出的应用动扭剪三轴仪对非饱和黄土动力特性进行试验的方法,避免了常规动三轴仪振动过程中的固有缺陷.将该方法应用于对杨凌非饱和黄土在不同湿度条件下进行了动强度及动模量和阻尼比试验,试验过程中实现了对非饱和黄土的孔隙水压力和孔隙气压力的动态测量,试验结果取得了比较明显的规律性.     

基于多目标0-1规划的采掘作业计划优化

为了满足矿山精细化管理的要求,实现生产的安全性和高效性目标,针对地下金属矿山传统计划编制时存在主观性强、实时性差、效率低、误差大以及难以求得全局最优解的弊端,以采掘车间月出矿量、月出矿平均品位、月生产利润为目标,以采场地质条件、车间生产能力、生产任务以及生产原则为约束,构建基于多目标0-1规划的采掘车间作业计划优化模型。模型采用理想点法对目标函数进行降维,决策变量为二维0-1变量,从空间和时间2个维度描述了采掘车间的生产决策状态,简化了模型的求解过程,在LINGO求解器中编写模型语言进行求解,进而得到计划周期内的最优排产方案。以某地下黄金矿山车间作业计划编制为应用案例,解算出某月采场开采的最优时序方案,并用甘特图进行直观展示。结果表明:该模型适用于地下金属矿山采掘作业计划编制,克服了手工编制方法的弊端,保证了采掘车间生产指标的动态平衡,有利于提高矿山的经济效益。     

明确目标,探寻适合企业的集团化组建方式——以Y公司企业集团组建项目为例

正在国家发展进入新常态、宏观环境不断变化情境之下,建筑行业的发展趋势及竞争格局也随之发生了变化,很多施工及设计企业显现出来单兵作战的疲态,积极尝试与其他企业建立深度合作关系。组建企业集团、实现集团化发展成为企业抱团取暖、寻求转型升级的重要手段。本文以某省级设计院Y设计院组建企业集团为例,对企业寻求集团化发展中的注意事项进行总结。     

上海光源剂量联锁PLC系统和故障记录

上海光源恒流注入模式需建立辐射剂量硬件联锁。剂量联锁系统以PLC为基础,采用一主站四从站的现场总线布局,通过语句表编程实现逻辑综合,并具有故障记录功能。程序采用字逻辑将状态输入与设定屏蔽位图进行比较,逐个模块地检查有无累积剂量超限输入和瞬时剂量超限输入,综合后经断开延时形成累积剂量联锁输出和瞬时剂量联锁输出。程序通过双字逻辑比较,得到新近发生的故障位置和故障时间,形成故障记录。故障记录功能有助于参与联锁探测器的故障定点诊断和维护。     

JCOGIN粒子追踪算法优化

本文分析了多种先进蒙特卡罗程序的CSG粒子追踪算法,对JCOGIN粒子追踪模块进行了优化。粒子定位算法采取了边界粒子定位和源粒子位置预估,能减少一定量的粒子定位计算;径迹求交算法采取了安全距离优化和布尔二叉树展开,其中安全距离优化可减少电子输运径迹求交次数,布尔二叉树展开能使布尔体求交算法的时间复杂度降为O（n）。应用4个典型算例测试了优化效果,结果表明,粒子定位算法优化对于一般问题具有一定的优化效果,安全距离优化显著提升了电子输运效率,布尔二叉树展开大幅提升了JMCT对于非规则复杂几何的计算速度。     

0.18μm CMOS电路瞬时剂量率效应实验研究

利用脉冲激光源及脉冲X射线源,开展了超深亚微米CMOS反相器及CMOS静态随机存储器的瞬时剂量率效应实验,测量了CMOS电路瞬时剂量率效应,并与微米级电路的瞬时剂量率效应进行了比较。结果表明,对于CMOS电路,特征尺寸的缩小对其抗瞬时剂量率性能的影响与电路的规模有关。0.18μm CMOS反相器的抗瞬时剂量率性能远优于微米级反相器,而0.18μm CMOS静态随机存储器的抗瞬时剂量率性能远低于微米级及亚微米级存储器。     

碳化硅二极管在高压电源的应用研究

依据脉冲调制器高压电源的需要,研制基于平面绝缘芯变压器结构的高压充电电源。高压充电电源输出结构由多组输出线圈串联,所以电源输出整流二极管数量多,而二极管的功率损耗对电源密封输出结构的温升有直接的影响,所以分别对普通二极管、快恢复二极管和碳化硅肖特基二极管的工作特性进行仿真分析,分析了二极管的关断电流斜率和反向恢复峰值电流的关系,比较了三种二极管在电路中的功率损耗,并依此确定了应用于高压低电流电源上选择二极管的原则。选择C4D05120E(1200V9A)作为高压电源的整流二极管,设计了高压整流电路,并在实验中验证了二极管功率损耗,整体的功率损耗符合二极管功率特性的分析。