排序方式: 共有23条查询结果,搜索用时 15 毫秒
1.
物探测线布设是一项重要的基础性工作,其施工效率直接影响物探勘查工作的开展。利用GPS相关软件完成测点数据的批量输入可以在很大程度上提高工作效率,但随着USB接口的支持及普及,其效果便不再那么明显和突出,相比之下兼容格式的研究与应用更能有效地提高测线布设的效率,也更为简便和有效。为了进一步提高工作效率,利用Visual C++编程简化了测线布设中涉及的测线计算和数据输入等操作流程,避免了手工计算和数据格式转换的麻烦,达到了测线高效布设的目的。文中详细介绍了物探弯曲测线的计算方法和常用GPS兼容格式的转换方法与软件应用。实例表明该方法方便、有效,能节省大量的室内和野外工作量。 相似文献
3.
针对集中供热系统中的热丁过程对象(如换热机组)具有大惯性、大时滞、时变和非线性等动态特性,建立了它的CARIMA模型和基于该模型的供水温度广义预测控制系统利用Matlab对该控制系统进行了仿真。结果表明:广义预测拄制(GPC)可以应用于热工过程控制中,并能取得良好的控制品质和鲁棒性。 相似文献
4.
5.
针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlock control policy,DCP).第1步,该策略求解原网(N0,M0)的基本信标(elementary siphons,ES)和从属信标(dependent siphons,DS),对每个基本信标添加控制库所(control place,CP)和控制变迁(control transition,CT),获得拓展网系统(N′,M′).第2步,构建拓展网系统的P–不变式整数规划问题,测试原网中从属信标的可控性.若所有从属信标满足可控条件,则直接得到活性受控网系统(N*,M*);反之,对不满足可控条件的从属信标也添加控制库所和变迁,从而也得到了(N*,M*).通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.相比目前文献中的可实现最大许可行为数目(number of maximally permissive behavior,NMPB)的普通Petri网死锁预防策略,该DCP获取的活性受控网系统(N*,M*)可达数目与原网(N0,M0)是相同的,且最大可达数(maximally reachable number,MRN)高于最大许可行为数目NMPB. 相似文献
6.
在广义和狭义两方面分别研究了六个系统Ln,Sn,Gn,Kn,Zn,Wn的子代数的个数的特征及其计数问题。由此,得到了逻辑系统Ln,Sn,Gn,Wn,Kn,Zn的子代数个数及其性质。 相似文献
9.
简述了广义预测控制(GPC)的原理,建立了空调房间室温的CARIMA模型(即受控的自回归积分滑动平均模型)和基于该模型的空调房间室温广义预测控制系统。利用Matlab对该控制系统进行了仿真,并与常规PID控制进行比较,证明了广义预测控制可以应用于空调系统的控制过程,并能取得良好的控制品质和鲁棒性。 相似文献
10.
由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关, 如何准确和快捷地求解这样的信标, 对于基于信标可控的死锁控制策略设计而言, 是十分重要的. 本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略. 与目前求解导致死锁信标所采用的部分枚举方法相比, 该方法避免了先求解出最大的死标识信标, 进而从中提取极小信标的步骤, 提高了信标的计算效率. 同时, 通过添加适当的控制库所, 使得灵巧信标满足max'-controlled, 获取的活性受控G–system网系统的许可行为数目可以得到进一步的提升. 通过理论分析和算例验证, 表明了该死锁控制策略的正确性和有效性. 相似文献