排序方式: 共有83条查询结果,搜索用时 15 毫秒
1.
时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析. 相似文献
2.
3.
在各类规划、调研报告的编制过程中,编制人员往往需要根据拟定的目录或标题去收集、阅读大量文本素材,分类整理后再甄选使用,不仅工作量大而且质量无法得到保障。为此,在数字政府规划文档编制领域中提出了一种结合标签分类和语义查询扩展的文本素材推荐方法,从信息检索的角度出发,将目录中的各级标题视为查询语句,将参阅的文本素材作为目标文档,从而进行文本素材检索与推荐。该方法基于差分进化算法,将基于词向量平均的文本素材推荐方法、基于语义查询扩展的文本素材推荐方法和基于标签分类的文本素材推荐方法有机结合,弥补了传统的文本素材推荐方法的不足,实现了通过目录结构的标题检索以段落为粒度的文本素材。在10个数据集上的实验验证结果表明,该方法的性能提升显著,能够大大减少人工素材选择的工作量,同时减少素材分类的工作量,降低文档编制的难度。 相似文献
4.
随着信息化的普及,人们对软件系统质量要求越来越高,由于体现涉众对软件质量要求的非功能需求具有抽象、主观、不确定等特性,纯粹依赖人工方式对非功能需求建模是一项十分困难的任务.利用领域工程具有的内聚性和稳定性,提出一种基于领域知识的非功能需求建模辅助方法,通过挖掘隐含领域知识,层次化地组织领域知识,能够弥补个人知识的不足,更准确、完整地建模非功能需求.该方法包含两个部分:(1)基于不确定性理论的领域知识获取及分析模块;(2)基于NFR(Non-Functional Requirements)框架的非功能需求辅助建模模块.通过建立非功能属性分解树、设计基于三角模糊数的评价语言值量化机制和传递依赖关系计算方法,实现了对领域知识的准备;建立了非功能属性及非功能需求间依赖关系的形式化定义和推理规则,提出了基于RE-Tools的NFR扩展,实现了对领域知识的应用.案例研究表明,文中方法具有良好的可操作性,能够辅助建模需求关联,减轻需求工程师的工作负荷;同时,交叉实验结果表明,该方法可提升传统NFR框架方法的效率和准确度. 相似文献
5.
四川省德昌县大陆槽稀土矿主要稀土矿物为氟碳铈矿,其嵌布粒度细,与其他矿物嵌布关系复杂;萤石、重晶石、锶钡硫酸盐矿物等伴生矿物含量高,矿石泥化现象严重,造成稀土矿物难以回收利用。针对目的矿物的分布情况和矿石性质,确定了浮—磁联合的工艺流程,重点考察了脱泥、磨矿细度、浮选捕收剂、抑制剂、起泡剂等条件试验,最终确定了预先脱泥,磨矿细度-0.074 mm占65%,采用水玻璃为抑制剂,新型捕收剂103为捕收剂,SL-301为起泡剂的“预先脱泥—两粗—三扫—三精—精扫选”闭路试验流程,获得品位30.38%、回收率73.74%的浮选精矿和品位11.93%,回收率13.41%的浮选次精矿;浮选精矿通过磁场强度为1.19×103 kA/m的“一粗一扫”强磁作业后,获得品位61.11%、回收率60.09%的最终稀土精矿,浮选次精矿经场强1.19×103 kA/m的强磁产出的粗精矿和浮选精矿经强磁产出的中矿混合再次经过1.19×103 kA/m强磁作业后产出品位56.03%、回收率3.87%的稀土磁选次精矿,磁选产出的精矿和次精矿总回收率达63.96%。 相似文献
6.
公园设计对工业遗址的改造与再利用提出了一个全新的规划观,文章以荆州市城南热电厂改造为例,对如何提升建筑原有品质,创造新的价值观,建设节约型社会等问题进行了一些探讨性的论述。 相似文献
7.
情景感知(context aware)的应用是当前的一个研究热点,但由于情景的复杂性和不确定性,如何获取这些应用的需求面临着巨大挑战,需求工程领域出现了大量的研究来解决这个挑战.使用系统文献综述(systematic literature review)的方法首先分析了不同情景维度对于需求获取与建模的支持;统计并深入分析情景感知的需求获取与建模中常用的方法;评估了不同经验方法的技术转移成熟度.最后,基于上述结论,给出了情景感知的需求获取与建模下一步的研究方向. 相似文献
8.
洛阳市洛浦公园大门设计 总被引:4,自引:0,他引:4
在园林设计中,门是重要的构成要素之一.作为空间序列的开端,门不仅具有使用价值,而且还包含丰富的精神内容.通过分析洛阳市洛浦公园5个大门的实例,从布局、功能、形式上探讨了现代公园大门的设计手法. 相似文献
9.
蒙太奇理论对景观设计的指导与推动作用,因其鲜明的实用性和优越性而日益受到重视.通过对若干景观设计作品的分析,探讨了景观设计中的蒙太奇手法表现.同时对比蒙太奇电影风格,归纳了蒙太奇语汇在景观设计实践中的应用. 相似文献