排序方式: 共有45条查询结果,搜索用时 15 毫秒
1.
2.
3.
结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求. 相似文献
4.
5.
针对智能环境中活动模式的学习和挖掘花销大、难以实际操作等问题,提出了能够有效地将已有活动模式迁移到新环境的整体框架。迁移学习框架将活动模式的迁移过程分解为轨迹的迁移和触发持续时间的迁移,首先对已有活动模式中的活动轨迹以及触发持续时间模糊化;然后采用备选轨迹生成(ATSG)算法在新环境中生成备选轨迹集;最后采用相似度计算(SC)算法进行活动模式中的轨迹与备选轨迹间的匹配,利用活动轨迹映射(TM)算法和触发持续时间迁移(TDT)算法对活动信息进行迁移,从而在新环境中得到活动模式。理论分析和实验结果表明,相比于基于频繁模式挖掘得到活动模式的方法,本文方法大幅度地降低了得到活动模式所需的时间开销,同时,利用本文方法获取的活动模式取得了较好的活动识别效果。 相似文献
6.
J.S. Mandeep 《Advances in Space Research (includes Cospar's Information Bulletin, Space Research Today)》2013
Fade duration database was built to enhance the study of propagation characterises in the Equatorial region. The data was measured via a beacon receiver Ku-band whereby the antenna was directed to a SUPERBIRD-C2 satellite at 12.255 GHz. The performance of the measured data has been compared with ITU-R model, Kormanyos et al. and Paulson–Gibbins. The results show that the Paulson–Gibbins fits well with measured data with a low RMS error of 0.2 dB. The number of statistics available for the equatorial is small and the periods of measurement are short compared to those for temperate regions. 相似文献
7.
8.
9.
在中轨卫星移动通信系统中 ,确定小区驻留时间分布对于合理地规划切换策略具有十分重要的意义。文中指出了地球固定覆盖与卫星固定覆盖两种方式下小区驻留时间分布不同的原因。提出一种仿真计算卫星固定覆盖方式下小区驻留时间分布的方法 ,得出了数值结果 ,并与地球固定覆盖方式下的小区驻留时间分布作了比较 相似文献
10.
The success of long-duration space missions depends on the ability of crewmembers and mission support specialists to be alert and maintain high levels of cognitive function while operating complex, technical equipment. We examined sleep, nocturnal melatonin levels and cognitive function of crewmembers and the sleep and cognitive function of mission controllers who participated in a high-fidelity 105-day simulated spaceflight mission at the Institute of Biomedical Problems (Moscow). Crewmembers were required to perform daily mission duties and work one 24-h extended duration work shift every sixth day. Mission controllers nominally worked 24-h extended duration shifts. Supplemental lighting was provided to crewmembers and mission controllers. Participants' sleep was estimated by wrist-actigraphy recordings. Overall, results show that crewmembers and mission controllers obtained inadequate sleep and exhibited impaired cognitive function, despite countermeasure use, while working extended duration shifts. Crewmembers averaged 7.04±0.92 h (mean±SD) and 6.94±1.08 h (mean±SD) in the two workdays prior to the extended duration shifts, 1.88±0.40 h (mean±SD) during the 24-h work shift, and then slept 10.18±0.96 h (mean±SD) the day after the night shift. Although supplemental light was provided, crewmembers’ average nocturnal melatonin levels remained elevated during extended 24-h work shifts. Naps and caffeine use were reported by crewmembers during ∼86% and 45% of extended night work shifts, respectively. Even with reported use of wake-promoting countermeasures, significant impairments in cognitive function were observed. Mission controllers slept 5.63±0.95 h (mean±SD) the night prior to their extended duration work shift. On an average, 89% of night shifts included naps with mission controllers sleeping an average of 3.4±1.0 h (mean±SD) during the 24-h extended duration work shift. Mission controllers also showed impaired cognitive function during extended duration work shifts.These findings indicate that extended duration work shifts present a significant challenge to crewmembers and mission support specialists during long-duration space mission operations. Future research is needed to evaluate the efficacy of alternative work schedules and the development and implementation of more effective countermeasures will be required to maintain high levels of performance. 相似文献