- 更多网络例句与可列举的相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Based on genetic algorithm,a new hybrid coding method using the integer and floating number was presented. The enumerable method guarantees each individual in the population to satisfy the constrains, thus the punishment function was avoided. The two adjustable parameters made the evolution process jump out of the local best solution perfectly.The application of the fitness assignment based on Pareto ranking attained inferior solution set of the multi-objective and multiple options were provided to the decision-maker.
设计了一种新的整数和浮点数结合的编码方式;通过列举法使得每代个体满足约束条件,避免了罚函数的使用;可调整的双参数变异算子使进化过程能够较好地跳出局部最优解;应用基于Pareto排序的适应值分配方式得到目标函数的非劣解集,为决策者提供了多种选择方式。
-
Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.
其所包含的主题:程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数:关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。
-
FOIA's major provision directs each agency to release identifiable records in its possession to "any person" who requests them, unless the material in question falls within one of the exemptions listed in the Act.
信息自由法》的主要条款规定,各行政机关须向提出要求的"任何人"提供本机关掌握的可辨认的记录,除非有争议的材料属于该法列举的例外之一(出处同上,第五百五十二条第款第(3)项)。
-
Chinese company law could be improved through unification of legal norms, clarification of the meaning of terms, and supplement of correlative regulations; Modeling on German and Japanese law, limited norms should be adopted for the object of right to address inquiries. Chinese company law should re-locate the object of right to address inquiries to matters related to topics of general meeting of shareholders. Objective standard should be adopted. Third, by incorporating elements such as beforehand written inquiry, Chinese company law could be further perfected in the area of time, venue, representation and reproduction of right of access to documents. This is a conclusion based on thorough research and summary of practice of various countries. Fourth, the author pointed out the international trend of relaxation of objective limits and specification of subjective limits, and proposed the standards for limitation and the distribution principle of inversion of burden of proof.
以德国、日本法为例,说明质询权客体原则上采限制规范,建议我国公司法可将质询权客体重新定位为与股东会会议议题有关的事项,且判断的标准采客观标准;第三,通过对各国及各地区立法行使方式的具体规范进行总结,认为我国公司法可从时间、地点、代理、复制等方面对查阅权行使方式进行完善,引入事前书面质询、设立说明义务免除等制度对质询权行使方式进行构建,使具体制度更具可操作性;第四,根据各国及各地区立法客观性条件限制逐渐放宽及主观性条件限制更加具体的趋势,结合我国公司法规定,对客观条件限制进行了探讨和设定,提出主观条件限制概括加列举的立法模式及举证责任倒置的分配原则。
-
So packing oneself in his single world can help nothing to add his reputation, what he strives to do is the reverse-anatomize oneself in front of the public stares and acclaim for his names being praised or criticized in the SUN -then can he make himself known out of the nonplus of being forgotten and lose his prestige in public.
这里我们已经知道作这篇文章要从"公众人物"自身出发,以他们的角度来看待自己隐私是否该暴光的问题,这样我们就找到中心回应点是"should expect",对象是"public figures",而例证可以充分利用话题的友好提示:列举的三种人,选择熟悉易于表达的来充实论证,免了自己的劳神工夫,这种资源一定要善加利用,一方面可充实论据,另一方面,作到了兼顾其他,全面回应的原则。
-
Combinatorial enumeration is a readily accessible subject full of easily stated, but sometimes tantalizingly difficult problems.
组合的列举是充满被容易一个容易可达到的主题说明,但是有时tantalizingly 难的问题。
-
"Zakat," the levying of an annual property-tax on all property, the sum coming into the state treasury from this source to be used for the public and humanitarian objects enumerated in the Koran sura ix.
"天课",征收年度物业税,对所有财产,总和来到了国家财政部从这个来源,以用来为公众和人道主义对象列举的可兰经(苏拉九, 60 )。
-
The number of the deer in the Kaibab had increased enormously in years' time.
A从前面所列举的树木的名字可猜出是一种树。
-
The energy content of the preconcentrate of the example could be increased by the addition of other explosives such as trinitrotoluol.
加入其它炸药,例如三硝基甲苯,可使所列举的预浓缩物的能量增加。
-
The development opportunities and challenge of utilizing carbide furnace gas were introduced.
介绍了电石炉气利用的机遇和挑战,列举了电石炉气利用的经济效益和社会效益,分析了利用电石炉气可合成的化工产品。
- 更多网络解释与可列举的相关的网络解释 [注:此内容来源于网络,仅供参考]
-
automobile:汽车工业
185、 What is the most valuable manufacturing industry in your region today 你那地区最重要的制造工业... | Automobile.汽车工业. | 186、 List three minerals found in your region.列举三种在你的地区可发现的...
-
enumerable:可点数的,可列举的
horizontal saw mill 卧式锯床 | enumerable 可点数的,可列举的 | trigonal 三角形的, 断面呈三角的
-
enumerative:列举的
enumeration 列举 | enumerative 列举的 | enunciability 可断言
-
innumerable in:无,不 -able 可...的,数不清的,无数的
enumeration -ation表示行为及行为的结果 计数 列举 细目 | innumerable in-无,不 -able 可...的,数不清的,无数的 | denumerable de-加强意义 可数的
-
trigonal:三角形的, 断面呈三角的
enumerable 可点数的,可列举的 | trigonal 三角形的, 断面呈三角的 | power flight altitude 动力飞行高度
-
aminoaciduria:氨基酸尿症
氨基酸代谢病即氨基酸病(aminoacidopathy),或称为氨基酸尿症(aminoaciduria). 可分为两大类:一类是酶缺陷,使氨基酸分解代谢阻滞,另一类是氨基酸吸收转运系统缺陷. 在Rosenberg和Scriver列举的48种遗传性氨基酸病中,至少有一半有明显的神经系统异常,
-
decidable:可决定的
形式系统:这个列举演算法称为语言的产生规格.语言相关的说明(Cont'd)若一语言的所有字串经由产生句子之演算法有限个步骤处理后都能决定是否合法,则此语言称为可决定的(decidable).英文太含糊而且易导致定义不明确,
-
enunciability:可断言
enumerative 列举的 | enunciability 可断言 | enunciable 发表的
-
specifiable:可列举的
species 物种 | specifiable 可列举的 | specific duty 从量税
-
specifiable:可指明的/可列举的
species /种类/种/种类的概念/形式/弥撒用的面包和葡萄酒/ | specifiable /可指明的/可列举的/ | specifically /特别地/具体地/