排序方式: 共有12条查询结果,搜索用时 125 毫秒
1.
2.
3.
4.
The strong completeness of medium logic system is discussed. The following results are proved: medium propositional logic system MP and its extension MP^* are strong complete; medium predicate logic system MF and its extensions (MF^* and ME^* ) are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either. 相似文献
5.
6.
Traffic flows in real-life transportation systems vary on a daily basis. According to traffic flow theory, such variability should induce a similar variability in travel times, but this “internal consistency” is generally not captured by existing network equilibrium models. We present an internally-consistent network equilibrium approach, which considers two potential sources of flow variability: (i) daily variation in route choice and (ii) daily variation in origin–destination demand. We particularly aspire to a flexible formulation that permits alternative statistical assumptions, which allows the best fit to be made to observed variability data in particular applications. Joint probability distributions of route—and therefore link—flows are derived under several assumptions concerning stochastic driver behavior. A stochastic network equilibrium model with stochastic demands and route choices is formulated as a fixed point problem. We explore limiting cases which allow an equivalent convex optimization problem to be defined, and finally apply this method to a real-life network of Kanazawa City, Japan. 相似文献
7.
张超群 《筑路机械与施工机械化》1993,10(6):17-20
首先分析对比了应用于检测沥青混凝土搅拌设备粉尘排放的两种方法—预测流速法和压力平衡法,然后着重讨论压力平衡法的测量原理,并通过两个实例加以对比说明。 相似文献
8.
9.
分析了影响碾压混凝土路面施工质量的因素,论述了从碾压混凝土原材料的选择、配合比的确定、混凝土料的拌和、运输到碾压混凝土路面的摊铺整个过程中混凝土的配制和稠度的测量及进行动态控制的方法。 相似文献
10.
Introduction Multi-objective decision-making theories play animportant role in modern decision-making science,and have been widely applied to many decision-mak-ing fields, such as systemic optimization, economicevaluation, urban planning, etc. In order to… 相似文献