某型飞机主机检测系统设计与实现

为了解决某型飞机主机原检测系统落后，检测维护难的问题，从硬件设计和软件设计方面出发，给出了一种基于PXI总线的主机检测系统的设计与实现，重点对整体的硬件架构和仿真系统的设计与实现进行了论证，检测结果表明了新的检测系统的可行性和通用性．     

一个基于校园网的VOD系统的设计与实现

主要介绍一个基于校园网的VOD系统的设计与实现，概要说明VOD系统的工作原理，并详细地阐述系统易用性、稳定性和安全性的设计与实现，并给出详细的系统流程，最后对系统实现中的一些关键技术进行了讨论。     

基于Web的数值分析CAI系统的设计与实现

对网络时代的计算机辅助教学的实现方式进行了探讨，重点讨论基于Web的“数值分析CAI系统”（课件）的设计和实现过程，主要包括系统目标、功能分析与设计等。阐述基于Web的CAI系统的实现过程和方法以及系统实现中的关键技术，提出了开发基于Web的CAI系统的结构框架。     

嵌入式网络视频服务器模块的设计

本文在嵌入式系统技术的基础上，介绍一种基于嵌入式系统的视频采集模块的设计原理、实现方案和各组成部分实现的功能以及具体的实现电路，同时从嵌入式系统的原理出发，着重介绍了一种基于嵌入式Linux的视频采集的实现方法，并对嵌入式微处理器的设计、Linux操作系统的设计等关键技术进行了详细论述。     

高校档案馆电子公文检索系统设计与实现

本文首先介绍了某高校档案馆电子公文检索系统开发的背景，并且从电子文档管理和计算机应用两个角度分析了目标系统的特点，介绍了该系统的设计思路和实现方案。然后，文章着重介绍了系统在设计开发过程中，实现基于Web的电子公文档案检索模块的设计要点。     

分布式自行起吊小车电控系统的设计和实现

研究了基于Siemens Simatic 300PLC和ET200S远程I／O站的分布式自行起吊小车电控系统的设计和实现，系统为分布式现场总线结构，主站和子站之间使用Profibus—DP通信，易于设计实现和维护扩充。编程时采用模块化设计，各功能分别用FC实现，并且设计了完备的错误处理程序。系统在环境恶劣、高强度、高频度的生产过程中运行稳定高效，在起吊重量方面目前居全国首位。     

多媒体信息查询系统的设计与实现

介绍了一个自行研制的微机多媒体信息查询系统的设计方法及实现此系统的过程，讨论了系统的设计环境，系统功能结构及实现的养分技术。     

计算机监测单元系统的分析与研究

针对现有系统监测工具可扩展性的不足，提出计算机监测单元系统，实现为管理员提供批量计算机系统监测的管理平台。通过研究，设计了具有CPU监测器、系统物理／虚拟内存监测器、进程监测器和各性能指标的统计器系统。系统采用了C＋＋语言和面向对象的分析、设计和实现方法。目前，系统已实现了一个具备可扩展性的数据采集系统架构，并基于此架构初步实现了各性能数据的实时采集；但也存在着不能根据历史记录对数据的走向作进一步智能预测的不足。     

基于数据库链表的工作流管理技术实现

为了提高办公自动化系统的复用和二次开发能力，需要设计一个合理的工作流管理引擎。在研究工作流和实现高校办公自动化系统的基础上，设计并实现了一个双向的数据库链表工作流管理引擎。该引擎可灵活定制，大大提高了系统的开发效率，在整个办公自动化系统中很好的起到了核心协调的作用。     

高层建筑水喷雾灭火系统的自动控制分析

高层建筑水喷雾灭火系统的设计是当前建筑施工过程之中的核心环节，要以切实的思想和完善的理念不断的实现对高层建筑水喷雾灭火系统设计工作的持续改进。本文分析了高层建筑水喷雾灭火系统设计过程之中的相关难点，同时对相关系统的自动控制方案和设计的最终思想等进行了系统性的分析，旨在以此为基础更好的实现对传统工作的改进。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.