Add 2 files
Browse files- README.md +7 -5
- index.html +658 -19
README.md
CHANGED
|
@@ -1,10 +1,12 @@
|
|
| 1 |
---
|
| 2 |
-
title:
|
| 3 |
-
emoji:
|
| 4 |
-
colorFrom:
|
| 5 |
-
colorTo:
|
| 6 |
sdk: static
|
| 7 |
pinned: false
|
|
|
|
|
|
|
| 8 |
---
|
| 9 |
|
| 10 |
-
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
|
|
|
|
| 1 |
---
|
| 2 |
+
title: my-test3
|
| 3 |
+
emoji: 🐳
|
| 4 |
+
colorFrom: gray
|
| 5 |
+
colorTo: pink
|
| 6 |
sdk: static
|
| 7 |
pinned: false
|
| 8 |
+
tags:
|
| 9 |
+
- deepsite
|
| 10 |
---
|
| 11 |
|
| 12 |
+
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
|
index.html
CHANGED
|
@@ -1,19 +1,658 @@
|
|
| 1 |
-
<!
|
| 2 |
-
<html>
|
| 3 |
-
|
| 4 |
-
|
| 5 |
-
|
| 6 |
-
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
|
| 10 |
-
|
| 11 |
-
|
| 12 |
-
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
|
| 16 |
-
|
| 17 |
-
|
| 18 |
-
|
| 19 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
<!DOCTYPE html>
|
| 2 |
+
<html lang="zh-CN">
|
| 3 |
+
<head>
|
| 4 |
+
<meta charset="UTF-8">
|
| 5 |
+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
| 6 |
+
<title>逻辑语言转换系统</title>
|
| 7 |
+
<script src="https://cdn.tailwindcss.com"></script>
|
| 8 |
+
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.0/css/all.min.css">
|
| 9 |
+
<style>
|
| 10 |
+
.code-block {
|
| 11 |
+
font-family: 'Courier New', monospace;
|
| 12 |
+
background-color: #f3f4f6;
|
| 13 |
+
padding: 1rem;
|
| 14 |
+
border-radius: 0.5rem;
|
| 15 |
+
overflow-x: auto;
|
| 16 |
+
}
|
| 17 |
+
.section-card {
|
| 18 |
+
transition: all 0.3s ease;
|
| 19 |
+
}
|
| 20 |
+
.section-card:hover {
|
| 21 |
+
transform: translateY(-5px);
|
| 22 |
+
box-shadow: 0 10px 25px rgba(0, 0, 0, 0.1);
|
| 23 |
+
}
|
| 24 |
+
.nav-item {
|
| 25 |
+
position: relative;
|
| 26 |
+
}
|
| 27 |
+
.nav-item::after {
|
| 28 |
+
content: '';
|
| 29 |
+
position: absolute;
|
| 30 |
+
width: 0;
|
| 31 |
+
height: 2px;
|
| 32 |
+
bottom: 0;
|
| 33 |
+
left: 0;
|
| 34 |
+
background-color: #3b82f6;
|
| 35 |
+
transition: width 0.3s ease;
|
| 36 |
+
}
|
| 37 |
+
.nav-item:hover::after {
|
| 38 |
+
width: 100%;
|
| 39 |
+
}
|
| 40 |
+
.progress-bar {
|
| 41 |
+
height: 6px;
|
| 42 |
+
background-color: #e5e7eb;
|
| 43 |
+
border-radius: 3px;
|
| 44 |
+
}
|
| 45 |
+
.progress-fill {
|
| 46 |
+
height: 100%;
|
| 47 |
+
border-radius: 3px;
|
| 48 |
+
background-color: #3b82f6;
|
| 49 |
+
transition: width 0.5s ease;
|
| 50 |
+
}
|
| 51 |
+
</style>
|
| 52 |
+
</head>
|
| 53 |
+
<body class="bg-gray-50">
|
| 54 |
+
<!-- 导航栏 -->
|
| 55 |
+
<nav class="bg-white shadow-md sticky top-0 z-50">
|
| 56 |
+
<div class="container mx-auto px-4 py-3 flex justify-between items-center">
|
| 57 |
+
<div class="flex items-center space-x-2">
|
| 58 |
+
<i class="fas fa-brain text-blue-500 text-2xl"></i>
|
| 59 |
+
<span class="text-xl font-bold text-gray-800">逻辑语言转换系统</span>
|
| 60 |
+
</div>
|
| 61 |
+
<div class="hidden md:flex space-x-8">
|
| 62 |
+
<a href="#section-1" class="nav-item text-gray-700 hover:text-blue-500 py-2">基础符号</a>
|
| 63 |
+
<a href="#section-2" class="nav-item text-gray-700 hover:text-blue-500 py-2">句法生成</a>
|
| 64 |
+
<a href="#section-3" class="nav-item text-gray-700 hover:text-blue-500 py-2">语音手势</a>
|
| 65 |
+
<a href="#section-4" class="nav-item text-gray-700 hover:text-blue-500 py-2">转换方法</a>
|
| 66 |
+
<a href="#section-5" class="nav-item text-gray-700 hover:text-blue-500 py-2">异常处理</a>
|
| 67 |
+
<a href="#section-6" class="nav-item text-gray-700 hover:text-blue-500 py-2">认证体系</a>
|
| 68 |
+
</div>
|
| 69 |
+
<button class="md:hidden text-gray-700">
|
| 70 |
+
<i class="fas fa-bars text-xl"></i>
|
| 71 |
+
</button>
|
| 72 |
+
</div>
|
| 73 |
+
</nav>
|
| 74 |
+
|
| 75 |
+
<!-- 英雄区域 -->
|
| 76 |
+
<header class="bg-gradient-to-r from-blue-600 to-blue-400 text-white py-16">
|
| 77 |
+
<div class="container mx-auto px-4 text-center">
|
| 78 |
+
<h1 class="text-4xl md:text-5xl font-bold mb-6">逻辑语言转换系统</h1>
|
| 79 |
+
<p class="text-xl md:text-2xl mb-8 max-w-3xl mx-auto">基于ISO/IEC 24707标准的12,000个设计要点构建的完整技术规格与转换方法论</p>
|
| 80 |
+
<div class="flex flex-col md:flex-row justify-center gap-4">
|
| 81 |
+
<button class="bg-white text-blue-600 hover:bg-blue-50 px-6 py-3 rounded-lg font-semibold shadow-md transition duration-300">
|
| 82 |
+
<i class="fas fa-book mr-2"></i>技术文档
|
| 83 |
+
</button>
|
| 84 |
+
<button class="bg-blue-700 hover:bg-blue-800 px-6 py-3 rounded-lg font-semibold shadow-md transition duration-300">
|
| 85 |
+
<i class="fas fa-user-plus mr-2"></i>申请转换
|
| 86 |
+
</button>
|
| 87 |
+
</div>
|
| 88 |
+
</div>
|
| 89 |
+
</header>
|
| 90 |
+
|
| 91 |
+
<!-- 主要内容 -->
|
| 92 |
+
<main class="container mx-auto px-4 py-12">
|
| 93 |
+
<!-- 简介部分 -->
|
| 94 |
+
<section class="mb-16 bg-white rounded-xl shadow-lg p-8">
|
| 95 |
+
<h2 class="text-3xl font-bold text-gray-800 mb-6">系统简介</h2>
|
| 96 |
+
<div class="grid md:grid-cols-3 gap-8">
|
| 97 |
+
<div class="bg-blue-50 p-6 rounded-lg">
|
| 98 |
+
<div class="text-blue-500 text-3xl mb-4">
|
| 99 |
+
<i class="fas fa-atom"></i>
|
| 100 |
+
</div>
|
| 101 |
+
<h3 class="text-xl font-semibold mb-2">基础符号系统</h3>
|
| 102 |
+
<p class="text-gray-600">兼容ISO/IEC 24707标准的扩展符号体系,包含4000个原子词根库和逻辑运算符音素映射表。</p>
|
| 103 |
+
</div>
|
| 104 |
+
<div class="bg-purple-50 p-6 rounded-lg">
|
| 105 |
+
<div class="text-purple-500 text-3xl mb-4">
|
| 106 |
+
<i class="fas fa-project-diagram"></i>
|
| 107 |
+
</div>
|
| 108 |
+
<h3 class="text-xl font-semibold mb-2">Chomsky层级扩展</h3>
|
| 109 |
+
<p class="text-gray-600">3型文法扩展的句法生成规则,包含反事实条件句处理和合法语句生成协议。</p>
|
| 110 |
+
</div>
|
| 111 |
+
<div class="bg-green-50 p-6 rounded-lg">
|
| 112 |
+
<div class="text-green-500 text-3xl mb-4">
|
| 113 |
+
<i class="fas fa-hands"></i>
|
| 114 |
+
</div>
|
| 115 |
+
<h3 class="text-xl font-semibold mb-2">语音-手势系统</h3>
|
| 116 |
+
<p class="text-gray-600">符合ITU-T P.1100标准的三维手势逻辑标记和纠偏反馈机制。</p>
|
| 117 |
+
</div>
|
| 118 |
+
</div>
|
| 119 |
+
</section>
|
| 120 |
+
|
| 121 |
+
<!-- 转换成功率统计 -->
|
| 122 |
+
<section class="mb-16 bg-gradient-to-r from-purple-600 to-blue-600 text-white rounded-xl shadow-lg p-8">
|
| 123 |
+
<h2 class="text-3xl font-bold mb-6">转换成功率统计</h2>
|
| 124 |
+
<div class="grid md:grid-cols-2 gap-8">
|
| 125 |
+
<div>
|
| 126 |
+
<div class="mb-4">
|
| 127 |
+
<div class="flex justify-between mb-1">
|
| 128 |
+
<span class="font-medium">18-25岁群体</span>
|
| 129 |
+
<span class="font-bold">92.7%</span>
|
| 130 |
+
</div>
|
| 131 |
+
<div class="progress-bar">
|
| 132 |
+
<div class="progress-fill" style="width: 92.7%"></div>
|
| 133 |
+
</div>
|
| 134 |
+
</div>
|
| 135 |
+
<div>
|
| 136 |
+
<div class="flex justify-between mb-1">
|
| 137 |
+
<span class="font-medium">40岁以上群体</span>
|
| 138 |
+
<span class="font-bold">43.5%</span>
|
| 139 |
+
</div>
|
| 140 |
+
<div class="progress-bar">
|
| 141 |
+
<div class="progress-fill" style="width: 43.5%"></div>
|
| 142 |
+
</div>
|
| 143 |
+
</div>
|
| 144 |
+
</div>
|
| 145 |
+
<div class="bg-white bg-opacity-20 p-6 rounded-lg">
|
| 146 |
+
<h3 class="text-xl font-semibold mb-3">杏仁核抑制治疗</h3>
|
| 147 |
+
<p class="mb-4">40岁以上转换者需进行额外的杏仁核抑制治疗,以提高转换成功率。</p>
|
| 148 |
+
<button class="bg-white text-purple-600 hover:bg-purple-100 px-4 py-2 rounded-lg font-medium">
|
| 149 |
+
了解更多 <i class="fas fa-chevron-right ml-1"></i>
|
| 150 |
+
</button>
|
| 151 |
+
</div>
|
| 152 |
+
</div>
|
| 153 |
+
</section>
|
| 154 |
+
|
| 155 |
+
<!-- 技术规格部分 -->
|
| 156 |
+
<section id="section-1" class="mb-16">
|
| 157 |
+
<div class="section-card bg-white rounded-xl shadow-lg overflow-hidden">
|
| 158 |
+
<div class="bg-blue-600 text-white px-6 py-4">
|
| 159 |
+
<h2 class="text-2xl font-bold flex items-center">
|
| 160 |
+
<i class="fas fa-cube mr-3"></i>Ⅰ. 基础符号系统(ISO/IEC 24707兼容扩展)
|
| 161 |
+
</h2>
|
| 162 |
+
</div>
|
| 163 |
+
<div class="p-6">
|
| 164 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 165 |
+
<i class="fas fa-dna mr-2 text-blue-500"></i>1. 原子词根库(核心4000词)
|
| 166 |
+
</h3>
|
| 167 |
+
<div class="code-block mb-6">
|
| 168 |
+
<pre><code>type 实体词 = `${string}-类` | `${string}-个体`; // 例:猫-类、薛定谔的猫-个体
|
| 169 |
+
type 谓词 = `${动作}[${参数标签}:${类型}]`; // 例:吃[施事:动物-类, 受事:食物-类]
|
| 170 |
+
type 量词 = "凡" | "存" | "恰存"; // 对应∀, ∃, ∃!</code></pre>
|
| 171 |
+
</div>
|
| 172 |
+
|
| 173 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 174 |
+
<i class="fas fa-volume-up mr-2 text-blue-500"></i>2. 逻辑运算符音素映射表
|
| 175 |
+
</h3>
|
| 176 |
+
<div class="overflow-x-auto mb-6">
|
| 177 |
+
<table class="min-w-full bg-white border border-gray-200">
|
| 178 |
+
<thead class="bg-gray-100">
|
| 179 |
+
<tr>
|
| 180 |
+
<th class="py-2 px-4 border-b font-semibold">运算符</th>
|
| 181 |
+
<th class="py-2 px-4 border-b font-semibold">发音规则</th>
|
| 182 |
+
<th class="py-2 px-4 border-b font-semibold">唇形监测要求</th>
|
| 183 |
+
</tr>
|
| 184 |
+
</thead>
|
| 185 |
+
<tbody>
|
| 186 |
+
<tr class="hover:bg-gray-50">
|
| 187 |
+
<td class="py-2 px-4 border-b text-center">¬</td>
|
| 188 |
+
<td class="py-2 px-4 border-b">舌尖抵上齿龈爆破音/n̥/</td>
|
| 189 |
+
<td class="py-2 px-4 border-b">嘴角下垂≥5mm</td>
|
| 190 |
+
</tr>
|
| 191 |
+
<tr class="hover:bg-gray-50">
|
| 192 |
+
<td class="py-2 px-4 border-b text-center">∧</td>
|
| 193 |
+
<td class="py-2 px-4 border-b">喉塞化元音/aʔ/</td>
|
| 194 |
+
<td class="py-2 px-4 border-b">双唇紧闭0.3秒</td>
|
| 195 |
+
</tr>
|
| 196 |
+
<tr class="hover:bg-gray-50">
|
| 197 |
+
<td class="py-2 px-4 border-b text-center">→</td>
|
| 198 |
+
<td class="py-2 px-4 border-b">升调阳平转去声(˧˥→˥˩)</td>
|
| 199 |
+
<td class="py-2 px-4 border-b">眉弓抬高触发传感器</td>
|
| 200 |
+
</tr>
|
| 201 |
+
</tbody>
|
| 202 |
+
</table>
|
| 203 |
+
</div>
|
| 204 |
+
|
| 205 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 206 |
+
<i class="fas fa-shapes mr-2 text-blue-500"></i>3. 类型论实施标准
|
| 207 |
+
</h3>
|
| 208 |
+
<div class="code-block">
|
| 209 |
+
<pre><code>(* 多态类型递归定义 *)
|
| 210 |
+
Inductive 类型 :=
|
| 211 |
+
| 基类 : String → 类型
|
| 212 |
+
| 函类 : 类型 → 类型 → 类型
|
| 213 |
+
| 积类 : 类型 → 类型 → 类型.
|
| 214 |
+
|
| 215 |
+
Notation "人类" := (基类 "人").
|
| 216 |
+
Notation "动物 → 行为" := (函类 动物 行为).</code></pre>
|
| 217 |
+
</div>
|
| 218 |
+
</div>
|
| 219 |
+
</div>
|
| 220 |
+
</section>
|
| 221 |
+
|
| 222 |
+
<section id="section-2" class="mb-16">
|
| 223 |
+
<div class="section-card bg-white rounded-xl shadow-lg overflow-hidden">
|
| 224 |
+
<div class="bg-purple-600 text-white px-6 py-4">
|
| 225 |
+
<h2 class="text-2xl font-bold flex items-center">
|
| 226 |
+
<i class="fas fa-sitemap mr-3"></i>Ⅱ. 句法生成规则(Chomsky层级3型文法扩展)
|
| 227 |
+
</h2>
|
| 228 |
+
</div>
|
| 229 |
+
<div class="p-6">
|
| 230 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 231 |
+
<i class="fas fa-file-code mr-2 text-purple-500"></i>1. 合法语句的生成协议
|
| 232 |
+
</h3>
|
| 233 |
+
<div class="code-block mb-6">
|
| 234 |
+
<pre><code><句子> ::= <原子命题> | <复合命题>
|
| 235 |
+
<原子命题> ::= <谓词>(<实体列表>)[时态][模态]
|
| 236 |
+
<复合命题> ::= [量词]<变量>∈<类型>: <条件>→<结论>
|
| 237 |
+
| ¬<命题>
|
| 238 |
+
| <命题><逻辑符><命题>
|
| 239 |
+
|
| 240 |
+
实体列表 ::= <实体词> {, <实体词>}
|
| 241 |
+
时态 ::= @过去(t) | @现在(持续) | @将来(p)
|
| 242 |
+
模态 ::= □ | ◇ | K[认知主体]</code></pre>
|
| 243 |
+
</div>
|
| 244 |
+
|
| 245 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 246 |
+
<i class="fas fa-question-circle mr-2 text-purple-500"></i>2. 反事实条件句处理
|
| 247 |
+
</h3>
|
| 248 |
+
<div class="code-block">
|
| 249 |
+
<pre><code>反事实(条件φ, 结论ψ) :-
|
| 250 |
+
显式标记虚拟语气(φ, 标记为□◇φ),
|
| 251 |
+
建立可能世界模型(w1 ⊨ φ ∧ ψ, w0 ¬φ),
|
| 252 |
+
跨世界可通达验证(w0Rw1).</code></pre>
|
| 253 |
+
</div>
|
| 254 |
+
</div>
|
| 255 |
+
</div>
|
| 256 |
+
</section>
|
| 257 |
+
|
| 258 |
+
<section id="section-3" class="mb-16">
|
| 259 |
+
<div class="section-card bg-white rounded-xl shadow-lg overflow-hidden">
|
| 260 |
+
<div class="bg-green-600 text-white px-6 py-4">
|
| 261 |
+
<h2 class="text-2xl font-bold flex items-center">
|
| 262 |
+
<i class="fas fa-hands-helping mr-3"></i>Ⅲ. 语音-手势综合系统(符合ITU-T P.1100标准)
|
| 263 |
+
</h2>
|
| 264 |
+
</div>
|
| 265 |
+
<div class="p-6">
|
| 266 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 267 |
+
<i class="fas fa-hand-paper mr-2 text-green-500"></i>1. 三维手势逻辑标记
|
| 268 |
+
</h3>
|
| 269 |
+
<div class="code-block mb-6">
|
| 270 |
+
<pre><code>struct 手势 {
|
| 271 |
+
vector3 空间轨迹; // 笛卡尔坐标系记录
|
| 272 |
+
float 停留时长; // 单位:毫秒
|
| 273 |
+
uint8_t 手指状态; // 位掩码表示手指曲张
|
| 274 |
+
};
|
| 275 |
+
|
| 276 |
+
const 手势 全称量词手势 = {
|
| 277 |
+
.空间轨迹 = 立方体右上→左下对角线,
|
| 278 |
+
.停留时长 = 500ms,
|
| 279 |
+
.手指状态 = 0b11110 // 仅小指弯曲
|
| 280 |
+
};</code></pre>
|
| 281 |
+
</div>
|
| 282 |
+
|
| 283 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 284 |
+
<i class="fas fa-bell mr-2 text-green-500"></i>2. 纠偏反馈机制
|
| 285 |
+
</h3>
|
| 286 |
+
<div class="code-block">
|
| 287 |
+
<pre><code>def 逻辑纯度检测(语音流, 手势序列):
|
| 288 |
+
异常点 = []
|
| 289 |
+
for 帧 in 同步对齐(语音流, 手势序列):
|
| 290 |
+
if not 符合同步协议(帧):
|
| 291 |
+
异常点.append(帧时间戳)
|
| 292 |
+
施加触觉反馈(强度=0.7N)
|
| 293 |
+
return 生成纠错报告(异常点)</code></pre>
|
| 294 |
+
</div>
|
| 295 |
+
</div>
|
| 296 |
+
</div>
|
| 297 |
+
</section>
|
| 298 |
+
|
| 299 |
+
<section id="section-4" class="mb-16">
|
| 300 |
+
<div class="section-card bg-white rounded-xl shadow-lg overflow-hidden">
|
| 301 |
+
<div class="bg-yellow-600 text-white px-6 py-4">
|
| 302 |
+
<h2 class="text-2xl font-bold flex items-center">
|
| 303 |
+
<i class="fas fa-exchange-alt mr-3"></i>Ⅳ. 中文母语者转换方法论
|
| 304 |
+
</h2>
|
| 305 |
+
</div>
|
| 306 |
+
<div class="p-6">
|
| 307 |
+
<div class="grid md:grid-cols-3 gap-6 mb-8">
|
| 308 |
+
<div class="bg-yellow-50 p-5 rounded-lg border border-yellow-200">
|
| 309 |
+
<div class="flex items-center mb-3">
|
| 310 |
+
<div class="bg-yellow-100 text-yellow-600 p-2 rounded-full mr-3">
|
| 311 |
+
<i class="fas fa-layer-group"></i>
|
| 312 |
+
</div>
|
| 313 |
+
<h3 class="text-lg font-semibold">阶段1:意识解构(6个月)</h3>
|
| 314 |
+
</div>
|
| 315 |
+
<div class="code-block">
|
| 316 |
+
<pre><code>训练模块 = {
|
| 317 |
+
① 语义成分分析:将"下雨天留客"拆解为:
|
| 318 |
+
天气状态[类型=降水, 时间=现在]
|
| 319 |
+
人类行为[主体=客人, 动作=停留]
|
| 320 |
+
因果关系[前提=天气状态, 结果=行为]
|
| 321 |
+
② 逻辑谬误注射训练:
|
| 322 |
+
每周植入10个隐藏谬误命题,要求学员识别并修正
|
| 323 |
+
③ AR词性视觉化:
|
| 324 |
+
实体词显示蓝色边框,谓词红色脉冲光,量词绿色旋转体
|
| 325 |
+
}</code></pre>
|
| 326 |
+
</div>
|
| 327 |
+
</div>
|
| 328 |
+
|
| 329 |
+
<div class="bg-blue-50 p-5 rounded-lg border border-blue-200">
|
| 330 |
+
<div class="flex items-center mb-3">
|
| 331 |
+
<div class="bg-blue-100 text-blue-600 p-2 rounded-full mr-3">
|
| 332 |
+
<i class="fas fa-code"></i>
|
| 333 |
+
</div>
|
| 334 |
+
<h3 class="text-lg font-semibold">阶段2:表达重构(12个月)</h3>
|
| 335 |
+
</div>
|
| 336 |
+
<div class="code-block">
|
| 337 |
+
<pre><code>// 语句生成约束算法
|
| 338 |
+
fn 中文转换(input: &str) -> Result<逻辑句, 错误类型> {
|
| 339 |
+
let 依存树 = 解析中文(input)?;
|
| 340 |
+
let 逻辑中间表示 = 应用转换规则(依存树)?;
|
| 341 |
+
逻辑句::验证(逻辑中间表示)
|
| 342 |
+
}
|
| 343 |
+
|
| 344 |
+
// 转换规则示例
|
| 345 |
+
转换规则! {
|
| 346 |
+
r#"如果(\S+)就(\S+)"# => "【→】($1, $2)",
|
| 347 |
+
r#"不是(\S+)"# => "【¬】$1"
|
| 348 |
+
}</code></pre>
|
| 349 |
+
</div>
|
| 350 |
+
</div>
|
| 351 |
+
|
| 352 |
+
<div class="bg-purple-50 p-5 rounded-lg border border-purple-200">
|
| 353 |
+
<div class="flex items-center mb-3">
|
| 354 |
+
<div class="bg-purple-100 text-purple-600 p-2 rounded-full mr-3">
|
| 355 |
+
<i class="fas fa-brain"></i>
|
| 356 |
+
</div>
|
| 357 |
+
<h3 class="text-lg font-semibold">阶段3:神经重塑(终身维护)</h3>
|
| 358 |
+
</div>
|
| 359 |
+
<div class="code-block">
|
| 360 |
+
<pre><code># 植入式脑机接口协议
|
| 361 |
+
class 语言神经重映射:
|
| 362 |
+
def __init__(self):
|
| 363 |
+
self.brodmann_area = [44, 45] # 布洛卡区
|
| 364 |
+
|
| 365 |
+
def 抑制自然语言(self, 强度: float):
|
| 366 |
+
发送电刺激(区域=21区, 频率=40Hz, 强度=强度)
|
| 367 |
+
|
| 368 |
+
def 强化逻辑语法(self):
|
| 369 |
+
诱导神经可塑性(突触权重更新规则=
|
| 370 |
+
Δw = η * (逻辑正确率 - 0.9) * 输入激活)</code></pre>
|
| 371 |
+
</div>
|
| 372 |
+
</div>
|
| 373 |
+
</div>
|
| 374 |
+
|
| 375 |
+
<div class="bg-gray-100 p-6 rounded-lg">
|
| 376 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4">完整转换流程</h3>
|
| 377 |
+
<div class="space-y-4">
|
| 378 |
+
<div class="flex items-start">
|
| 379 |
+
<div class="bg-blue-500 text-white rounded-full w-8 h-8 flex items-center justify-center flex-shrink-0 mr-4">1</div>
|
| 380 |
+
<div>
|
| 381 |
+
<h4 class="font-medium">脑机接口手术</h4>
|
| 382 |
+
<p class="text-gray-600 text-sm">在左侧颞叶植入逻辑协处理器(符合ISO/IEC 30128神经接口标准)</p>
|
| 383 |
+
</div>
|
| 384 |
+
</div>
|
| 385 |
+
<div class="flex items-start">
|
| 386 |
+
<div class="bg-blue-500 text-white rounded-full w-8 h-8 flex items-center justify-center flex-shrink-0 mr-4">2</div>
|
| 387 |
+
<div>
|
| 388 |
+
<h4 class="font-medium">三年强化训练</h4>
|
| 389 |
+
<p class="text-gray-600 text-sm">每天4小时在虚拟现实逻辑竞技场进行命题对战</p>
|
| 390 |
+
</div>
|
| 391 |
+
</div>
|
| 392 |
+
<div class="flex items-start">
|
| 393 |
+
<div class="bg-blue-500 text-white rounded-full w-8 h-8 flex items-center justify-center flex-shrink-0 mr-4">3</div>
|
| 394 |
+
<div>
|
| 395 |
+
<h4 class="font-medium">社会身份重置</h4>
|
| 396 |
+
<p class="text-gray-600 text-sm">获得新的逻辑公民ID,旧自然语言使用将受信用分惩罚</p>
|
| 397 |
+
</div>
|
| 398 |
+
</div>
|
| 399 |
+
</div>
|
| 400 |
+
</div>
|
| 401 |
+
</div>
|
| 402 |
+
</div>
|
| 403 |
+
</section>
|
| 404 |
+
|
| 405 |
+
<section id="section-5" class="mb-16">
|
| 406 |
+
<div class="section-card bg-white rounded-xl shadow-lg overflow-hidden">
|
| 407 |
+
<div class="bg-red-600 text-white px-6 py-4">
|
| 408 |
+
<h2 class="text-2xl font-bold flex items-center">
|
| 409 |
+
<i class="fas fa-exclamation-triangle mr-3"></i>Ⅴ. 异常处理与边缘案例
|
| 410 |
+
</h2>
|
| 411 |
+
</div>
|
| 412 |
+
<div class="p-6">
|
| 413 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 414 |
+
<i class="fas fa-paragraph mr-2 text-red-500"></i>1. 悖论处理协议
|
| 415 |
+
</h3>
|
| 416 |
+
<div class="code-block mb-6">
|
| 417 |
+
<pre><code>data 命题状态 = 合法 | 悖论 | 未定
|
| 418 |
+
|
| 419 |
+
handleParadox :: 命题 -> IO 命题状态
|
| 420 |
+
handleParadox p
|
| 421 |
+
| p == ¬p = 启动共识协议(30秒内全网投票)
|
| 422 |
+
| 引发罗素悖论 = 强制类型提升到更高阶宇宙
|
| 423 |
+
| otherwise = 记录到异常日志等待人工审核</code></pre>
|
| 424 |
+
</div>
|
| 425 |
+
|
| 426 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 427 |
+
<i class="fas fa-paint-brush mr-2 text-red-500"></i>2. 诗性表达特许区
|
| 428 |
+
</h3>
|
| 429 |
+
<div class="code-block">
|
| 430 |
+
<pre><code>{
|
| 431 |
+
"特许域": "诗域",
|
| 432 |
+
"允许操作": ["隐喻", "转喻", "通感"],
|
| 433 |
+
"约束条件": [
|
| 434 |
+
"需用声纹加密标记[诗]",
|
| 435 |
+
"接收方必须启用诗域解码器",
|
| 436 |
+
"逻辑纯度降至Level 0"
|
| 437 |
+
]
|
| 438 |
+
}</code></pre>
|
| 439 |
+
</div>
|
| 440 |
+
</div>
|
| 441 |
+
</div>
|
| 442 |
+
</section>
|
| 443 |
+
|
| 444 |
+
<section id="section-6" class="mb-16">
|
| 445 |
+
<div class="section-card bg-white rounded-xl shadow-lg overflow-hidden">
|
| 446 |
+
<div class="bg-indigo-600 text-white px-6 py-4">
|
| 447 |
+
<h2 class="text-2xl font-bold flex items-center">
|
| 448 |
+
<i class="fas fa-certificate mr-3"></i>Ⅵ. 认证与进化体系
|
| 449 |
+
</h2>
|
| 450 |
+
</div>
|
| 451 |
+
<div class="p-6">
|
| 452 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 453 |
+
<i class="fas fa-level-up-alt mr-2 text-indigo-500"></i>1. 九级认证标准
|
| 454 |
+
</h3>
|
| 455 |
+
<div class="overflow-x-auto mb-6">
|
| 456 |
+
<table class="min-w-full bg-white border border-gray-200">
|
| 457 |
+
<thead class="bg-gray-100">
|
| 458 |
+
<tr>
|
| 459 |
+
<th class="py-2 px-4 border-b font-semibold">等级</th>
|
| 460 |
+
<th class="py-2 px-4 border-b font-semibold">要求</th>
|
| 461 |
+
<th class="py-2 px-4 border-b font-semibold">脑区改造程度</th>
|
| 462 |
+
</tr>
|
| 463 |
+
</thead>
|
| 464 |
+
<tbody>
|
| 465 |
+
<tr class="hover:bg-gray-50">
|
| 466 |
+
<td class="py-2 px-4 border-b text-center font-medium">Lv1</td>
|
| 467 |
+
<td class="py-2 px-4 border-b">处理单层命题</td>
|
| 468 |
+
<td class="py-2 px-4 border-b">布洛卡区5%</td>
|
| 469 |
+
</tr>
|
| 470 |
+
<tr class="hover:bg-gray-50">
|
| 471 |
+
<td class="py-2 px-4 border-b text-center font-medium">Lv5</td>
|
| 472 |
+
<td class="py-2 px-4 border-b">处理三层模态嵌套</td>
|
| 473 |
+
<td class="py-2 px-4 border-b">Wernicke区30%</td>
|
| 474 |
+
</tr>
|
| 475 |
+
<tr class="hover:bg-gray-50">
|
| 476 |
+
<td class="py-2 px-4 border-b text-center font-medium">Lv9</td>
|
| 477 |
+
<td class="py-2 px-4 border-b">参与类型论宇宙扩容投票</td>
|
| 478 |
+
<td class="py-2 px-4 border-b">全语言区90%</td>
|
| 479 |
+
</tr>
|
| 480 |
+
</tbody>
|
| 481 |
+
</table>
|
| 482 |
+
</div>
|
| 483 |
+
|
| 484 |
+
<h3 class="text-xl font-semibold text-gray-800 mb-4 flex items-center">
|
| 485 |
+
<i class="fas fa-code-branch mr-2 text-indigo-500"></i>2. 集体进化机制
|
| 486 |
+
</h3>
|
| 487 |
+
<div class="code-block">
|
| 488 |
+
<pre><code>// 基于区块链的语法更新智能合约
|
| 489 |
+
contract 语言进化 {
|
| 490 |
+
address[] 持票人; // 需Lv7以上证书
|
| 491 |
+
|
| 492 |
+
function 提案修改语法(bytes32 提案ID) public {
|
| 493 |
+
require(认证等级[msg.sender] >= 7);
|
| 494 |
+
发起投票(提案ID, 7天);
|
| 495 |
+
}
|
| 496 |
+
|
| 497 |
+
function 执行修改(uint 提案ID) public {
|
| 498 |
+
if (赞成票 > 总票数⅔) {
|
| 499 |
+
更新全球语法库(提案内容);
|
| 500 |
+
强制神经同步更新();
|
| 501 |
+
}
|
| 502 |
+
}
|
| 503 |
+
}</code></pre>
|
| 504 |
+
</div>
|
| 505 |
+
</div>
|
| 506 |
+
</div>
|
| 507 |
+
</section>
|
| 508 |
+
|
| 509 |
+
<!-- 测试结果部分 -->
|
| 510 |
+
<section class="mb-16 bg-white rounded-xl shadow-lg p-8">
|
| 511 |
+
<h2 class="text-3xl font-bold text-gray-800 mb-6">β测试结果</h2>
|
| 512 |
+
<div class="bg-gray-100 p-6 rounded-lg mb-6">
|
| 513 |
+
<p class="text-lg mb-4">此系统已在[数据删除]特别行政区完成β测试,实现全区法庭辩论零歧义判决。</p>
|
| 514 |
+
<p class="text-lg">完整技术规范见《GB/T 20988-202X 逻辑汉语实施指南》。</p>
|
| 515 |
+
</div>
|
| 516 |
+
<div class="grid md:grid-cols-2 gap-6">
|
| 517 |
+
<div class="bg-indigo-50 p-6 rounded-lg">
|
| 518 |
+
<h3 class="text-xl font-semibold mb-3">技术优势</h3>
|
| 519 |
+
<ul class="space-y-2">
|
| 520 |
+
<li class="flex items-start">
|
| 521 |
+
<i class="fas fa-check-circle text-indigo-500 mt-1 mr-2"></i>
|
| 522 |
+
<span>12,000个设计要点的完整逻辑语言体系</span>
|
| 523 |
+
</li>
|
| 524 |
+
<li class="flex items-start">
|
| 525 |
+
<i class="fas fa-check-circle text-indigo-500 mt-1 mr-2"></i>
|
| 526 |
+
<span>分层递归式描述保证技术严谨性</span>
|
| 527 |
+
</li>
|
| 528 |
+
<li class="flex items-start">
|
| 529 |
+
<i class="fas fa-check-circle text-indigo-500 mt-1 mr-2"></i>
|
| 530 |
+
<span>符合多项国际标准(ISO/IEC 24707, ITU-T P.1100等)</span>
|
| 531 |
+
</li>
|
| 532 |
+
</ul>
|
| 533 |
+
</div>
|
| 534 |
+
<div class="bg-green-50 p-6 rounded-lg">
|
| 535 |
+
<h3 class="text-xl font-semibold mb-3">应用场景</h3>
|
| 536 |
+
<ul class="space-y-2">
|
| 537 |
+
<li class="flex items-start">
|
| 538 |
+
<i class="fas fa-gavel text-green-500 mt-1 mr-2"></i>
|
| 539 |
+
<span>法律文书与法庭辩论</span>
|
| 540 |
+
</li>
|
| 541 |
+
<li class="flex items-start">
|
| 542 |
+
<i class="fas fa-flask text-green-500 mt-1 mr-2"></i>
|
| 543 |
+
<span>科学研究与技术文档</span>
|
| 544 |
+
</li>
|
| 545 |
+
<li class="flex items-start">
|
| 546 |
+
<i class="fas fa-robot text-green-500 mt-1 mr-2"></i>
|
| 547 |
+
<span>人工智能逻辑推理</span>
|
| 548 |
+
</li>
|
| 549 |
+
</ul>
|
| 550 |
+
</div>
|
| 551 |
+
</div>
|
| 552 |
+
</section>
|
| 553 |
+
|
| 554 |
+
<!-- 行动号召 -->
|
| 555 |
+
<section class="bg-gradient-to-r from-blue-500 to-purple-600 text-white rounded-xl shadow-lg p-8 text-center">
|
| 556 |
+
<h2 class="text-3xl font-bold mb-4">准备好开始您的逻辑语言转换了吗?</h2>
|
| 557 |
+
<p class="text-xl mb-8 max-w-2xl mx-auto">加入数千名已经完成转换的逻辑公民,体验无歧义、高精度的思维与交流方式。</p>
|
| 558 |
+
<button class="bg-white text-blue-600 hover:bg-blue-100 px-8 py-4 rounded-lg font-semibold text-lg shadow-lg transition duration-300">
|
| 559 |
+
立即申请 <i class="fas fa-arrow-right ml-2"></i>
|
| 560 |
+
</button>
|
| 561 |
+
</section>
|
| 562 |
+
</main>
|
| 563 |
+
|
| 564 |
+
<!-- 页脚 -->
|
| 565 |
+
<footer class="bg-gray-800 text-white py-12">
|
| 566 |
+
<div class="container mx-auto px-4">
|
| 567 |
+
<div class="grid md:grid-cols-4 gap-8 mb-8">
|
| 568 |
+
<div>
|
| 569 |
+
<h3 class="text-xl font-bold mb-4 flex items-center">
|
| 570 |
+
<i class="fas fa-brain mr-2"></i> 逻辑语言转换系统
|
| 571 |
+
</h3>
|
| 572 |
+
<p class="text-gray-400">基于ISO/IEC 24707标准的12,000个设计要点构建的完整技术规格与转换方法论。</p>
|
| 573 |
+
</div>
|
| 574 |
+
<div>
|
| 575 |
+
<h4 class="text-lg font-semibold mb-4">技术规范</h4>
|
| 576 |
+
<ul class="space-y-2">
|
| 577 |
+
<li><a href="#" class="text-gray-400 hover:text-white">ISO/IEC 24707</a></li>
|
| 578 |
+
<li><a href="#" class="text-gray-400 hover:text-white">ITU-T P.1100</a></li>
|
| 579 |
+
<li><a href="#" class="text-gray-400 hover:text-white">GB/T 20988-202X</a></li>
|
| 580 |
+
</ul>
|
| 581 |
+
</div>
|
| 582 |
+
<div>
|
| 583 |
+
<h4 class="text-lg font-semibold mb-4">快速链接</h4>
|
| 584 |
+
<ul class="space-y-2">
|
| 585 |
+
<li><a href="#" class="text-gray-400 hover:text-white">文档中心</a></li>
|
| 586 |
+
<li><a href="#" class="text-gray-400 hover:text-white">转换申请</a></li>
|
| 587 |
+
<li><a href="#" class="text-gray-400 hover:text-white">培训课程</a></li>
|
| 588 |
+
</ul>
|
| 589 |
+
</div>
|
| 590 |
+
<div>
|
| 591 |
+
<h4 class="text-lg font-semibold mb-4">联系我们</h4>
|
| 592 |
+
<ul class="space-y-2">
|
| 593 |
+
<li class="flex items-center">
|
| 594 |
+
<i class="fas fa-envelope mr-2 text-gray-400"></i>
|
| 595 |
+
<span>support@logiclang.org</span>
|
| 596 |
+
</li>
|
| 597 |
+
<li class="flex items-center">
|
| 598 |
+
<i class="fas fa-phone-alt mr-2 text-gray-400"></i>
|
| 599 |
+
<span>400-123-4567</span>
|
| 600 |
+
</li>
|
| 601 |
+
<li class="flex items-center">
|
| 602 |
+
<i class="fas fa-map-marker-alt mr-2 text-gray-400"></i>
|
| 603 |
+
<span>[数据删除]特别行政区</span>
|
| 604 |
+
</li>
|
| 605 |
+
</ul>
|
| 606 |
+
</div>
|
| 607 |
+
</div>
|
| 608 |
+
<div class="border-t border-gray-700 pt-8 text-center text-gray-400">
|
| 609 |
+
<p>© 2023 逻辑语言转换系统. 保留所有权利.</p>
|
| 610 |
+
</div>
|
| 611 |
+
</div>
|
| 612 |
+
</footer>
|
| 613 |
+
|
| 614 |
+
<script>
|
| 615 |
+
// 平滑滚动
|
| 616 |
+
document.querySelectorAll('a[href^="#"]').forEach(anchor => {
|
| 617 |
+
anchor.addEventListener('click', function (e) {
|
| 618 |
+
e.preventDefault();
|
| 619 |
+
document.querySelector(this.getAttribute('href')).scrollIntoView({
|
| 620 |
+
behavior: 'smooth'
|
| 621 |
+
});
|
| 622 |
+
});
|
| 623 |
+
});
|
| 624 |
+
|
| 625 |
+
// 响应式导航菜单
|
| 626 |
+
const mobileMenuButton = document.querySelector('.md\\:hidden');
|
| 627 |
+
const mobileMenu = document.querySelector('.hidden.md\\:flex');
|
| 628 |
+
|
| 629 |
+
mobileMenuButton.addEventListener('click', () => {
|
| 630 |
+
mobileMenu.classList.toggle('hidden');
|
| 631 |
+
mobileMenu.classList.toggle('flex');
|
| 632 |
+
mobileMenu.classList.toggle('flex-col');
|
| 633 |
+
mobileMenu.classList.toggle('absolute');
|
| 634 |
+
mobileMenu.classList.toggle('top-16');
|
| 635 |
+
mobileMenu.classList.toggle('right-4');
|
| 636 |
+
mobileMenu.classList.toggle('bg-white');
|
| 637 |
+
mobileMenu.classList.toggle('shadow-lg');
|
| 638 |
+
mobileMenu.classList.toggle('rounded-lg');
|
| 639 |
+
mobileMenu.classList.toggle('p-4');
|
| 640 |
+
mobileMenu.classList.toggle('space-y-2');
|
| 641 |
+
mobileMenu.classList.toggle('space-x-8');
|
| 642 |
+
});
|
| 643 |
+
|
| 644 |
+
// 卡片悬停效果
|
| 645 |
+
const sectionCards = document.querySelectorAll('.section-card');
|
| 646 |
+
sectionCards.forEach(card => {
|
| 647 |
+
card.addEventListener('mouseenter', () => {
|
| 648 |
+
card.style.transform = 'translateY(-5px)';
|
| 649 |
+
card.style.boxShadow = '0 10px 25px rgba(0, 0, 0, 0.1)';
|
| 650 |
+
});
|
| 651 |
+
card.addEventListener('mouseleave', () => {
|
| 652 |
+
card.style.transform = '';
|
| 653 |
+
card.style.boxShadow = '';
|
| 654 |
+
});
|
| 655 |
+
});
|
| 656 |
+
</script>
|
| 657 |
+
<p style="border-radius: 8px; text-align: center; font-size: 12px; color: #fff; margin-top: 16px;position: fixed; left: 8px; bottom: 8px; z-index: 10; background: rgba(0, 0, 0, 0.8); padding: 4px 8px;">Made with <img src="https://enzostvs-deepsite.hf.space/logo.svg" alt="DeepSite Logo" style="width: 16px; height: 16px; vertical-align: middle;display:inline-block;margin-right:3px;filter:brightness(0) invert(1);"><a href="https://enzostvs-deepsite.hf.space" style="color: #fff;text-decoration: underline;" target="_blank" >DeepSite</a> - <a href="https://enzostvs-deepsite.hf.space?remix=Archger/my-test3" style="color: #fff;text-decoration: underline;" target="_blank" >🧬 Remix</a></p></body>
|
| 658 |
+
</html>
|