期刊文献+
共找到1,466篇文章
< 1 2 74 >
每页显示 20 50 100
A Logical Characterization for Linear Higher-Order Processes
1
作者 徐贤 龙环 《Journal of Shanghai Jiaotong university(Science)》 EI 2015年第2期185-194,共10页
Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high... Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes. 展开更多
关键词 modal logic BISIMULATION LINEARITY HIGHER-order process calculi
原文传递
Towards a Theory of Bisimulation for the Higher-Order Process Calculi 被引量:2
2
作者 Yong-JianLi Xin-XinLiu 《Journal of Computer Science & Technology》 SCIE EI CSCD 2004年第3期352-363,共12页
In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily form... In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily formulated based on it. And the congruenceproperties of the bisimulation equivalence can be proved easily. To show the correspondence betweenthe proposed semantics and the well-established ones, the bisimulation is characterized as a versionof barbed equivalence and a version of context bisimulation. 展开更多
关键词 higher-order process labelled transition semantics barbed bisimulation context-bisimulation
原文传递
Evolution of Microstructure and Ordering in Rolling Process of Fe-6. 5 mass% Si Alloy
3
作者 Hui LI Yong-feng LIANG Feng YE 《Journal of Iron and Steel Research International》 SCIE EI CAS CSCD 2016年第5期453-458,共6页
Fe-6. 5 mass% Si alloy is an excellent soft magnetic material with good application prospects. After rolling,the structure of the sheet is likely to be heterogeneous along the normal direction. The microstructure and ... Fe-6. 5 mass% Si alloy is an excellent soft magnetic material with good application prospects. After rolling,the structure of the sheet is likely to be heterogeneous along the normal direction. The microstructure and ordering evolution in the thickness range of the sheets during hot-warm rolling process was studied by means of optical microscope and transmission electron microscope. The results show that dynamic recrystallization occurs in the surface parts during the hot and warm rolling processes,where the grains are equiaxed but have high density of dislocations due to the large deformation. The grains in the center part are elongated along the rolling direction. It is also found that in the hot rolled sheet,the center part has lower density of dislocations because of dynamic recovery. Meanwhile,this part has higher ordering content compared with the surface part,indicating that the high density of dislocations can inhibit the formation of ordering in the air cooling process after hot rolling. In the warm rolling process,both of the parts are deformed heavily. Large deformation destroys ordered phases and induces disordering. The ordering content is low in the whole warm rolled sheet. 展开更多
关键词 rolling process microstructure ordering Fe-6.5 mass% Si alloy
原文传递
Necessary Conditions for the Application of Moving Average Process of Order Three 被引量:1
4
作者 O. E. Okereke I. S. Iwueze O. Johnson 《Applied Mathematics》 2015年第1期173-181,共9页
Invertibility is one of the desirable properties of moving average processes. This study derives consequences of the invertibility condition on the parameters of a moving average process of order three. The study also... Invertibility is one of the desirable properties of moving average processes. This study derives consequences of the invertibility condition on the parameters of a moving average process of order three. The study also establishes the intervals for the first three autocorrelation coefficients of the moving average process of order three for the purpose of distinguishing between the process and any other process (linear or nonlinear) with similar autocorrelation structure. For an invertible moving average process of order three, the intervals obtained are , -0.5ρ2ρ1<0.5. 展开更多
关键词 Moving AVERAGE process of order THREE Characteristic Equation INVERTIBILITY Condition AUTOCORRELATION COEFFICIENT Second DERIVATIVE Test
在线阅读 下载PDF
Higher-Order Statistics and Nonlinear Processes in Space Plasmas
5
作者 Zhao Zhengyu Dai Honggang Shi Xianqing 《Wuhan University Journal of Natural Sciences》 EI CAS 1998年第2期181-186,共6页
Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-part... Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-particle interaction in space plasmas. The signals considered here are medium scale electron density irregularities and ELF/ULF electrostatic turbulence. Nonlinearities are mainly observed in the ELF range. They are independently pointed out in time series associated with fluctuations in electronic density and in time series associated with the measurement of one electric field component. Peaks in cross-bicorrelation function and in mutual information clearly show that, in well delimited frequency bands, the wave-particle interactions are nonlinear above a certain level of fluctuations. The way the energy is transferred within the frequencies of density fluctuations is indicated by a bi-spectra analysis. 展开更多
关键词 higher-order statistics nonlinear processes space plasmas
在线阅读 下载PDF
Adaptive Consistent Parameter Estimation for Non-Gaussian MA Processes Using 4th Order Cumulant
6
作者 王新文 何振亚 《Journal of Southeast University(English Edition)》 EI CAS 1996年第2期76-80,共5页
This paper addresses the problem of adaptively estimating the consistent parameters for non Gaussian nonminimum MA processes with symmetric PDF using the fourth order cumulant of the underlying processes. The process... This paper addresses the problem of adaptively estimating the consistent parameters for non Gaussian nonminimum MA processes with symmetric PDF using the fourth order cumulant of the underlying processes. The processes may be corrupted by additive noise. 展开更多
关键词 ADAPTIVE signal processing PARAMETER ESTIMATION higher order spectra non Gaussian process MA processES
在线阅读 下载PDF
CONDITIONS FOR FOURTH-ORDER STATIONARITY AND ERGODICITY OF A HARMONIC RANDOM PROCESS
7
作者 Mao Yongcai(institute of Electronic Engineering, Xidian University, Xi’an, 710071) 《Journal of Electronics(China)》 1996年第3期235-241,共7页
The finite data estimates of the complex fourth-order moments of a signal consisting of random harmonics are analyzed. Conditions for the fourth-order stationarity and ergodicity are obtained. Explicit formulas for th... The finite data estimates of the complex fourth-order moments of a signal consisting of random harmonics are analyzed. Conditions for the fourth-order stationarity and ergodicity are obtained. Explicit formulas for the estimation error and its variance, as well as their limiting large sample values are derived. Finally, a special case relevant to cubic phase coupling is considered, and these results are stated for this case, the variance is shown to comprise an ergodic and a nonergodic part. 展开更多
关键词 HARMONIC RANDOM process FOURTH-order stationarity FOURTH-order ERGODICITY
在线阅读 下载PDF
Research on Network Maintenance Strategy Selection Based on Analytic Hierarchy Process and Technique for Order Preference by Similarity to Ideal Solution Algorithm 被引量:2
8
作者 夏伟 石全 +2 位作者 王芳 戈洪宇 陈材 《Journal of Shanghai Jiaotong university(Science)》 EI 2016年第5期588-593,共6页
Network maintenance strategy selection is a multi-objective decision making topic. It mostly depends on the uncertainty and fuzziness of decision makers and conditions. In this paper, based on analytic hierarchy proce... Network maintenance strategy selection is a multi-objective decision making topic. It mostly depends on the uncertainty and fuzziness of decision makers and conditions. In this paper, based on analytic hierarchy process(AHP) and technique for order preference by similarity to ideal solution(TOPSIS), TOPSIS partial order method is proposed to choose the optimal maintenance strategy. This method uses AHP to determine the weights of evaluation indexes. The optimal maintenance strategy choice is given as an example to demonstrate the effectiveness of the method. 展开更多
关键词 analytic hierarchy process(AHP) technique for order preference by similarity to ideal solution(TOPSIS) maintenance strategies selection
原文传递
PREPARATION AND SECOND-ORDER OPTICAL NONLINEARITY OF NOVEL PHENOXYSILICON NETWORKS BY SOL-GEL PROCESS 被引量:1
9
作者 Xiao Huang Jian Wang Ling-zhi Zhang Zhi-gang Cai Zhao-xi Lianga 《Chinese Journal of Polymer Science》 SCIE CAS CSCD 2001年第1期39-44,共6页
Four phenoxysilicon networks for nonlinear optical (NLO) applications were designed and prepared by an extended sol-gel process without additional H2O and catalyst. All poled polymer network films possess high second-... Four phenoxysilicon networks for nonlinear optical (NLO) applications were designed and prepared by an extended sol-gel process without additional H2O and catalyst. All poled polymer network films possess high second-order nonlinear optical coefficients (d(33)) Of 10(-7)similar to 10(-8) esu. The investigation of NLO temporal stability at room temperature and elevated temperature (120 degreesC) indicated that these films exhibit high d(33) stability because the orientation of the chromophores are locked in the phenoxysilicon organic/inorganic networks. 展开更多
关键词 phenoxysilicon networks sol-gel process azobenzene chromophore stilbene chromophore second order optical nonlinearity
在线阅读 下载PDF
基于层次分析-逼近理想值排序法的质子泵抑制剂合理使用评价
10
作者 王萍 谢栋 《医药导报》 北大核心 2026年第1期47-52,共6页
目的建立质子泵抑制剂(PPIs)临床应用的评价方法,以促进PPIs的合理使用。方法以《质子泵抑制剂临床应用指导原则(2020版)》、相关药品说明书、临床指南、专家共识及文献为依据,专家共同商讨制订PPIs用药合理性评价标准。采用层次分析法(... 目的建立质子泵抑制剂(PPIs)临床应用的评价方法,以促进PPIs的合理使用。方法以《质子泵抑制剂临床应用指导原则(2020版)》、相关药品说明书、临床指南、专家共识及文献为依据,专家共同商讨制订PPIs用药合理性评价标准。采用层次分析法(AHP)对评价标准的各项指标进行赋权,并运用加权逼近理想值排序法(TOPSIS)进行数据处理,评价用药合理性。随机抽取天津市北辰医院2024年1、4、7、10月共4个月份使用PPIs的患者1000例,采用AHP-TOPSIS法评价其用药合理性。结果建立的评价标准包括4个一级指标(用药指征、用法用量、注意事项、其他情况)与6个二级指标,二级指标中权重占比较高的有适应证、用法用量及重复给药(权重分别为0.501、0.157、0.157)。1000例中,相对接近程度系数Ci最高为1.000,最低为0.347。合理用药(Ci≥0.8)占比78.80%,基本合理用药(0.6≤Ci<0.8)占比8.80%,不合理用药(Ci<0.6)占比12.40%,且差异均有统计学意义(P<0.05)。结论应用AHP加权的TOPSIS法对使用PPIs的合理应用进行综合评价,可将多个指标结合起来对用药合理性进行量化评估,可使点评方式更加层次化、系统化,并且可操作性强、科学、结果可信,可为创建新的临床合理用药评价方法提供参考。 展开更多
关键词 质子泵抑制剂 合理用药 处方点评 层次分析法 逼近理想值排序法
暂未订购
Active disturbance rejection control on first-order plant 被引量:23
11
作者 Ruiguang Yang Mingwei Sun Zengqiang Chen 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2011年第1期95-102,共8页
Conventional PI control encounters some problems when dealing with large lag process in the presence of parameter uncertainties.For the typical first-order process,an observerbased linear active disturbance rejection ... Conventional PI control encounters some problems when dealing with large lag process in the presence of parameter uncertainties.For the typical first-order process,an observerbased linear active disturbance rejection control(LADRC) scheme is presented to cope with the difficulties,and a reduced-order observer scheme is proposed further.Some quantitative dynamic results with regard to non-overshoot characteristics are obtained.Finally,the performance boundaries of LADRC and PI control are explicitly compared with each other,which shows that the former is more superior in most cases. 展开更多
关键词 active disturbance rejection control(ADRC) first-order process dynamic performance non-overshoot.
在线阅读 下载PDF
A unified approach of PID controller design for unstable processes with time delay
12
作者 Ashraf RAZA Md Nishat ANWAR 《Journal of Central South University》 SCIE EI CAS CSCD 2020年第9期2643-2661,共19页
This paper addresses a unified approach of the PID controller design for low as well as high order unstable processes with time delay.The design method is based on the direct synthesis(DS)approach to achieve the enhan... This paper addresses a unified approach of the PID controller design for low as well as high order unstable processes with time delay.The design method is based on the direct synthesis(DS)approach to achieve the enhanced load disturbance rejection.To improve the servo response,a two-degree of freedom control scheme has been considered.A suitable guideline has been provided to select the desired reference model in the DS scheme.The direct synthesis controller has been approximated to the PID controller using the frequency response matching method.A consistently better performance has been obtained in comparison with the recently reported methods. 展开更多
关键词 unstable process maximum sensitivity time delay higher order process direct synthesis method frequency response matching
在线阅读 下载PDF
High performance organic transistors and phototransistors based on diketopyrrolopyrrole-quaterthiophene copolymer thin films fabricated via low-concentration solution processing 被引量:4
13
作者 Pengcheng Gu Mengxiao Hu +7 位作者 Shang Ding Guangyao Zhao Yifan Yao Feng Liu Xiaotao Zhang Huanli Dong Xiangke Wang Wenping Hu 《Chinese Chemical Letters》 SCIE CAS CSCD 2018年第11期1675-1680,共6页
Conjugated polymers have received considerable attentions over the past years due to their large-area potential applications via low-cost solution processing. Improving crystallinity of conjugated polymer molecules in... Conjugated polymers have received considerable attentions over the past years due to their large-area potential applications via low-cost solution processing. Improving crystallinity of conjugated polymer molecules in solution-processed thin films is crucial for their efficient charge transport and thus high performance optoelectronic devices. Herein, with diketopyrrolopyrrole-quaterthiophene (PDQT) copo/ymer as an example, it is found that by simply reducing the solution concentration for spincoating meanwhile with the assistance of post-annealing, significantly enhanced film crystallinity with formation of typical single crystalline domains is obtained, which benefits from the enough space for better molecular assembly especially at the semiconductor/dielectric interface. High performance polymer transistors and phototransistors were finally constructed based on the optimal lowconcentration (2 mg/mL) spin-coated PDQT films (~12 nm), which giving a high charge carrier mobility of 2.28 cm2 V-1 s-1 and a photoresponse on/off ratio of 2.1 ×107 at VG = 0 V under white light irradiation of 6mW/cm2. The results suggest that the bright future of PDQT crystalline films for large-area flexible integrated optoelectronic devices and the application of effective low-concentration processing approach in solution-processed organic electronics with reduced material waste. 展开更多
关键词 Conjugated polymer Thin film Low-concentration processing CRYSTALLINITY Molecular orders MOBILITY Optoelectronic property
原文传递
A Kind of Lean Approach for Removing Wastes From Non-Manufacturing Process With Various Facilities
14
作者 Guangyu Xiong Xiuqin Shang +1 位作者 Gang Xiong Timo R.Nyberg 《IEEE/CAA Journal of Automatica Sinica》 EI CSCD 2019年第1期307-315,共9页
It is important to identify and remove the wastes not only from manufacturing process, but also from nonmanufacturing process. In the last several decades, significant research achievements and practice benefits have ... It is important to identify and remove the wastes not only from manufacturing process, but also from nonmanufacturing process. In the last several decades, significant research achievements and practice benefits have been achieved about removing wastes from manufacturing process. Since the1990 s, some researchers and lean practitioners have paid more attention to removing waste from non-manufacturing process.Based on the authors' research work and industrial practice, the paper introduces a kind of lean approach for removing waste from non-manufacturing process. In its case study, the order handling process in a value chain is described with respect to a factory and its downstream distribution centers(DCs). The paper proposes a lean approach solution for creating the improved order handling process, and analyze how great improvements in performance can be achieved. As a result, the significant achievement has created a win-win scenario for both the nonmanufacturing process in a factory and non-manufacturing facilities(like DCs) across the value chain. It demonstrates that improvements have been made by removing waste from the non-manufacturing process that takes place within a factory as well as with external participants through the whole value chain. Likewise, the proposed lean approach has helped the case companies to achieve greater levels of efficiency and more benefits. Finally, some conclusions are drawn. 展开更多
关键词 LEAN APPROACH non-manufacturing process optimized order handling process removing WASTES value chain WIN-WIN scenario
在线阅读 下载PDF
ADAPTIVE ALGORITHM FOR CONSISTENTMA PARAMETER ESTIMATION VIATHIRD ORDER CUMULANT
15
作者 Wang Xinwen Zhang Xianda He Zhengya(Southeast University, Nanjing 210096) 《Journal of Electronics(China)》 1997年第2期159-164,共6页
This paper addresses the problem of adaptive,consistent parameter estimation for a MA model from the 3rd order cumulant of the system output. The proposed adaptive algorithm is derived by using the new linear equation... This paper addresses the problem of adaptive,consistent parameter estimation for a MA model from the 3rd order cumulant of the system output. The proposed adaptive algorithm is derived by using the new linear equation system (J. K. Tugnait, 1990), which is proved to have unique solution,and hence guarantees the consistence of the MA parameters. Simulation results are provided to show the performance of the new algorithm. 展开更多
关键词 Adaptive algorithm CONSISTENT estimation MA processES THIRD order CUMULANT
在线阅读 下载PDF
A novel approach to topological defects in a vector order parameter system
16
作者 任继荣 戎树军 朱涛 《Chinese Physics B》 SCIE EI CAS CSCD 2009年第7期2901-2904,共4页
Based on Duan's topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitl... Based on Duan's topological current theory,we propose a novel approach to study the topological properties of topological defects in a two-dimensional complex vector order parameter system.This method shows explicitly the fine topological structure of defects.The branch processes of defects in the vector order parameter system have also been investigated with this method. 展开更多
关键词 topological defects order parameter topological current branch processes
原文传递
Auditory Temporal Processing and Working Memory: Two Independent Deficits for Dyslexia
17
作者 Leah Fostick Sharona Bar-El Ronit Ram-Tsur 《Psychology Research》 2012年第5期308-318,共11页
关键词 时间处理 记忆 听觉 阅读能力 财政 认知功能障碍 测试工作 遗传基础
在线阅读 下载PDF
A Framework Model for an Order Fulfillment System Based on Service Oriented Architecture
18
作者 YANG Li-xi LI Shi-qi 《International Journal of Plant Engineering and Management》 2008年第1期32-40,共9页
To effectively implement order fulfillment, we present an integrated framework model focusing on the whole process of order fulfillment. Firstly, five aims of the OFS (order fulfillment system) are built. Then after... To effectively implement order fulfillment, we present an integrated framework model focusing on the whole process of order fulfillment. Firstly, five aims of the OFS (order fulfillment system) are built. Then after discussing three major processes of order fulfillment, we summarize functional and quality attributes of the OFS. Subsequently, we investigate SOA (Service Oriented Architecture) and present a SOA meta-model to be an integrated framework and to fulfill quality requirements. Moreover,based on the SOA meta-model, we construct a conceptual framework model that aims to conveniently integrate other functions fiom different systems into the order fulfillment system. This model offers enterprises a new approach to implementing order fulfillment. 展开更多
关键词 order fulfillment order promise process integration SOA
在线阅读 下载PDF
An interconnecting bus power optimization method combining interconnect wire spacing with wire ordering
19
作者 朱樟明 郝报田 +2 位作者 恩云飞 杨银堂 李跃进 《Chinese Physics B》 SCIE EI CAS CSCD 2011年第6期509-516,共8页
On-chip interconnect buses consume tens of percents of dynamic power in a nanometer scale integrated circuit and they will consume more power with the rapid scaling down of technology size and continuously rising cloc... On-chip interconnect buses consume tens of percents of dynamic power in a nanometer scale integrated circuit and they will consume more power with the rapid scaling down of technology size and continuously rising clock frequency, therefore it is meaningful to lower the interconnecting bus power in design. In this paper, a simple yet accurate interconnect parasitic capacitance model is presented first and then, based on this model, a novel interconnecting bus optimization method is proposed. Wire spacing is a process for spacing wires for minimum dynamic power, while wire ordering is a process that searches for wire orders that maximally enhance it. The method, i.e., combining wire spacing with wire ordering, focuses on bus dynamic power optimization with a consideration of bus performance requirements. The optimization method is verified based on various nanometer technology parameters, showing that with 50% slack of routing space, 25.71% and 32.65% of power can be saved on average by the proposed optimization method for a global bus and an intermediate bus, respectively, under a 65-nm technology node, compared with 21.78% and 27.68% of power saved on average by uniform spacing technology. The proposed method is especially suitable for computer-aided design of nanometer scale on-chip buses. 展开更多
关键词 interconnect bus dynamic power wire ordering wire spacing nanometer scale process
原文传递
Kinetics of Degradation of Eosin Y by One of the Advanced Oxidation Processes (AOPs)—Fenton’s Process
20
作者 Ashraf Hossain A. B. M. Sadique Rayhan +4 位作者 Md. Jahir Raihan Aklima Nargis Iqbal M. I. Ismail Ahsan Habib Abu Jafar Mahmood 《American Journal of Analytical Chemistry》 2016年第12期863-879,共17页
Kinetics of homogeneous degradation of Eosin Y (EY), also known as Acid red 87 (CI 45380), are studied, mostly using Fenton’s process, at 30℃ by monitoring its absorbance at 517 nm (λ<sub>max</sub> of E... Kinetics of homogeneous degradation of Eosin Y (EY), also known as Acid red 87 (CI 45380), are studied, mostly using Fenton’s process, at 30℃ by monitoring its absorbance at 517 nm (λ<sub>max</sub> of EY). This process is one of the advanced oxidation processes (AOPs). Mixture of H<sub>2</sub>O<sub>2</sub> and Fe(II) ion in acetate buffer medium (pH 2.74 - 4.56) generates hydroxyl free radicals (?OH) which attack the dye molecules, resulting in degradation of the dye molecules. Results show that the initial rate of EY degradation decreases with the increasing of solution pH because of removal of kinetically important Fe (iron) species through formation of ferric hydroxide. On the other hand, the rate increases with increasing the concentrations of H<sub>2</sub>O<sub>2</sub>, Fe(II) and EY at low solution pH. The initial rate increases with increasing of concentration of H2O2 and, subsequently remains unaffected with further increase of its concentration at a constant Fe(II) concentration because of the enhanced scavenging environment created by H<sub>2</sub>O<sub>2</sub> at its higher concentration. The initial rate also increases with increasing of concentration of Fe(II) at a constant H<sub>2</sub>O<sub>2</sub> concentration and remains unaffected with its further increase. EY concentration also enhances the initial rate at low pH. However, the initial rate is significantly enhanced by UV light. This is because of formation of additional hydroxyl radicals through excitation of the dye molecules by UV light. During the period of experiment, EY in aqueous solution alone hardly suffered any degradation. Degradation mechanism of EY by the Fenton and photo-Fenton’s processes is also discussed. Statistical analysis was used to validate the experimental results. Low values of the standard deviation for both the initial rate and % degradation indicated the consistency of the experimental data. 展开更多
关键词 Eosin Y Fenton’s process Pseudo First-order Initial Rate DEGRADATION
在线阅读 下载PDF
上一页 1 2 74 下一页 到第
使用帮助 返回顶部