期刊文献+
共找到683篇文章
< 1 2 35 >
每页显示 20 50 100
^(1)H and ^(13)C NMR spectral assignments for low-concentration bile acids in biological samples
1
作者 Hong Lin Junbo He +1 位作者 Weinong Zhang Huiru Tang 《Magnetic Resonance Letters》 2023年第4期277-285,共9页
Bile acids are the main body of enterohepatic circulation in vivo.They have essential functions such as emulsifying fat,bacteriostasis and regulating multiple metabolic pathways as signal molecules.However,the assignm... Bile acids are the main body of enterohepatic circulation in vivo.They have essential functions such as emulsifying fat,bacteriostasis and regulating multiple metabolic pathways as signal molecules.However,the assignments of NMR signals for some lowconcentration bile acids are still needed.This study combined 1D nuclear magnetic resonance(NMR)and 2D NMR techniques including 1He1H correlation spectroscopy(COSY),1He1H total correlation spectroscopy(TOCSY),1H J-resolved spectroscopy(J-Res),1He13C heteronuclear single quantum coherence spectroscopy(HSQC),and 1He13C heteronuclear multiple bond correlation spectroscopy(HMBC)to assign the 1H and 13C signals of six bile acids in aqueous solution at physiological pH(~7.4)and nine bile acids in methanol.These data are of importance to the NMR-based studies on lipid digestion,absorption,and metabolism. 展开更多
关键词 Bile acids ^(1)H NMR ^(2)D NMR Signal assignments
下载PDF
~1H and ^(13)C NMR Assignments for Amlodipine and Risperidone
2
作者 杨春晖 李勤 +2 位作者 刘雪辉 赵兴凯 崔育新 《Journal of Chinese Pharmaceutical Sciences》 CAS 2004年第1期49-52,共4页
Aim To investigate the NMR spectroscopy of amlodipine and risperidone.Methods 1D NMR and 2D NMR experimental techniques of gCOSY, gHSQC and gHMBC were wsed. Results Theassignments of the ~1H and ^(13) C NMR data for t... Aim To investigate the NMR spectroscopy of amlodipine and risperidone.Methods 1D NMR and 2D NMR experimental techniques of gCOSY, gHSQC and gHMBC were wsed. Results Theassignments of the ~1H and ^(13) C NMR data for the two drugs were performed and confirmed by theevidence of J_(HF) and J_(CF). Conclusion The structures of amlodipine and risperidone wereconfirmed by careful analysis of regular 1D and 2D NMR spectroscopy. 展开更多
关键词 NMR ASSIGNMENT fluorine coupling AMLODIPINE RISPERIDONE
下载PDF
Design of Cellular Manufacturing Systems Considering Dynamic Production Planning and Worker Assignments
3
作者 Tariq Aljuneidi Akif A. Bulgak 《Journal of Mathematics and System Science》 2016年第1期1-15,共15页
This article presents a comprehensive mathematical model for the design and analysis of Dynamic Cellular Manufacturing Systems (DCMS). The proposed DCMS model considers several manufacturing attributes such as multi... This article presents a comprehensive mathematical model for the design and analysis of Dynamic Cellular Manufacturing Systems (DCMS). The proposed DCMS model considers several manufacturing attributes such as multi period production planning, dynamic system reconfiguration, duplicate machines, machine capacity, the available time for workers, worker assignments, and machine procurement. The objective is to minimize total costs; consisting of holding cost, outsourcing cost, inter-cell material handling cost, maintenance and overhead cost, machine relocation cost. While a study of published articles in the area of Cellular Manufacturing Systems (CMS) shows that workforce management issues have not sufficiently been addressed in the literature, the model presented also incorporates CMS workforce management issues such as salaries, hiring and firing costs of workers in addition to the manufacturing attributes. In-depth discussions on the results for two numerical examples are presented to illustrate applications of the proposed model. The model developed aims to raise the envelope by expanding and improving several CMS models previously presented in the literature. 展开更多
关键词 Facilities planning and design Cellular Manufacturing Systems Mixed Integer Programming Production Planning Worker assignments.
下载PDF
Assignments of ~1H and ^(13)C NMR Signals of Mogroside Ⅳa 被引量:3
4
作者 ZHANGJian-ye YANGXiu-wei 《Journal of Chinese Pharmaceutical Sciences》 CAS 2003年第4期196-200,共5页
Aim To investigate the structure of mogroside Ⅳa isolated from traditionalChinese medicine fructus mo-mordicae [fruits of Siraitia grosvenori (Swingle) C. Jeffery] andsummarize the NMR characteristics of the structur... Aim To investigate the structure of mogroside Ⅳa isolated from traditionalChinese medicine fructus mo-mordicae [fruits of Siraitia grosvenori (Swingle) C. Jeffery] andsummarize the NMR characteristics of the structure. Methods Common extraction, separation andpurification methods were used. Various NMR techniques including ~1H NMR, ^(13)C NMR, DEPT, ~1H-~1HCOSY, HSQC, HMBC, NOESY and molecular model simulated by computer were used to elucidate thestructure. Results ~1H and ^(13)C NMR signals of mogroside Ⅳa were assigned, and spectroscopicbasis was obtained for identification of such type of compounds. Conclusion 1D and 2D NMR techniquesincluding ~1H-~1H COSY, HSQC, HMBC, NOESY spectra are powerful tools for structure analysis. Thestructure determined by NMR methods is identical with energy minimized conformation simulated bycomputer. 展开更多
关键词 fructus momordicae mogroside Ⅳa triterpenoid saponin NMR spectrum ASSIGNMENT
下载PDF
Computer Assisted Assignments of Rotationally Resolved Molecular Spectra 被引量:1
5
作者 Ling Wu Li-juan Zheng +2 位作者 Xiao-hua Yang Yu-yan Liu Yang-qin Chena 《Chinese Journal of Chemical Physics》 SCIE CAS CSCD 北大核心 2006年第1期39-42,共4页
A graphically oriented interactive program for assignments of rotationally resolved molecular spectra has been devised. The program functions by grouping spectral lines in term of the second difference principle. and ... A graphically oriented interactive program for assignments of rotationally resolved molecular spectra has been devised. The program functions by grouping spectral lines in term of the second difference principle. and graphing spectral intensity versus frequency in a bar graph of the selected groups, distinguished by color and/or line-type. This allows for easy detection of regular patterns buried in the observed spectrum. Furthermore, it includes a Loomis-Wood view for assisting in spectral assignments. As an example, the program was applied in assigning the molecular spectrum of the production in the discharge of PCl3 buffered by helium gas, which may belong to several species. The results suggest that the program is highly efficient and quite useful in the assignment and the analysis of molecular spectra, especially those of symmetric top, slightly asymmetric top and linear molecules. The accuracy and efficiency of this program will likely ensure its wide application in the processing of molecular spectra. 展开更多
关键词 ASSIGNMENT Rotationally resolved Molecular spectra Computer assisted
下载PDF
Chemical shift assignments of two oleanane triterpenes from Euonymus hederaceus
6
作者 胡合姣 王奎武 +2 位作者 吴斌 孙翠荣 潘远江 《Journal of Zhejiang University-Science B(Biomedicine & Biotechnology)》 SCIE EI CAS CSCD 2005年第8期719-721,共3页
1H-NMR and 13C-NMR assignments of 12-oleanene-3,11-dione (compound 1) were completely described for the first time through conventional 1D NMR and 2D shift-correlated NMR experiments using 1H-1HCOSY, HMQC, HMBC techni... 1H-NMR and 13C-NMR assignments of 12-oleanene-3,11-dione (compound 1) were completely described for the first time through conventional 1D NMR and 2D shift-correlated NMR experiments using 1H-1HCOSY, HMQC, HMBC techniques. Based on its NMR data, the assignments of 28-hydroxyolean-12-ene-3,11-dione (compound 2) were partially revised. 展开更多
关键词 Euonymus hederaceus 12-oleanene-3 11-dione 28-hydroxyolean- 12-ene-3 11-dione 1D-NMR 2D-NMR Assignment
下载PDF
Configuration and Spin Assignments of Yrast Band for Doubly Odd Nucleus ^(122)Cs
7
作者 PU Yun-wei WEN Jia-yan +1 位作者 ZHU Shun-quan ZHENG Ren-rong 《Chinese Physics Letters》 SCIE CAS CSCD 1998年第7期480-482,共3页
Energy spectrum of yrast band for ^(122)Cs is studied by using particle-rotor model(PRM)of odd-odd nuclei,in which special attention is paid to the model basis accounting for the effect of the instabilityγvibration p... Energy spectrum of yrast band for ^(122)Cs is studied by using particle-rotor model(PRM)of odd-odd nuclei,in which special attention is paid to the model basis accounting for the effect of the instabilityγvibration perturbation around axial symmetry.In order to check the assignments of this band,two calculation schemes are put into practice.The first one is for previousπh11/2 vg7/2 configuration with bandhead spin I_(0)=(6^(-))which was obtained from cranked shell model(CSM)calculation,and the other one is forπh_(11/2) vh_(11/2) configuration with I_(0)=(9^(+))supported by the systematic analyses of experimental data.A qualitative comparison between the present PRM calculation and that of CSM has also been made.The results indicate that,rather thanπh_(11/2) vg_(7/2) I_(0)=(6^(-)),πh_(11/2) vh_(11/2) with I_(0)=(9^(+))is a more reasonable assignment to the yrast band in ^(122)Cs. 展开更多
关键词 ASSIGNMENT CONFIGURATION
下载PDF
Graphs with <i>k</i>-Role Assignments
8
作者 Yana Liu Yongqiang Zhao 《Open Journal of Discrete Mathematics》 2017年第3期177-184,共8页
For a given graph G, a k-role assignment of G is a surjective function ?such that , where N(x) and N(y) are the neighborhoods of x and y, respectively. Furthermore, as we limit the number of different roles in the nei... For a given graph G, a k-role assignment of G is a surjective function ?such that , where N(x) and N(y) are the neighborhoods of x and y, respectively. Furthermore, as we limit the number of different roles in the neighborhood of an individual, we call r a restricted size k-role assignment. When the hausdorff distance between the sets of roles assigned to their neighbors is at most 1, we call r a k-threshold close role assignment. In this paper we study the graphs that have k-role assignments, restricted size k-role assignments and k-threshold close role assignments, respectively. By the end we discuss the maximal and minimal graphs which have k-role assignments. 展开更多
关键词 NEIGHBORHOOD k-Role ASSIGNMENT Restricted Size k-Role ASSIGNMENT k-Threshold Close Role ASSIGNMENT
下载PDF
Automatic bug assignments without texts: a study
9
作者 Zexuan LI Kaixin HUANG 《Frontiers of Computer Science》 SCIE EI CSCD 2024年第4期211-213,共3页
1 Introduction Automatic bug assignment has been well-studied in the past decade.As textual bug reports usually describe the buggy phenomena and potential causes,engineers highly depend on these reports to fix bugs.Th... 1 Introduction Automatic bug assignment has been well-studied in the past decade.As textual bug reports usually describe the buggy phenomena and potential causes,engineers highly depend on these reports to fix bugs.Therefore,researchers spend much effort on processing bug reports,aiming for obtaining key information and/or clues for reproducing bugs,analyzing their root causes,assigning them to developers/maintainers,and fixing these bugs.However,our previous research[1]reveals that noises in texts bring adverse impacts to automatic bug assignments unexpectedly,mainly due to insufficiency of classical Natural Language Processing(NLP)techniques. 展开更多
关键词 BUG ASSIGNMENT MAINTAIN
原文传递
Strategies for Designing Online Course Assignments: Based on “XuetangX” Course Samples
10
作者 LIAO Zhengshan LI Manli 《Frontiers of Education in China》 2023年第4期433-459,共27页
Assignments are an important tool to evaluate learners’learning effectiveness in online courses.Clarifying assignment design strategies is of great significance for promoting the quality construction of online educat... Assignments are an important tool to evaluate learners’learning effectiveness in online courses.Clarifying assignment design strategies is of great significance for promoting the quality construction of online education courses.This paper uses Bloom’s taxonomy framework revised by Anderson and Krathwohl(2001)as a reference to label the knowledge types and cognitive dimensions in the assignment context of eight courses.Combined with a literature review,a discipline–objective–schedule(DOS)three-dimensional analysis framework based on the achievement of curriculum objectives,the design of chapter schedule,and the heterogeneity of disciplines is constructed to conduct an in-depth analysis of online course assignment design strategies.The research findings show that the online course assignment design strategy has an obvious curriculum objective orientation,follows the gradual learning rule,and presents typical disciplinary differences.The study finds that the current assignment design of online courses has three issues:first,a mismatch between assignment design and curriculum objectives;second,a lack of diversity in assignment formats;and third,insufficient comprehensiveness of some subject assignments.Based on the above discussions,corresponding suggestions are provided. 展开更多
关键词 online courses assignment design strategy taxonomy of educational objectives learning science
原文传递
Channel assignment and power allocation for throughput improvement with PPO in B5G heterogeneous edge networks
11
作者 Xiaoming He Yingchi Mao +3 位作者 Yinqiu Liu Ping Ping Yan Hong Han Hu 《Digital Communications and Networks》 SCIE CSCD 2024年第1期109-116,共8页
In Beyond the Fifth Generation(B5G)heterogeneous edge networks,numerous users are multiplexed on a channel or served on the same frequency resource block,in which case the transmitter applies coding and the receiver u... In Beyond the Fifth Generation(B5G)heterogeneous edge networks,numerous users are multiplexed on a channel or served on the same frequency resource block,in which case the transmitter applies coding and the receiver uses interference cancellation.Unfortunately,uncoordinated radio resource allocation can reduce system throughput and lead to user inequity,for this reason,in this paper,channel allocation and power allocation problems are formulated to maximize the system sum rate and minimum user achievable rate.Since the construction model is non-convex and the response variables are high-dimensional,a distributed Deep Reinforcement Learning(DRL)framework called distributed Proximal Policy Optimization(PPO)is proposed to allocate or assign resources.Specifically,several simulated agents are trained in a heterogeneous environment to find robust behaviors that perform well in channel assignment and power allocation.Moreover,agents in the collection stage slow down,which hinders the learning of other agents.Therefore,a preemption strategy is further proposed in this paper to optimize the distributed PPO,form DP-PPO and successfully mitigate the straggler problem.The experimental results show that our mechanism named DP-PPO improves the performance over other DRL methods. 展开更多
关键词 B5G Heterogeneous edge networks PPO Channel assignment Power allocation THROUGHPUT
下载PDF
Development of SNP parentage assignment techniques in the yellowfin seabream Acanthopagrus latus
12
作者 Hongbo Zhao Liangmin Huang +3 位作者 Jing Zhang Songyuan You Qingmin Zeng Xiande Liu 《Acta Oceanologica Sinica》 SCIE CAS CSCD 2024年第2期151-155,共5页
Acanthopagrus latus is an essential aquaculture species on the south coast of China.However,there is a lack of systematic breeding of A.latus,which considerably limits the sustainable development of A.latus.As a resul... Acanthopagrus latus is an essential aquaculture species on the south coast of China.However,there is a lack of systematic breeding of A.latus,which considerably limits the sustainable development of A.latus.As a result,genetic improvements are urgently needed to breed new strains of A.latus with rapid growth and strong resistance to disease.During selective breeding,it is necessary to estimate the genetic parameters of the target trait,which in turn depends on an accurate disentangled pedigree for the selective population.Therefore,it is necessary to establish the parentage assignment technique for A.latus.In this study,95 individuals selected from their parents and their 14 families were used as experimental material.SNPs were developed by genome resequencing,and highly polymorphic SNPs were screened on the basis of optimized filtering parameters.A total of 14392738 SNPs were discovered and 205 SNPs were selected for parentage assignment using the CERVUS software.In the model where the gender of the parents is known,the assignment success rate is 98.61%for the male parent,97.22%for the female parent,and 95.83%for the parent pair.In the model where the gender of the parents is unknown,the assignment success rate is 100%for a single parent and 90.28%for the parent pair.The results of this study were expected to serve as a reference for the breeding of new varieties of A.latus. 展开更多
关键词 Acanthopagrus latus parentage assignment SNP Genome re-sequencing
下载PDF
A self-organization formation configuration based assignment probability and collision detection
13
作者 SONG Wei WANG Tong +1 位作者 YANG Guangxin ZHANG Peng 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2024年第1期222-232,共11页
The formation control of multiple unmanned aerial vehicles(multi-UAVs)has always been a research hotspot.Based on the straight line trajectory,a multi-UAVs target point assignment algorithm based on the assignment pro... The formation control of multiple unmanned aerial vehicles(multi-UAVs)has always been a research hotspot.Based on the straight line trajectory,a multi-UAVs target point assignment algorithm based on the assignment probability is proposed to achieve the shortest overall formation path of multi-UAVs with low complexity and reduce the energy consumption.In order to avoid the collision between UAVs in the formation process,the concept of safety ball is introduced,and the collision detection based on continuous motion of two time slots and the lane occupation detection after motion is proposed to avoid collision between UAVs.Based on the idea of game theory,a method of UAV motion form setting based on the maximization of interests is proposed,including the maximization of self-interest and the maximization of formation interest is proposed,so that multi-UAVs can complete the formation task quickly and reasonably with the linear trajectory assigned in advance.Finally,through simulation verification,the multi-UAVs target assignment algorithm based on the assignment probability proposed in this paper can effectively reduce the total path length,and the UAV motion selection method based on the maximization interests can effectively complete the task formation. 展开更多
关键词 straight line trajectory assignment probability collision detection lane occupation detection maximization of interests
下载PDF
Multi-UAV Collaborative Mission Planning Method for Self-Organized Sensor Data Acquisition
14
作者 Shijie Yang Jiateng Yuan +3 位作者 Zhipeng Zhang Zhibo Chen Hanchao Zhang Xiaohui Cui 《Computers, Materials & Continua》 SCIE EI 2024年第10期1529-1563,共35页
In recent years,sensor technology has been widely used in the defense and control of sensitive areas in cities,or in various scenarios such as early warning of forest fires,monitoring of forest pests and diseases,and ... In recent years,sensor technology has been widely used in the defense and control of sensitive areas in cities,or in various scenarios such as early warning of forest fires,monitoring of forest pests and diseases,and protection of endangered animals.Deploying sensors to collect data and then utilizing unmanned aerial vehicle(UAV)to collect the data stored in the sensors has replaced traditional manual data collection as the dominant method.The current strategies for efficient data collection in above scenarios are still imperfect,and the low quality of the collected data and the excessive energy consumed by UAV flights are still the main problems faced in data collection.With regards this,this paper proposes a multi-UAV mission planning method for self-organized sensor data acquisition by comprehensively utilizing the techniques of self-organized sensor clustering,multi-UAV mission area allocation,and sub-area data acquisition scheme optimization.The improvedα-hop clustering method utilizes the average transmission distance to reduce the size of the collection sensors,and the K-Dimensional method is used to form a multi-UAV cooperative workspace,and then,the genetic algorithm is used to trade-off the speed with the age of information(AoI)of the collected information and the energy consumption to form the multi-UAV data collection operation scheme.The combined optimization scheme in paper improves the performance by 95.56%and 58.21%,respectively,compared to the traditional baseline model.In order to verify the excellent generalization and applicability of the proposed method in real scenarios,the simulation test is conducted by introducing the digital elevation model data of the real terrain,and the results show that the relative error values of the proposed method and the performance test of the actual flight of the UAV are within the error interval of±10%.Then,the advantages and disadvantages of the present method with the existing mainstream schemes are tested,and the results show that the present method has a huge advantage in terms of space and time complexity,and at the same time,the accuracy for data extraction is relatively improved by 10.46%and 12.71%.Finally,by eliminating the clustering process and the subtask assignment process,the AoI performance decreases by 3.46×and 4.45×,and the energy performance decreases by 3.52×and 4.47×.This paper presents a comprehensive and detailed proactive optimization of the existing challenges faced in the field of data acquisition by means of a series of combinatorial optimizations. 展开更多
关键词 Unmanned aerial vehicle sensor self-organization path planning multi-UAV task assignment
下载PDF
Reinforcement Learning Based Quantization Strategy Optimal Assignment Algorithm for Mixed Precision
15
作者 Yuejiao Wang Zhong Ma +2 位作者 Chaojie Yang Yu Yang Lu Wei 《Computers, Materials & Continua》 SCIE EI 2024年第4期819-836,共18页
The quantization algorithm compresses the original network by reducing the numerical bit width of the model,which improves the computation speed. Because different layers have different redundancy and sensitivity to d... The quantization algorithm compresses the original network by reducing the numerical bit width of the model,which improves the computation speed. Because different layers have different redundancy and sensitivity to databit width. Reducing the data bit width will result in a loss of accuracy. Therefore, it is difficult to determinethe optimal bit width for different parts of the network with guaranteed accuracy. Mixed precision quantizationcan effectively reduce the amount of computation while keeping the model accuracy basically unchanged. In thispaper, a hardware-aware mixed precision quantization strategy optimal assignment algorithm adapted to low bitwidth is proposed, and reinforcement learning is used to automatically predict the mixed precision that meets theconstraints of hardware resources. In the state-space design, the standard deviation of weights is used to measurethe distribution difference of data, the execution speed feedback of simulated neural network accelerator inferenceis used as the environment to limit the action space of the agent, and the accuracy of the quantization model afterretraining is used as the reward function to guide the agent to carry out deep reinforcement learning training. Theexperimental results show that the proposed method obtains a suitable model layer-by-layer quantization strategyunder the condition that the computational resources are satisfied, and themodel accuracy is effectively improved.The proposed method has strong intelligence and certain universality and has strong application potential in thefield of mixed precision quantization and embedded neural network model deployment. 展开更多
关键词 Mixed precision quantization quantization strategy optimal assignment reinforcement learning neural network model deployment
下载PDF
Structural Characteristics and Influencing Factors of Carbon Emission Spatial Association Network:A Case Study of Yangtze River Delta City Cluster,China
16
作者 BI Xi SUN Renjin +2 位作者 HU Dongou SHI Hongling ZHANG Han 《Chinese Geographical Science》 SCIE CSCD 2024年第4期689-705,共17页
City cluster is an effective platform for encouraging regionally coordinated development.Coordinated reduction of carbon emissions within city cluster via the spatial association network between cities can help coordi... City cluster is an effective platform for encouraging regionally coordinated development.Coordinated reduction of carbon emissions within city cluster via the spatial association network between cities can help coordinate the regional carbon emission management,realize sustainable development,and assist China in achieving the carbon peaking and carbon neutrality goals.This paper applies the improved gravity model and social network analysis(SNA)to the study of spatial correlation of carbon emissions in city clusters and analyzes the structural characteristics of the spatial correlation network of carbon emissions in the Yangtze River Delta(YRD)city cluster in China and its influencing factors.The results demonstrate that:1)the spatial association of carbon emissions in the YRD city cluster exhibits a typical and complex multi-threaded network structure.The network association number and density show an upward trend,indicating closer spatial association between cities,but their values remain generally low.Meanwhile,the network hierarchy and network efficiency show a downward trend but remain high.2)The spatial association network of carbon emissions in the YRD city cluster shows an obvious‘core-edge’distribution pattern.The network is centered around Shanghai,Suzhou and Wuxi,all of which play the role of‘bridges’,while cities such as Zhoushan,Ma'anshan,Tongling and other cities characterized by the remote location,single transportation mode or lower economic level are positioned at the edge of the network.3)Geographic proximity,varying levels of economic development,different industrial structures,degrees of urbanization,levels of technological innovation,energy intensities and environmental regulation are important influencing factors on the spatial association of within the YRD city cluster.Finally,policy implications are provided from four aspects:government macro-control and market mechanism guidance,structural characteristics of the‘core-edge’network,reconfiguration and optimization of the spatial layout of the YRD city cluster,and the application of advanced technologies. 展开更多
关键词 carbon emission spatial association network social network analysis(SNA) quadratic assignment procedure(QAP)model Yangtze River Delta city cluster China
下载PDF
不变性原则与Python亮点
17
作者 张基温 《计算机教育》 2024年第4期12-16,共5页
针对目前Python教学中“以C语言知识解释Python语法”的倾向及其所导致的一些基本概念错误,回顾“软件危机”发生以来人们在“去变量赋值”副作用和函数式编程两个方面的努力,从不变性原则的高度阐述这些举措对于提高程序质量的意义,在... 针对目前Python教学中“以C语言知识解释Python语法”的倾向及其所导致的一些基本概念错误,回顾“软件危机”发生以来人们在“去变量赋值”副作用和函数式编程两个方面的努力,从不变性原则的高度阐述这些举措对于提高程序质量的意义,在此基础上提出Python程序设计语言的亮点并强调对于回归Python本质的重要性,目的是为进一步学习和应用打下坚实基础。 展开更多
关键词 PYTHON 程序设计 不变性原则 变量 ASSIGNMENT 赋值 赋名
下载PDF
Test Generation with Unspecified Variable Assignments
18
作者 李光辉 冯冬芹 《Tsinghua Science and Technology》 SCIE EI CAS 2007年第S1期180-185,共6页
ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs, testing and verification of the core-based designs become a challenging problem. This paper pre... ATPG for very large scale integrated circuit designs is an important problem in industry. With the advent of SOC designs, testing and verification of the core-based designs become a challenging problem. This paper presents an algebraic test generation algorithm with unspecified variable assignments. Given a stuck at fault of the circuit with unspecified signals, the proposed algorithm uses a new encoding scheme for unspecified variable assignments, and solves the Boolean satisfiability formula representing the Boolean difference to obtain a test pattern. Experimental results demonstrate the efficiency and feasibility of the proposed algorithm. 展开更多
关键词 test generation formal verification boolean satisfiability unspecified assignments
原文传递
A New Approach to Pointer Analysis for Assignments
19
作者 黄波 藏斌宇 +1 位作者 李靖 朱传琪 《Journal of Computer Science & Technology》 SCIE EI CSCD 2001年第3期242-250,共9页
Pointer analysis is a technique to identify at compile-time the potential values of the pointer expressions in a program, which promises significant benefits for optimizing and parallelizing compilers. In this paper,... Pointer analysis is a technique to identify at compile-time the potential values of the pointer expressions in a program, which promises significant benefits for optimizing and parallelizing compilers. In this paper, a new approach to pointer analysis for assignments is presented. In this approach, assignments are classified into three categories: pointer assignments, structure (union) assignments and normal assignments which don't affect the point-to information. Pointer analyses for these three kinds of assignments respectively make up the integrated algorithm. When analyzing a pointer assignment, a new method called expression expansion is used to calculate both the left targets and the right targets. The integration of recursive data structure analysis into pointer analysis is a significant originality of this paper, which uniforms the pointer analysis for heap variables and the pointer analysis for stack variables. This algorithm is implemented in Agassiz, an analyzing tool for C programs developed by institute of Parallel Processing, Fudan University. Its accuracy and effectiveness are illustrated by experimental data. 展开更多
关键词 pointer analysis pointer assignment point-to information recursive data structure
原文传递
Absolute Configurational Assignments of Amino Acid Esters by a CD-Sensitive Malonamide-Linked Zinc Bisporphyrinate Host
20
作者 Baozhen Liu Jiaxun Jiang +1 位作者 Xianshi Fang Chuanjiang Hu 《Chinese Journal of Chemistry》 SCIE CAS CSCD 2014年第8期797-802,共6页
A novel malonamide-linked zinc bisporphyrinate[Zn_(2)-1]has been designed and synthesized.UV-vis and NMR spectroscopic studies suggest the molecule aggregates in solution.Such zinc bisporphyrinate is very CD-sensitive... A novel malonamide-linked zinc bisporphyrinate[Zn_(2)-1]has been designed and synthesized.UV-vis and NMR spectroscopic studies suggest the molecule aggregates in solution.Such zinc bisporphyrinate is very CD-sensitive when it is mixed with amino acid ethyl esters.The amplitude value of the induced circular dichroism(ICD)is up to ca.1500 L•mol^(−1)•cm^(−1).Further studies by ^(1)H NMR and UV-vis spectroscopies reveal amino acid esters function as monodentate ligands,and[Zn_(2)-1]interacts with amino acid ethyl esters through coordination and hydrogen bonding interactions. 展开更多
关键词 bisporphyrin MALONAMIDE configurational assignment amino acid ester
原文传递
上一页 1 2 35 下一页 到第
使用帮助 返回顶部