期刊文献+
共找到1,029篇文章
< 1 2 52 >
每页显示 20 50 100
Tissue-specific transcriptomics reveals a central role of CcNST1 in regulating the fruit lignification pattern in Camellia chekiangoleosa,a woody oil-crop 被引量:1
1
作者 Chao Yan Ziyan Nie +6 位作者 Zhikang Hu Hu Huang Xianjin Ma Sijia Li Jiyuan Li Xiaohua Yao Hengfu Yin 《Forestry Research》 2022年第1期89-98,共10页
Fruit lignification is of significant economic importance because it affects the quality of fruit and the production of seed oil.The specified lignification pattern in Camellia chekiangoleosa fruits plays critical rol... Fruit lignification is of significant economic importance because it affects the quality of fruit and the production of seed oil.The specified lignification pattern in Camellia chekiangoleosa fruits plays critical roles in its seed oil yield,but little is known about how this lignification process is regulated.Here,we report on a comprehensive tissue-specific transcriptomics analysis conducted for C.chekiangoleosa fruit.By mining the differentially expressed genes,we found that lignin biosynthesis and transcriptional regulation pathways were significantly enriched in the lignified tissues.The homolog of NST-like transcription factor,CcNST1,was highly expressed in lignified seed coat and endocarp tissues;transgenic analyses of CcNST1 in Arabidopsis and hybrid poplar revealed the enhanced lignification levels of various tissues.Gene expression analysis of the transgenic lines uncovered potential downstream genes involved in the regulation of lignin biosynthesis.This work provides a valuable gene expression resource and identified the pivotal role of CcNST1 in regulating the lignin biosynthesis underlying fruit lignification. 展开更多
关键词 PATTERN specified specific
在线阅读 下载PDF
Lock-in phenomenon of tip clearance flow and its influence on aerodynamic damping under specified vibration on an axial transonic compressor rotor 被引量:6
2
作者 Le HAN Dasheng WEI +1 位作者 Yanrong WANG Mingchang FANG 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2022年第3期185-200,共16页
In this study,the lock-in phenomenon of Tip Clearance Flow(TCF)instabilities and their relationship to blade vibration are investigated numerically on an axial transonic rotor with a large tip clearance.The capabiliti... In this study,the lock-in phenomenon of Tip Clearance Flow(TCF)instabilities and their relationship to blade vibration are investigated numerically on an axial transonic rotor with a large tip clearance.The capabilities of simulating instability flow and lock-in phenomenon are verified on a transonic rotor and a NACA0012 airfoil by comparing with the test data,respectively.The lock-in phenomenon is first numerically confirmed that may occur to TCF instabilities when its frequency is close to the blade vibration frequency.The lock-in region becomes wider with the vibration amplitude increasing,and it is also affected by modal shapes.For the rotor at the simulation conditions in this study,the bending mode results in a wider lock-in region than the torsional mode.In the lock-in region,the phase difference between the Tip Clearance Vortex(TCV)and the blade vibration changes with the flow condition and the frequency ratio of the blade vibration and the TCV instabilities.The frequency of the TCV instabilities reduces with the mass flow decreasing.Therefore,reducing mass flow and increasing frequency ratio have similar effects on the TCV phase,which causes a significant variation on the unsteady pressure amplitude in the blade tip area.Thus,the aerodynamic damping changes significantly with the TCV phase.The aerodynamic damping displays a nonlinear relationship with the vibration amplitude,and it changes from negative to positive with the vibration amplitude increasing at the same frequency ratio.The negative damping is mainly provided by the tip area of the blade.For unlocked conditions,the period of the TCF instabilities fluctuates over time,and it cannot be directly separated by their frequency features.Inter Blade Phase Angle(IBPA)also has an important influence on the feature of the TCV instabilities.The occurrence of frequency lock-in also requires“appropriate”IBPA.For the examined working conditions,the frequency lock-in occurs under 0 ND(Nodal Diameter),but not under 8 ND.However,no matter 0 ND or 8 ND,the phase of TCV always locks onto the IBPA at the examined conditions. 展开更多
关键词 Aerodynamic damping Inter blade phase angle LOCK-IN specified blade vibration Tip clearance flow instabilities
原文传递
Autoimmune pancreatitis not otherwise specified(NOS): Clinical features and outcomes of the forgotten type 被引量:2
3
作者 Nicolò de Pretis Filippo Vieceli +3 位作者 Alessandro Brandolese Lorenzo Brozzi Antonio Amodio Luca Frulloni 《Hepatobiliary & Pancreatic Diseases International》 SCIE CAS CSCD 2019年第6期576-579,共4页
Background:Autoimmune pancreatitis(AIP)is a well-recognized fibroinflammatory disease of the pancreas.Despite the significant number of studies published on AIP type 1 and 2,no studies have been focused on AIP type no... Background:Autoimmune pancreatitis(AIP)is a well-recognized fibroinflammatory disease of the pancreas.Despite the significant number of studies published on AIP type 1 and 2,no studies have been focused on AIP type not otherwise specified(NOS)and therefore very little is known about clinical features and long-term outcomes of these patients.The aim of this study was to investigate clinical and radiological features of AIP type NOS-patients.Methods:Patients classified as AIP type NOS at clinical onset included in our database prospectively maintained since 1995 were evaluated.Epidemiological,clinical data were collected and analyzed.Results:Forty-six patients were included in the study.The clinical onset was mainly characterized by weight loss,jaundice and acute pancreatitis.Eight patients(17.4%)were reclassified as AIP type 2 during follow-up because of the development of ulcerative colitis.Seven patients(15.2%)experienced relapse after steroid treatment but only one(2.2%)needed immunosuppressive drugs because of recurrent relapses.Conclusions:AIP type NOS shares clinical features similar to AIP type 2 and a relevant proportion of patients was reclassified as AIP type 2 during follow-up because of the development of ulcerative colitis.The risk of relapse is low but not irrelevant. 展开更多
关键词 AUTOIMMUNE PANCREATITIS Not otherwise specified OUTCOME FOLLOW-UP Therapy
暂未订购
Bivalirudin is superior to heparins alone with bailout GP Ⅱb / Ⅲa inhibitors in patients with ST-segment elevation myocardial infarction transported emergently for primary percutaneous coronary intervention: a pre-specified analysis from the EUROMAX tria 被引量:21
4
《South China Journal of Cardiology》 CAS 2014年第3期223-226,共4页
Aims In the HORIZONS trial, in-hospital treatment with bivalirudin reduced bleeding and mortality in primary percutaneous coronary intervention(PCI) compared with heparin and routine glycoprotein Ⅱb / Ⅲa inhibitor... Aims In the HORIZONS trial, in-hospital treatment with bivalirudin reduced bleeding and mortality in primary percutaneous coronary intervention(PCI) compared with heparin and routine glycoprotein Ⅱb / Ⅲa inhibitors(GPI). It is unknown whether this advantage of bivalirudin is observed in comparison with heparins only with GPI used as bailout. Methods and results In the EUROMAX study, 2198 patients with ST-segment elevation myocardial infarction(STEMI) were randomized during transport for primary PCI to bivalirudin or to heparins with optional GPI. Primary and principal outcome was the composites of death or nonCABG-related major bleeding at 30 days. This pre-specified analysis compared patients receiving bivalirudin(n = 1089) with those receiving heparins with routine upstream GPI(n = 649) and those receiving heparins only with GPI use restricted to bailout(n = 460). The primary outcome death and major bleeding occurred in5.1% with bivalirudin, 7.6% with heparin plus routine GPI(HR 0.67 and 95% CI 0.46-0.97, P = 0.034),and 9.8% with heparins plus bailout GPI(HR 0.52 and 95% CI 0.35-0.75, P = 0.006). Following adjustment by logistic regression, bivalirudin was still associated with significantly lower rates of the primary outcome(odds ratio 0.53, 95% CI 0.33-0.87) and major bleeding(odds ratio 0.44, 95% CI 0.24 – 0.82) compared with heparins alone with bailout GPI. Rates of stent thrombosis were higher with bivalirudin(1.6 vs. 0.6 vs.0.4%, P = 0.09 and 0.09). Conclusion Bivalirudin, started during transport for primary PCI, reduces major bleeding compared with both patients treated with heparin only plus bailout GPI and patients treated with heparin and routine GPI, but increased stent thrombosis. 展开更多
关键词 heparin alone elevation routine stent bleeding restricted receiving specified glycoprotein
原文传递
Theoretical Aspect of Suitable Spatial Boundary Condition Specified for Adjoint Model on Limited Area 被引量:1
5
作者 王元 伍荣生 《Advances in Atmospheric Sciences》 SCIE CAS CSCD 2001年第6期1081-1089,共9页
Theoretical argumentation for so-called suitable spatial condition is conducted by the aid of homotopy framework to demonstrate that the proposed boundary condition does guarantee that the over-specification boundary ... Theoretical argumentation for so-called suitable spatial condition is conducted by the aid of homotopy framework to demonstrate that the proposed boundary condition does guarantee that the over-specification boundary condition resulting from an adjoint model on a limited-area is no longer an issue, and yet preserve its well-poseness and optimal character in the boundary setting. The ill-poseness of over-specified spatial boundary condition is in a sense, inevitable from an adjoint model since data assimilation processes have to adapt prescribed observations that used to be over-specified at the spatial boundaries of the modeling domain. In the view of pragmatic implement, the theoretical framework of our proposed condition for spatial boundaries indeed can be reduced to the hybrid formulation of nudging filter, radiation condition taking account of ambient forcing, together with Dirichlet kind of compatible boundary condition to the observations prescribed in data assimilation procedure. All of these treatments, no doubt, are very familiar to mesoscale modelers. Key words Variational data assimilation - Adjoint model - Over-specified partial boundary condition This research work is sponsored by the National Key Programme for Developing Basic Sciences (G1998040907), the Project of Natural Science Foundation of Jiangsu Province (BK99020), the President Foundation of Nanjing University (985) and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry. 展开更多
关键词 Variational data assimilation Adjoint model Over-specified partial boundary condition
在线阅读 下载PDF
Rare primary gastric peripheral T-cell lymphoma not otherwise specified:A case report
6
作者 Hee Ryeong Jang Kyungyul Lee Kyu-Hyoung Lim 《World Journal of Clinical Cases》 SCIE 2024年第35期6834-6839,共6页
BACKGROUND Gastrointestinal lymphoma typically arises in the stomach,small bowel,or colorectum and is usually a B-cell lymphoma.However,primary T-cell lymp-homas originating in the stomach are particularly rare.Gastri... BACKGROUND Gastrointestinal lymphoma typically arises in the stomach,small bowel,or colorectum and is usually a B-cell lymphoma.However,primary T-cell lymp-homas originating in the stomach are particularly rare.Gastric peripheral T-cell lymphoma-not otherwise specified(PTCL-NOS)is an extremely rare subtype.CASE SUMMARY We report a 63-year-old male presenting with epigastric pain.Esophagogastro-duodenoscopy revealed a large ulcerative lesion in the gastric cardia.Biopsy and immunohistochemical profiling confirmed PTCL-NOS.Imaging indicated stage II disease involving the stomach and intra-abdominal lymph nodes.The patient is planned to undergo cyclophosphamide,doxorubicin,vincristine,and prednisone or cyclophosphamide,doxorubicin,vincristine,prednisone,and etoposide chemo-therapy.CONCLUSION This case highlights the necessity of considering PTCL-NOS in differential diag-noses of gastric lesions.Comprehensive histopathological and immunohistoche-mical analysis is crucial for accurate diagnosis and guiding treatment. 展开更多
关键词 Gastrointestinal lymphoma STOMACH Peripheral T-cell lymphoma-not otherwise specified Extranodal lymphoma Case report
暂未订购
Function of pioneer neurons specified by the basic helix-loop-helix transcription factor atonal in neural development
7
作者 Misako Okumura Takahiro Chihara 《Neural Regeneration Research》 SCIE CAS CSCD 2016年第9期1394-1395,共2页
Basic helix-loop-helix (bHLH) transcription factors regulate the differentiation of various tissues in a vast diversity of species. The bHLH protein Atonal was first identified as a proneural gene involved in the fo... Basic helix-loop-helix (bHLH) transcription factors regulate the differentiation of various tissues in a vast diversity of species. The bHLH protein Atonal was first identified as a proneural gene involved in the formation of mechanosensory cells and photoreceptor cells in Drosophila (larman et al., 1993, 1994). Atonal is expressed in sensory organ precursors and is required and sufficient for the development of chordotonal organs (Jar- man et al., 1993). Moreover, Atonal expression is observed in the developing eye and is essential for the differentiation of R8 photoreceptors, which are the first photoreceptors that appear during development. Atonal is not involved in the formation of other photoreceptors (R1-R7) directly. However, R8 photore- ceptors recruit other photoreceptors from the surrounding cells (Jarman et al., 1994). 展开更多
关键词 ORN Function of pioneer neurons specified by the basic helix-loop-helix transcription factor atonal in neural development
暂未订购
Secure Order-Specified Multisignature Scheme Based on DSA
8
作者 YANG Muxiang SU Li LI Jun HONG Fan 《Wuhan University Journal of Natural Sciences》 CAS 2006年第6期1613-1616,共4页
In multisignature schemes signers can sign either in a linear order or not in any specified order, but neither of them is adequate in some scenarios where require mixture using of orderless and ordered multisignature.... In multisignature schemes signers can sign either in a linear order or not in any specified order, but neither of them is adequate in some scenarios where require mixture using of orderless and ordered multisignature. Most order-specified multisignatures specified the orders as linear ones. In this paper, we proposed an order-specified multisignature scheme based on DSA secure against active insider attack. To our knowledge, it is the first order-specified multisignature scheme based on DSA signature scheme, in which signers can sign in flexible order represented by series-parallel graphs. In the multisignature scheme verification to both signers and signing order are available. The security of the scheme is proved by reduce to an identification scheme that is proved have some concrete security. The running time of verifying a signature is comparable to previous schemes while the running time of multisignature generation and the space needed is less than those schemes. 展开更多
关键词 order-specified multisignature active chosen message attack DSA(digital signature standard)
在线阅读 下载PDF
A Review of Comprehensive River Regulation Specification
9
作者 HAN Jiangwei DONG Li LI Tianfei 《Journal of Landscape Research》 2020年第4期45-48,共4页
Comprehensive river regulation in the new era is a series of construction procedures from planning,scheme generation and engineering design to commercial pattern,construction and operation,etc.,which is a comprehensiv... Comprehensive river regulation in the new era is a series of construction procedures from planning,scheme generation and engineering design to commercial pattern,construction and operation,etc.,which is a comprehensive project coordinated and managed by multiple departments.Different industry departments measure the feasibility of scheme design according to the standards of their own departments in the examination of river regulation,but due to the lack of understanding of other industry standards,some unnecessary scheme contradictions are often caused in the cross-industry cooperation.The study integrates and sorts out specifi cations of various departments involved in river regulation,and performs analogy study of standards of various contents in multi-industry cooperation with contents of comprehensive river regulation as the scale,so as to promote cross-industry communication of comprehensive river regulation and promote construction of integrated river regulation platform. 展开更多
关键词 Comprehensive river regulation Cross-industry collaboration specifi cation
在线阅读 下载PDF
Backward Dijkstra Algorithms for Finding the Departure Time Based on the Specified Arrival Time for Real-Life Time-Dependent Networks
10
作者 Gelareh Bakhtyar Vi Nguyen +1 位作者 Mecit Cetin Duc Nguyen 《Journal of Applied Mathematics and Physics》 2016年第1期1-7,共7页
A practical transportation problem for finding the “departure” time at “all source nodes” in order to arrive at “some destination nodes” at specified time for both FIFO (i.e., First In First Out) and Non-FIFO “... A practical transportation problem for finding the “departure” time at “all source nodes” in order to arrive at “some destination nodes” at specified time for both FIFO (i.e., First In First Out) and Non-FIFO “Dynamic ” Networks is considered in this study. Although shortest path (SP) for dynamic networks have been studied/documented by various researchers, contributions from this present work consists of a sparse matrix storage scheme for efficiently storing large scale sparse network’s connectivity, a concept of Time Delay Factor (TDF) combining with a “general piece- wise linear function” to describe the link cost as a function of time for Non-FIFO links’ costs, and Backward Dijkstra SP Algorithm with simple heuristic rules for rejecting unwanted solutions during the backward search algorithm. Both small-scale (academic) networks as well as large- scale (real-life) networks are investigated in this work to explain and validate the proposed dynamic algorithms. Numerical results obtained from this research work have indicated that the newly proposed dynamic algorithm is reliable, and efficient. Based on the numerical results, the calculated departure time at the source node(s), for a given/specified arrival time at the destination node(s), can be non-unique, for some Non-FIFO networks’ connectivity. 展开更多
关键词 Backward Dijkstra Dynamic Networks Piece-Wise Linear Function specified Arrival Time
在线阅读 下载PDF
Designing mixed <i>H</i><sub>2</sub>/<i>H</i><sub>&infin;</sub>structure specified controllers using Particle Swarm Optimization (PSO) algorithm
11
作者 Ayman N. Salman Younis Ali A. Khamees Farooq T. Taha 《Natural Science》 2014年第1期17-22,共6页
This paper proposes an efficient method for designing accurate structure-specified mixed H2/H∞ optimal controllers for systems with uncertainties and disturbance using particle swarm (PSO) algorithm. It is designed t... This paper proposes an efficient method for designing accurate structure-specified mixed H2/H∞ optimal controllers for systems with uncertainties and disturbance using particle swarm (PSO) algorithm. It is designed to find a suitable controller that minimizes the performance index of error signal subject to an unequal constraint on the norm of the closed-loop system. Although the mixed H2/H∞ for the output feedback approach control is considered as a robust and optimal control technique, the design process normally comes up with a complex and non-convex optimization problem, which is difficult to solve by the conventional optimization methods. The PSO can efficiently solve design problems of multi-input-multi-output (MIMO) optimal control systems, which is very suitable for practical engineering designs. It is used to search for parameters of a structure-specified controller, which satisfies mixed performance index. The simulation and experimental results show high feasibility, robustness and practical value compared with the conventional proportional-integral-derivative (PID) and proportional-Integral (PI) controller, and the proposed algorithm is also more efficient compared with the genetic algorithm (GA). 展开更多
关键词 MIXED H2/H∞ Optimal Control Particle Swarm Optimization ALGORITHM Structure-specified Controller
在线阅读 下载PDF
A Fatal Case of Chronic Eosinophilic Leukemia Not Otherwise Specified (CEL-NOS) in a 19-Year-Old Male with Acute Transformation into Blast Crisis
12
作者 Basheer Al-Sanouri Basheer Al-Sanouri +1 位作者 Yahya Maslamani Ibrahim Al-Sanouri 《Case Reports in Clinical Medicine》 2016年第12期528-540,共14页
Chronic eosinophilic leukemia (CEL) is a rare disorder that is characterized by hypereosinophilia with increased number of blood or marrow blasts (>5% and <20%). CEL is distinguished from hypereosinophilic syndr... Chronic eosinophilic leukemia (CEL) is a rare disorder that is characterized by hypereosinophilia with increased number of blood or marrow blasts (>5% and <20%). CEL is distinguished from hypereosinophilic syndrome (HES) by the presence of eosinophilic clonality. Chronic eosinophilic leukemia not otherwise specified (CEL-NOS) diagnosis is made when no fusion genes are detected by most modern molecular testing, particularly the most common fusion gene FIP1L-1/PDGFRA (Factor Interacting with PAP like-1/Platelet-Derived Growth Factor Receptor Alpha). This disease is very rare, and its description in the literature is not well characterized. We report a fetal case of severe CEL-NOS in a 19-year-old male who presented with a plethora of clinical features consists of constitutional symptoms, pancytopenia, intravascular thrombosis, acute stroke and endomyocardial infiltrates. The course of his disease was aggressive and resistant to conventional treatment. After a short period of improvement, an acute transformation into blast crisis (BC) had occurred. The diagnosis was confirmed by morphology and immunophenotyping of bone marrow biopsy. The patient eventually died of heart failure and sepsis. To our knowledge this is the first case report of fatal CEL-NOS transforming into severe blast crisis. 展开更多
关键词 Hypereosinophilic Syndrome (HES) Eosinophils Degranulation WHO World Health Organization Classification Chronic Eosinophilic Leukemia Not Other-wise specified (CEL-NOS) Fluorescent In Situ Hybridization (FISH) Tyrosine Kinase Inhibitor Imatinib Acute Transformation into Blast Crisis
暂未订购
CPTPP国有企业例外规则评析与因应
13
作者 应品广 《上海对外经贸大学学报》 北大核心 2026年第1期5-18,共14页
国有企业议题已经成为当前自由贸易协定谈判中最具争议的内容之一。作为当前国有企业国际规则构建的“集大成者”,CPTPP在高标准国企规范基础上创设了“一般例外+国别例外”的例外体系。这一体系既推动了各成员的国企市场化改革,也为各... 国有企业议题已经成为当前自由贸易协定谈判中最具争议的内容之一。作为当前国有企业国际规则构建的“集大成者”,CPTPP在高标准国企规范基础上创设了“一般例外+国别例外”的例外体系。这一体系既推动了各成员的国企市场化改革,也为各国提供了政策缓冲空间,平衡了国企高标准义务与各国的政策灵活性。然而,这些规则也给成员带来了改革压力、法律调整、政治博弈和国际规则适应等多重挑战。对CPTPP国企例外规则的准确理解和灵活运用,是中国成功加入CPTPP和深度参与全球经贸治理的关键。中国可在对标的基础上,通过有针对性争取例外安排、推进国有企业改革、完善配套立法以及采取灵活的谈判策略等方式,平衡国际规则接轨与核心产业安全,将加入CPTPP的压力转化为深化改革的动力,为全球经贸治理贡献“中国方案”。 展开更多
关键词 CPTPP 国有企业 例外规则 一般例外 国别例外
原文传递
Leader-following cooperative guidance law with specified impact time 被引量:8
14
作者 LI GuoFei LI Qing +2 位作者 WU YunJie XU PengYa LIU JianWei 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2020年第11期2349-2356,共8页
The problem of guidance law is investigated for multiple interceptors to attack a target cooperatively.A leader-following cooperative guidance strategy is presented to render the leader and the followers reach the tar... The problem of guidance law is investigated for multiple interceptors to attack a target cooperatively.A leader-following cooperative guidance strategy is presented to render the leader and the followers reach the target at specified impact time.The guidance law of leader is given to meet the demand of specified impact time.The arrival time is synchronized by enforcing the ranges-to-go of followers keep consensus with that of leader.The convergence time bound is estimated without dependence on the initial states,since the proposed leader-following cooperative guidance law is fixed-time convergent.The simulation is developed to validate the availability of proposed cooperative guidance law. 展开更多
关键词 cooperative guidance leader-following specified impact time fixed-time convergence
原文传递
Efficient processing of partially specified twig pattern queries 被引量:1
15
作者 ZHOU JunFeng MENG XiaoFeng LING TokWang 《Science in China(Series F)》 2009年第10期1830-1847,共18页
As huge volumes of data are organized or exported in tree-structured form, it is quite necessary to extract useful information from these data collections using effective and efficient query processing methods. A natu... As huge volumes of data are organized or exported in tree-structured form, it is quite necessary to extract useful information from these data collections using effective and efficient query processing methods. A natural way of retrieving desired information from XML documents is using twig pattern (TP), which is, actually, the core component of existing XML query languages. Twig pattern possesses the inherent feature that query nodes on the same path have concrete precedence relationships. It is this feature that makes it infeasible in many actual scenarios. This has driven the requirement of relaxing the complete specification of a twig pattern to express more flexible semantic constraints in a single query expression. In this paper, we focus on query evaluation of partially specified twig pattern (PSTP) queries, through which we can reap the most flexibility of specifying partial semantic constraints in a query expression. We propose an extension to XPath through introducing two Samepath axes to support partial semantic constraints in a concise but effective way. Then we propose a stack based algorithm, pTwigStack, to process a PSTP holistically without deriving the concrete twig patterns and then processing them one by one. Further, we propose two DTD schema based optimization methods to improve the performance of pTwigStack algorithm. Our experimental results on various datasets indicate that our method performs significantly better than existing ones when processing PSTPs. 展开更多
关键词 XML database query processing partially specified twig pattern holistic twig join XPATH
原文传递
Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques
16
作者 Tun Li Qinhan Yu +1 位作者 Hai Wan Sikun Li 《Tsinghua Science and Technology》 SCIE EI CAS CSCD 2020年第1期103-116,共14页
Soft errors have become a critical challenge as a result of technology scaling. Existing circuit-hardening techniques are commonly associated with prohibitive overhead of performance, area, and power. However,evaluati... Soft errors have become a critical challenge as a result of technology scaling. Existing circuit-hardening techniques are commonly associated with prohibitive overhead of performance, area, and power. However,evaluating the influence of soft errors in Flip-Flops(FFs) on the failure of circuit is a difficult verification problem.Here, we proposed a novel flip-flop soft-error failure rate analysis methodology using a formal method with respect to application behaviors. Approach and optimization techniques to implement the proposed methodology based on the given formula using Sequential Equivalence Checking(SEC) are introduced. The proposed method combines the advantage of formal technique-based approaches in completeness and the advantage of application behaviors in accuracy to differentiate vulnerability of components. As a result, the FFs in a circuit are sorted by their failure rates, and designers can use this information to perform optimal hardening of selected sequential components against soft errors. Experimental results of an implementation of a SpaceWire end node and the largest ISCAS’89 benchmark sequential circuits indicate the feasibility and potential scalability of our approach. A case study on an instruction decoder of a practical 32-bit microprocessor demonstrates the applicability of our method. 展开更多
关键词 soft error failure rate ANALYSIS SEQUENTIAL EQUIVALENCE Checking(SEC) APPLICATION specified
原文传递
On a Spanning K-tree Containing Specified Vertices in a Graph
17
作者 Fei-fei SONG Zhi-quan HU 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 2019年第4期919-923,共5页
A k-tree is a tree with maximum degree at most k. In this paper, we give a sharp degree sum condition for a graph to have a spanning k-tree in which specified vertices have degree less than t, where 1≤t≤k.We denote ... A k-tree is a tree with maximum degree at most k. In this paper, we give a sharp degree sum condition for a graph to have a spanning k-tree in which specified vertices have degree less than t, where 1≤t≤k.We denote by σ_k(G) the minimum value of the degree sum of k independent vertices in a graph G. Let k≥2,s≥0 and 1≤t≤k be integers, and suppose G is an(s + 1)-connected graph with σ_k(G)≥|G|+(k-t)s-1.Then for any s specified vertices, G contains a spanning k-tree in which every specified vertex has degree at most t. This improves a result obtained by Matsuda and Matsumura. 展开更多
关键词 SPANNING tree K-TREE (s + 1)-connected GRAPHS degree SUM condition specified VERTICES
原文传递
International Standard for TCM Technology:Specification of Health Tai Chi(Heart-Lung Benefiting Tai Chi)
18
作者 Hui Yang 《Journal of Science in Sport and Exercise》 CSCD 2023年第2期191-192,共2页
This specification is mainly drafted by Beijing Sport University(BSU),Dongzhimen Hospital of Beijing University of Traditional Chinese Medicine in accordance with the drafting procedure specified in The General Rules ... This specification is mainly drafted by Beijing Sport University(BSU),Dongzhimen Hospital of Beijing University of Traditional Chinese Medicine in accordance with the drafting procedure specified in The General Rules for the Compilation of International Traditional Chinese Medicine(TCM)Technical Specifications and The Common Standards for the Compilation of International Standards for TCM Technology. 展开更多
关键词 TCM DRAFT specified
原文传递
A New Method for State Simplification in Incompletely Specified Sequential Machines
19
作者 王文章 陆应平 《Journal of Computer Science & Technology》 SCIE EI CSCD 1992年第3期274-283,共10页
This paper presents a method for state simplification in incompletely specified sequential machines. The new method adopts Inclusive-OR operation of column vectors for multi-level output matrix E_k! Compared with othe... This paper presents a method for state simplification in incompletely specified sequential machines. The new method adopts Inclusive-OR operation of column vectors for multi-level output matrix E_k! Compared with other algorithms in use, this method is theoretically more strict, while its structure is simple and the results obtained are accurate. 展开更多
关键词 A New Method for State Simplification in Incompletely specified Sequential Machines
原文传递
薏苡仁中玉米赤霉烯酮残留量测定能力验证研究
20
作者 刘丽娜 常艳 +2 位作者 项新华 金红宇 魏锋 《中国药事》 2025年第7期771-778,共8页
目的:评价参与能力验证实验室的玉米赤霉烯酮残留量检测能力,提升药品残留检测水平。方法:根据中国合格评定国家认可委员会相关文件要求,通过设计干扰样验证各实验室的玉米赤霉烯酮残留量测定能力,检验其均匀性和稳定性,并按项目计划发... 目的:评价参与能力验证实验室的玉米赤霉烯酮残留量检测能力,提升药品残留检测水平。方法:根据中国合格评定国家认可委员会相关文件要求,通过设计干扰样验证各实验室的玉米赤霉烯酮残留量测定能力,检验其均匀性和稳定性,并按项目计划发放样品。以参加实验室检测结果的中位值为指定值,采用Z比分数对能力验证结果进行统计分析。结果:在报名参加的150家实验室中,共147家有效数据参与指定值的计算。119家实验室的结果为满意,满意度为81.0%。结论:参加玉米赤霉烯酮残留量检测的实验室对标准的执行能力和质量保障体系整体较好。不满意的实验室需查明原因并进行整改,以提升其检验能力。 展开更多
关键词 能力验证 薏苡仁 玉米赤霉烯酮 高效液相色谱法 干扰样 指定值
暂未订购
上一页 1 2 52 下一页 到第
使用帮助 返回顶部