A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions

We describe a software tool for performing automatically verified arithmetic operations on independent operands when the operands are intervals, or probability distribution functions, or one operand is an interval and the other is a distribution. Intervals and distributions are expressed using the same technique, so the algorithms do not need to distinguish between intervals and distributions in their operation. The tool can calculate common arithmetic operations with guaranteed results (as well as confidence limits on a distribution if the distribution is empirically estimated from samples).A previous paper [1] discusses the concepts, algorithms, and related work. Here we emphasize a software tool that implements the algorithms, interacts with the user via a graphical user interface, and saves, retrieves, and prints the results of its calculations.     

预烧淬火速度对NiCuZn铁氧体性能的影响

采用传统的氧化物法制备NiCuZn铁氧体,预烧保温后采用了三种不同方式冷却,研究了冷却速度对材料微观结构和磁性能的影响。发现随着冷却速度的加快,可获得更好微观结构、更高起始磁导率、更低损耗、更高烧结密度之低温共烧材料。     

信息安全系统中一种高速随机序列发生器的设计与实现

对原来的真随机序列发生器进行研究和分析，指出存在的主要问题是：序列的输出速度较慢，把小波分析理论用于真随机序列发生器，改变原来的输出方式，设计一种新的高速随机序列发生器，以满足快速发展的信息安全系统的要求．     

一种真空热解废电缆回收装置

本装置采用真空加热裂解塑料外皮并配以对热解气体进行化学处理的方法来回收废电缆金属.本装置具有处理废电缆回收金属经济、干净,无废气、废水、废渣排放,对环境无二次污染.装置结构简单易操作,占地面积小,适合对大量废电缆回收金属使用.     

思想政治教育过程规律新论

思想政治教育规律是思想政治教育基础理论研究的重点问题之一。概括了学术界对此问题的基本观点，指出了传统研究存在的忽视人的个性、主体性和需要的不足，提出了社会化和个性化相统一，互教性和自教性相统一，要求和需要相统一是现代思想政治教育的三大规律。     

CAD图形档案管理系统的开发

为保护和再利用已有的设计成果，应用计算机技术和软件工程以及图档管理流程化的思路，在WorkFlow平台上成功开发了CAD图档管理系统。该系统以数据库为核心。采用“卡片式”管理，每一个图档信息都被连结到工作流程中。可有效地对图档及其相关信息进行控制；具有查找图档更加快捷、运行效率高、支持多种常用文件格式等特点。     

考虑风电接入和气电转换的综合能源系统日前区间优化

针对气电综合能源系统优化调度中未充分挖掘可调度因素、未充分考虑风电预测误差不确定性的现状,研究含风电的气电综合能源系统日前区间优化调度方法。首先,基于区间数学对风电出力的不确定性进行区间描述,综合考虑抽水蓄能、气电双向转换以及需求响应等资源和技术,并用区间数学表示优化目标和优化约束,构建含高比例风电的气电综合能源系统日前优化模型,综合优化系统的经济性、环保性。然后,基于区间序关系和可能度的方法将区间优化模型转化为确定性优化模型,继而采用Jaya算法进行求解,保证求解的高效性和解空间的可行性。最后,进行算例分析,仿真结果验证了综合利用抽水蓄能、气电双向转换以及需求响应等要素对系统进行区间优化,能取得优化效果上的优势,并能为系统调度人员提供风电不确定度对系统优化影响的信息。     

绿色校园建设的思考与实践——以常州工学院新校区绿建设计为例

文章简要介绍了常州工学院新校区建设的基本情况,并根据该校绿色校园的建设目标,从绿色建筑评价标准和设计流程的角度分析了程序式绿色校园设计的优点、缺点和解决方法,最后指出绿色校园设计是满足学校和设计方可持续发展目标的共同需要。     

臭氧降解低浓度四溴双酚A及生物毒性控制

为考察臭氧氧化技术对水中低质量浓度四溴双酚A的降解和毒性控制效能,利用臭氧反应装置研究不同pH和臭氧投加量条件下四溴双酚A(质量浓度为0.15 mg/L)的降解效果,考察反应过程中水样的急、慢性毒性和遗传毒性的变化规律及控制效果,分析毒性变化内在原因,并提出可能性降解机理.结果表明,当溶液pH为7.0、臭氧投加量为0.12 mg/L,四溴双酚A可被完全降解.反应初期,水样的急、慢性毒性迅速升高,原因主要是产生了毒性更高的有机中间产物;随着反应的进行,有毒中间产物被深度降解,急、慢性毒性均得到有效控制,且随着臭氧投加量的增加毒性控制得更快、更显著.当臭氧投加量为0.12 mg/L时,急性毒性在反应20 min时即可被完全控制,慢性毒性在反应60 min也被控制至0.76 TU,反应后水样的急、慢性毒性均满足排放标准.反应过程中水样的致突变比均小于2.0,不具有基因水平的遗传毒性.降解机理分析表明,臭氧降解四溴双酚A主要包括脱溴、β位断裂、加成、去羟基化、甲基化等反应过程.     

基于溶剂热反应快速沉积ZrO_2-基激光光学薄膜

基于丙醇锆-乙酸-乙醇混合体系的溶剂热反应（423 K,10 h）合成了稳定的ZrO2-基溶胶,采用旋转镀膜技术在K9玻璃基片上制备了ZrO2-基光学薄膜。借助动态光散射、傅里叶变换红外光谱、原子力显微镜、紫外/可见/近红外透射光谱、FilmTMTek 3000型薄膜分析仪以及强激光辐照实验对溶胶与薄膜的微观结构及光学性能进行表征。研究发现,通过与溶剂乙醇的酯化反应和与丙醇锆的配合反应,乙酸具有温和地提供反应水和降低丙醇锆水解活性的双重作用。在各工艺参数适当配置的情况下,采用该方法可以快速合成颗粒流体力学直径为10 nm~15 nm的溶胶,由此沉积的薄膜具有平整的表面、较高的折射率1.633（测试波长为632 nm）和高的激光损伤阈值34.7 J/cm2（激光波长为1 064 nm,脉冲宽度为3 ns,＂R/1＂测试模式）。