程序修改

As a user, he or she can only choice rules for reasoning, can't add rules for reasoning If some new rules want be used for reasoning, the software developer must recode the software But it' impossible for users The thought is very fascinating that users can add some new rules for reasoning but the software doesn't need be recoded, not only for users, but also for the software developer This technology can make computers reasoning more powerfully, or reasoning more quickly by some new rules be used, and it can be adjusted for different teaching books, and it can become perfect itself.

让用户能够向软件添加自己所需要的推理规则而无须修改程序，对用户和开发者都是非常有吸引力的想法。这使得计算机能利用新规则或定理证明更多的题目或能更快的证明题目，并且能更好地适应不同特色的教学用书，从而使软件在自动解题方面能不断完善。从理论上说，由用户添加推理规则并非难题。但要想用起来方便，推理快捷，却不容易。

The interpreter frontend allows you to modify and enlarge the tests without recompilation of code.

解释程序的前端使你能够在不需要重新编译代码的情况下修改和扩大测试。

Incremental compilation can reduce the recompilation time after users modify the serial source code. PLICP was tested with Perfect benchmark.

增量编译技术可以减少用户修改程序后重新并行化的时间，是交互式并行化系统的重要组成部分。

The kill command is also useful if you wish to recompile and relink your program, since on many systems it is impossible to modify an executable file while it is running in a process.

由于在许多系统上不允许修改一个正在运行的可执行文件，''kill''命令在你想要重编译和重连接你的程序也有用。

Any administrative action which they take in relation to the determination of origin is reviewable promptly by judicial, arbitral or administrative tribunals or procedures, independent of the authority issuing the determination, which can effect the modification or reversal of the determination

它们所采取的有关原产地确定的任何行政行为均可由独立于发布确定的主管机关的司法、仲裁或行政庭或程序迅速进行审查，该审查可修改或撤销该确定

Any administrative action which they take in relation to the determination of preferential origin is reviewable promptly by judicial, arbitral or administrative tribunals or procedures, independent of the authority issuing the determination, which can effect the modification or reversal of the determination

它们所采取的有关优惠原产地确定的任何行政行为均可由独立于发布确定的主管机关的司法、仲裁或行政庭或程序进行迅速审查，该审查可修改或撤销该确定

The court ruled that the imposition on off-road tires exported by Hebei Starbright might cause double counting and ruled that the DOC either scrap the countervailing duties or amend its methodologies and procedures of levying duties on merchandise from China.

法院指出美国商务部应要么放弃对中国产品征收反补贴税，要么修改其反倾销和反补贴调查的政策和程序。我国商务部对此表示欢迎。

ACPI: For older and Non-Intel motherboards, you can choose x86 modified ACPI or old APIC drivers for booting problems.

ACPI ：对于老的和非Intel的主板，您可以选择的x86修改过的 ACPI或旧的APIC的驱动程序来解决启动的问题。

What do you think that lofty comparison If the BN do not want to share the rights, not unreasonable to amend the electoral system, unwilling to give up to the national interests of the corruption and abuse of power spending to continue to put pressure on the democratic struggle to suppress dissenting voices and so on we should resign oneself to adversity the bad governance, and even told Corruption is also good for the people, at least not by making things difficult for under-the-table money is not a bad thing, at least not after too many procedures ?

请问你认为什么方法比较高尚？如果国阵不愿意分享权利，不愿意修改不合理的选举制度，不愿意放弃继续对国家利益贪污滥权的挥霍，继续的施压民主斗争，压制反对声音等等恶政我们应该逆来顺受，甚至告诉人民贪污也有好处的，至少不用受刁难，给台底钱是不是坏事，至少不用经过太多程序？

America's generous treatment of corporate bankrupts has been widely abused by common spendthrifts—so much so that Congress tightened the law in 2005 to restrict access to the system.

美国政府对破产的慷慨处理方法曾经被大大的滥用和浪费——导致2005年议会修改了相关法律，严格了破产准入程序。

He and Nina moved to California and lived at 2005 Ivar Street, Apt.

他和Nina搬到加州，并在2005年伊瓦尔街，公寓生活。

Droperidol （ potently inhibits transfected HERGchannels and this is the probable mechanism for QT prolongation.

氟哌利多有效地抑制了转染的 HERG 钾通道，可能是 QT 间期延长的机制。