查询词典 calculus of residues

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

Fractal dimension structure of the Cosmos are explored, and the mathematical foundation, which include the expressions of fractal dimension differential and calculus, regular space integral solutions of fractal dimension differential equations, the fractal calculus definitions of fractal measure as well as the measure computational equation of self-similar fractal, of fractal dimension calculus and fractal measure are given.

摘 要：探讨了宇宙分维构造的形式，给出了分维微积分及分形测度的数学基础，包括分维导数及分维微积分的表述形式、分维微分方程的规整空间积分解、分形测度的分维微积分定义及自相似分形的测度计算方程。

First, this paper introduces a process calculus, the pi-calculus, into the intelligent agent domain, and agent mental attitudes, agents and agent-based systems with dynamic characteristics, agent interactions, and agent cooperations are studied formally in the polyadic pi-calculus.

首先，本文将进程演算引入智能主体研究领域，利用多价pi演算对主体的心智状态、基于主体的系统、多主体交互及协作进行了形式化。

Blood loss volume were 110mL to 480mL. 24 patients had residual calculus when recheck KUB, 7 accepted ESWL, 4 PCN, and 13 automatic removing urinary calculus. IVU showed that renal visualization was well, hydrops obviously decreased, none calculus re-cured or renal pelvis stegnosis.

术后3月复查腹部平片示有24例有结石残留，7例经体外振波碎石，4例经肾造痪管经皮肾镜下碎石，13例泥沙样小结石自动排石。12月复查静脉肾孟造影示肾显影良好，积水明显减少，未见结石复发和肾孟狭窄。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

AM may reduce the amount of extractable residues of acenaphthene, however, the extractable fractions account for 65.7%-81.7% of total residues of acenaphthene in soils after 55-day incubation, having a toxic risk to organisms.

AM作用能降低土壤中危可提取态残留含量；但培养55天后土壤中仍有65.7%~81.7%苊属于可提取态残留，对生物有毒害风险。

In the same treatment concentration and time, effect of acetum on 7 pesticide residues in cabbages surfaces were high than salt solution. The tap water treatment was the worst. There are no significant effects on pesticide residues in cabbage that refrigeration 12-48 h.

结果表明：在相同浓度和处理时间下，醋酸溶液对甘蓝叶片表面7种农药的去除效果要好于盐溶液，自来水对7种农药的去除效果在3种处理溶液中最差。

Removal techniques of pesticide residues in cabbage leaves surfaceRemoval efficacies of organophosphates, orgnaochlorine (p,p-DDT andγ-666), pyrethroids and fungicide chlorothalonil residues in cabbage leaves surface caused by different concentrations of salt solution, acetum, tap water, refrigeration and cooking were simulation studied in laboratory.

蔬菜叶片表面农药残留日常去除技术在实验室模拟了不同浓度的盐溶液、醋酸溶液，自来水，冷藏和烹饪对甘蓝叶片表面有机磷农药、有机氯农药(p，p-DDT、γ-666)、拟除虫菊酯农药、杀菌剂7种农药的去除效果。

Effects of leaving cane residues to the cane field after harvested were studied as the scientific basis and technology to establish Guangxi sugarcane favorable soil ecology circle. By 9 years continuously tracking testing on content change of organic matter, nitrogen, phosphorus and potassium were determined in Guangxi Sugarcane Research Institute Farm field in where cane leave residues were put on the land by mechanical roll crush.

采用连续多年观察和跟踪检测的方法，对广西甘蔗研究所试验农场经过连续9年机械粉碎蔗叶还田后定点检测土壤的有机质含量及氮、磷、钾三大元素含量的变化，研究蔗叶还田对土壤肥力的影响，养分量化变化趋势，对产量的贡献。

Inspections in the first half of 2007 showed that the average acceptance rate regarding pesticide residues in vegetables was 93.6 percent; those regarding clenbuterol hydrochloride contamination and sulfa drug residues in livestock products was 98.8 percent and 99.0 percent respectively; and that regarding chloromycetin in aquatic products was 99.6 percent, of nitrofuran 91.4 percent, and of pesticide residue over 95 percent in sample surveys done at production bases.

根据2007年上半年的监测结果，蔬菜中农药残留平均合格率为93.6%；畜产品中"瘦肉精"污染和磺胺类药物残留监测平均合格率分别为98.8%和99.0%；水产品中氯霉素污染的平均合格率为99.6%，硝基呋喃类代谢物污染监测合格率为91.4%，产地药残抽检合格率稳定在95%以上。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48