期刊文献+
共找到70篇文章
< 1 2 4 >
每页显示 20 50 100
PROVE—IT证实LDL胆固醇“越低越好”的假说是正确的
1
作者 景新 《国外药讯》 2004年第6期13-13,共1页
关键词 prove—it LDL胆固醇 降脂药 他汀类药 临床试验
下载PDF
Refinement modeling and verification of secure operating systems for communication in digital twins
2
作者 Zhenjiang Qian Gaofei Sun +1 位作者 Xiaoshuang Xing Gaurav Dhiman 《Digital Communications and Networks》 SCIE CSCD 2024年第2期304-314,共11页
In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the d... In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely correct.Formal verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented correctly.In this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly instructions.The verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations. 展开更多
关键词 Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification
下载PDF
Status-quo of proved oil/gas initially-in-place in China as of 2020 and its variation trend in the past decade
3
作者 Liming Zhou Daoyong Zhang +3 位作者 Jinchao Sun Yufeng Gu Chenshuo Zhang Chen Zhang 《Energy Geoscience》 2022年第4期343-348,共6页
This study analyzes the status-quo of the proved oil/gas initially-in-place and its variation trend,the proved undeveloped oil/gas initially-in-place,and the remaining proved technically recoverable reserves(TRR)of oi... This study analyzes the status-quo of the proved oil/gas initially-in-place and its variation trend,the proved undeveloped oil/gas initially-in-place,and the remaining proved technically recoverable reserves(TRR)of oil/gas in China as of 2020 based on statistics.As shown by the results,the proved oil initially-in-place(OIIP),the proved undeveloped OIIP,and the remaining proved TRR of oil in China are mainly distributed in the Bohai Bay,Ordos and Songliao Basins,and those of free gas are mainly in the Ordos,Sichuan,and Tarim Basins.From 2011 to 2020,the largest increment in the proved OIIP,the proved undeveloped OIIP and the remaining proved TRR of oil occurred in the Ordos Basin,followed by the Bohai Bay Basin,while that in the proved gas initially-in-place(GIIP),the proved undeveloped GIIP,and the remaining proved TRR of gas occurred in the Ordos Basin,followed by the Sichuan Basin.In addition,a comprehensive analysis reveals that the petroliferous basins in China with the potential of reserve addition and production growth include the Ordos Basin,the Bohai Bay Basin,the Sichuan Basin,and the Tarim Basin. 展开更多
关键词 proved oil/gas initially-in-place(OIIP/GIIP) proved undeveloped oil/gas initially-in-place(OIIP/GIIP) Remaining proved technically recoverable reserves(TRR) Petroleum distribution in Chinese basins Variation trend
下载PDF
The New Standards System for Processing Food to Be Proved
4
《China Standardization》 2005年第2期34-35,共2页
It is reported that the work of re-structuring the frame of China nationalstandards system for processing food has been finished with the print and distribution of 2004-2005Development Plan of National Standards for F... It is reported that the work of re-structuring the frame of China nationalstandards system for processing food has been finished with the print and distribution of 2004-2005Development Plan of National Standards for Food (hereinafter Plan). According to the demand of thePlan, there will be great changes among the current national standards and the professionalstandards for processing food, in which some standards will be integrated with others, somestandards will be cancelled, and some will be brought into the new standards system after the reviewof standards. The standards after being changed and the new national standards and the professionalstandards that need to be developed compose the new standards system for processing food. 展开更多
关键词 BE The New Standards System for Processing Food to Be proved
下载PDF
prove用法简述
5
作者 陈锁兆 《中学英语园地(高中一二年级)》 2004年第2期10-11,共2页
关键词 prove 用法 动词 词义 高中 英语 知识点
下载PDF
教育评价最重要的意图不是为了证明(PROVE)而是为了改进(IMPROVE)——中小学教育质量综合评价改革研讨会
6
《基础教育论坛》 2017年第9X期2-2,65,共2页
关键词 中小学 IMprove prove 综合评价 研讨会
下载PDF
Examples on Proved Cases of National Traditional Chinese Medicine Master LI Shi-mao in Pingmai Differentiation(平脉辨证)and Treatment for Low Back Pain
7
作者 ZHOU Zhong-yang ZHAO Dan-dan 《World Journal of Integrated Traditional and Western Medicine》 2020年第12期32-37,共6页
Low back pain is a common clinical disease that affects people's quality of life and causes a huge social and economic burden.Traditional Chinese medicine(TCM)has rich and valuable theory and practice in the treat... Low back pain is a common clinical disease that affects people's quality of life and causes a huge social and economic burden.Traditional Chinese medicine(TCM)has rich and valuable theory and practice in the treatment of low back pain.LI Shi-mao,a national TCM master,develops ancient meanings,combines new knowledge,treats low back pain with Pingmai differentiation(平脉辨证),performs comprehensive analysis of data gained by four diagnostic methods,centers on pulse diagnosis,and has achieved good efficacy.Here is an excerpt of 4 medical records,including XUE's No.4 Formula(薛氏4号方)in treating low back pain caused by dampness-heat invading meridians,Shentong Zhuyu Decoction(身痛逐瘀汤)in treating low back pain caused by blockade of blood stasis,Dabuyin Pills(大补阴丸)in treating low back pain caused by disturbance of ministerial fire,and Guizhi Shaoyao Zhimu Decoction(桂枝芍药知母汤)in treating low back pain due to blockade of cold and kidney deficiency,aiming at proving its principles and methods,observing its prescriptions and summing up its experience,so as to provide more reference for clinical treatment for low back pain. 展开更多
关键词 Low back pain Pingmai differentiation LI Shi-mao proved cases
下载PDF
Finns Proved Best
8
作者 郝昌明 《中学英语园地(八九年级适用)》 2005年第Z1期43-45,共3页
关键词 Finns proved Best
下载PDF
汽车可靠性道路试验仿真研究 被引量:4
9
作者 蔡团结 郭晓汾 +1 位作者 周炜 李文亮 《公路交通科技》 CAS CSCD 北大核心 2009年第8期149-152,158,共5页
应用Virtual Proving Ground软件进行汽车试验场可靠性道路试验的仿真研究,对交通部公路交通试验场标准搓板路面进行了三维实体建模,按照可靠性试验规范,在标准搓板路上对某国产轿车进行了计算机仿真,并与实车试验典型测点加速度-时间... 应用Virtual Proving Ground软件进行汽车试验场可靠性道路试验的仿真研究,对交通部公路交通试验场标准搓板路面进行了三维实体建模,按照可靠性试验规范,在标准搓板路上对某国产轿车进行了计算机仿真,并与实车试验典型测点加速度-时间历程数据进行对比,具有很好的相似性;并对车辆模型进行了初步的可靠性分析。研究结果为进一步进行汽车可靠性耐久性研究提供了一定依据。 展开更多
关键词 汽车工程 可靠性道路试验 仿真 VIRTUAL Proving Ground软件
下载PDF
论拒绝强迫自证其罪规则——以此为突破口设置我国沉默权制度 被引量:1
10
作者 杨琼 柯昌鸿 《吉林公安高等专科学校学报》 2005年第4期60-63,共4页
沉默权制度一直是我国刑事诉讼领域炙手可热的话题,然而当前是否已经具备了引进沉默权的条件,在我国目前的“本土”环境下其能否有效运行,还需进行辩证的分析。如沉默权所要求的制度条件,沉默权的引进应该暂缓,沉默权与拒绝自证其罪的... 沉默权制度一直是我国刑事诉讼领域炙手可热的话题,然而当前是否已经具备了引进沉默权的条件,在我国目前的“本土”环境下其能否有效运行,还需进行辩证的分析。如沉默权所要求的制度条件,沉默权的引进应该暂缓,沉默权与拒绝自证其罪的关系。同时提出了以拒绝自证其罪的角度设置我国的沉默权制度。 展开更多
关键词 沉默权 拒绝自证其罪 辨诉交易 非法证据排除
下载PDF
全序时态候选关键字问题初步研究 被引量:1
11
作者 万静 刘美杨 郝忠孝 《自动化技术与应用》 2011年第5期26-30,34,共6页
与时间相关的数据库应用需求的不断增长,使得时态数据库设计成为非常重要的问题。在数据库的设计中,要充分考虑对数据依赖的处理。数据依赖是数据库设计理论中的一个核心概念,通过它可以规范属性之间满足的固有的语义约束。为了更有效... 与时间相关的数据库应用需求的不断增长,使得时态数据库设计成为非常重要的问题。在数据库的设计中,要充分考虑对数据依赖的处理。数据依赖是数据库设计理论中的一个核心概念,通过它可以规范属性之间满足的固有的语义约束。为了更有效的研究时态数据库中各种依赖以及各属性之间的关系,以便将进一步规范化,本文提出了全序时态左部属性、全序时态右部属性、全序时态双部属性等概念。并利用替换法给出了求全序时态候选关键字集的算法,并证明其正确性。 展开更多
关键词 全序时态候选关键字 全序时态左部属性 全序时态右部属性 全序时态模块模式
下载PDF
Exact solutions for nonlinear partial fractional differential equations 被引量:22
12
作者 Khaled A.Gepreel Saleh Omran 《Chinese Physics B》 SCIE EI CAS CSCD 2012年第11期32-38,共7页
′In this article, we use the fractional complex transformation to convert nonlinear partial fractional differential equations to nonlinear ordinary differential equations. We use the improved (G′/G)-expansion func... ′In this article, we use the fractional complex transformation to convert nonlinear partial fractional differential equations to nonlinear ordinary differential equations. We use the improved (G′/G)-expansion function method to calculate the exact solutions to the time- and space-fractional derivative foam drainage equation and the time- and space-fractional derivative nonlinear KdV equation. This method is efficient and powerful for solving wide classes of nonlinear evolution fractional order equations. 展开更多
关键词 fractional calculus complex transformation modified Riemann-Liouville derivative im- proved (G′/G)-expansion function method
下载PDF
A new complex variable element-free Galerkin method for two-dimensional potential problems 被引量:4
13
作者 程玉民 王健菲 白福浓 《Chinese Physics B》 SCIE EI CAS CSCD 2012年第9期43-52,共10页
In this paper, based on the element-free Galerkin (EFG) method and the improved complex variable moving least- square (ICVMLS) approximation, a new meshless method, which is the improved complex variable element-f... In this paper, based on the element-free Galerkin (EFG) method and the improved complex variable moving least- square (ICVMLS) approximation, a new meshless method, which is the improved complex variable element-free Galerkin (ICVEFG) method for two-dimensional potential problems, is presented. In the method, the integral weak form of control equations is employed, and the Lagrange multiplier is used to apply the essential boundary conditions. Then the corresponding formulas of the ICVEFG method for two-dimensional potential problems are obtained. Compared with the complex variable moving least-square (CVMLS) approximation proposed by Cheng, the functional in the ICVMLS approximation has an explicit physical meaning. Furthermore, the ICVEFG method has greater computational precision and efficiency. Three numerical examples are given to show the validity of the proposed method. 展开更多
关键词 meshless method improved complex variable moving least-square approximation im- proved complex variable element-free Galerkin method potential problem
下载PDF
CLINICAL AND EXPERIMENTAL STUDIES OF JPYS IN REDUCING SIDE-EFFECTS OF CHEMOTHERAPY IN LATE-STAGE GASTRIC CANCER 被引量:1
14
作者 余桂清 任德麟 +1 位作者 孙桂芝 张代钊 《Journal of Traditional Chinese Medicine》 SCIE CAS CSCD 1993年第1期31-37,共7页
This article reports a research project undertaken for more than 16 years by the Cancer Depart-ment of Guang An Men Hospital.Tonic Jian Pi Yi Shen (JPYS 健脾益肾),which nourishes thespleen and kidney,was used in combi... This article reports a research project undertaken for more than 16 years by the Cancer Depart-ment of Guang An Men Hospital.Tonic Jian Pi Yi Shen (JPYS 健脾益肾),which nourishes thespleen and kidney,was used in combination with chemotherapy in the treatment of late stage gas-tric cancer patients for the purpose of promoting completion of the chemotherapeutic course,im-proving the general condition,ameliorating the reaction in the digestive system,protectinghemopoiesis and strengthening immunocompetence.The results of lab experiments were found tocoincide with those of clinical application. 展开更多
关键词 COMPLETION DIGESTIVE SIDE 健脾益肾 promoting strengthening proving CHEMOTHERAPY counted creased
下载PDF
变容量限制多阶段存储问题及其求解算法 被引量:1
15
作者 谢凡荣 《南昌航空工业学院学报》 CAS 2004年第2期34-37,共4页
本文给出了求变容量限制多阶段存储问题的最优存储方案的一个数值算法 ,证明了它的理论依据 ,并举例说明了算法的应用。该算法具有概念清楚、步骤明确、收敛性好、易于编程实现等优点 。
关键词 变容量限制多阶段存储问题 多阶段存储问题 最优存储方案
下载PDF
多层IPSec协议优化研究
16
作者 刘耀星 李芝棠 《微处理机》 2008年第6期89-91,95,共4页
目前有许多对传输层和应用层协议进行性能增强的技术,但由于网络层安全协议对其负载实施保护后,其相关信息就不便获取。已有的多层IPSec协议在提供网络层安全的同时还可以使用这些性能增强技术,缺陷是效率降低和结构复杂化。分析了多层I... 目前有许多对传输层和应用层协议进行性能增强的技术,但由于网络层安全协议对其负载实施保护后,其相关信息就不便获取。已有的多层IPSec协议在提供网络层安全的同时还可以使用这些性能增强技术,缺陷是效率降低和结构复杂化。分析了多层IPSec协议自身存在的一些问题并且提出了优化的方法,通过实验证明了其优化效果明显。 展开更多
关键词 多层IPSec 安全关联 分区
下载PDF
A Case of Senile Vaginitis Treated by Acupuncture 被引量:1
17
作者 Qingqing Guo Gaiqin Yang 《Journal of Clinical and Nursing Research》 2021年第4期217-219,共3页
The article records details of the treatment process and efect of an elderly patient with senile vaginitis,where needling,a method of Chinese Traditional Medicine(TCM)method,was applied mainly,combined with oral admin... The article records details of the treatment process and efect of an elderly patient with senile vaginitis,where needling,a method of Chinese Traditional Medicine(TCM)method,was applied mainly,combined with oral administration of western medicine.It then analyses this disease from prospective of TCM.In the end,it concludes that no matter traditional needling method or traditional needling method combined with moxibustion,it has achieved a satisfied treatment effect while applying needling on chosen acupuncture points,so it is worthy being further popularized. 展开更多
关键词 Senile vaginitis Baliao point Acupuncture therapy proved case
下载PDF
FEA OF RUBBER WITH NOVEL STRAIN ENERGY FUNCTIONS
18
作者 王寿梅 赵国兴 仝宗凯 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 1999年第4期205-210,221,共7页
This paper presents the results of finite element analysis of rubber structures based on novel strain energy functions stemming from the representation theorem of tensorial function. The stress tensor is represented b... This paper presents the results of finite element analysis of rubber structures based on novel strain energy functions stemming from the representation theorem of tensorial function. The stress tensor is represented by Taylor expansion, using the representation theorem of tensorial function of a single tensorial argument for all terms in each order of the expansion. The scalar-valued coefficient functions of the theorem are represented by the integrity bases of the strain tensor and material constants to be determined by experiment. The computer implementation of the new constitutive laws has been verified by comparing the FE results with analytical solutions. A complicated structure of rubber bearing was analyzed. The FE results show good correlation with experimental data. 展开更多
关键词 Computer simulation ELASTICITY Finite element method RUBBER STRAIN Structural analysis TENSORS Theorem proving
下载PDF
Automatic Generation of Very Efficient Programs by Generalized Partial Computation
19
作者 Yoshihiko Futamura 1,Zenjiro Konishi 2, Robert Glück 3 1.Department of Informationr and Computer Science,Waseda University, 3 4 1 Okubo, Shinjuku, Tokyo 169 8555, Japan 2. Institute for Software Production Technology,Waseda University, 3 4 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期1-11,共11页
Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both a... Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify Distribute Fold Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works. 展开更多
关键词 partial evaluation program transformation theorem proving program optimization recursion removal algebraic manipulation
下载PDF
Decision Making as Theorem Proving
20
作者 Zhu, Mingyuan Wang, Chengwei 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1993年第1期3-32,共30页
We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types... We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system. 展开更多
关键词 Computer programming languages Computer software Decision theory Formal logic Mathematical transformations Recursive functions Theorem proving
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部