排序方式: 共有43条查询结果,搜索用时 15 毫秒
21.
<食品安全法>第96条存在着惩罚性赔偿责任规定参照标准单一.惩罚性赔偿责任规定最高限额单一,民事赔偿优先实现的程序性规定缺失,食品召回不得免除民事责任规定缺失,食品虽符合国家标准但仍造成消费者人身、财产明显或严重损害这一意外损害赔偿责任规定缺失等问题.只有对这些问题进行反思、修改和完善,<食品安全法>中的民事责任制度的建构才会变得更加科学、合理与可行. 相似文献
22.
23.
TheApplicationofGTDtotheDesignofChokesHornSuDonglin;XieYulan;andLuShanwei(P.O.Box205,BeijingUniversityofAeronauticsandAstrona... 相似文献
24.
李建新 《科技情报开发与经济》2003,13(8):244-245
以FIDIC条款为基础,阐述了工程变更过程中造价管理的原则和方法,为变更工程所引起的造价调整提供了计算依据。 相似文献
25.
以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启后,根据当前求解器的实时反馈信息改进MiniSAT原有的增长参数,尽可能靠近学习数据库中子句存储量的均衡点,从而使学习库的存储量尽可能达到Pareto最优.实验表明:所提的优化方法是有效的,并在随机SAT问题上胜过现有优化方法.该方法既不会因为学习数据库的子句过多而影响单元传播速度,也不会因为学习数据库中的子句过少而破坏学习的整体性. 相似文献
26.
李龙澍 《安徽大学学报(自然科学版)》1997,21(3):52-55
本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。 相似文献
27.
介绍一种基于Petri网的知识表示方法。在引入Petri网的基本知识后,详细讨论了Petri网表示产生式系统及基于Horn逻辑子句的Petri网表示,提出了用库所表示产生式谓词,用变迁表示规则的Petri模型。最后讨论了将Petri网应用于OOA(面向对象分析)模型的研究,从而提出一个基于Petri网的OOA模型 相似文献
28.
段海云 《科技情报开发与经济》2006,16(14):273-274
论述了高速公路施工中的质量管理问题,包括建立健全质量保证组织机构,实施菲迪克条款、实行三级监理制度、加强质量管理、开展劳动竞赛、推进QC活动等。 相似文献
29.
P. Benda M. Kasso V. Nicolas D. Pleurdeau E. Stoetzel S. Workalemahu 《Journal of Natural History》2019,53(41-42):2579-2591
ABSTRACTA small collection of bats composed of six species from Dire Dawa area, eastern Ethiopia, is presented. Besides three species previously known in the region, Rousettus aegyptiacus, Epomophorus minimus and Chaerephon pumilus, three bats were newly documented from the area, Rhinopoma microphyllum, R. cystops and Scotophilus leucogaster. R. microphyllum is here reported for the first time in Ethiopia. From molecular genetic comparisons Ethiopian R. cystops belongs to the Arabian subspecies lineage R. c. arabium, previously unknown from the African continent, raising interesting biogeographic questions. 相似文献
30.
规范外墙外保温工程技术要求,确保工程质量过关,一定要做到工程技术既先进又安全可靠,既经济合理又符合国家现在执行的有关强制性标准的规定。 相似文献