变电站球形视频监控设备清洁工具的研制与应用

为了能够提高变电站中球形视频监控设备清洁的效率,减轻设备维护人员的工作强度,降低设备维护成本,增强维护人员工作时的安全性,提高变电站设备日常监视和事故追查中的准确性,保障电网安全。文中介绍了一种变电站球形视频监控设备专用清洁工具的研制过程,以及此专用工具在地区所属各变电站视频设备维护中的应用情况。     

创意生成挑战赛

美国国家科学基金会在新的大数据研究计划上投资近1500万美元,这也是创意生成挑战的开始。去年10月,以美国国立卫生研究院(NIH)为支撑,美国国家科学基金会(NSF)公布了投资近1500万美元的大数据基础研究项目。这些经费有助于开发从大型数据集中提取和使用知识的新工具和新方法,以此加快科学和工程研究与创新的进程。这些补助金用于NIH-NSF联合体,要求联合     

加入古洪水资料后的设计洪水成果合理性分析

根据长江,黄河,海河及淮河的部分河段上古洪水研究工作取得的成果,按水利水电工程实际洪水计算的方法,将有古洪水资料的洪水计算成果与无古洪水资料的设计洪水成果相比较,从参数区域协调平衡、相同控制面积下设计洪水成果等的合理性检查方面论述加入古洪水资料后其设计洪水成果的合理性。     

QoS策略控制的研究与解决方案

随着因特网用户的迅速增加和Web的广泛应用，目前的网络技术面临很大的挑战，越来越多的多媒体业务吞噬掉大量的带宽，造成了网络的拥塞，于量，人们使用QoS来有效地利用带宽，保证紧急业务数据的传输。文中介绍了QoS的协议和基本组成部件，并在此基础上，提出了QoS策略控制的概念以及基本思想，着重分析了QoS策略控制的结构模型以及各个组成部分之间的运作方式，最后介绍了在QoS策略控制系统中，数据包在策略的控制下传输的过程，以及在现实的环境中，策略的制定方案。     

基于DTE技术的完整性保护形式模型

为实现结构化保护级操作系统的完整性保护，本文在深入分析完整性策略的结构和涵义的基础上，提出了基于DTE技术的完整性保护的形式模型；该模型由两部分组成：配置DTE的基本规则和状态迁移模型，前者解决如何设置相应的域和型，后者解决在系统变迁过程中如何维持初始设置获得的安全不变量．模型设置了10个不变量，特别提出了新的处理信息流的不变量，并探讨了与文献中相关不变量的关系．以可操作性很强的方式描述了13个具有良好原子性的迁移规则．随后，证明了相应的安全基本定理．在深入分析文献中现有模型与本模型异同的基础上，探讨了不变量设置的合理性．最后，指出未来要完成的工作，特别，用本模型去分析SELinux的安全性是可能的．     

瑞士军刀多少秘密在其中

瑞士军刀的万用特点早已家喻户晓了,而美国展出的一把号称“瑞士军刀之母”的军刀,又会如何的神奇呢？请看——,瑞士军刀,又常称为瑞士刀或万用刀,是含有许多工具在一个力身上的折叠小刀,由于瑞士军方为士兵配备这类工具刀而得名。     

修整力的分析与研究

本文系统地研究了修整参数(修整切深a_d、修整进给量f_d、修整速度V_d)、修整工具的磨损和冷却液对法向修整力F_(nd)变化的影响规律。用回归正交试验法,建立了法向修整力与修整参数之间的经验公式: 计算值与实测值相近,证明公式可靠。实验证明,法向修整力随着金刚石磨损而增加;冷却液对修整力影响不大。     

含内生协变量的泊松回归模型的经验似然推断

在模型的协变量为内生性协变量的情况下,考虑泊松回归模型的经验似然统计推断问题。通过结合一些辅助变量信息作为工具变量,提出一个基于工具变量的经验似然统计推断过程。数据模拟表明构造的经验对数似然比函数渐近服从标准卡方分布,进而给出了回归系数的置信域。并且模拟结果表明所提出的统计推断方法可以有效地消除协变量的内生性对估计精度的影响。     

Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control

Sixty years have passed since numerical control of machine tools was first demonstrated at MIT. Since then, rapid developments in advanced manufacturing technology have posed new challenges and requirements, among them faster machining （high-speed machining）, higher feed-rates, more accurate parts and better surface finish. Not only are sophisticated computer- enabling technologies needed to cope with these challenges, but also significantly improved and more sophisticated mathematical tools. These emerging challenges and requirements under- score the growing importance of mathematical methods and algorithms. On the other hand, new challenges, optimization functions and constraints, arising in the field of advanced man- ufacturing have also stimulated the development of new branches of industrial and applied mathematics. Mathematics and Algorithms for Computer-Aided Manufacturing, Engineering and Numerical Control （MAMENC） is an annual workshop organized by the National Cen- ter for Mathematics and Interdisciplinary Sciences of China （NCMIS）. The workshop＇s topics focus on how mathematical methods and algorithms interact with computer-aided manufac- turing, computer-aided engineering and computer numerical control. MAMENC 2012 is the second workshop in the series. The first was held in Beijing in 2011, and the proceedings were published in the September 2012 issue （number 3） of the Mathematics in Computer Science journal under the title Special Focus on Mathematics and Algorithms for CAM and CNC.     

“悟性技术”与“理性技术”——对轴心时期中国与西方技术特点的比较分析

以轴心时期中西方经典技术文本的代表《考工记》与《建筑十书》为切入点,借助技术哲学的分析框架,发现中西方工匠技术主体虽然都是“人”（工匠）,但中国工匠技术是在礼乐、阴阳等文化规训下,工匠凭借经验,依靠身体技术与工具技术,以实现制器造物的“悟性技术”,区别于古罗马在古希腊人文、神学等文化影响下,建筑师以“理性技术”制导工匠“悟性技术”,以实现科学化、标准化等造物的技术。