当代创新的五个社会特征

本文以当代世界科技创新活动为背景，分析了当代创新的社会性、效用性、时效性、持续性和系统性。     

正规基上的快速乘逆算法

根据有限域GF(2~m)上的正规基表示,本文提出一种新的快速乘逆算法。该算法把计算乘逆的复杂忭从O(m)降低到O(1/m)。     

Increased urinary excretion rates of serotonin and metabolites during bedrest

Astronauts are often on a voluntarily reduced energy intake during space missions, possibly caused by a metabolic or emotional stress response with involvement of the central serotonergic system (SES). We investigated 24 h urinary excretion (24 h-E) of serotonin (5-HT) and 5-hydroxyindol acidic acid as indicators of the SES in healthy males under two different normocaloric conditions: normal physical activity (NPA) and -6 degree head-down-tilt (HDT). HDT or NPA were randomly arranged with a recovery period of 6 months in between. 24 h-E of hormones varied widely among individuals. Values were higher in HDT compared to NPA. Assuming that the 24 h-E values are, beside being indicators for alterations in the number and metabolism of platelets. Also indicators of central SES, HDT condition seems to activate central SES in a higher degree compared to NPA. Therefore, changes in central SES might be involved in the mechanisms associated with space flight or microgravity, including possible maladaptations such as voluntary undernutrition.     

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

基于多GPU的大型线性和非线性方程组的求解(英文)

在处理工程问题时,常常需要对线性或非线性方程组进行求解。对于实际应用中经常遇到的大型方程组进行求解则需要相当长的时间。使用图形处理器(GPU)代替传统的CPU,将多块GPU通过操作系统进行协调,并将PBi-CGstab方法和Inexact Newton方法进行适合多GPU并行的改造以此作为多GPU求解器的核心算法,加速求解大型线性和非线性方程组。本文的多GPU求解器在成倍扩展了单GPU求解器允许的计算规模的同时取得了令人满意的加速比。     

基于粗集理论的系统评估

讨论了基于粗集理论的系统综合评估和运用粗集理论进行系统评估指标体系的选择。给出了基于粗集理论进行系统综合评估的一般步骤，研究了运用粗集基本理论进行评估指标体系建立的方法，最后的实验结果验证了本文方法的有效性。     

基于网络化测试技术的通信装备维修保障

未来信息化战争条件下,通信装备朝着网络化、标准化、通用化、系列化、模块化的方向发展,首先在分析现有通信装备维修保障中存在的问题和不足的基础上,提出了应用网络化测试技术的意义,并给出了系统的总体结构和两种软件设计方法;然后对现有通信装备的网络化改造提出了通过连接PC机间接接入,通过接口转换模块接入,现场智能设备嵌入TCP/IP协议三种方式,并对他们进行了分析.     

航空带垫卡箍刚度及阻尼特性分析与试验验证

研制了带垫卡箍刚度测试装置,分别对不同规格卡箍线刚度和扭转刚度进行了测量,并将卡箍刚度测量数值引入卡箍-管路系统有限元模型,通过管路固有特性数值计算与试验测试结果对比,误差在5％左右,验证了卡箍刚度参数的准确性.进一步搭建了卡箍阻尼测量系统,通过测量卡箍动态传递率,获得相对应的模态阻尼比,并将卡箍阻尼测量数值引入卡箍-...     

构建基于ISO9000标准的高等职业教育质量保障体系

ISO9000是国际社会普遍认可的先进管理思想和管理方法,以通过持续的质量改进来增进顾客满意为目标.构建以ISO9000为标准的高等职业教育教学质量保障体系,可为高等职业教育的健康发展提供良好的保障,使其发展处于良性的、可持续的状态.