基于视频技术的交通场景背景生成方法研究

文章通过对交通视频场景特点的分析,提出了基于视频技术的交通场景背景生成及其更新方法——背景相异像素迭代法。并通过试验及与其他多种算法进行比较,证明了该算法背景生成和更新的可行性和先进性,解决了在交通流密度比较大的情况下背景难于生成和更新的问题。     

Modelling daily activity program generation considering within-day and day-to-day dynamics in activity-travel behaviour

This paper presents a comprehensive econometric modelling framework for daily activity program generation. It is for day-specific activity program generations of a week-long time span. Activity types considered are 15 generic categories of non-skeletal and flexible activities. Under the daily time budget and non-negativity of participation rate constraints, the models predict optimal sets of frequencies of the activities under consideration (given the average duration of each activity type). The daily time budget considers at-home basic needs and night sleep activities together as a composite activity. The concept of composite activity ensures the dynamics and continuity of time allocation and activity/travel behaviour by encapsulating altogether the activity types that are not of our direct interest in travel demand modelling. Workers’ total working hours (skeletal activity and not a part of the non-skeletal activity time budget) are considered as a variable in the models to accommodate the scheduling effects inside the generation model of non-skeletal activities. Incorporation of previous day’s total executed activities as variables introduces day-to-day dynamics into the activity program generation models. The possibility of zero frequency of any specific activity under consideration is ensured by the Kuhn-Tucker optimality conditions used for formulating the model structure. Models use the concept of random utility maximization approach to derive activity program set. Estimations of the empirical models are done using the 2002–2003 CHASE survey data set collected in Toronto.

新一代8000车级超巴拿马汽车滚装船船型分析

新一代8000车级超巴拿马汽车滚装船是可到访日本关键港口的最大汽车滚装船,具有少压载水、多装车量满载出港的优点。目前全球仅有英雄系列和新视野系列这2型8000车级超巴拿马汽车滚装船。从主尺度、总布置、航速与EEDI、支柱和跳板/坡道配置等主要方面阐述了这2型船,并比较了各自的优点。最后,指出了可针对航运公司的运营理念进一步优化开发8000车级超巴拿马汽车滚装船。     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

斯特林发动机及其发展趋势探讨

分析了现有的内燃机汽车对环境的危害情况,指出斯特林发动机的外燃方式的良好的环保特性。简介了太阳能光热形式的斯特林发动机的历史,重点分析了两种典型的斯特林发动机的构造,简要分析了动态式和自由活塞式斯特林发动机的各自特点。针对斯特林发动机的特性,明确指出了其发展的潜在价值及其重要性,并对其发展趋势进行了探讨。     

车载液压自发电装置动态性能的影响因素研究

简要介绍了某型防化洗消车辆配备的液压自发电装置,对影响其动态性能的主要因素进行了实验研究,并在此基础上对液压传动系统的结构参数进行了优化设计。     

The effects of critical peak pricing for electricity demand management on home-based trip generation

This paper examines electricity critical peak pricing (CPP) as a measure for controlling electricity demand at critical peak times. This pricing scheme is designed to facilitate energy conservation not only inside but also outside the home. For this study, we surveyed consumer propensity to leave the home under CPP schemes and analyzed the impact of CPP on consumer cost. The results indicated that higher prices induce a higher rate of going out, while residential conditions such as population density and access to public transportation have a relatively small impact on leaving the home and average energy conservation. However, this is not always the case for aged households with limited mobility; residential conditions have a substantial effect on this segment of the population. Combined with a reduced ability to go out, electricity pricing has a greater negative impact on aged people. These results imply that improving accessibility through transportation development and urban compaction is an effective means of saving electricity alleviating the negative impact of CPP on the aged society of the future.     

基于状态变迁图的舰载机出动能力分析

为了研究“尼米兹”级航空母舰的舰载机出动能力目标与航空保障能力需求之间的复杂关系,首先根据舰载机的航空保障作业流程抽象出6个状态,并采用状态变迁图描述其任务剖面;其次,由舰载机出动指标推演出航空兵力的任务剖面,根据任务剖面绘制相应的状态变迁图;最后,基于状态变迁图分析甲板作业、调运作业等航空保障能力需求.实例表明,状态变迁图是一种系统分析的有效工具.     

长江航道环境下的3G无线网络覆盖研究

随着长江数字航道建设的不断深入,长江电子航道图即将正式对外推广应用,这对长江航道全线船岸间的无线通信提出了新的要求。本文分别对中国电信和中国联通两大运营商的3G无线网络进行实地测试,对比分析其信号覆盖情况。在此基础上,就长江航道环境下如何提高通信保障能力提供了技术方案。     

无刷双馈风力发电机的控制策略与实现

介绍了风力发电的现状,无刷双馈风力发电机的发展情况以及其直接转矩的运行模式.在实践的基础上,探讨了无刷双馈风力发电机的控制途径,并提出了提高其电机功率的方法.