1.
Research on Concurrent System Modeling and Model Checking Based on Process Algebra;
基于进程代数并发系统的建模与验证研究
2.
Description of Cmmunication between Agents for E-commerce by Agent Algebra;
用进程代数描述面向电子商务的Agent模型
3.
Modeling and implementing of DSS model system based on process algebra;
基于进程代数的DSS模型系统建模与实现
4.
Based on Stochastic Process Algebra Overlay Network QoS Performance Evaluation
基于随机进程代数的Overlay网络上的QoS性能评价
5.
Research on behavioral consistency of component dynamic evolution based on process algebra
基于进程代数的构件动态演化行为一致性研究
6.
Research on Formal Methods of Web Service Data and Service Composition Based on Process Algebra
基于进程代数的Web服务数据和组合的形式化方法研究
7.
Temporal Logic Approach on Modeling and Analysis of Workflow with Process Algebra Style
一种进程代数风格的基于时序逻辑的工作流建模方法
8.
Describing and Cost Analyzing of Web Services Composition Using PPA
基于价格进程代数的Web服务组合描述和成本分析
9.
Self-protection of ethnic minority s folk culture on the process of modernization;
现代化进程中少数民族民间文化的自我保护
10.
Quicken the Pace of Digital Library Construction in Colleges and Universities and Promote Modern Distance Learning;
加强高校数字图书馆建设,推进现代远程教育
11.
Problems and Their Countermeasures in the Course of Modernizing Regions Inhabited by Ethnic Groups;
略论少数民族地区现代化进程中的问题与对策
12.
Algebraic criterion for asymptotic stability of first order delay equation with two delays
一阶双滞量时滞方程零解渐进稳定的代数判据
13.
This paper presents a new way of calculating critical water depth of trapezoid open channel by Steffensen iteration method.
通过对临界水深方程进行数学变换,采用Steffensen迭代法进行计算.
14.
numerical solution of algebraic equation
代数方程的数值解法
15.
It handles everything from basic algebra equations to advanced trigonometric and statistical calculations.
它处理一切从基本的代数方程组,以先进的三角及统计计算.
16.
They did not alter the tenor of Greek mathematics or the subsequent impress of Greek thought.
他们未能改变希腊数学的进程或希腊思想对后代的影响。
17.
Editing and Publishing Education From "Printing Civilization" to "Digital Times";
从“印刷文明”走向“数字时代”进程中编辑出版教育的变革
18.
Statistical Methods of Estimating of Substitution Number of Amino Acids and Measure of Evolution Distance in Molecualar Evolution of Protein;
蛋白质分子进化过程中氨基酸替代数估计和距离测度的统计方法