期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
Health Phys.Abstracts,Volume 127,Number 4
1
《辐射防护》 CAS CSCD 北大核心 2024年第6期718-722,共5页
Bisphosphonate Liposomes for Cobalt and Strontium Decorporation?Géraldine Landon1,Guillaume Phan1,François Fay2,David Suhard1,David Broggio1,Raphaël Bô1,Céline Bouvier-Capely1,Elias Fattal2(1.... Bisphosphonate Liposomes for Cobalt and Strontium Decorporation?Géraldine Landon1,Guillaume Phan1,François Fay2,David Suhard1,David Broggio1,Raphaël Bô1,Céline Bouvier-Capely1,Elias Fattal2(1.Health Division,Institute for Radiological Protection and Nuclear Safety(IRSN),Fontenay-aux-Roses,France;2.UniversitéParis-Saclay,CNRS,Institut Galien Paris-Saclay,91400 Orsay,France)Abstract:During a nuclear/radiological incident or an accident involving internal intakes with radioactive cobalt or strontium,the recommended treatments,consisting of the administration of diethylenetriaminepentaacetic acid for^(60)Co and calcium gluconate for^(90)Sr,are of low specificity,and their effectiveness can be enhanced.In this manuscript,a liposomal formulation was developed to deliver potential chelating agents to the main retention organs of both radionuclides.A bisphosphonate,etidronate,has been selected as a possible candidate due to its satisfying decorporation activity for uranium,bone tropism,and potential affinity with cobalt.Pre-clinical studies have been carried out on rats using radionuclide contamination and treatment administration by the intravenous route. 展开更多
关键词 PHOSPHONATE satisfying FORMULATION
在线阅读 下载PDF
PSL的有界模型检验 被引量:2
2
作者 虞蕾 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页
基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程. 展开更多
关键词 PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram)
在线阅读 下载PDF
Complexity of Some Problems Concerning 2CNF Formulas
3
作者 Hans Kleine Büning 《中山大学学报(社会科学版)》 CSSCI 北大核心 2003年第S1期131-146,共16页
In this paper we investigate the complexity of several problems concerning 2CNF formulas. At first, we show that the minimal unsatisfiability problem for 2CNF formulas can be solved in linear time. Then we prove that ... In this paper we investigate the complexity of several problems concerning 2CNF formulas. At first, we show that the minimal unsatisfiability problem for 2CNF formulas can be solved in linear time. Then we prove that the problem determining if a 2CNF formula can be transformed to a minimal unsatisfiable formula is also solvable in linear time. Thirdly, we show the polynomial solvability of the satisfiability problem for symmetric monotone formulas in which all clauses has length 2 or ? n - k ( n is the ... 展开更多
关键词 minimal unsatisfiable formulas symmetric monotone formulas satisfiability COMPLEXITY
在线阅读 下载PDF
Physicochemical and Oxidative Stability of a Soybean Oleosome-Based Emulsion and Its in vitro Digestive Fate as Affected by (-)-Epigallocatechin-3-Gallate 被引量:2
4
作者 Ding Jian Xu Zejian +2 位作者 Qi Baokun Jiang Lianzhou Sui Xiaonan 《大豆科技》 2019年第S01期66-75,共10页
Oleosomes,which are pre-emulsified oil bodies found naturally in plants,have excellent stability,therefore making their use more popular in the food industries.However,the mechanism of EGCG in regulat-ing the physicoc... Oleosomes,which are pre-emulsified oil bodies found naturally in plants,have excellent stability,therefore making their use more popular in the food industries.However,the mechanism of EGCG in regulat-ing the physicochemical and oxidative stability,and digestion of oleosome emulsions is not yet clear.In this study,the effect of EGCG on the properties of soybean oleosome emulsions(SOE)was examined at different p H values(5.0,7.0,and9.0).EGCG was significantly more effective in maintaining the stability of SOE at p H 5.0 and 7.0 over the 14 days of storage,but less effective at p H 9.0.Furthermore,lipid oxidation of SOE at p H 7.0 was successfully retarded by incorporating EGCG,but not at p H 5.0 and 9.0.The in vitro gastrointestinal results suggested that EGCG retarded the digestion rate of SOE based on a 20%reduction in free fatty acid release.The results of this study will help food technologists to design slow-digestive oleosome-based products that will satisfy health-conscious consumers’demand for healthier food choices. 展开更多
关键词 stability SOYBEAN satisfy
在线阅读 下载PDF
Hierarchical satisfying optimal algorithm with different importance and priorities
5
作者 LiShaoyuan TengChangjun 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2005年第1期92-97,共6页
A hierarchical satisfying optimal algorithm incorporating different importance and preemptive priorities is formulated. With the priority structure given by the decision-maker in the constrained multi-objective multi-... A hierarchical satisfying optimal algorithm incorporating different importance and preemptive priorities is formulated. With the priority structure given by the decision-maker in the constrained multi-objective multi-degree-of-freedom optimization (CMMO) problem, the commonly used quadratic programming model is converted into a two-level optimization problem solved by the tolerant lexicographic method and the varying-domain optimization method. In contrast to previous works, the proposed approach allows the decision-maker to determine a desirable achievement degree for each goal to reflect explicitly the relative importance of these goals. The resulting solutions satisfy both the preemptive priority structure and have the maximum achievement degrees in sum. The power of the proposed approach is demonstrated with an example. 展开更多
关键词 priorities OPTIMIZATION satisfying optimal control predictive control CMMO.
在线阅读 下载PDF
SOLUTION TO THE LQ INVERSE PROBLEM
6
作者 Yaoqing Wang Institute of Thermopower Engineering, Zhejiang University, Hangzhou, China 《中国科学院研究生院学报》 CAS CSCD 1990年第1期30-42,共13页
In this paper, solution to the LQ inverse problem has been pre-sented. With the control weight in an LQ optimal control system fixed,the state weighting matrix is parametrized in terms of a set of freevariables and th... In this paper, solution to the LQ inverse problem has been pre-sented. With the control weight in an LQ optimal control system fixed,the state weighting matrix is parametrized in terms of a set of freevariables and the closed-loop eigenvalues of the control system. Basedon this parametrization, an algorithmic procedure is proposed to deter-mine the state weighting matrix and the free variables by matrixtransformation. Meanwhile, by using the solved free variables, theoptimal feedback gain matrix K can also be obtained without solving thealgebraic Riccati equation. 展开更多
关键词 weighting inverse satisfy RICCATI deter INVARIANT minimization utilizing DESIRED QUADRATIC
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部