矿区最优投资分配动态规划模型研究

应用动态规划的理论,针对矿区建设的特点,以投资呆滞损失和欠产损失为主优化目标,以初期投资少为次优化目标,建立了矿区建设投资最优分配的多阶段动态规划投资模型,并给出了模型的解法.最后以我国某矿区为实例,应用模型进行求解,得出了满意结果.     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

两个积分公式

本文给出了积分∫_0~(+∞)x~αe~(-ax~ρ)cosbx~ρdx与积分∫_0~(+∞)x~αe~(-ax~ρ)sinbx~ρdx的求值公式,由它们可得到许多重要而常用的积分公式(见文[3])     

A calcium sensor in the sodium channel modulates cardiac excitability.

Sodium channels are principal molecular determinants responsible for myocardial conduction and maintenance of the cardiac rhythm. Calcium ions (Ca2+) have a fundamental role in the coupling of cardiac myocyte excitation and contraction, yet mechanisms whereby intracellular Ca2+ may directly modulate Na channel function have yet to be identified. Here we show that calmodulin (CaM), a ubiquitous Ca2+-sensing protein, binds to the carboxy-terminal 'IQ' domain of the human cardiac Na channel (hH1) in a Ca2+-dependent manner. This binding interaction significantly enhances slow inactivation-a channel-gating process linked to life-threatening idiopathic ventricular arrhythmias. Mutations targeted to the IQ domain disrupted CaM binding and eliminated Ca2+/CaM-dependent slow inactivation, whereas the gating effects of Ca2+/CaM were restored by intracellular application of a peptide modelled after the IQ domain. A naturally occurring mutation (A1924T) in the IQ domain altered hH1 function in a manner characteristic of the Brugada arrhythmia syndrome, but at the same time inhibited slow inactivation induced by Ca2+/CaM, yielding a clinically benign (arrhythmia free) phenotype.     

关于三次图边可重构问题的注记

对δ（Ｇ）≥８的连续三次图Ｇ是边可重构的定理给出了一个简单证明。此外还证明了，当δ（Ｇ）＝７，γ（Ｇ）≤８２以及δ（Ｇ）＝６，γ（Ｇ）≤１７时，连续三次图Ｇ是边可重构的     

二部分有向图的计数公式

应用置换群的Burnside引理,导出非标定二部分竞赛图和二部分完全有向图的计数公式.     

超氧物歧化酶对糖尿病模型大鼠血液和晶状体中自由基及其清除剂的影响

本工作发现糖尿病大鼠晶状体和血液中的ＬＰＯ、ＭＤＡ水平高于正常大鼠，而Ｔ－ＳＯＤ、Ｃｕ·Ｚｎ－ＳＯＤ水平降低（Ｐ＜Ｏ．０１）．观察用不同剂量ＳＯＤ及不同时间的治疗方案，结果大剂量比小剂量，长时间比短时间更能改善自由基和清除剂的状况，提示糖尿病患者晶状体中自由基代谢异常，这可能和糖尿病性白内障有关；表明ＳＯＤ可能是防治糖尿病性白内障的良药．     

介观耗散互感耦合电路的库仑阻塞效应

给出了介观耗散互感耦合电路的量子化方法,并在介观电路中电荷量子化的基础上给出了介观耗散互感耦合电路的库仑阻塞条件.     

设计走向科学化的重要途径——设计方法学研究的崛起及其成就

本文从当代设计所面临的严峻挑战出发,回顾设计方法学的崛起,综述了在设计及设计方法学研究方面,主要发达国家采取的措施及主要专家、学者的贡献和成就。指出:设计必须科学化,而设计方法学研究是设计走向科学化的重要一步;必须加强对设计本身的研究;计算机技术在设计领域中的应用及其与设计理论研究的结合,对设计的发展及科学化将具有特别重要的意义。     

A Study on the Design for Object-Oriented Adaptive Decision-Making Teams

1 .ＩＮＴＲＯＤＵＣＴＩＯＮＩｎＣ3Ｉｓｙｓｔｅｍｓ,ｒｅｃｅｉｖｉｎｇ ,ｔｒａｎｓｍｉｓｓｉｏｎ ,ｐｒｏｃｅｓｓｉｎｇａｎｄｄｉｓｐｌａｙｏｆｉｎｆｏｒｍａｔｉｏｎａｒｅｄｅｖｅｌｏｐｅｄｃｏｎｃｅｒｎｉｎｇｔｈｅｄｅ ｃｉｓｉｏｎｍａｋｉｎｇｏｆｃｏｍｍａｎｄｅｒｓ.Ｔｈｅｒｅｆｏｒｅ,ｔｈｅｍａｊｏｒｔａｓｋｏｆａＣ3Ｉｓｙｓｔｅｍｉｓｆｏｃｕｓｅｄｏｎｄｅｃｉｓｉｏｎｍａｋｉｎｇ.Ｗｉｔｈｔｈｅｒａｐｉｄｄｅｖｅｌｏｐｍｅｎｔｏｆｃｏｍｍｕｎｉｃａｔｉｏｎａｎｄｎｅｔｗｏｒｋ ,ｔｅａｍｄｅｃｉｓ…