排序方式: 共有12条查询结果,搜索用时 31 毫秒
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.
8.
张超群 《筑路机械与施工机械化》1993,10(6):17-20
首先分析对比了应用于检测沥青混凝土搅拌设备粉尘排放的两种方法—预测流速法和压力平衡法,然后着重讨论压力平衡法的测量原理,并通过两个实例加以对比说明。 相似文献
9.
分析了影响碾压混凝土路面施工质量的因素,论述了从碾压混凝土原材料的选择、配合比的确定、混凝土料的拌和、运输到碾压混凝土路面的摊铺整个过程中混凝土的配制和稠度的测量及进行动态控制的方法。 相似文献
10.
在对ATS系统关键性数据存储问题进行分析的基础上,以数据的可靠性和完备性为目标,提出了一种基于Paxos算法的ATS数据分布式存储模型,并对模型的运行机制进行了论述。该模型已在ATS仿真系统中得到了应用,并取得了良好的效果。 相似文献