熔融石英耐火材料

阐述了熔融石英耐火材料的主要性能与应用领域。     

基于空间几何方法的乒乓球机器人最优姿态求取

首先分析了仿人机器人手臂的空间几何构型,特别是针对在给定任务下末端执行器的姿态约束不完整的情况.并在此基础上,以机器人手臂的整体动能最小为目标,优化球拍绕其法线方向的旋转角.同时从整个机器人手臂动能的方面对机器人手臂的末端执行器姿态进行优化分析,并确定最优条件,即手臂所构成的平面与球拍运动速度向量所形成的平面互相垂直,然后根据最优条件及各连杆间的关系建立方程,求解出最优的末端姿态角,以减少机器人手臂运动所引起的振动.最后,通过仿真结果从动能求取和轨迹规划等方面验证了提出的方法的有效性.     

CaSO_4晶须对聚氨酯胶粘剂性能影响的研究

用实验室自制的相对分子质量为2500的聚己二酸-1,4-丁二醇酯二醇和甲苯二异氰酸酯、混合扩链剂配制聚氨酯胶粘剂,并使用实验室自制的改性和未改性200nm硫酸钙晶须对聚氨酯胶粘剂进行改性,考察不同硫酸钙晶须及其加入量、加入方式对聚氨酯胶粘剂综合力学性能的影响。根据实验结果,200nm改性硫酸钙晶须当加入量为3％时,聚氨酯胶粘剂的拉伸强度、初粘性和最终剥离强度均有明显提高。     

On the complexity of role updating feasibility problem in RBAC

In Role Based Access Control (RBAC) systems, it is necessary and important to update the role–permission assignments in order to reflect the evolutions of the system transactions. However, role updating is generally complex and challenging, especially for large-scale RBAC systems. This is because the resulting state is usually expected to meet various requirements and constraints. In this paper, we focus on a fundamental problem of role updating in RBAC, which determines whether there exists a valid role–permission assignment, i.e., whether it can satisfy all the requirements of the role updating and without violating any role–capacity or permission–capacity constraint. We formally define such a problem as the Role Updating Feasibility Problem (RUFP), and study the computational complexity of RUFP in different subcases. Our results show that although several subcases are solvable in linear time, this problem is NP-complete in the general case.     

Estimation bias of ocean current measured by along-track interferometric synthetic aperture radar and its compensation methods

In previous works on current measured by along-track interferometric synthetic aperture radar (ATISAR), the decorrelation function of an ocean-surface backscattering signal was usually assumed to be a real Gaussian function, i.e. the phase term was omitted. In this study, it is proved that the omission of the phase term included in the decorrelation function results in a significant estimation bias that can be modelled by a higher-order function of time lag and that the coefficients of this higher-order function can be expressed as a series of higher-order Doppler spectral moments. This model is validated by the scatterometer data obtained from an experimental wind-wave tank. The estimation bias especially needs to be considered for the ATISAR system with a long time lag. Simulation results show that if the time lag is equal to the coherence time, the estimation bias of the current can reach about 0.2 m s^?1, which is not insignificant in high-precision current-retrieving applications. However, because most real-life ATISAR systems, including TerraSAR-X, operate with time lags significantly shorter than the expected coherence time, the estimation biases in these systems are relatively small or even negligible. Finally, four possible compensation methods for the estimation bias are proposed and discussed.     

Rate control of hierarchical B prediction structure for multi-view video coding

Rate control plays an important role in regulating bit streams in video coding. In order to obtain good coding performance, the hierarchical B prediction structure has been adopted in Multi-view Video Coding (MVC). However, the conventional rate control scheme is not efficient in the hierarchical B prediction structure. In this paper, we propose a rate control algorithm to address this problem. First, the accurate estimation of Mean Absolute Distortion (MAD) of the current frame is desired for both quantization parameter (QP) selection and Rate Distortion Optimization (RDO). Considering the hierarchical B structure, a bi-directional MAD prediction model is proposed to predict the MAD of the current frame by using the actual MADs of the encoded frames in the lower Temporal Layers (TLs). Second, the number of header bits has a close relationship with the TLs in the hierarchical B prediction structure. Therefore, we propose an enhanced prediction method in which a proportional relationship of the header bits is introduced if the frames are located in different TLs. Experimental results show that our proposed algorithm can achieve both accurate target bit rate and good coding performance.     

Know by a handful the whole sack: efficient sampling for top-k influential user identification in large graphs

Influence Maximization aims to find the top-K influential individuals to maximize the influence spread within a social network, which remains an important yet challenging problem. Most existing greedy algorithms mainly focus on computing the exact influence spread, leading to low computational efficiency and limiting their application to real-world social networks. While in this paper we show that through supervised sampling, we can efficiently estimate the influence spread at only negligible cost of precision, thus significantly reducing the execution time. Motivated by this, we propose ESMCE, a power-law exponent supervised Monte Carlo estimation method. In particular, ESMCE exploits the power-law exponent of the social network to guide the sampling, and employs multiple iterative steps to guarantee the estimation accuracy. Moreover, ESMCE shows excellent scalability and well suits large-scale social networks. Extensive experiments on six real-world social networks demonstrate that, compared with state-of-the-art greedy algorithms, ESMCE is able to achieve almost two orders of magnitude speedup in execution time with only negligible error (2.21 % on average) in influence spread.     

程控多路宽电压通道切换电路设计

为克服传统校验方法的不足,简化自动化测试设备的面板设计和校验过程,基于单片机技术和RS-422通信接口,设计了一种程控多路宽电压通道切换电路。介绍了电路工作原理、元器件选择、软硬件设计过程。该电路已经在多台测试设备的校验环节得到应用,工作性能稳定。     

C#利用Web Service编程接口实现动态天气预报

许多政府或企业网站除展示与本单位密切相关的信息外,往往也集成一些小的功能性的、与用户日常生活密切相关的,类似于提供火车时刻表、天气预报等辅助信息,采用C#利用Web Service提供的编程接口实现了实时天气预报功能,并能根据访问者所在地自动提供其相关的天气信息。     

精品视频公开课拍摄技术与制作研究

根据国家教育部精品视频公开课拍摄制作技术标准(2013年版),将拍摄精品视频公开课过程中前期准备策划工作、摄像机的机位设置和拍摄角度、视频后期制作等问题进行分析。