期刊文献+
共找到1,022篇文章
< 1 2 52 >
每页显示 20 50 100
Enhancing Relational Triple Extraction in Specific Domains:Semantic Enhancement and Synergy of Large Language Models and Small Pre-Trained Language Models
1
作者 Jiakai Li Jianpeng Hu Geng Zhang 《Computers, Materials & Continua》 SCIE EI 2024年第5期2481-2503,共23页
In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple e... In the process of constructing domain-specific knowledge graphs,the task of relational triple extraction plays a critical role in transforming unstructured text into structured information.Existing relational triple extraction models facemultiple challenges when processing domain-specific data,including insufficient utilization of semantic interaction information between entities and relations,difficulties in handling challenging samples,and the scarcity of domain-specific datasets.To address these issues,our study introduces three innovative components:Relation semantic enhancement,data augmentation,and a voting strategy,all designed to significantly improve the model’s performance in tackling domain-specific relational triple extraction tasks.We first propose an innovative attention interaction module.This method significantly enhances the semantic interaction capabilities between entities and relations by integrating semantic information fromrelation labels.Second,we propose a voting strategy that effectively combines the strengths of large languagemodels(LLMs)and fine-tuned small pre-trained language models(SLMs)to reevaluate challenging samples,thereby improving the model’s adaptability in specific domains.Additionally,we explore the use of LLMs for data augmentation,aiming to generate domain-specific datasets to alleviate the scarcity of domain data.Experiments conducted on three domain-specific datasets demonstrate that our model outperforms existing comparative models in several aspects,with F1 scores exceeding the State of the Art models by 2%,1.6%,and 0.6%,respectively,validating the effectiveness and generalizability of our approach. 展开更多
关键词 Relational triple extraction semantic interaction large language models data augmentation specific domains
下载PDF
Inhibition of growth and metastasis of triple-negative breast cancer targeted by Traditional Chinese Medicine Tubeimu in orthotopic mice models 被引量:9
2
作者 Jingxiao Wang Xinjie Yang +8 位作者 Haibo Han Limin Wang Weiqian Bao Shanshan Wang Robert M.Hoffman Meng Yang Hui Qi Chao An Kaiwen Hu 《Chinese Journal of Cancer Research》 SCIE CAS CSCD 2018年第1期112-121,共10页
Objective: Triple-negative breast cancer(TNBC) is highly invasive and metastatic, which is in urgent need of transformative therapeutics. Tubeimu(TBM), the rhizome of Bolbostemma paniculatum(Maxim.) Franquet, i... Objective: Triple-negative breast cancer(TNBC) is highly invasive and metastatic, which is in urgent need of transformative therapeutics. Tubeimu(TBM), the rhizome of Bolbostemma paniculatum(Maxim.) Franquet, is one of the Chinese medicinal herbs used for breast diseases since the ancient times. The present study evaluated the efficacy, especially the anti-metastatic effects of the dichloromethane extract of Tubeimu(ETBM) on TNBC orthotopic mouse models and cell lines.Methods: We applied real-time imaging on florescent orthotopic TNBC mice model and tested cell migration and invasion abilities with MDA-MB-231 cell line. Digital gene expression sequencing was performed and Kyoto Encyclopedia of Genes and Genomes(KEGG) analysis applied to explore the pathways influenced by ETBM.Moreover, quantitative real-time polymerase chain reactions(q RT-PCR) and Western blot were delivered to confirm the gene expression changes.Results: ETBM exhibited noticeable control on tumor metastasis and growth of TNBC tumors with no obvious toxicity. In compliance with this, it also showed inhibition of cell migration and invasion in vitro. Its impact on the changed biological behavior in TNBC may be a result of decreased expression of integrin β1(ITGβ1), integrin β8(ITGβ8) and Rho GTPase activating protein 5(ARHGAP5), which disabled the focal adhesion pathway and caused change in cell morphology.Conclusions: This study reveals that ETBM has anti-metastatic effects on MDA-MB-231-GFP tumor and may lead to a new therapeutic agent for the integrative treatment of highly invasive TNBC. 展开更多
关键词 Tubeimu triple negative breast cancer(TNBC) orthotopic mouse models Traditional Chinese Medicine(TCM) integrins Rho GTPase activating protein 5
下载PDF
绿色认知、组织支持对粮农绿色生产技术采纳影响--基于Triple-Hurdle模型的分析
3
作者 张泽琳 周霞 《科技与经济》 2023年第5期46-50,共5页
基于粮食主产区山东省319户粮农的微观数据,将粮农的绿色生产技术采纳划分为绿色生产技术采纳意愿、采纳行为、采纳程度3个方面,运用Triple-Hurdle模型进行分析研究。结果表明:绿色认知、组织支持对粮农绿色生产技术的采纳意愿、采纳行... 基于粮食主产区山东省319户粮农的微观数据,将粮农的绿色生产技术采纳划分为绿色生产技术采纳意愿、采纳行为、采纳程度3个方面,运用Triple-Hurdle模型进行分析研究。结果表明:绿色认知、组织支持对粮农绿色生产技术的采纳意愿、采纳行为和采纳程度具有显著正向影响;组织支持能正向调节绿色认知对粮农绿色生产采纳的影响,但在不同阶段调节效应有差异;绿色认知对粮农的绿色生产技术采纳具有组群差异,绿色认知对于大规模粮农和年轻粮农的绿色生产技术采纳影响更大。 展开更多
关键词 绿色认知 组织支持 粮食种植户 绿色生产技术 triple-Hurdle模型
下载PDF
Modeling of a triple reduced surface field silicon-on-insulator lateral double-diffused metal–oxide–semiconductor field-effect transistor with low on-state resistance 被引量:1
4
作者 王裕如 刘祎鹤 +4 位作者 林兆江 方冬 李成州 乔明 张波 《Chinese Physics B》 SCIE EI CAS CSCD 2016年第2期430-435,共6页
An analytical model for a novel triple reduced surface field(RESURF) silicon-on-insulator(SOI) lateral doublediffused metal–oxide–semiconductor(LDMOS) field effect transistor with n-type top(N-top) layer, wh... An analytical model for a novel triple reduced surface field(RESURF) silicon-on-insulator(SOI) lateral doublediffused metal–oxide–semiconductor(LDMOS) field effect transistor with n-type top(N-top) layer, which can obtain a low on-state resistance, is proposed in this paper. The analytical model for surface potential and electric field distributions of the novel triple RESURF SOI LDMOS is presented by solving the two-dimensional(2D) Poisson's equation, which can also be applied to single, double and conventional triple RESURF SOI structures. The breakdown voltage(BV) is formulized to quantify the breakdown characteristic. Besides, the optimal integrated charge of N-top layer(Q_(ntop)) is derived, which can give guidance for doping the N-top layer. All the analytical results are well verified by numerical simulation results,showing the validity of the presented model. Hence, the proposed model can be a good tool for the device designers to provide accurate first-order design schemes and physical insights into the high voltage triple RESURF SOI device with N-top layer. 展开更多
关键词 analytical model triple reduced surface field (RESURF) silicon-on-insulator (SOI) n-type top (N-top) layer
下载PDF
Unstructured Road Extraction in UAV Images based on Lightweight Model
5
作者 Di Zhang Qichao An +3 位作者 Xiaoxue Feng Ronghua Liu Jun Han Feng Pan 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2024年第2期372-384,共13页
There is no unified planning standard for unstructured roads,and the morphological structures of these roads are complex and varied.It is important to maintain a balance between accuracy and speed for unstructured roa... There is no unified planning standard for unstructured roads,and the morphological structures of these roads are complex and varied.It is important to maintain a balance between accuracy and speed for unstructured road extraction models.Unstructured road extraction algorithms based on deep learning have problems such as high model complexity,high computational cost,and the inability to adapt to current edge computing devices.Therefore,it is best to use lightweight network models.Considering the need for lightweight models and the characteristics of unstructured roads with different pattern shapes,such as blocks and strips,a TMB(Triple Multi-Block)feature extraction module is proposed,and the overall structure of the TMBNet network is described.The TMB module was compared with SS-nbt,Non-bottleneck-1D,and other modules via experiments.The feasibility and effectiveness of the TMB module design were proven through experiments and visualizations.The comparison experiment,using multiple convolution kernel categories,proved that the TMB module can improve the segmentation accuracy of the network.The comparison with different semantic segmentation networks demonstrates that the TMBNet network has advantages in terms of unstructured road extraction. 展开更多
关键词 Unstructured road Lightweight model triple Multi-Block(TMB) Semantic segmentation net
下载PDF
Universal triple I fuzzy reasoning algorithm of function model based on quotient space 被引量:1
6
作者 Lu Qiang Shen Guanting and Liu Xiaoping 《Computer Aided Drafting,Design and Manufacturing》 2012年第1期49-60,共12页
Aiming at the deficiencies of analysis capacity from different levels and fuzzy treating method in product function modeling of conceptual design, the theory of quotient space and universal triple I fuzzy reasoning me... Aiming at the deficiencies of analysis capacity from different levels and fuzzy treating method in product function modeling of conceptual design, the theory of quotient space and universal triple I fuzzy reasoning method are introduced, and then the function modeling algorithm based on the universal triple I fuzzy reasoning method is proposed. Firstly, the product function granular model based on the quotient space theory is built, with its function granular representation and computing rules defined at the same time. Secondly, in order to quickly achieve function granular model from function requirement, the function modeling method based on universal triple I fuzzy reasoning is put forward. Within the fuzzy reasoning of universal triple I method, the small-distance-activating method is proposed as the kernel of fuzzy reasoning; how to change function requirements to fuzzy ones, fuzzy computing methods, and strategy of fuzzy reasoning are respectively investigated as well; the function modeling algorithm based on the universal triple I fuzzy reasoning method is achieved. Lastly, the validity of the function granular model and function modeling algorithm is validated. Through our method, the reasonable function granular model can be quickly achieved from function requirements, and the fuzzy character of conceptual design can be well handled, which greatly improves conceptual design. 展开更多
关键词 conceptual design function modeling fuzzy reasoning universal triple I method
下载PDF
Combination Therapy of Capecitabine with Cyclophosphamide as a Second-Line Treatment after Failure of Paclitaxel plus Bevacizumab Treatment in a Human Triple Negative Breast Cancer Xenograft Model
7
作者 Mieko Yanagisawa Keigo Yorozu +2 位作者 Mitsue Kurasawa Yoichiro Moriya Naoki Harada 《Journal of Cancer Therapy》 2013年第7期1236-1241,共6页
We examined the antitumor efficacy of the capecitabine (CAPE) plus cyclophosphamide (CPA) combination as a 2nd-line therapy after paclitaxel (PTX) plus bevacizumab (BEV) treatment in a xenograft model of human triple ... We examined the antitumor efficacy of the capecitabine (CAPE) plus cyclophosphamide (CPA) combination as a 2nd-line therapy after paclitaxel (PTX) plus bevacizumab (BEV) treatment in a xenograft model of human triple negative breast cancer (TNBC) cell line, MX-1. After tumor growth was confirmed, PTX (20 mg/kg;i.v.) + BEV (5 mg/kg;i.p.) treatment was started (Day 1). Each agent was administered once a week for 5 weeks and tumor regression was observed for at least the first 3 weeks. For 2nd-line treatment, we selected mice in which the tumor volume had increased from day 29 to day 36 and was within 130 - 250 mm3 on day 36. After randomization of mice selected on day 36, CPA (10 mg/kg;p.o.) and CAPE (539 mg/kg;p.o.) were administered daily for 14 days (days 36 - 49), followed by cessation of the drugs for 1 week. The tumor growth on day 57 was significantly suppressed in the CPA, CAPE and CAPE + CPA groups as compared with the control group (p < 0.05). Furthermore, the antitumor activity on day 57 of CAPE + CPA was significantly stronger than that of CPA or CAPE alone (p < 0.05). The thymidine phosphorylase (TP) level in tumor tissue was evaluated by immunohistochemistry on day 50, and was significantly higher in the CPA group than those in the control group (p < 0.05). Upregulation of TP in tumor tissues by CPA treatment would increase the 5-FU level in tumor tissues treated with CAPE. This would explain the possible mechanism that made CAPE + CPA superior to CAPE alone in the 2nd-line treatment. Our preclinical results suggest that the CAPE + CPA combination therapy may be effective as 2nd-line therapy after disease progression in PTX + BEV 1st-line treatment for TNBC patients. 展开更多
关键词 triple Negative BREAST Cancer CAPECITABINE CYCLOPHOSPHAMIDE BEVACIZUMAB PACLITAXEL XENOGRAFT model
下载PDF
Design and Modeling on Stranded Wires Helical Springs 被引量:8
8
作者 ZHOU Jie WANG Shilong +1 位作者 KANG Ling CHEN Tianyi 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2011年第4期626-637,共12页
A stranded wires helical spring is formed of a multilayer and coaxial strand of several wires twisted together with the same direction of spiral. Compared with the conventional single wire spring, the stranded wires h... A stranded wires helical spring is formed of a multilayer and coaxial strand of several wires twisted together with the same direction of spiral. Compared with the conventional single wire spring, the stranded wires helical spring has the notable predominance in strength, damping and vibration reduction, which is usually used in aircraft engines, automatic weapons, etc. However, due to its complicated structure, the precise computation of its strength and rigidity need be a correct mathematical model, which then will be imported to finite element analysis software for solutions. Equations on solving geometric parameters, such as external diameters of strands and screw pitches of wires, are put forward in the paper. It also proposes a novel methodology on solving geometric parameters and establishing entity models of the stranded wires helical spring, which provides foundation of computing mechanical parameters by FEA. Then mathematical models on the centre line of the strand and the surface curve of each wire, after closing two ends in a spring, are proposed. Finally, geometric parameters are solved in a case study, and a 3D entity model of a spring with 3 layers and 16 wires is established, which has validated the accuracy of the proposed methodology and the 3D entity mathematical model. The method provides a new way to design stranded wire helical spring. 展开更多
关键词 stranded wires helical spring mathematical model finite element analysis closing ends
下载PDF
Three-stage Method for Identifying the Dynamic Model Parameters of Stranded Wire Helical Springs 被引量:5
9
作者 ZHAO Yu WANG Shilong +2 位作者 ZHOU Jie LI Chuan SUN Shouli 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2015年第1期197-207,共11页
The dynamic behavior of the stranded wire helical spring is described by a modified Bouc-Wen model while the model parameters must be identified using an identification method and experimental data. Existing identific... The dynamic behavior of the stranded wire helical spring is described by a modified Bouc-Wen model while the model parameters must be identified using an identification method and experimental data. Existing identification methods usually relies either solely nonlinear iterative algorithms or manually trial and error. Therefore, the identification process can be rather time consuming and effort taking. As a result, these methods are not ideal for engineering applications. To come up with a more practical method, a three-stage identification method is proposed. Periodic loading and identification simulations are carried out to verify the effectiveness of the proposed method. Noises are added to the simulated data to test the performance of the proposed method when dealing with noise contaminated data. The simulation results indicate that the proposed method is able to give satisfying results when the noise levels are set to be 0.01, 0.03, 0.05 and 0.07. In addition, the proposed method is also applied to experimental data and compared with an existing method. The experimental data is acquired through a periodic loading test. The experiment results suggest that the proposed method features better accuracy compared with the existing method. An effective approach is proposed for identifying the model parameters of the stranded wire helical spring. 展开更多
关键词 Stranded wire helical spring modified Bouc-Wen model parameter identification OPTIMIZATION
下载PDF
A distributed dynamic mesh model of a helical gear pair with tooth profile errors 被引量:7
10
作者 WANG Qi-bin MA Hong-bo +1 位作者 KONG Xian-guang ZHANG Yi-min 《Journal of Central South University》 SCIE EI CAS CSCD 2018年第2期287-303,共17页
A dynamic model of a helical gear rotor system is proposed.Firstly,a generally distributed dynamic model of a helical gear pair with tooth profile errors is developed.The gear mesh is represented by a pair of cylinder... A dynamic model of a helical gear rotor system is proposed.Firstly,a generally distributed dynamic model of a helical gear pair with tooth profile errors is developed.The gear mesh is represented by a pair of cylinders connected by a series of springs and the stiffness of each spring is equal to the effective mesh stiffness.Combining the gear dynamic model with the rotor-bearing system model,the gear-rotor-bearing dynamic model is developed.Then three cases are presented to analyze the dynamic responses of gear systems.The results reveal that the gear dynamic model is effective and advanced for general gear systems,narrow-faced gear,wide-faced gear and gear with tooth profile errors.Finally,the responses of an example helical gear system are also studied to demonstrate the influence of the lead crown reliefs and misalignments.The results show that both of the lead crown relief and misalignment soften the gear mesh stiffness and the responses of the gear system increase with the increasing lead crown reliefs and misalignments. 展开更多
关键词 gear distributed dynamic model tooth profile errors helical gear pair rotor system dynamic response
下载PDF
Game Analysis and Countermeasures on Increasing Prices of Agricultural Products under Triple Supply Chain 被引量:3
11
作者 LIU Tao 《Asian Agricultural Research》 2011年第10期46-49,共4页
From the perspective of supply chain of agricultural products,by establishing Stackelberg game model based on triple supply chain,this paper researches the price formation and profit distribution mechanism of agricult... From the perspective of supply chain of agricultural products,by establishing Stackelberg game model based on triple supply chain,this paper researches the price formation and profit distribution mechanism of agricultural products under circumstance of non-cooperation and cooperation.The results show the main factors responsible for the hiking of prices of agricultural products as follows:the cost of agricultural products climbs incessantly;the circulation cost hovers at high level;the factor inputs of agricultural products are short;inflation pressure is incessantly mounting;the profit distribution of supply chain is irrational.Finally,corresponding countermeasures are put forward. 展开更多
关键词 triple supply chain Stackerlberg game model Price formation mechanism China
下载PDF
Vector modeling of robotic helical milling hole movement and theoretical analysis on roughness of hole surface 被引量:2
12
作者 SHAN Yi-cai HE Ning +2 位作者 LI Liang ZHAO Wei YANG Yin-fei 《Journal of Central South University》 SCIE EI CAS 2013年第7期1818-1824,共7页
To avoid the machine problems of excessive axial force, complex process flow and frequent tool changing during robotic drilling holes, a new hole-making technology (i.e., helical milling hole) was introduced for desig... To avoid the machine problems of excessive axial force, complex process flow and frequent tool changing during robotic drilling holes, a new hole-making technology (i.e., helical milling hole) was introduced for designing a new robotic helical milling hole system, which could further improve robotic hole-making ability in airplane digital assembly. After analysis on the characteristics of helical milling hole, advantages and limitations of two typical robotic helical milling hole systems were summarized. Then, vector model of helical milling hole movement was built on vector analysis method. Finally, surface roughness calculation formula was deduced according to the movement principle of helical milling hole, then the influence of main technological parameters on surface roughness was analyzed. Analysis shows that theoretical surface roughness of hole becomes poor with the increase of tool speed ratio and revolution radius. Meanwhile, the roughness decreases according to the increase of tool teeth number. The research contributes greatly to the construction of roughness prediction model in helical milling hole. 展开更多
关键词 helical milling hole robotic hole-making system vector modeling theoretical surface roughness
下载PDF
Modeling and Parameter Sensitivity Analysis of Valve‑Controlled Helical Hydraulic Rotary Actuator System 被引量:1
13
作者 Kun Zhang Junhui Zhang +5 位作者 Minyao Gan Huaizhi Zong Ximeng Wang Hsinpu Huang Qi Su Bing Xu 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2022年第6期257-274,共18页
As a type of hydraulic rotary actuator,a helical hydraulic rotary actuator exhibits a large angle,high torque,and compact structure;hence,it has been widely used in various fields.However,its core technology is propri... As a type of hydraulic rotary actuator,a helical hydraulic rotary actuator exhibits a large angle,high torque,and compact structure;hence,it has been widely used in various fields.However,its core technology is proprietary to several companies and thus has not been disclosed.Furthermore,the relevant reports are primarily limited to the component level.The dynamic characteristics of the output when a helical rotary actuator is applied to a closed-loop system are investigated from the perspective of driving system design.Two main aspects are considered:one is to establish a reliable mathematical model and the other is to consider the effect of system parameter perturbation on the output.In this study,a detailed mechanical analysis of a helical rotary hydraulic cylinder is first performed,factors such as friction and load are considered,and an accurate dynamic model of the actuator is established.Subsequently,considering the nonlinear characteristics of pressure flow and the dynamic characteristics of the valve,a dynamic model of a valve-controlled helical rotary actuator angle closed-loop system is described based on sixth-order nonlinear state equations,which has never been reported previously.After deriving the system model,a sensitivity analysis of 23 main parameters in the model with a perturbation of 10%is performed under nine operating conditions.Finally,the system dynamics model and sensitivity analysis results are verified via a prototype experiment and co-simulation,which demonstrate the reliability of the theoretical results obtained in this study.The results provide an accurate mathematical model and analysis basis for the structural optimization or control compensation of similar systems. 展开更多
关键词 helical hydraulic rotary actuator Dynamic model Closed-loop system Sensitivity analysis Prototype experiment CO-SIMULATION
下载PDF
图形化本体模型到N-TRIPLES文本转化方法研究
14
作者 唐淳 万佳 +1 位作者 唐胜群 屈振新 《计算机应用与软件》 CSCD 2010年第12期167-169,共3页
分析了图形化本体编辑器VOEDITROR中的OWL构造子分类方法,提出了将图形化本体模型转化为N-TRIPLES格式文本的算法,解决了可视化本体建模工具与Oracle11g之间的整合问题。目前这套算法已经应用于以VOEDTIOR、VOQUERY和Ora-cle11g为核心... 分析了图形化本体编辑器VOEDITROR中的OWL构造子分类方法,提出了将图形化本体模型转化为N-TRIPLES格式文本的算法,解决了可视化本体建模工具与Oracle11g之间的整合问题。目前这套算法已经应用于以VOEDTIOR、VOQUERY和Ora-cle11g为核心的基于语义Web技术的网上资源整合平台中。 展开更多
关键词 本体 本体模型 VOEDITOR N-tripleS Oracle11g
下载PDF
Structural transformation and energy analysis for pile-up dislocations at triple junction of grain boundary 被引量:1
15
作者 Ying-jun GAO Zong-ji HUANG +4 位作者 Qian-qian DENG Kun LIAO Yi-xuan LI Xiao-Ai YI Zhi-rong LUO 《Transactions of Nonferrous Metals Society of China》 SCIE EI CAS CSCD 2022年第1期45-63,共19页
An energy model for the structure transformation of pile-ups of grain boundary dislocations(GBD)at the triple-junction of the grain boundary of ultrafine-grain materials was proposed.The energy of the pile-up of the G... An energy model for the structure transformation of pile-ups of grain boundary dislocations(GBD)at the triple-junction of the grain boundary of ultrafine-grain materials was proposed.The energy of the pile-up of the GBD in the system was calculated by the energy model,the critical geometric and mechanical conditions for the structure transformation of head dislocation of the pile-up were analyzed,and the influence of the number density of the dislocations and the angle between Burgers vectors of two decomposed dislocations on the transformation mode of head dislocation was discussed.The results show when the GBD is accumulated at triple junction,the head dislocation of the GBD is decomposed into two Burgers vectors of these dislocations unless the angle between the two vectors is less than 90°,and the increase of applied external stress can reduce the energy barrier of the dislocation decomposition.The mechanism that the ultrafine-grained metal material has both high strength and plasticity owing to the structure transformation of the pile-up of the GBD at the triple junction of the grain boundary is revealed. 展开更多
关键词 triple junction of grain boundary dislocation pile-up dislocation structural transformation energy model for pile-up ultrafine-grain materials
下载PDF
eXtended Triple Diffie-Hellman协议的安全性分析 被引量:1
16
作者 刘佳路 刘璟 +3 位作者 杨佳宁 宋恒贤 雷欣雨 陈慧 《计算机应用》 CSCD 北大核心 2022年第S01期160-165,共6页
针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各... 针对X3DH(eXtended Triple Diffie-Hellman)协议安全性的问题,使用形式化分析工具OFMC(On-the-Fly Model-Checker)和协议建模语言AnB对协议进行验证。首先,在Types部分对协议涉及到的通信实体进行了建模;然后,在Knowlegde部分规定了各通信实体的先验知识;其次,在Actions部分对协议的协商流程进行了建模;最后,在Goals部分对协议的机密性、完整性、双向鉴别性等安全目标进行了建模。实验结果表明,X3DH协议作为Signal协议的核心,实现了密钥协商协议所要求的机密性、完整性、双向鉴别性等安全目标,并且形式化分析工具既可以减少工作量,又可以发现人工不易发现的协议漏洞,从而更加全面、高效地验证协议的安全性。 展开更多
关键词 X3DH协议 形式化分析工具 OFMC Signal协议
下载PDF
Study on Theory of Cutting Edge Modeling and Helical Groove Machining of Nose Burr
17
作者 刘井玉 刘华明 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 1998年第4期19-22,共4页
From the analysis of helical characteristics, ideal geometric models of cutting edge and helical groove of nose burr are developed to realize the ideal geometric model of helical groove of nose burr, in terms of not o... From the analysis of helical characteristics, ideal geometric models of cutting edge and helical groove of nose burr are developed to realize the ideal geometric model of helical groove of nose burr, in terms of not only the shape of cutting edge being accurately machined but also rake angle and depth of groove in fall compliance with design requirements. The fundamental relationship of too-groove engagment for groove shaping and the complex formulas related are verified by the example of machining and its computer simulation. 展开更多
关键词 NOSE BURR helicAL GROOVE principle of MACHINING IDEAL geometric model computer simulation
下载PDF
3-D multi-parameter type traveltime tomography in a spherical coordinate frame: comparison of double and triple class simultaneous inversions
18
作者 Chaoying Bai Jiayu Sun +1 位作者 Xingwang Li Stewart Greenhalgh 《Earthquake Science》 CSCD 2018年第2期62-74,共13页
It is now common practice to perform simultaneous traveltime inversion for the velocity field and the reflector geometry in reflection/refraction tomography, or the velocity field and the hypocenter locations in regio... It is now common practice to perform simultaneous traveltime inversion for the velocity field and the reflector geometry in reflection/refraction tomography, or the velocity field and the hypocenter locations in regional earthquake tomography, but seldom are all three classes of model parameters updated simultaneously. This is mainly due to the trade-off between the different types of model parameters and the lack of different seismic phases to constrain the model parameters. Using a spherical-coordinate ray tracing algorithm for first and later(primary reflected) arrival tracing algorithm in combination with a popular linearized inversion solver, it is possible to simultaneously recover the three classes of model parameters in regional or global tomographic studies. In this paper we incorporate the multistage irregular shortest-path ray tracing algorithm(in a spherical coordinate system) with a subspace inversion solver to formulate a simultaneous inversion algorithm for triple model parameters updating using direct and later arrival time information.Comparison tests for two sets of data(noise free and added noise) indicate that the new triple-class parameter inversion algorithm is capable of obtaining nearly the same results as the double-class parameter inversion scheme. Furthermore,the proposed multi-parameter type inversion method is not sensitive to a modest level of picking error in the traveltime data, and also performs well with a relatively large uncertainty in earthquake hypocentral locations. This shows it to be a feasible and promising approach in regional or global tomographic applications. 展开更多
关键词 simultaneous triple model parameten inversion reflector geometry hypocenter location subspace inversion multistage irregular shortest-path ray tracing
下载PDF
On the Analysis Method of the Triple Test Cross Design
19
作者 Jin Yi(Northeast Agricultural University, Harbin 1 50030, P R C) 《Journal of Northeast Agricultural University(English Edition)》 CAS 1995年第1期66-74,共9页
The analysis method of the triple test cross design has been discussed carefully from the two factor experiment design and the genetic models of additive dominant effect and of epistasis effect.Two points different f... The analysis method of the triple test cross design has been discussed carefully from the two factor experiment design and the genetic models of additive dominant effect and of epistasis effect.Two points different from the previous reports have been concluded: (1)both the degrees of freedom of the orthogonal terms C2 and C3 are m, (2)the denominator in the F test to C2 and C3 is the error mean of square between plots. 展开更多
关键词 triple test cross design Additive-dominant model Epistasis model Genetic parameter estimate.
下载PDF
Comparative Study of the Chemical Reactivity of Helical Peptide Models for Protein Glycation
20
作者 Juan Frau Daniel Glossman-Mitnik 《Computational Chemistry》 2017年第2期65-73,共9页
Non-enzymatic glycation of proteins has been implicated as an important cause of the complications associated with diabetes and Alzheimer disease. It is well known that glycation involves the reactivity of, primarily,... Non-enzymatic glycation of proteins has been implicated as an important cause of the complications associated with diabetes and Alzheimer disease. It is well known that glycation involves the reactivity of, primarily, the ε-amino group of the lysines present in the protein. The immediate chemical environment of an amino group modulates the glycation reaction. In this work, several model helical peptides for protein glycation has been studied by resorting to QM:MM calculations through the ONIOM methodology. Some Conceptual DFT descriptors have been calculated that allowed the comparison of the chemical reactivity between the different model peptides in terms of the position of the Lys group and other spatially proximate amino acid residues. 展开更多
关键词 helicAL model PEPTIDES Protein Glycation Computational CHEMISTRY Molecular modeling CONCEPTUAL DFT Chemical REACTIVITY Theory
下载PDF
上一页 1 2 52 下一页 到第
使用帮助 返回顶部