1.
Two Basic Problems in Legal Logic:Demonstrating Structure and Form;
法律逻辑的两个基本问题:论证结构和论证型式
2.
The Informal Logic Model of Argumentation and Evaluation and Its Limitations;
论证评价的非形式逻辑模型及其理论困境
3.
Research on the Transformation Method of the Conceptual Model Description Format of Equipment Demonstration Simulation
装备论证仿真概念模型描述形式转换方法研究
4.
Group discussion based on the model of interactive genetic algorithms
基于交互式遗传算法模型的群体论证方法
5.
Transportation organizing optimization of Yangtze-river bulk cargo and its ship-type demonstration
长江散货运输组织方式优化及船型论证
6.
Validation of the integration of health belief model and planned behavior theory
健康信念模式与计划行为理论整合模型的验证
7.
Specific hardware aspects are introduced only as they illustrate and support the discussion of the method of applying the theory.
引进具体的结构件型式只是用来说明和证实理论方法的有效性。
8.
we also proved that this formalized theory is neither complete nor model complete.
我们也证明了这个形式化的理论既不完备也不模型完备。
9.
The Choice of Consideration Means in the Stock Right Division-allocation Reform--A Theoretic Model and an Empirical Study;
股权分置改革的对价方式选择——理论模型与实证研究
10.
An Empirical Study on the Basic Pattern for Designing CET4 New Item Types;
CET4题型设计模式研究——基于任务特征理论的大学英语测试实证探索
11.
Reformation of Community Share-holding Cooperative System: Further Innovation--Theoretical and Empirical Study on “Longgang Model”;
社区型股份合作制:改革面临创新——基于“龙岗模式”的理论与实证研究
12.
Shift to Foreign-Oriented Trade:the Theoretical Verification of and the Expected Application of the Model of China s Foreign Trade Development;
外向型贸易转移:中国外贸发展模式的理论验证与预期应用
13.
Mode Transformation and Reform of China's Criminal Litigation System
范式转型与中国刑事诉讼制度改革——基于实证研究的讨论
14.
The Incentive Mechanism of Small Water Conservancy Projects Based on Farmers Participatory Management:Theoretical Model and Empirical Analysis;
小型水利工程农户参与式管理的激励机制设计——理论模型与实证分析
15.
On the base of this, the paper builds a theory model of the choice on the organization of VC of the folk investors, and then verifies it.
论文用美国的资料对民间投资者选择创业投资组织形式的理论模型进行了初步验证。
16.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
17.
Rigorous proofs of the results are given without the theorem-proof format.
不用理论证明的格式，给出结论的严密证明。
18.
Informal Logic or Logic of Argument: The Strategy of Interpreting Argument;
非形式逻辑或论证逻辑:解释论证的策略